Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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

  • Subject: [Frama-c-discuss] [PATCH 1/4] Check for gmake, falling back to make
  • From: fr.inria.gforge.lists at (fr.inria.gforge.lists at
  • Date: Sat, 27 Feb 2010 19:41:59 +0000

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/
+++ b/
@@ -53,7 +53,7 @@ m4_include(share/
 new_section "configure 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 `