Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/kbmag/   (GAP Algebra Version 4.15.1©)  Datei vom 3.0.2023 mit Größe 1 kB image not shown  

Quelle  Makefile.in

  Sprache: C
 

General makefile for GAP4 KBMAG share package -
all executables are put into the bin directory.
BIN = bin/@GAPARCH@

CC ?= gcc
CFLAGS ?= -O2 -g

EXTRA_CFLAGS += -Wall
EXTRA_CFLAGS += -Wno-char-subscripts
EXTRA_CFLAGS += -Wstrict-prototypes
EXTRA_CFLAGS += -Wextra
EXTRA_CFLAGS += -Werror

all:
 mkdir -p bin/@GAPARCH@;
 cd standalone/lib; $(MAKE) CC="$(CC)" CFLAGS="$(CFLAGS) $(EXTRA_CFLAGS)" LDFLAGS="$(LDFLAGS)"
 cd standalone/src; $(MAKE) CC="$(CC)" CFLAGS="$(CFLAGS) $(EXTRA_CFLAGS)" LDFLAGS="$(LDFLAGS)" BIN="../../$(BIN)"

clean:
 cd standalone/lib; $(MAKE) clean
 cd standalone/src; $(MAKE) clean

distclean:
 cd standalone/lib; $(MAKE) clean
 cd standalone/src; $(MAKE) clean
 rm -rf bin
 rm standalone/ag_data/*.* 
 rm standalone/kb_data/*.* 
 rm standalone/fsa_data/*.* 
 cd standalone/subgp_data; rm -f *.[a-r,t-z]* *.suc* *.sub*.* *.ec
 cd standalone/doc; rm -f *.aux *.toc *.log *.dvi
 cd doc; rm -f *.aux *.toc *.log *.dvi

test:
 cd standalone/kb_data; ../../$(BIN)/kbprog nilp2; rm nilp2.*
 cd standalone/ag_data; ../../$(BIN)/autgroup 235; ../../$(BIN)/fsacount 235.wa; rm 235.*
 cd standalone/subgp_data; ../../$(BIN)/autcos -p ab2; ../../$(BIN)/fsacount ab2.cos.wa;\
  ../../$(BIN)/autgroup -silent ab2; ../../$(BIN)/gpsubwa ab2;\
  rm ab2.[dgw]* ab2.sub.* ab2.suc* ab2.cos*

doc:
 cd doc && ./make_doc

Makefile: configure Makefile.in
 ./configure "@GAPPATH@"

.PHONY: all clean distclean test doc

Messung V0.5 in Prozent
C=94 H=0 G=66

¤ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet am  2026-06-12) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

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 und die Messung sind noch experimentell.