--- layout: fc_discuss_archives title: Message 57 from Frama-C-discuss on February 2010 ---
Hello, On Sat, Feb 27, 2010 at 8:41 PM, <fr.inria.gforge.lists at coreland.ath.cx> wrote: > FreeBSD (and anything that isn't Linux or OS X) do not call GNU make > 'make'. This patch checks explicitly for 'gmake', falling back to > 'make' if it cannot be found. Of course, if it falls back to 'make' > and 'make' does not denote GNU make, the '-v' check later will fail > catastrophically. Is there really a good reason to check for GNU > make explicitly? 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). Thanks for all the patches (maybe you could have use Frama-C's BTS at http://bts.frama-c.com). 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) Again thanks for your diffs. Cheers, -- Richard Bonichon