[MacPorts] #40472: campl5 depends on new version of ocaml, but is incompatible with it
#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 Keywords: | Port: -------------------------------+-------------------------------- Trying to install campl5, I get the folllowing message: {{{ ---> Configuring camlp5 Error: org.macports.configure for port camlp5 returned: configure failure: command execution failed }}} The log file contains: {{{ :info:configure Sorry: the compatibility with ocaml version "4.01.0" :info:configure is not yet implemented. Please report. }}} I am attaching the log (this is for trying to install coq, but one gets very similar results when installing just camlp5). -- Ticket URL: <https://trac.macports.org/ticket/40472> MacPorts <http://www.macports.org/> Ports system for OS X
#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
#40472: camlp5 @6.06_4: configure fails with ocaml @4.01.0 --------------------------------+-------------------------------- Reporter: feliks.kluzniak@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.2.0 Resolution: | Keywords: Port: camlp5 | --------------------------------+-------------------------------- Changes (by ryandesign@…): * port: => camlp5 -- Ticket URL: <https://trac.macports.org/ticket/40472#comment:2> MacPorts <http://www.macports.org/> Ports system for OS X
#40472: camlp5 @6.06_4: configure fails with ocaml @4.01.0 --------------------------------+-------------------------------- Reporter: feliks.kluzniak@… | Owner: macports-tickets@… Type: defect | Status: closed Priority: Normal | Milestone: Component: ports | Version: 2.2.0 Resolution: fixed | Keywords: Port: camlp5 | --------------------------------+-------------------------------- Changes (by ryandesign@…): * cc: ryandesign@… (added) * status: new => closed * resolution: => fixed Comment: Fixed by updating camlp5 to 6.11 in r111068. -- Ticket URL: <https://trac.macports.org/ticket/40472#comment:3> MacPorts <http://www.macports.org/> Ports system for OS X
participants (1)
-
MacPorts