Opened 13 years ago

Closed 13 years ago

#30619 closed defect (duplicate)

[Coq] Build failure

Reported by: mt1882@… Owned by: macports-tickets@…
Priority: Normal Milestone:
Component: ports Version: 2.0.1
Keywords: Cc:
Port:

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

Attachments (1)

main.log​ (148.4 KB) - added by mt1882@… 13 years ago.
Log for coq

Download all attachments as: .zip

Change History (2)

Changed 13 years ago by mt1882@…

Attachment: main.log​ added

Log for coq

comment:1 Changed 13 years ago by jmroot (Joshua Root)

Resolution: → duplicate
Status: new → closed

#30620

Note: See TracTickets for help on using tickets.