Quelle Makefile Sprache: C

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

¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.