Re: make-4.1-3 with make-default split-off

Hanspeter Niederstrasser <[email protected]>
Newsgroups gmane.os.apple.fink.devel
Organization Snaggled Works
Message-ID <[email protected]>
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
[email protected]
List archive:
http://news.gmane.org/gmane.os.apple.fink.devel
Subscription management:
https://lists.sourceforge.net/lists/listinfo/fink-devel
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.