#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