[MacPorts] #22596: coq and dependency-tracking

MacPorts noreply at macports.org
Wed Nov 18 05:42:40 PST 2009


#22596: coq and dependency-tracking
-------------------------------------+--------------------------------------
 Reporter:  alex_a_bordeaux@…        |       Owner:  macports-tickets@…                   
     Type:  defect                   |      Status:  new                                  
 Priority:  Normal                   |   Milestone:                                       
Component:  ports                    |     Version:  1.8.1                                
 Keywords:                           |        Port:  coq                                  
-------------------------------------+--------------------------------------
 configure has problems with --disable-dependency-tracking
 when compiling under snowleopard with +universal

 -> added to Portfile:


 configure.universal_args-delete  --disable-dependency-tracking

-- 
Ticket URL: <http://trac.macports.org/ticket/22596>
MacPorts <http://www.macports.org/>
Ports system for Mac OS


More information about the macports-tickets mailing list