#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