[MacPorts] #26448: install coq fails in configuring stage

[MacPorts]

#26448: install coq fails in configuring stage
---------------------------------------+------------------------------------
 Reporter:  thomas.anberree@…          |       Owner:  reilles@…       
     Type:  defect                     |      Status:  new             
 Priority:  Normal                     |   Milestone:                  
Component:  ports                      |     Version:  1.9.1           
 Keywords:                             |        Port:  coq             
---------------------------------------+------------------------------------

Comment(by kb.common+macports@…):

 Replying to [ticket:26448 thomas.anberree@…]:
 > Hi,
 > Working with OS X 10.6.4.
 > Following instructions "Installing Coq 8.2pl1 on Macintosh" on webpage
 >      http://www.cs.princeton.edu/courses/archive/fall09/cos441/coq-
 mac.html

 I see that coq requires both ocaml and camlp5, hence this bug might just
 be duplicate of (dependent on?) [ticket:26769].

 To see if that is the case check the version of camplp5. It should be
 something like this:

 {{{
 $ camlp5 -v
 Camlp5 version 5.15 (ocaml 3.12.0)
 }}}

 If instead it says, Camlp5 version 5.14 (ocaml 3.12.0) or any pair of
 incompatible versions you will have to wait till the ports are updated.

 A workaround until then is to uninstall the camlp5 from port and install
 manually from [http://pauillac.inria.fr/~ddr/camlp5/]. See INSTALL file in
 the archive.

 For me it looked something like,
 {{{
 $ port uninstall camlp5
 < download and extract file from inria.fr >
 < change to that directory >
 $ ./configure --prefix /usr/local --transitional
 $ make world.opt
 $ sudo make install
 }}}

-- 
Ticket URL: <https://trac.macports.org/ticket/26448#comment:2>
MacPorts <http://www.macports.org/>
Ports system for Mac OS