[MacPorts] #18292: camlp5 and ocaml: incompatible versions

MacPorts noreply at macports.org
Sat Jan 31 07:11:18 PST 2009


#18292: camlp5 and ocaml: incompatible versions
-------------------------------------------+--------------------------------
 Reporter:  judufuru-gherthgr@…            |       Owner:  macports-tickets@…                   
     Type:  defect                         |      Status:  new                                  
 Priority:  Normal                         |   Milestone:  Port Bugs                            
Component:  ports                          |     Version:  1.7.0                                
 Keywords:  ocaml                          |        Port:  camlp5                               
-------------------------------------------+--------------------------------
 The port 'ocaml' has been updated to version 3.11. But the port 'camlp5'
 is too old (version 5.08) and thus incompatible: the port 'camlp5' must be
 updated to version 5.10 or higher.

 Because of that, when trying to compile, for example, the last version of
 Coq, I get the error message:

 {{{
 >> Fatal error: Ocaml and preprocessor have incompatible versions
 }}}

-- 
Ticket URL: <http://trac.macports.org/ticket/18292>
MacPorts <http://www.macports.org/>
Ports system for Mac OS


More information about the macports-tickets mailing list