coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Edsko de Vries <edskodevries AT gmail.com>
- To: hugo.herbelin AT inria.fr
- Cc: coq-club <coq-club AT pauillac.inria.fr>
- Subject: Re: [Coq-Club] Compile failure on Mac OS X
- Date: Mon, 13 Jul 2009 13:33:01 +0100
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Hi Hugo,
Thanks for your help.
If not already done, can you try calling configure with option
"-camlp5dir /Users/wendy/csw/lib/ocaml/camlp5" and check that the
output line mentioning Camlp4 says
Ah, that did the trick. The original output of configure was simply
Camlp4 library in : +camlp5
which is why I didn't cop on that it was using the wrong camlp5 (I made sure that the new camlp5 was first in my PATH, so I figured that would be sufficient).
It's working now.
Thanks again,
Edsko
- [Coq-Club] Compile failure on Mac OS X, Edsko de Vries
- Re: [Coq-Club] Compile failure on Mac OS X,
Yves Bertot
- Re: [Coq-Club] Compile failure on Mac OS X, Edsko de Vries
- Re: [Coq-Club] Compile failure on Mac OS X,
Arnaud Spiwack
- Re: [Coq-Club] Compile failure on Mac OS X, Edsko de Vries
- Message not available
- Message not available
- Message not available
- Message not available
- Message not available
- Re: [Coq-Club] Compile failure on Mac OS X, Edsko de Vries
- Message not available
- Message not available
- Message not available
- Message not available
- Re: [Coq-Club] Compile failure on Mac OS X,
Yves Bertot
Archive powered by MhonArc 2.6.16.