Opened 13 years ago

Closed 7 years ago

#30620 closed defect (fixed)

[Coq] Build failure

Reported by: mt1882@… Owned by: pmetzger (Perry E. Metzger)
Priority: Normal Milestone:
Component: ports Version: 2.0.1
Keywords: Cc:
Port: coq

Description (last modified by jmroot (Joshua Root))

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.

Download all attachments as: .zip

Change History (6)

Changed 13 years ago by mt1882@…

Attachment: main.log added

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

Cc: reilles@… removed
Description: modified (diff)
Keywords: Coq removed
Owner: changed from macports-tickets@… to reilles@…

comment:2 Changed 12 years ago by jmroot (Joshua Root)

Is this still a problem with 8.3pl2? If so, please attach a complete log (the one currently attached starts with the build phase already partly complete).

comment:3 Changed 12 years ago by ryandesign (Ryan Carsten Schmidt)

Any news? Is this still a problem?

comment:4 Changed 10 years ago by jmroot (Joshua Root)

Owner: changed from reilles@… to perry@…

comment:5 Changed 7 years ago by jmroot (Joshua Root)

Resolution: fixed
Status: newclosed

No response; assuming fixed in newer versions.

Note: See TracTickets for help on using tickets.