coq coq-8.4pl6_0 build fails

[lord@…]

Trying to re-install coq package after system OCaml upgrade. It fails.

lambda13 ~# port install coq
--->  Computing dependencies for coq
--->  Fetching archive for coq
--->  Attempting to fetch coq-8.4pl6_0.darwin_14.x86_64.tbz2 from http://packages.macports.org/coq
--->  Attempting to fetch coq-8.4pl6_0.darwin_14.x86_64.tbz2 from http://lil.fr.packages.macports.org/coq
--->  Attempting to fetch coq-8.4pl6_0.darwin_14.x86_64.tbz2 from http://mse.uk.packages.macports.org/sites/packages.macports.org/coq
--->  Fetching distfiles for coq
--->  Verifying checksums for coq
--->  Extracting coq
--->  Configuring coq
--->  Building coq
Error: org.macports.build for port coq returned: command execution failed
Please see the log file for port coq for details:
    /opt/local/var/macports/logs/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/main.log
To report a bug, follow the instructions in the guide:
    http://guide.macports.org/#project.tickets
Error: Processing of port coq failed

[mf2k (Frank Schima)]

In the future, please fill in the Port field.

[lord@…]

I have attached the full log file. Let me me know if anything else I can provide.

[pmetzger (Perry E. Metzger)]

The problem appears not to be the upgrade to ocaml but rather to camlp5. Not sure if there is a way to tag the maintainer of that port.

[pmetzger (Perry E. Metzger)]

I believe ryandesign@… was responsible for the camlp5 update. Not sure if he knows enough to help though.

[ryandesign (Ryan Carsten Schmidt)]

I have no information to add, sorry.

[pmetzger (Perry E. Metzger)]

Could you shed some light on what changes you made to camlp5 and what ticket inspired them, even if that's not much information?

[ryandesign (Ryan Carsten Schmidt)]

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 camlp5 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.

[hippallium-macports@…]

Cc Me!

[pmetzger (Perry E. Metzger)]

I believe things are now building properly. Could we get confirmation that the ticket can be closed out?

[lord@…]

I just tested and confirm that coq @8.4pl6_1 now installs without errors. Thanks!