Changes between Initial Version and Version 1 of Ticket #30620


Ignore:
Timestamp:
Aug 6, 2011, 6:03:39 PM (13 years ago)
Author:
jmroot (Joshua Root)
Comment:

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  
    11Hi, 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{{{
    33---> 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}}}
    55Can anyone help me to resolve it? Thank you