#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