[MacPorts] #18292: camlp5 and ocaml: incompatible versions
#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
#18292: camlp5 and ocaml: incompatible versions -------------------------------------------+-------------------------------- Reporter: judufuru-gherthgr@… | Owner: mreid@… Type: defect | Status: new Priority: Normal | Milestone: Port Bugs Component: ports | Version: 1.7.0 Keywords: ocaml | Port: camlp5 -------------------------------------------+-------------------------------- Changes (by macsforever2000@…): * owner: macports-tickets@… => mreid@… -- Ticket URL: <http://trac.macports.org/ticket/18292#comment:1> MacPorts <http://www.macports.org/> Ports system for Mac OS
#18292: camlp5 and ocaml: incompatible versions -------------------------------------------+-------------------------------- Reporter: judufuru-gherthgr@… | Owner: blb@… Type: defect | Status: new Priority: Normal | Milestone: Port Bugs Component: ports | Version: 1.7.0 Keywords: ocaml | Port: camlp5 -------------------------------------------+-------------------------------- Changes (by blb@…): * owner: mreid@… => blb@… -- Ticket URL: <http://trac.macports.org/ticket/18292#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS
#18292: camlp5 and ocaml: incompatible versions --------------------------------------------+------------------------------- Reporter: judufuru-gherthgr@… | Owner: blb@… Type: defect | Status: closed Priority: Normal | Milestone: Port Bugs Component: ports | Version: 1.7.0 Resolution: fixed | Keywords: ocaml Port: camlp5 | --------------------------------------------+------------------------------- Changes (by blb@…): * status: new => closed * resolution: => fixed Comment: Updated to 5.11 in r46217. -- Ticket URL: <http://trac.macports.org/ticket/18292#comment:3> MacPorts <http://www.macports.org/> Ports system for Mac OS
participants (1)
-
MacPorts