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. Cheers, Gerwin _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
