[isabelle-dev] GNU vs. BSD make

Gerwin Klein gerwin.klein at nicta.com.au
Sat Dec 18 00:26:14 CET 2010

On 18/12/2010, at 9:29 AM, Makarius wrote:

> On Fri, 17 Dec 2010, Florian Haftmann wrote:
>> Has there ever been a deliberate decision whether our IsaMakefiles (in particular in the AFP) require GNU make or should be content with BSD make?  The issue may become important when we attempt to simplify and stylize the grown IsaMakefiles in the AFP.
> The classic IsaMakefiles try to make as little assumptions about the version of make, but this is somewhat futile, because "make" is never equal to "make".  The assumptions in AFP seems to be a bit stronger, though.

Yes, AFP assumes GNU make. 


More information about the isabelle-dev mailing list