[MacPorts] #30619: [Coq] Build failure

[MacPorts]

#30619: [Coq] Build failure
------------------------------+---------------------------------------------
 Reporter:  mt1882@…          |       Owner:  macports-tickets@…                   
     Type:  defect            |      Status:  new                                  
 Priority:  Normal            |   Milestone:                                       
Component:  ports             |     Version:  2.0.1                                
 Keywords:                    |        Port:                                       
------------------------------+---------------------------------------------
 Hi,
 I use sudo port install coq +coqide +doc to build coq in my mac (version
 10.6.8) and I have this problem:

 --->  Building coq
 Error: Target org.macports.build returned: shell command failed (see log
 for details)
 Log for coq is at:
 /opt/local/var/macports/logs/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/main.log
 Error: Status 1 encountered during processing.


 Can anyone help me to resolve it? Thank you

-- 
Ticket URL: <https://trac.macports.org/ticket/30619>
MacPorts <http://www.macports.org/>
Ports system for Mac OS