123456789101112131415161718192021222324252627282930313233 |
- #!/bin/sh
- # Probes the build environment (libs, headers).
- if [ -z "$MAKE" ]
- then
- # Look for GNU Make; prefer "gmake" over "make".
- (false ; echo "nothing:" | make -f - > /dev/null 2>&1) && MAKE=make
- (false ; echo "nothing:" | gmake -f - > /dev/null 2>&1) && MAKE=gmake
- else
- echo "Using value of MAKE environment variable: \"$MAKE\"."
- fi
- if [ -z "$MAKE" ]
- then
- echo 'Error: no Make found.'
- echo 'Please install GNU Make and put it in your path as "gmake" or "make",'
- echo 'or put its location in an environment variable named "MAKE".'
- exit 1
- fi
- if [ "gmake" != "$MAKE" ]
- then
- if ! ( $MAKE --version > /dev/null 2>&1 \
- && ($MAKE --version 2> /dev/null | grep "GNU Make" > /dev/null) )
- then
- echo "Error: Make does not appear to be GNU Make."
- echo 'Please install GNU Make and put it in your path as "gmake" or "make",'
- echo 'or put its location in an environment variable named "MAKE".'
- exit 1
- fi
- fi
- # Invoke actual probe.
- $MAKE -f build/main.mk probe
|