--- layout: fc_discuss_archives title: Message 53 from Frama-C-discuss on February 2010 ---
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