--- layout: fc_discuss_archives title: Message 53 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



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?

index 848d15a..8e2bf14 100644
--- a/configure.in
+++ b/configure.in
@@ -53,7 +53,7 @@ m4_include(share/configure.ac)
 
 new_section "configure make"
 
-AC_CHECK_PROG(MAKE,make,make,)
+AC_CHECK_PROG(MAKE,gmake,gmake,make)
 MAKE_DISTRIB=`$MAKE -v | sed -n -e 's/\(.*\) Make.*$/\1/p' `
 MAKE_MAJOR=`$MAKE -v | sed -n  -f bin/sed_get_make_major `
 MAKE_MINOR=`$MAKE -v | sed -n -f bin/sed_get_make_minor `
-- 
1.6.5.3