--- layout: fc_discuss_archives title: Message 58 from Frama-C-discuss on February 2010 ---
'Lo, On 2010-02-27 21:05:51, Richard Bonichon wrote: > > Frana-C's makefiles use GNU make extensions. In this respect, it makes > sense to check for GNU make. > You could also use set the MAKE variable on the CLI before calling > configure (eg MAKE=gmake ./configure). Ah, didn't know that was possible. I think a slightly better version test might do something like: $MAKE -v >/dev/null 2>&1 if [ $? -eq 0 ] then ... 'make -v' didn't fail, do usual make -v version checks here ... else die "version check failed: GNU make required!" fi At the very least, it'd stop the ugliness that occurs when 'make -v' causes BSD makes to try (and fail) to parse the Makefile! > Thanks for all the patches (maybe you could have use Frama-C's BTS at > http://bts.frama-c.com). Noted for future reference. > Actually, the configuration issues (due to the use of == instead of =) > you are dealing with are already fixed in the the svn tree. > It is rather uncanny that only FreeBSD's default sh caught the use of > non-posix test extensions (this is okay with debian's dash or > OpenBSD's sh) It wasn't even immediately obvious on FreeBSD. It looks like FreeBSD has /bin/test and also 'test' as a shell builtin but only when using /bin/sh. I'll try to build from SVN. > > Again thanks for your diffs. Very welcome. Regards, M