Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Compile failure on Mac OS X

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Compile failure on Mac OS X


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





Archive powered by MhonArc 2.6.16.

Top of Page