[MacPorts] #48155: coq coq-8.4pl6_0 build fails
#48155: coq coq-8.4pl6_0 build fails --------------------+-------------------------------- Reporter: lord@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.3 Keywords: | Port: --------------------+-------------------------------- 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 }}} -- Ticket URL: <https://trac.macports.org/ticket/48155> MacPorts <https://www.macports.org/> Ports system for OS X
#48155: coq coq-8.4pl6_0 build fails ---------------------+--------------------- Reporter: lord@… | Owner: perry@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.3 Resolution: | Keywords: Port: coq | ---------------------+--------------------- Changes (by mf2k@…): * owner: macports-tickets@… => perry@… * cc: perry@… (removed) * port: => coq Comment: In the future, please fill in the Port field. -- Ticket URL: <https://trac.macports.org/ticket/48155#comment:1> MacPorts <https://www.macports.org/> Ports system for OS X
#48155: coq coq-8.4pl6_0 build fails ---------------------+--------------------- Reporter: lord@… | Owner: perry@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.3 Resolution: | Keywords: Port: coq | ---------------------+--------------------- Comment (by lord@…): I have attached the full log file. Let me me know if anything else I can provide. -- Ticket URL: <https://trac.macports.org/ticket/48155#comment:2> MacPorts <https://www.macports.org/> Ports system for OS X
#48155: coq coq-8.4pl6_0 build fails ---------------------+--------------------- Reporter: lord@… | Owner: perry@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.3 Resolution: | Keywords: Port: coq | ---------------------+--------------------- Comment (by perry@…): 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. -- Ticket URL: <https://trac.macports.org/ticket/48155#comment:3> MacPorts <https://www.macports.org/> Ports system for OS X
#48155: coq coq-8.4pl6_0 build fails ---------------------+--------------------- Reporter: lord@… | Owner: perry@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.3 Resolution: | Keywords: Port: coq | ---------------------+--------------------- Comment (by perry@…): I believe ryandesign@macports.org was responsible for the camlp5 update. Not sure if he knows enough to help though. -- Ticket URL: <https://trac.macports.org/ticket/48155#comment:4> MacPorts <https://www.macports.org/> Ports system for OS X
#48155: coq coq-8.4pl6_0 build fails ---------------------+--------------------- Reporter: lord@… | Owner: perry@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.3 Resolution: | Keywords: Port: coq | ---------------------+--------------------- Changes (by snc@…): * cc: ryandesign@… (added) -- Ticket URL: <https://trac.macports.org/ticket/48155#comment:5> MacPorts <https://www.macports.org/> Ports system for OS X
#48155: coq coq-8.4pl6_0 build fails ---------------------+--------------------- Reporter: lord@… | Owner: perry@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.3 Resolution: | Keywords: Port: coq | ---------------------+--------------------- Comment (by ryandesign@…): I have no information to add, sorry. -- Ticket URL: <https://trac.macports.org/ticket/48155#comment:6> MacPorts <https://www.macports.org/> Ports system for OS X
#48155: coq coq-8.4pl6_0 build fails ---------------------+--------------------- Reporter: lord@… | Owner: perry@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.3 Resolution: | Keywords: Port: coq | ---------------------+--------------------- Comment (by perry@…): Could you shed some light on what changes you made to camlp5 and what ticket inspired them, even if that's not much information? -- Ticket URL: <https://trac.macports.org/ticket/48155#comment:7> MacPorts <https://www.macports.org/> Ports system for OS X
#48155: coq coq-8.4pl6_0 build fails ---------------------+--------------------- Reporter: lord@… | Owner: perry@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.3 Resolution: | Keywords: Port: coq | ---------------------+--------------------- Comment (by ryandesign@…): 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 caml 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. -- Ticket URL: <https://trac.macports.org/ticket/48155#comment:8> MacPorts <https://www.macports.org/> Ports system for OS X
#48155: coq coq-8.4pl6_0 build fails ---------------------+--------------------- Reporter: lord@… | Owner: perry@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.3 Resolution: | Keywords: Port: coq | ---------------------+--------------------- Comment (by perry@…): I believe things are now building properly. Could we get confirmation that the ticket can be closed out? -- Ticket URL: <https://trac.macports.org/ticket/48155#comment:10> MacPorts <https://www.macports.org/> Ports system for OS X
#48155: coq coq-8.4pl6_0 build fails ---------------------+--------------------- Reporter: lord@… | Owner: perry@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.3 Resolution: | Keywords: Port: coq | ---------------------+--------------------- Comment (by lord@…): I just tested and confirm that coq @8.4pl6_1 now installs without errors. Thanks! -- Ticket URL: <https://trac.macports.org/ticket/48155#comment:11> MacPorts <https://www.macports.org/> Ports system for OS X
#48155: coq coq-8.4pl6_0 build fails ---------------------+--------------------- Reporter: lord@… | Owner: perry@… Type: defect | Status: closed Priority: Normal | Milestone: Component: ports | Version: 2.3.3 Resolution: fixed | Keywords: Port: coq | ---------------------+--------------------- Changes (by ionic@…): * status: new => closed * resolution: => fixed -- Ticket URL: <https://trac.macports.org/ticket/48155#comment:12> MacPorts <https://www.macports.org/> Ports system for OS X
participants (1)
-
MacPorts