Opened 15 years ago
Closed 14 years ago
#22596 closed defect (fixed)
coq and dependency-tracking
| Reported by: | alex_a_bordeaux@… | Owned by: | reilles@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 1.8.1 |
| Keywords: | Cc: | ||
| Port: | coq |
Description (last modified by mf2k (Frank Schima))
configure has problems with --disable-dependency-tracking when compiling under snowleopard with +universal
-> added to Portfile:
configure.universal_args-delete --disable-dependency-tracking
Change History (2)
comment:1 Changed 15 years ago by mf2k (Frank Schima)
| Description: | modified (diff) |
|---|---|
| Owner: | changed from macports-tickets@… to reilles@… |
comment:2 Changed 14 years ago by jmroot (Joshua Root)
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
Universal variant disabled entirely in r75734, since ocaml does not have one.