On 9/16/2015 6:09 AM, Martin Costabel wrote: > On 16/09/15 11:43, Max Horn wrote: > [] >> I am not 100% comfortable with changing the behavior of the make >> package like this -- people who are relying on "GNU make" will be caught >> by surprise if the "make" package suddenly does not provide gmake under >> the name "make" anymore. Also, packages which depend on "make" would >> have to be changed at the exact same time as this change is applied (for >> this I'd need to know which packages are affected, though, which I don't >> right now... do we have an effective way to do that?) > [] > > I agree with what Max says. Better than changing Fink's make package - > as long as we do not really understand what is going on - might be to > change the few packages that show this problem. If they don't have a > dependency on the make package, for consistency reasons they should use > /usr/bin/make instead of the generic "make". Not doing this is (at least > in my case of cmake) simply a question of laziness of the maintainer and > it would be trivial to fix.
The only package I find in the 10.7 tree that explicitly uses %p/bin/make is devel/po-debconf.info. And indeed it does fail with /usr/bin/make from 10.9 (GNU-3.81). Hanspeter ------------------------------------------------------------------------------ Monitor Your Dynamic Infrastructure at Any Scale With Datadog! Get real-time metrics from all of your servers, apps and tools in one place. SourceForge users - Click here to start your Free Trial of Datadog now! http://pubads.g.doubleclick.net/gampad/clk?id=241902991&iu=/4140 _______________________________________________ Fink-devel mailing list Fink-devel@lists.sourceforge.net List archive: http://news.gmane.org/gmane.os.apple.fink.devel Subscription management: https://lists.sourceforge.net/lists/listinfo/fink-devel
