--- layout: fc_discuss_archives title: Message 57 from Frama-C-discuss on February 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] [PATCH 1/4] Check for gmake, falling back to make



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