Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/caratinterface/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 10.1.2023 mit Größe 2 kB image not shown  

Quelle  Makefile   Sprache: unbekannt

 
###########################################################################
#
#  This is a wrapper makefile to build and set up CARAT for use with GAP.
#  It depends on certain variables defined in the file config.carat, which
#  in turn is produced by the companion configure script.
#
#  Usage:  ./configure <path to GAP root>
#          make
#
#  This tries to build CARAT with the same GMP library as GAP.
#
#  By default, the QCatalog of CARAT is unpacked only up to dimension 5.
#  If you need also dimension 6 (another 180 Mb), unpack also the rest with
#
#          make qcat6
#
#  The compiled binaries and libraries can be removed with 
#
#          make clean
#
#  This requires the config.carat file that has been used to build CARAT.
#
###########################################################################


# include the variables determined by the configure script
include config.carat

# build everything
ALL: carat qcatalog programs arch

# fetch CARAT if necessary, or unpack it
carat/configure:
 if [ ! -d carat ]; then \
   if [ -f carat.tgz ]; then tar pzxf carat.tgz; \
   else git clone https://github.com/lbfm-rwth/carat.git; fi; \
 fi
 if [ ! -f carat/configure ]; then (cd carat && ./autogen.sh); fi
 touch $@
carat: carat/configure

# unpack the qcatalog, by default without dimension 6
carat/tables/qcatalog/TGROUPS.GAP: carat/configure
 cd carat/tables; tar pzxf qcatalog.tar.gz --exclude=qcatalog/dim6
 touch $@
qcatalog: carat/tables/qcatalog/TGROUPS.GAP

# unpack also qcatalog for dimension 6
carat/tables/qcatalog/dim6/BASIS: carat/tables/qcatalog/TGROUPS.GAP
 cd carat/tables; tar pzxf qcatalog.tar.gz qcatalog/dim6
 touch $@
qcat6: carat/tables/qcatalog/dim6/BASIS

# compile and link the CARAT binaries
programs: config.carat carat/configure
 (cd carat && ./configure $(WITHGMP) CC="$(CC)" CFLAGS="$(FLAGS) $(CFLAGS)" && make)
 chmod -R a+rX .

# make suitable links, so that GAP can find the CARAT binaries
arch: config.carat carat/configure
 mkdir -p bin
 rm -rf "bin/$(ARCHDIR)"
 ln -sf ../carat/bin "bin/$(ARCHDIR)"

# clean up everything
clean: config.carat
 if [ -d "carat/" ]; then cd carat; make clean; fi
 rm -rf "bin/$(ARCHDIR)"

.PHONY: all arch clean arch carat programs qcatalog qcat6

91%


[ Dauer der Verarbeitung: 0.21 Sekunden  (vorverarbeitet)  ]