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 use of its
#    features. We therefore put it into "GNUmakefile", which is picked up by
#    GNU make, but ignored 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 Semigroups.
#
# 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 Semigroups (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 README.md or Chapter 2 of the Semigroups package documentation for details)\n" ; \
	  fi
	@exit 1
all: .DEFAULT