Opened 7 years ago

Closed 7 years ago

#55358 closed defect (fixed)

Update OCaml port and multiple related ports

Reported by: pmetzger (Perry E. Metzger) Owned by:
Priority: Normal Milestone:
Component: ports Version:
Keywords: haspatch maintainer Cc: toots@…, tenomoto (Takeshi Enomoto), fh@…, cooljeanius (Eric Gallager), benedikt.meurer@…, neverpanic (Clemens Lang)
Port: ocaml ocaml-findlib ocaml-ocamlbuild camlp5 coq ocaml-camlp4

Description

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.

Attachments (1)

patch-ocaml (12.3 KB) - added by pmetzger (Perry E. Metzger) 7 years ago.
Patches to update Portfiles (and one files/ patch) for OCaml system updates

Download all attachments as: .zip

Change History (4)

Changed 7 years ago by pmetzger (Perry E. Metzger)

Attachment: patch-ocaml added

Patches to update Portfiles (and one files/ patch) for OCaml system updates

comment:1 Changed 7 years ago by pmetzger (Perry E. Metzger)

Note that I've now made this available as a pull request:

https://github.com/macports/macports-ports/pull/1044

comment:2 Changed 7 years ago by mojca (Mojca Miklavec)

Cc: toots@… tenomoto fh@… cooljeanius benedikt.meurer@… neverpanic added
Port: ocaml-findlib ocaml-ocamlbuild camlp5 coq ocaml-camlp4 added

I CC-ed all maintainers of ocaml-* ports, so that they can potentially review your changes and/or check whether their own ports still build fine.

I only ran

port info --maintainer 'ocaml*'

comment:3 Changed 7 years ago by mojca (Mojca Miklavec)

Resolution: fixed
Status: newclosed

Commit messages failed to close this ticket. The patches were committed in c9e5ad1d.

Note: See TracTickets for help on using tickets.