[MacPorts] #30620: [Coq] Build failure

[MacPorts]

#30620: [Coq] Build failure
------------------------------+---------------------------------------------
 Reporter:  mt1882@…          |       Owner:  macports-tickets@…                   
     Type:  defect            |      Status:  new                                  
 Priority:  Normal            |   Milestone:                                       
Component:  ports             |     Version:  2.0.1                                
 Keywords:  Coq               |        Port:  coq                                  
------------------------------+---------------------------------------------
 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/30620>
MacPorts <http://www.macports.org/>
Ports system for Mac OS