Changes between Initial Version and Version 1 of Ticket #30620
- Timestamp:
- Aug 6, 2011, 6:03:39 PM (13 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #30620
- Property Cc reilles@… removed
- Property Owner changed from macports-tickets@… to reilles@…
- Property Keywords Coq removed
-
Ticket #30620 – Description
initial v1 1 1 Hi, I use '''sudo port install coq +coqide +doc''' to build coq in my mac (version 10.6.8) and I have this problem: 2 2 {{{ 3 3 ---> 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. 4 4 }}} 5 5 Can anyone help me to resolve it? Thank you