Update OCaml port and multiple related ports

[pmetzger (Perry E. Metzger)]

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.

[pmetzger (Perry E. Metzger)]

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

[pmetzger (Perry E. Metzger)]

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

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

[mojca (Mojca Miklavec)]

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*'

[mojca (Mojca Miklavec)]

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