* [Caml-list] Unable to install Why 2.33 with opam
@ 2013-09-13 9:28 David MENTRE
2013-09-13 9:58 ` Daniel Bünzli
0 siblings, 1 reply; 6+ messages in thread
From: David MENTRE @ 2013-09-13 9:28 UTC (permalink / raw)
To: caml users
[-- 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.
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [Caml-list] Unable to install Why 2.33 with opam
2013-09-13 9:28 [Caml-list] Unable to install Why 2.33 with opam David MENTRE
@ 2013-09-13 9:58 ` Daniel Bünzli
2013-09-13 12:31 ` David MENTRE
0 siblings, 1 reply; 6+ messages in thread
From: Daniel Bünzli @ 2013-09-13 9:58 UTC (permalink / raw)
To: David MENTRE; +Cc: caml users
Le vendredi, 13 septembre 2013 à 10:28, David MENTRE a écrit :
> PS: Is there a better way to report such opam's issue?
https://github.com/OCamlPro/opam-repository/issues
Best,
Daniel
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [Caml-list] Unable to install Why 2.33 with opam
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 12:50 ` Daniel Bünzli
0 siblings, 2 replies; 6+ messages in thread
From: David MENTRE @ 2013-09-13 12:31 UTC (permalink / raw)
To: Daniel Bünzli; +Cc: caml users
Hello,
2013/9/13 Daniel Bünzli <daniel.buenzli@erratique.ch>:
> Le vendredi, 13 septembre 2013 à 10:28, David MENTRE a écrit :
>> PS: Is there a better way to report such opam's issue?
>
> https://github.com/OCamlPro/opam-repository/issues
Thanks. That should probably be put into the FAQ:
http://opam.ocamlpro.com/doc/FAQ.html
Best regards,
david
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [Caml-list] Unable to install Why 2.33 with opam
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
1 sibling, 1 reply; 6+ messages in thread
From: Amir Chaudhry @ 2013-09-13 12:50 UTC (permalink / raw)
To: David MENTRE; +Cc: Daniel Bünzli, caml users
On 13 Sep 2013, at 13:31, David MENTRE <dmentre@linux-france.org> wrote:
> Hello,
>
> 2013/9/13 Daniel Bünzli <daniel.buenzli@erratique.ch>:
>> Le vendredi, 13 septembre 2013 à 10:28, David MENTRE a écrit :
>>> PS: Is there a better way to report such opam's issue?
>>
>> https://github.com/OCamlPro/opam-repository/issues
>
>
> Thanks. That should probably be put into the FAQ:
> http://opam.ocamlpro.com/doc/FAQ.html
Looks like this is generated from a wiki [1], which is editable if you're logged into GitHub.
I've added a FAQ to address your question, which is content I copied from the About page [2, 3].
I assume this will make it to the live site when it gets rebuilt (whenever that is).
[1] https://github.com/OCamlPro/opam/wiki/FAQ
[2] http://opam.ocamlpro.com/about.html
[3] https://github.com/OCamlPro/opam/wiki/About
Best wishes,
Amir
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [Caml-list] Unable to install Why 2.33 with opam
2013-09-13 12:31 ` David MENTRE
2013-09-13 12:50 ` Amir Chaudhry
@ 2013-09-13 12:50 ` Daniel Bünzli
1 sibling, 0 replies; 6+ messages in thread
From: Daniel Bünzli @ 2013-09-13 12:50 UTC (permalink / raw)
To: David MENTRE; +Cc: caml users
Le vendredi, 13 septembre 2013 à 13:31, David MENTRE a écrit :
> Thanks. That should probably be put into the FAQ:
> http://opam.ocamlpro.com/doc/FAQ.html
Was going to do it but Amir was faster.
In any case you can edit these pages here:
https://github.com/OCamlPro/opam/wiki/FAQ
I think they get resynchronized with the website now and then.
Daniel
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [Caml-list] Unable to install Why 2.33 with opam
2013-09-13 12:50 ` Amir Chaudhry
@ 2013-09-13 13:11 ` David MENTRE
0 siblings, 0 replies; 6+ messages in thread
From: David MENTRE @ 2013-09-13 13:11 UTC (permalink / raw)
To: Amir Chaudhry; +Cc: Daniel Bünzli, caml users
2013/9/13 Amir Chaudhry <amc79@cam.ac.uk>:
> I've added a FAQ to address your question, which is content I copied from the About page [2, 3].
Thanks!
d.
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2013-09-13 13:11 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-09-13 9:28 [Caml-list] Unable to install Why 2.33 with opam David MENTRE
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
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).