find-gnumake.sh

   1 # Not a shell script, but something intended to be sourced from shell scripts
   2 find_gnumake() {
   3   # the GNU dialect of "make" -- easier to find or port it than to
   4   # try to figure out how to port to the local dialect...
   5   if [ "$GNUMAKE" != "" ] ; then
   6     # The user is evidently trying to tell us something.
   7     GNUMAKE="$GNUMAKE"
   8   elif [ -x "`which gmake`" ] ; then
   9     # "gmake" is the preferred name in *BSD.
  10     GNUMAKE=gmake
  11   elif [ -x "`which gnumake`" ] ; then
  12     # MacOS X aka Darwin
  13     GNUMAKE=gnumake
  14   elif [ "GNU Make" = "`make -v | head -n 1 | cut -b 0-8`" ]; then
  15     GNUMAKE=make
  16   else
  17     echo "GNU Make not found. Try setting the environment variable GNUMAKE."
  18     exit 1
  19   fi
  20   export GNUMAKE
  21   echo "//GNUMAKE=\"$GNUMAKE\""
  22 }