[isabelle-dev] GNU vs. BSD make

[Florian Haftmann]

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.

	Florian

-- 

Home:
http://www.in.tum.de/~haftmann

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 262 bytes
Desc: OpenPGP digital signature
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20101217/07179176/attachment-0001.asc>