From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: <5764c029b688c1c0d24a2e97cd764f@gmail.com> 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 476777EC0B for ; Wed, 16 Mar 2016 15:50:06 +0100 (CET) IronPort-PHdr: 9a23:lPAH5BWw6Xk0arj9XJihR8QS11LV8LGtZVwlr6E/grcLSJyIuqrYZhGBt8tkgFKBZ4jH8fUM07OQ6PCwHzRaqsje+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq82VO18D2mX1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu2pN5g/GLdRCTBjN2Eu+OXqswPCRE2B/CgySGITxz9BHwXHpDL9RZby+n+n6bQh03HAbMeoHeA/AD/64/03QUXl2XgMO2FnrG//hcl5jaYdqxWk8U8si7XIaZ2YYaItNpjWeskXEDJM Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=5764c029b688c1c0d24a2e97cd764f@gmail.com; spf=Pass smtp.mailfrom=5764c029b688c1c0d24a2e97cd764f@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f51.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of 5764c029b688c1c0d24a2e97cd764f@gmail.com) identity=pra; client-ip=74.125.82.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of 5764c029b688c1c0d24a2e97cd764f@gmail.com designates 74.125.82.51 as permitted sender) identity=mailfrom; client-ip=74.125.82.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f51.google.com) identity=helo; client-ip=74.125.82.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="postmaster@mail-wm0-f51.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BjAQC1celWizNSfUpegkmBUG6ndYciineBbxmDFIJgAoE9ORMBAQEBAQEBARABAQEICwsJHzGCLYIVAQEEEhEPAQ0BGxwCAwwGBQsNAgIFFgsCAgkDAgECARERAQUBHBMIAh6HbwEDEgSiH4ExPjGLNoFqgleFcwoZJw1Rg3sBAQgBAQEBFgEFCgVtiWaEOoMCgToFh12HDoQZhEwBhW+IEoIwhnMOhVSNQS+BDyICgjQegVJpimMBAQE X-IPAS-Result: A0BjAQC1celWizNSfUpegkmBUG6ndYciineBbxmDFIJgAoE9ORMBAQEBAQEBARABAQEICwsJHzGCLYIVAQEEEhEPAQ0BGxwCAwwGBQsNAgIFFgsCAgkDAgECARERAQUBHBMIAh6HbwEDEgSiH4ExPjGLNoFqgleFcwoZJw1Rg3sBAQgBAQEBFgEFCgVtiWaEOoMCgToFh12HDoQZhEwBhW+IEoIwhnMOhVSNQS+BDyICgjQegVJpimMBAQE X-IronPort-AV: E=Sophos;i="5.24,345,1454972400"; d="scan'208";a="168974116" Received: from mail-wm0-f51.google.com ([74.125.82.51]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 16 Mar 2016 15:50:05 +0100 Received: by mail-wm0-f51.google.com with SMTP id l68so193854235wml.0 for ; Wed, 16 Mar 2016 07:50:05 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=subject:to:references:from:message-id:date:user-agent:mime-version :in-reply-to:content-transfer-encoding; bh=RfbNxHWEiwB0eB/4nUkinClx5ue7D2rS71SMuNTCTgU=; b=QjRJ+LC8nlGfOy5prtfLUQHTHOf0IcC+KC/8LaYV71cSMjPfh8Aj0o5mu90RKU8LMg rvdYwY2ZffdaIJQztneTUXwPt6Lu5f3DDtPo3WwoIui/0AN0om/07j6KmNPd/5A24rtn ixG6NJlOqST6lL51Z3J4qdY0edhKTdYmgimW77cJtNQv0OJ4t8gqpjaV4xIr/7xjMrll xxIvL9hUpErFPe5p4ZCxluHUr+q7qMQeK8ZQy3XSCDz3SZY5NqDe2iiDjEOttk7QMa0x o68J97QRcehjurk6sopOSXNn1NiXOfNec5PYt1gh4mXXOHPv01O36oOZg94BK7onsiaZ oJgA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-transfer-encoding; bh=RfbNxHWEiwB0eB/4nUkinClx5ue7D2rS71SMuNTCTgU=; b=KWDkoH14uX6v9Es6/AkaAERsrmvHm7hIPeE82VqwK2K7SFUpFJDsbNYXA4AkzTCv8D FsZqK5iN4gtPwGbiA3ffpYOPAg+HFF0Gyl4KMIpA6Qj7C2LKhf/Cb1A0etu01o8CQUW4 9lxyt+UBEdP5z9XvpotIavHqZ0cbCpgPzuj3goxV9zgloGA6+XMQsGjcKsYnPHiQaFyl ktWpoNLXFyrKi8Ea7axfGxJT7L+EJeecDMGhWeGNmEK0ZERyUIo552mFxHPhV3LuDl7Z dphLcskHkvk0j+C5ULZUz7M30FmUc/7/xDjTTRdtUdcUto+Z0cjUOKLyPSL+tIHNwy9z rBsQ== X-Gm-Message-State: AD7BkJLVtzTQz8dHlxYXsRJB/fJRQJKthzn5M8CSJsiemEpPcEStXwpYITsGy7/zCTNZmA== X-Received: by 10.28.184.148 with SMTP id i142mr5090216wmf.22.1458139804851; Wed, 16 Mar 2016 07:50:04 -0700 (PDT) Received: from [172.23.36.255] (maths.r-prg.net.univ-paris7.fr. [81.194.27.158]) by smtp.googlemail.com with ESMTPSA id c71sm3853476wmd.4.2016.03.16.07.50.03 for (version=TLSv1/SSLv3 cipher=OTHER); Wed, 16 Mar 2016 07:50:04 -0700 (PDT) To: caml-list@inria.fr References: <56E93076.40400@gmail.com> <56E94486.80305@freenet.de> From: Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com> Message-ID: <56E971EA.2000208@gmail.com> Date: Wed, 16 Mar 2016 15:47:06 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Icedove/38.6.0 MIME-Version: 1.0 In-Reply-To: <56E94486.80305@freenet.de> Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] how to install "labltk" via opam On 03/16/2016 12:33 PM, Mr. Herr wrote: > > > 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. Thank you! "tk-dev" is needed (I wouldn't guess this from the error message) "tcl-dev" is not needed (Despite the error message).