From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 997137EC0D for ; Wed, 16 Mar 2016 12:36:44 +0100 (CET) IronPort-PHdr: 9a23:vey6dxUdopyAD8/NINIbbgRmS8nV8LGtZVwlr6E/grcLSJyIuqrYZheBt8tkgFKBZ4jH8fUM07OQ6PCwHzRaqsze+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq82VO18D3mX1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu2pN5g/GLdRCTBjN2Eu+OXqswPCRE2B/CgySGITx1BtGU6NzBzgRN255i77rfZwwimXJ9feQ6o5VDKv8+FnRUm72288Kzcl/TSP2YRLh6VBrUf5qg== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=misterherr@freenet.de; spf=None smtp.mailfrom=misterherr@freenet.de; spf=None smtp.helo=postmaster@mout0.freenet.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of misterherr@freenet.de) identity=pra; client-ip=195.4.92.90; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="misterherr@freenet.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of misterherr@freenet.de) identity=mailfrom; client-ip=195.4.92.90; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="misterherr@freenet.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout0.freenet.de) identity=helo; client-ip=195.4.92.90; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="postmaster@mout0.freenet.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DcAAAfRelWk1pcBMNegxt+bqd3khmBbhcChXQCgTs6EgEBAQEBAQEBEAEBAQEHDQkJIS+CLYIVAQEEIw8BVgsYAgIFIQICDwJGEwgBAYgNARYDAa9dijMJgSsBg24MHnyJZoQ6gkoLLROBJwWHXYcOiGYBhW6KQoZ9BIVUjn8nB4JIgVJpimMBAQE X-IPAS-Result: A0DcAAAfRelWk1pcBMNegxt+bqd3khmBbhcChXQCgTs6EgEBAQEBAQEBEAEBAQEHDQkJIS+CLYIVAQEEIw8BVgsYAgIFIQICDwJGEwgBAYgNARYDAa9dijMJgSsBg24MHnyJZoQ6gkoLLROBJwWHXYcOiGYBhW6KQoZ9BIVUjn8nB4JIgVJpimMBAQE X-IronPort-AV: E=Sophos;i="5.24,344,1454972400"; d="scan'208";a="168937824" Received: from mout0.freenet.de ([195.4.92.90]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 16 Mar 2016 12:36:37 +0100 Received: from [195.4.92.140] (helo=mjail0.freenet.de) by mout0.freenet.de with esmtpa (ID misterherr@freenet.de) (port 25) (Exim 4.85 #1) id 1ag9ki-0001DY-3g for caml-list@inria.fr; Wed, 16 Mar 2016 12:36:36 +0100 Received: from localhost ([::1]:52639 helo=mjail0.freenet.de) by mjail0.freenet.de with esmtpa (ID misterherr@freenet.de) (Exim 4.85 #1) id 1ag9kh-00038R-VI for caml-list@inria.fr; Wed, 16 Mar 2016 12:36:36 +0100 Received: from mx11.freenet.de ([195.4.92.21]:47545) by mjail0.freenet.de with esmtpa (ID misterherr@freenet.de) (Exim 4.85 #1) id 1ag9hf-0006MT-2U for caml-list@inria.fr; Wed, 16 Mar 2016 12:33:27 +0100 Received: from x50aba36c.dyn.telefonica.de ([80.171.163.108]:41987 helo=suse132-intel.home.loc) by mx11.freenet.de with esmtpsa (ID misterherr@freenet.de) (TLSv1.2:DHE-RSA-AES128-SHA:128) (port 465) (Exim 4.85 #1) id 1ag9he-0007he-Oz for caml-list@inria.fr; Wed, 16 Mar 2016 12:33:27 +0100 To: caml-list@inria.fr References: <56E93076.40400@gmail.com> From: "Mr. Herr" Message-ID: <56E94486.80305@freenet.de> Date: Wed, 16 Mar 2016 12:33:26 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 MIME-Version: 1.0 In-Reply-To: <56E93076.40400@gmail.com> Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Originated-At: 80.171.163.108!41987 Subject: Re: [Caml-list] how to install "labltk" via opam On 16.03.2016 11:07, Matej Kosik wrote: > 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 > # ^ > # 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? > I don't see the tcl .so files in the tcl8.6-dev package. They might or might not be necessary. But more important: you do not seem to have Tk, same question here. Maybe you can give feedback if the tcl-dev and tk-dev packages are enough for compilation. They are certainly not enough for Tk use. /Str.