Opened 15 years ago
Last modified 13 years ago
#22596 closed defect
coq and dependency-tracking — at Initial Version
| Reported by: | alex_a_bordeaux@… | Owned by: | macports-tickets@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 1.8.1 |
| Keywords: | Cc: | ||
| Port: | coq |
Description
configure has problems with --disable-dependency-tracking when compiling under snowleopard with +universal
-> added to Portfile:
configure.universal_args-delete --disable-dependency-tracking
Note: See
TracTickets for help on using
tickets.