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 9056D7EC0B for ; Wed, 16 Mar 2016 11:11:22 +0100 (CET) IronPort-PHdr: 9a23:m1AM+RzEEdN6cd/XCy+O+j09IxM/srCxBDY+r6Qd0eMWIJqq85mqBkHD//Il1AaPBtWLraoewLKH+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuSt6U1578j7H60qaQSjsLrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGx48sgs/M9YUKj8Y79wDfkBVGxnYCgJ45jAvBzHBS+O/WdUBm4flx4NBwne8Dn7WI3wu230rLwu9jOdOJjTRKw5W3yB6LxqS1e81XhZazVhqjDd1Jwgh/tQ+B77+xUlzt+La43KaqZwVqzYdNIeA2FGW5ACBGR6HoqgYt5XXKI6NuFCoty4/gNWoA== 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: A0AGAgD2MOlWizNSfUpegkmBUG5Tpx0EA4NAg2KKd4FuFwIYgnyEHDoSAQEBAQEBAQEQAQEBCAsLCR8xgi2CLREPAQ0BGx4DEhAPAgUhAhECEhEBBQEiDQgCHodvAQMSBJ9cggeBMT4xizaBaoJXhXkKGScNUYQfAQUKBW2QagstE4EnBYddhw6IZQGFb4gSgjCGcw6FVI1BL4EPJwGCToFSaYpjAQEB X-IPAS-Result: A0AGAgD2MOlWizNSfUpegkmBUG5Tpx0EA4NAg2KKd4FuFwIYgnyEHDoSAQEBAQEBAQEQAQEBCAsLCR8xgi2CLREPAQ0BGx4DEhAPAgUhAhECEhEBBQEiDQgCHodvAQMSBJ9cggeBMT4xizaBaoJXhXkKGScNUYQfAQUKBW2QagstE4EnBYddhw6IZQGFb4gSgjCGcw6FVI1BL4EPJwGCToFSaYpjAQEB X-IronPort-AV: E=Sophos;i="5.24,344,1454972400"; d="scan'208";a="168920163" 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 11:10:47 +0100 Received: by mail-wm0-f51.google.com with SMTP id p65so64601220wmp.0 for ; Wed, 16 Mar 2016 03:10:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=to:from:subject:message-id:date:user-agent:mime-version :content-transfer-encoding; bh=wvhPcB8rf2SK11KIioxriIb8RWJXUWKls988KMn2pwE=; b=OuDM62xaOQgAtmwYsGgzhgJ4pYH8ZOD7S7l1HtoTtJUo0h0UUQBFxAcILmdxghir1t YQ01llQ5k3LR/U6MpY3DN39UjsgNz0kpvP1dTMuxc5WgJ+x34ZTluoqA73/1dtL7Cq++ 4CcSWN0R+90kRjZ/nebNhswjPhDjiGgB64qrYFBkKI5c/3Kfn6sm06RXaILUxN+DxBEB HfLCty/mbtQ2MNTu94SiTLp7BQBHLJBjX8Yt/Mz+AMsRbrXR7nJe8Bba0IwPIOqB0hoj udbjCBNWv9v4HGfU8CTLh57+y2rWYse+8VMDmrGH0ElqfGsEFScnjW5BpGdDWDIxOU4i YYeg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:to:from:subject:message-id:date:user-agent :mime-version:content-transfer-encoding; bh=wvhPcB8rf2SK11KIioxriIb8RWJXUWKls988KMn2pwE=; b=ivbu9w4JmHXtIVIubUv0InYjePOWuitDDfysKnZBNQinAZagyHTitKi2f9YCiVk71e zO429CspyF3/7BqopmHXiTWv+hCft/EGx10yIxrdiNwiocEszySgEpGu+vk1As21ezvR o3XlbWtpjtaghUcrEA76TgHyTbuGwUsbv9EQu6UW9oLwrXOejWYGSKEuWj0AhQpasrGR +E4yve7OeQkM0bBFZiFM9boEXQ4kTA37kWuafnGltj7wCENZP8AC71Vir9enZ2DYTx0u T/9ZHMDCmmekY67I2FkvvNEbmNOrXp9BztHt4SWGZM5wif9GmNArI6QcVDjdieuSisIb 4Z/w== X-Gm-Message-State: AD7BkJJkkTNafhXNRgTbLPtr32ERGsd8IjBggrv7Bhqb5R0h22775iTmQEc6FQ1Xng/i9g== X-Received: by 10.194.91.233 with SMTP id ch9mr2792107wjb.121.1458123047614; Wed, 16 Mar 2016 03:10:47 -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 z6sm2760325wme.9.2016.03.16.03.10.46 (version=TLSv1/SSLv3 cipher=OTHER); Wed, 16 Mar 2016 03:10:46 -0700 (PDT) To: Caml List From: Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com> Message-ID: <56E93076.40400@gmail.com> Date: Wed, 16 Mar 2016 11:07:50 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Icedove/38.6.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Subject: [Caml-list] how to install "labltk" via opam 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?