#!/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