find-gnumake.sh

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