#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