#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