[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