[MacPorts] #48155: coq coq-8.4pl6_0 build fails

[MacPorts]

#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