#
# 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
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
¤
*© Formatika GbR, Deutschland
