#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