#40472: campl5 depends on new version of ocaml, but is incompatible with it --------------------------------+-------------------------------- Reporter: feliks.kluzniak@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.2.0 Resolution: | Keywords: Port: | --------------------------------+-------------------------------- Comment (by feliks.kluzniak@…): Hmm, this is not evident from the log, but the problem is that the wrong version of ocaml is installed as a prerequisite (see below). Once again: similarly for installing just camlp5. It does not make a difference if one already has ocaml 4.00.1_1 activated (as I had on a previous attempt): the new version is installed anyway. {{{
sudo port install coq ---> Computing dependencies for coq ---> Dependencies to be installed: camlp5 ocaml ---> Fetching archive for ocaml ---> Attempting to fetch ocaml-4.01.0_0.darwin_12.x86_64.tbz2 from http://mse.uk.packages.macports.org/sites/packages.macports.org/ocaml ---> Attempting to fetch ocaml-4.01.0_0.darwin_12.x86_64.tbz2.rmd160 from http://mse.uk.packages.macports.org/sites/packages.macports.org/ocaml ---> Installing ocaml @4.01.0_0 }}}
-- Ticket URL: <https://trac.macports.org/ticket/40472#comment:1> MacPorts <http://www.macports.org/> Ports system for OS X