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 [ "GNU Make" = "`make -v | head -n 1 | cut -b 0-8`" ]; then
  12     GNUMAKE=make
  13   else
  14     echo "GNU Make not found. Try setting the environment variable GNUMAKE."
  15     exit 1
  16   fi
  17   export GNUMAKE
  18   echo "//GNUMAKE=\"$GNUMAKE\""
  19 }