[MacPorts] #48155: coq coq-8.4pl6_0 build fails

MacPorts noreply at macports.org
Wed Jun 24 11:16:21 PDT 2015

#48155: coq coq-8.4pl6_0 build fails
  Reporter:  lord@…  |      Owner:  perry@…
      Type:  defect  |     Status:  new
  Priority:  Normal  |  Milestone:
 Component:  ports   |    Version:  2.3.3
Resolution:          |   Keywords:
      Port:  coq     |

Comment (by ryandesign@…):

 ocaml was updated to 4.02.2 in r137807. camlp5 and ocaml-camlp4 must be
 updated simultaneously with every ocaml update (see the comment at the top
 of the ocaml portfile), but this was not done with ocaml 4.02.2, so caml
 6.12 would fail to build thereafter. So I updated camlp5 to version 6.13
 in r137976 which does build with ocaml 4.02.2.

Ticket URL: <https://trac.macports.org/ticket/48155#comment:8>
MacPorts <https://www.macports.org/>
Ports system for OS X

More information about the macports-tickets mailing list