Opened 5 years ago

Closed 5 years ago

#48155 closed defect (fixed)

coq coq-8.4pl6_0 build fails

Reported by: lord@… Owned by: pmetzger (Perry E. Metzger)
Priority: Normal Milestone:
Component: ports Version: 2.3.3
Keywords: Cc: ryandesign (Ryan Schmidt), hippallium-macports@…
Port: coq

Description

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

Attachments (1)

main.log (83.4 KB) - added by lord@… 5 years ago.

Download all attachments as: .zip

Change History (13)

Changed 5 years ago by lord@…

Attachment: main.log added

comment:1 Changed 5 years ago by mf2k (Frank Schima)

Cc: perry@… removed
Owner: changed from macports-tickets@… to perry@…
Port: coq added

In the future, please fill in the Port field.

comment:2 Changed 5 years ago by lord@…

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

comment:3 Changed 5 years ago by 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.

comment:4 Changed 5 years ago by pmetzger (Perry E. Metzger)

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

comment:5 Changed 5 years ago by nerdling (Jeremy Lavergne)

Cc: ryandesign@… added

comment:6 Changed 5 years ago by ryandesign (Ryan Schmidt)

I have no information to add, sorry.

comment:7 Changed 5 years ago by 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?

comment:8 Changed 5 years ago by ryandesign (Ryan 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.

Last edited 5 years ago by ryandesign (Ryan Schmidt) (previous) (diff)

comment:9 Changed 5 years ago by hippallium-macports@…

Cc: hippallium-macports@… added

Cc Me!

comment:10 Changed 5 years ago by pmetzger (Perry E. Metzger)

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

comment:11 Changed 5 years ago by lord@…

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

comment:12 Changed 5 years ago by Ionic (Mihai Moldovan)

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.