coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq 8.1pl2 and Ocaml 3.10

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