[MacPorts] #55358: Update OCaml port and multiple related ports
MacPorts
noreply at macports.org
Sat Nov 18 21:35:38 UTC 2017
#55358: Update OCaml port and multiple related ports
---------------------------------+-------------------
Reporter: pmetzger | Owner:
Type: defect | Status: new
Priority: Normal | Milestone:
Component: ports | Version:
Keywords: haspatch maintainer | Port: ocaml
---------------------------------+-------------------
The attached patch performs this set of highly interrelated updates on
multiple OCaml ports:
Update ocaml to 4.05.0
(This is intentionally back a rev from 4.06.0 which breaks lots of ports.)
Update ocaml-findlib to 1.7.4
(This is needed or ports like Coq cannot build on the new OCaml, so it
must be done at the same time.)
Add port ocaml-ocamlbuild at 0.12.0
(This is needed because the new OCaml unbundled ocamlbuild, so it must be
done at the same time or camlp4 cannot be built, and doubtless some other
ports will need it.)
Upate ocaml-camlp4 to 4.05+2 and add a dependency on ocaml-ocamlbuild
(required because ocaml package update — camlp4 and camlp5 must be updated
synchronously with the update of OCaml.)
Update camlp5 to 7.03
(required because of ocaml package update, see above)
Update coq to 8.7.0 and add a dependency on ocaml-findlib
(Probably other packages also break when the OCaml version is updated but
this one was easy to fix.)
For all of the above, change Portfiles to make me the maintainer.
This update was fairly complicated and I would not be surprised if I got a
small detail wrong somewhere. I'm committed to fixing breakage after the
fact quickly.
Doubtless other packages will break as a result of this update. Some of
them we will likely be deprecating because serious OCaml users now use
opam to build their tools. Others which are required by non-OCaml ports I
will fix quickly as they turn up in the bulk build.
I will probably be submitting some more large scale fixes to the OCaml
infrastructure soon. I will try to do the future ones as git pull
requests.
--
Ticket URL: <https://trac.macports.org/ticket/55358>
MacPorts <https://www.macports.org/>
Ports system for macOS
More information about the macports-tickets
mailing list