[MacPorts] #30620: [Coq] Build failure

[MacPorts]

#30620: [Coq] Build failure
------------------------------+---------------------------------------------
 Reporter:  mt1882@…          |       Owner:  reilles@…       
     Type:  defect            |      Status:  new             
 Priority:  Normal            |   Milestone:                  
Component:  ports             |     Version:  2.0.1           
 Keywords:                    |        Port:  coq             
------------------------------+---------------------------------------------
Changes (by jmr@…):

  * keywords:  Coq =>
 * cc: reilles@… (removed)
  * owner:  macports-tickets@… => reilles@…


Old description:

> 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

New description:

 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#comment:1>
MacPorts <http://www.macports.org/>
Ports system for Mac OS