Makefile

#
# This Makefile serves two purposes:
# 1) If the user types "make" without having run "configure", we suggest running configure.
# 2) Our build system is written for GNU make, and makes liberal users of its features.
#    We therefore put it into "GNUmakefile", which is picked up by GNU make, but ignore by
#    other make versions, such as BSD make.
#    Thus, if the user has BSD make, it will run this Makefile instead -- and we inform
#    them that they need to use GNU make to compile GAP.
#
# To learn more about the GAP build system, see README.buildsys.md
#
.DEFAULT:
	@if test -f GNUmakefile ; then \
	    printf "Please use GNU make to build GAP (try 'gmake' or 'gnumake')\n" ; \
	  else \
		printf "You need to run "; \
		if ! test -f configure ; then \
			printf "./autogen.sh then "; \
		fi; \
		printf "./configure before make (please refer to INSTALL for details)\n" ; \
	  fi
	@exit 1
all: .DEFAULT