[MacPorts] #40472: campl5 depends on new version of ocaml, but is incompatible with it
MacPorts
noreply at macports.org
Fri Sep 13 13:17:19 PDT 2013
#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
More information about the macports-tickets
mailing list