Opened 15 years ago
Last modified 13 years ago
#22596 closed defect
coq and dependency-tracking — at Version 1
| 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 (1)
comment:1 Changed 15 years ago by mf2k (Frank Schima)
| Description: | modified (diff) |
|---|---|
| Owner: | changed from macports-tickets@… to reilles@… |
Note: See
TracTickets for help on using
tickets.