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. -- Martin ------------------------------------------------------------------------------ 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
