From: Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com>
To: Caml List <caml-list@inria.fr>
Subject: [Caml-list] how to install "labltk" via opam
Date: Wed, 16 Mar 2016 11:07:50 +0100 [thread overview]
Message-ID: <56E93076.40400@gmail.com> (raw)
Hi,
I would like to compile a program that requires "labltk.cmxa" which might be (I am guessing) provided by the "labltk" opam package.
So I have tried to install it like this:
opam install labltk
The installation failed with a message:
The following actions will be performed:
∗ install labltk 8.06.0
=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[labltk] Archive in cache
=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[ERROR] The compilation of labltk failed at "make all opt".
Processing 1/1: [labltk: ocamlfind remove]
#=== ERROR while installing labltk.8.06.0 =====================================#
# opam-version 1.2.2 (2dee5d69c0bd29731e6cb2ee537f0adf72404ba4)
# os linux
# command make all opt
# path /home/me/.opam/4.02.3/build/labltk.8.06.0
# compiler 4.02.3
# exit-code 2
# env-file /home/me/.opam/4.02.3/build/labltk.8.06.0/labltk-23226-d2c37b.env
# stdout-file /home/me/.opam/4.02.3/build/labltk.8.06.0/labltk-23226-d2c37b.out
# stderr-file /home/me/.opam/4.02.3/build/labltk.8.06.0/labltk-23226-d2c37b.err
### stdout ###
# [...]
# /home/me/.opam/4.02.3/bin/ocamlc.opt -c -warn-error A-3 fileevent.mli
# /home/me/.opam/4.02.3/bin/ocamlc.opt -c -warn-error A-3 fileevent.ml
# /home/me/.opam/4.02.3/bin/ocamlc.opt -c -warn-error A-3 camltkwrap.mli
# /home/me/.opam/4.02.3/bin/ocamlc.opt -c -warn-error A-3 camltkwrap.ml
# /home/me/.opam/4.02.3/bin/ocamlc.opt -c -warn-error A-3 -I +threads -I vmthreads tkthread.mli
# /home/me/.opam/4.02.3/bin/ocamlc.opt -c -warn-error A-3 -I +threads -I vmthreads tkthread.ml
# gcc -O -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -I/home/me/.opam/4.02.3/lib/ocaml/caml -O -fPIC -c cltkCaml.c
# Makefile:87: recipe for target 'cltkCaml.o' failed
# make[1]: Leaving directory '/home/me/.opam/4.02.3/build/labltk.8.06.0/support'
# Makefile:25: recipe for target 'all' failed
### stderr ###
# cltkCaml.c:19:17: fatal error: tcl.h: No such file or directory
# #include <tcl.h>
# ^
# compilation terminated.
# make[1]: *** [cltkCaml.o] Error 1
# make: *** [all] Error 2
=-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
The following actions failed
∗ install labltk 8.06.0
No changes have been performed
=-=- labltk.8.06.0 troubleshooting =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
=> This package requires Tcl/Tk with its development packages installed on your system
There, I see that I need to have some "tcl.h" file.
Looking around
apt-file search 'tcl.h'
I see that this Debian package:
tcl8.6-dev
provides it:
/usr/include/tcl8.6/tcl.h
So I installed it:
apt-get install tcl8.6-dev
Now I am trying again to install labltk via opam:
opam install labltk
and I still get the above error message.
I ran out of my own ideas what to do so I would like to ask for advice:
If I am on Debian stable, what is the correct procedure to install "labltk" via opam?
next reply other threads:[~2016-03-16 10:11 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-03-16 10:07 Matej Kosik [this message]
2016-03-16 11:33 ` Mr. Herr
2016-03-16 14:47 ` Matej Kosik
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=56E93076.40400@gmail.com \
--to=5764c029b688c1c0d24a2e97cd764f@gmail.com \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox