coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Danko Iliḱ <danko AT lix.polytechnique.fr>
- To: Andrej.Bauer AT andrej.com, coq-club AT pauillac.inria.fr
- Subject: Re: [Coq-Club] Coq 8.1pl2 and Ocaml 3.10
- Date: Thu, 13 Dec 2007 12:50:29 +0100
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
- Organization: Laboratoire d'Informatique de l'Ecole Polytechnique
Hello :)
This should be the same problem I encountered, due to switching from camlp4
to
camlp5. There is a hidden (i.e. not mentioned) option one has to give to the
configure script:
./configure -camlp5dir /usr/lib/ocaml/camlp5/
Regards,
Danko
- [Coq-Club] Coq 8.1pl2 and Ocaml 3.10, Andrej Bauer
- Re: [Coq-Club] Coq 8.1pl2 and Ocaml 3.10, Danko Iliḱ
- Re: [Coq-Club] Coq 8.1pl2 and Ocaml 3.10, Andrej Bauer
- Re: [Coq-Club] Coq 8.1pl2 and Ocaml 3.10,
Virgile Prevosto
- Re: [Coq-Club] Coq 8.1pl2 and Ocaml 3.10, Jean-Marc Notin
- Re: [Coq-Club] Coq 8.1pl2 and Ocaml 3.10, Danko Iliḱ
Archive powered by MhonArc 2.6.16.