Opened 13 years ago
Last modified 7 years ago
#30620 closed defect
[Coq] Build failure — at Initial Version
Reported by: | mt1882@… | Owned by: | macports-tickets@… |
---|---|---|---|
Priority: | Normal | Milestone: | |
Component: | ports | Version: | 2.0.1 |
Keywords: | Cc: | reilles@… | |
Port: | coq |
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
Note: See
TracTickets for help on using
tickets.