coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Andrej Bauer <Andrej.Bauer AT fmf.uni-lj.si>
To: Danko Iliḱ <danko AT lix.polytechnique.fr>
Cc: 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 14:03:46 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Danko Iliḱ wrote:

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/

I tried it, it didn't help.

Andrej

[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