Skip to Content.
Sympa Menu

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

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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


chronological Thread 
  • 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





Archive powered by MhonArc 2.6.16.

Top of Page