From: David MENTRE <dmentre@linux-france.org>
To: caml users <caml-list@inria.fr>
Subject: [Caml-list] Unable to install Why 2.33 with opam
Date: Fri, 13 Sep 2013 11:28:46 +0200 [thread overview]
Message-ID: <CAC3Lx=ZvXbrHO4nCFKb_WSTpKWS2xBTrBffF-jW=Zd_UqR_V_Q@mail.gmail.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 679 bytes --]
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?
[-- Attachment #2: opam-why-error.txt --]
[-- Type: text/plain, Size: 2900 bytes --]
$ opam install why
The following actions will be performed:
- install why.2.33
1 to install | 0 to reinstall | 0 to upgrade | 0 to downgrade | 0 to remove
=-=-= Installing why.2.33 =-=-=
The archive for why.2.33 is in the local cache.
Extracting /usr/local/stow/opam-root/archives/why.2.33+opam.tar.gz.
Applying opam.patch.
Applying warn-error.patch.
Applying configure.Fluorine-version.
Building why.2.33:
autoconf
./configure --enable-verbosemake OCAMLGRAPHLIB=/usr/local/stow/opam-root/system/lib/ocamlgraph --prefix /usr/local/stow/opam-root/system --sbindir=/usr/local/stow/opam-root/system/lib/why/sbin --libexecdir=/usr/local/stow/opam-root/system/lib/why/libexec --sysconfdir=/usr/local/stow/opam-root/system/lib/why/etc --sharedstatedir=/usr/local/stow/opam-root/system/lib/why/com --localstatedir=/usr/local/stow/opam-root/system/lib/why/var --libdir=/usr/local/stow/opam-root/system/lib/why/lib --includedir=/usr/local/stow/opam-root/system/lib/why/include --datarootdir=/usr/local/stow/opam-root/system/lib/why/share
make
make install
The compilation of why.2.33 failed.
Uninstalling why.2.33.
==== ERROR [while installing why.2.33] ====
# opam-version 1.0.0
# os linux
# command ./configure --enable-verbosemake OCAMLGRAPHLIB=/usr/local/stow/opam-root/system/lib/ocamlgraph --prefix /usr/local/stow/opam-root/system --sbindir=/usr/local/stow/opam-root/system/lib/why/sbin --libexecdir=/usr/local/stow/opam-root/system/lib/why/libexec --sysconfdir=/usr/local/stow/opam-root/system/lib/why/etc --sharedstatedir=/usr/local/stow/opam-root/system/lib/why/com --localstatedir=/usr/local/stow/opam-root/system/lib/why/var --libdir=/usr/local/stow/opam-root/system/lib/why/lib --includedir=/usr/local/stow/opam-root/system/lib/why/include --datarootdir=/usr/local/stow/opam-root/system/lib/why/share
# path /usr/local/stow/opam-root/system/build/why.2.33
# exit-code 1
# env-file /usr/local/stow/opam-root/system/build/why.2.33/why-548b09.env
# stdout-file /usr/local/stow/opam-root/system/build/why.2.33/why-548b09.out
# stderr-file /usr/local/stow/opam-root/system/build/why.2.33/why-548b09.err
### stdout ###
...[truncated]
checking ocamlc.opt version... ok
checking for ocamldep... ocamldep
checking for ocamldep.opt... ocamldep.opt
checking for ocamllex... ocamllex
checking for ocamllex.opt... ocamllex.opt
checking for ocamlyacc... ocamlyacc
checking for ocamldoc... ocamldoc
checking for ocamldoc.opt... ocamldoc.opt
checking for /usr/local/stow/ocaml-4.00.1/lib/ocaml/ocamlgraph/graph.cmi... no
checking for ocamlgraph/src/sig.mli... no
### stderr ###
configure: error: Cannot find ocamlgraph library. Please install the *libocamlgraph-ocaml-dev* Debian package - or use the GODI caml package system *http://godi.ocaml-programming.de/* - or compile from sources *http://ocamlgraph.lri.fr/*
'opam install why' failed.
next reply other threads:[~2013-09-13 9:29 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-09-13 9:28 David MENTRE [this message]
2013-09-13 9:58 ` Daniel Bünzli
2013-09-13 12:31 ` David MENTRE
2013-09-13 12:50 ` Amir Chaudhry
2013-09-13 13:11 ` David MENTRE
2013-09-13 12:50 ` Daniel Bünzli
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='CAC3Lx=ZvXbrHO4nCFKb_WSTpKWS2xBTrBffF-jW=Zd_UqR_V_Q@mail.gmail.com' \
--to=dmentre@linux-france.org \
--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;
as well as URLs for NNTP newsgroup(s).