[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