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 C9E197EE4A for ; Fri, 13 Sep 2013 11:29:17 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of david.mentre@gmail.com) identity=pra; client-ip=209.85.217.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="david.mentre@gmail.com"; x-sender="david.mentre@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of david.mentre@gmail.com designates 209.85.217.174 as permitted sender) identity=mailfrom; client-ip=209.85.217.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="david.mentre@gmail.com"; x-sender="david.mentre@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-lb0-f174.google.com) identity=helo; client-ip=209.85.217.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="david.mentre@gmail.com"; x-sender="postmaster@mail-lb0-f174.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqwCAMHZMlLRVdmulGdsb2JhbABbgz9Swg0IFg4BAQEBBwsLCRIqgmwBBjMDDQUQPR0DEgEFASKIBAMPDJhsgwOPWDOEFScNiS4BBQyUBQOOTIFah1SBL45bGCmBYYJsOg X-IPAS-Result: AqwCAMHZMlLRVdmulGdsb2JhbABbgz9Swg0IFg4BAQEBBwsLCRIqgmwBBjMDDQUQPR0DEgEFASKIBAMPDJhsgwOPWDOEFScNiS4BBQyUBQOOTIFah1SBL45bGCmBYYJsOg X-IronPort-AV: E=Sophos;i="4.90,897,1371074400"; d="txt'?scan'208";a="26725929" Received: from mail-lb0-f174.google.com ([209.85.217.174]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 13 Sep 2013 11:29:17 +0200 Received: by mail-lb0-f174.google.com with SMTP id w6so1842311lbh.5 for ; Fri, 13 Sep 2013 02:29:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:from:date:message-id:subject:to:content-type; bh=ZqB7krAELS/tUKBbuwGjJym+5398M+1LvPk7qMOUAZg=; b=V0AzXgx7IKaKgKEc07F7yZPh5lAdPFonbZEXsl4UuMT3bRg0YILY//oeqvy4kP3abM uv4Ym511S8KeyHxIUGnKMcRVojX6KRX7njYQwXWhe41uZ4qMK/D23LRvPR6bgWmDQEJI mcPcBcTwxIIZ5f+uKfEfhdKj2w0mr6cCWZJQkQZTvg7BwuwHRzy6C190W6oorM5O2+7Q RCqxcJBJ01AueKUwQRMlZ0tF5VEN4cCAed6x/0ZsBrR/TN1d2CADSW9SyylNm6IgejSR DrRZ4u1xKCSaOV4bFdXFfLosnjLcUZod3aAJCQExDIQaAhIBzqyJu21lcZD42Awjdjqk yYog== X-Received: by 10.112.29.147 with SMTP id k19mr11221240lbh.9.1379064556411; Fri, 13 Sep 2013 02:29:16 -0700 (PDT) MIME-Version: 1.0 Sender: david.mentre@gmail.com Received: by 10.112.45.108 with HTTP; Fri, 13 Sep 2013 02:28:46 -0700 (PDT) From: David MENTRE Date: Fri, 13 Sep 2013 11:28:46 +0200 X-Google-Sender-Auth: TCfjpoh-CjDbOaQsol86nVidplk Message-ID: To: caml users Content-Type: multipart/mixed; boundary=001a1133aa8601e08a04e6407dd5 Subject: [Caml-list] Unable to install Why 2.33 with opam --001a1133aa8601e08a04e6407dd5 Content-Type: text/plain; charset=ISO-8859-1 Hello, I would like to install Why 2.33 with opam. I have opam 1.0.0 locally compiled and installed in /usr/local/bin. My OCaml compiler is v4.00.1, also installed from source in /usr/local/bin. opam root is in /usr/local/stow/opam-root/. "opam install why" fails with a failure to find ocamlgraph library which seems properly installed in opam system part. Any idea how to fix that? Complete failure log is attached. I also tried to compiled Why 2.33 directly from sources, but the ./configure script failed to find the opam's ocamlscript and I found no way to help ./configure find ocamlscript. Best regards, david PS: Is there a better way to report such opam's issue? --001a1133aa8601e08a04e6407dd5 Content-Type: text/plain; charset=US-ASCII; name="opam-why-error.txt" Content-Disposition: attachment; filename="opam-why-error.txt" Content-Transfer-Encoding: base64 X-Attachment-Id: f_hlj77hh60 JCBvcGFtIGluc3RhbGwgd2h5ClRoZSBmb2xsb3dpbmcgYWN0aW9ucyB3aWxs IGJlIHBlcmZvcm1lZDoKIC0gaW5zdGFsbCB3aHkuMi4zMwoxIHRvIGluc3Rh bGwgfCAwIHRvIHJlaW5zdGFsbCB8IDAgdG8gdXBncmFkZSB8IDAgdG8gZG93 bmdyYWRlIHwgMCB0byByZW1vdmUKCj0tPS09IEluc3RhbGxpbmcgd2h5LjIu MzMgPS09LT0KVGhlIGFyY2hpdmUgZm9yIHdoeS4yLjMzIGlzIGluIHRoZSBs b2NhbCBjYWNoZS4KRXh0cmFjdGluZyAvdXNyL2xvY2FsL3N0b3cvb3BhbS1y b290L2FyY2hpdmVzL3doeS4yLjMzK29wYW0udGFyLmd6LgpBcHBseWluZyBv cGFtLnBhdGNoLgpBcHBseWluZyB3YXJuLWVycm9yLnBhdGNoLgpBcHBseWlu ZyBjb25maWd1cmUuRmx1b3JpbmUtdmVyc2lvbi4KQnVpbGRpbmcgd2h5LjIu MzM6CiAgYXV0b2NvbmYKICAuL2NvbmZpZ3VyZSAtLWVuYWJsZS12ZXJib3Nl bWFrZSBPQ0FNTEdSQVBITElCPS91c3IvbG9jYWwvc3Rvdy9vcGFtLXJvb3Qv c3lzdGVtL2xpYi9vY2FtbGdyYXBoIC0tcHJlZml4IC91c3IvbG9jYWwvc3Rv dy9vcGFtLXJvb3Qvc3lzdGVtIC0tc2JpbmRpcj0vdXNyL2xvY2FsL3N0b3cv b3BhbS1yb290L3N5c3RlbS9saWIvd2h5L3NiaW4gLS1saWJleGVjZGlyPS91 c3IvbG9jYWwvc3Rvdy9vcGFtLXJvb3Qvc3lzdGVtL2xpYi93aHkvbGliZXhl YyAtLXN5c2NvbmZkaXI9L3Vzci9sb2NhbC9zdG93L29wYW0tcm9vdC9zeXN0 ZW0vbGliL3doeS9ldGMgLS1zaGFyZWRzdGF0ZWRpcj0vdXNyL2xvY2FsL3N0 b3cvb3BhbS1yb290L3N5c3RlbS9saWIvd2h5L2NvbSAtLWxvY2Fsc3RhdGVk aXI9L3Vzci9sb2NhbC9zdG93L29wYW0tcm9vdC9zeXN0ZW0vbGliL3doeS92 YXIgLS1saWJkaXI9L3Vzci9sb2NhbC9zdG93L29wYW0tcm9vdC9zeXN0ZW0v bGliL3doeS9saWIgLS1pbmNsdWRlZGlyPS91c3IvbG9jYWwvc3Rvdy9vcGFt LXJvb3Qvc3lzdGVtL2xpYi93aHkvaW5jbHVkZSAtLWRhdGFyb290ZGlyPS91 c3IvbG9jYWwvc3Rvdy9vcGFtLXJvb3Qvc3lzdGVtL2xpYi93aHkvc2hhcmUK ICBtYWtlCiAgbWFrZSBpbnN0YWxsClRoZSBjb21waWxhdGlvbiBvZiB3aHku Mi4zMyBmYWlsZWQuClVuaW5zdGFsbGluZyB3aHkuMi4zMy4KCgo9PT09IEVS Uk9SIFt3aGlsZSBpbnN0YWxsaW5nIHdoeS4yLjMzXSA9PT09CiMgb3BhbS12 ZXJzaW9uICAgIDEuMC4wCiMgb3MgICAgICAgICAgICAgIGxpbnV4CiMgY29t bWFuZCAgICAgICAgIC4vY29uZmlndXJlIC0tZW5hYmxlLXZlcmJvc2VtYWtl IE9DQU1MR1JBUEhMSUI9L3Vzci9sb2NhbC9zdG93L29wYW0tcm9vdC9zeXN0 ZW0vbGliL29jYW1sZ3JhcGggLS1wcmVmaXggL3Vzci9sb2NhbC9zdG93L29w YW0tcm9vdC9zeXN0ZW0gLS1zYmluZGlyPS91c3IvbG9jYWwvc3Rvdy9vcGFt LXJvb3Qvc3lzdGVtL2xpYi93aHkvc2JpbiAtLWxpYmV4ZWNkaXI9L3Vzci9s b2NhbC9zdG93L29wYW0tcm9vdC9zeXN0ZW0vbGliL3doeS9saWJleGVjIC0t c3lzY29uZmRpcj0vdXNyL2xvY2FsL3N0b3cvb3BhbS1yb290L3N5c3RlbS9s aWIvd2h5L2V0YyAtLXNoYXJlZHN0YXRlZGlyPS91c3IvbG9jYWwvc3Rvdy9v cGFtLXJvb3Qvc3lzdGVtL2xpYi93aHkvY29tIC0tbG9jYWxzdGF0ZWRpcj0v dXNyL2xvY2FsL3N0b3cvb3BhbS1yb290L3N5c3RlbS9saWIvd2h5L3ZhciAt LWxpYmRpcj0vdXNyL2xvY2FsL3N0b3cvb3BhbS1yb290L3N5c3RlbS9saWIv d2h5L2xpYiAtLWluY2x1ZGVkaXI9L3Vzci9sb2NhbC9zdG93L29wYW0tcm9v dC9zeXN0ZW0vbGliL3doeS9pbmNsdWRlIC0tZGF0YXJvb3RkaXI9L3Vzci9s b2NhbC9zdG93L29wYW0tcm9vdC9zeXN0ZW0vbGliL3doeS9zaGFyZQojIHBh dGggICAgICAgICAgICAvdXNyL2xvY2FsL3N0b3cvb3BhbS1yb290L3N5c3Rl bS9idWlsZC93aHkuMi4zMwojIGV4aXQtY29kZSAgICAgICAxCiMgZW52LWZp bGUgICAgICAgIC91c3IvbG9jYWwvc3Rvdy9vcGFtLXJvb3Qvc3lzdGVtL2J1 aWxkL3doeS4yLjMzL3doeS01NDhiMDkuZW52CiMgc3Rkb3V0LWZpbGUgICAg IC91c3IvbG9jYWwvc3Rvdy9vcGFtLXJvb3Qvc3lzdGVtL2J1aWxkL3doeS4y LjMzL3doeS01NDhiMDkub3V0CiMgc3RkZXJyLWZpbGUgICAgIC91c3IvbG9j YWwvc3Rvdy9vcGFtLXJvb3Qvc3lzdGVtL2J1aWxkL3doeS4yLjMzL3doeS01 NDhiMDkuZXJyCiMjIyBzdGRvdXQgIyMjCi4uLlt0cnVuY2F0ZWRdCmNoZWNr aW5nIG9jYW1sYy5vcHQgdmVyc2lvbi4uLiBvawpjaGVja2luZyBmb3Igb2Nh bWxkZXAuLi4gb2NhbWxkZXAKY2hlY2tpbmcgZm9yIG9jYW1sZGVwLm9wdC4u LiBvY2FtbGRlcC5vcHQKY2hlY2tpbmcgZm9yIG9jYW1sbGV4Li4uIG9jYW1s bGV4CmNoZWNraW5nIGZvciBvY2FtbGxleC5vcHQuLi4gb2NhbWxsZXgub3B0 CmNoZWNraW5nIGZvciBvY2FtbHlhY2MuLi4gb2NhbWx5YWNjCmNoZWNraW5n IGZvciBvY2FtbGRvYy4uLiBvY2FtbGRvYwpjaGVja2luZyBmb3Igb2NhbWxk b2Mub3B0Li4uIG9jYW1sZG9jLm9wdApjaGVja2luZyBmb3IgL3Vzci9sb2Nh bC9zdG93L29jYW1sLTQuMDAuMS9saWIvb2NhbWwvb2NhbWxncmFwaC9ncmFw aC5jbWkuLi4gbm8KY2hlY2tpbmcgZm9yIG9jYW1sZ3JhcGgvc3JjL3NpZy5t bGkuLi4gbm8KIyMjIHN0ZGVyciAjIyMKY29uZmlndXJlOiBlcnJvcjogQ2Fu bm90IGZpbmQgb2NhbWxncmFwaCBsaWJyYXJ5LiBQbGVhc2UgaW5zdGFsbCB0 aGUgKmxpYm9jYW1sZ3JhcGgtb2NhbWwtZGV2KiBEZWJpYW4gcGFja2FnZSAt IG9yIHVzZSB0aGUgR09ESSBjYW1sIHBhY2thZ2Ugc3lzdGVtICpodHRwOi8v Z29kaS5vY2FtbC1wcm9ncmFtbWluZy5kZS8qIC0gb3IgY29tcGlsZSBmcm9t IHNvdXJjZXMgKmh0dHA6Ly9vY2FtbGdyYXBoLmxyaS5mci8qCgonb3BhbSBp bnN0YWxsIHdoeScgZmFpbGVkLgo= --001a1133aa8601e08a04e6407dd5--