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)
Change History (6)
Changed 13 years ago by mt1882@…
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 13 years ago by jmroot (Joshua Root)
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: | new → closed |
No response; assuming fixed in newer versions.
Note: See
TracTickets for help on using
tickets.
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).