srcdir=@srcdir@ top_builddir=@abs_top_builddir@ .PHONY: configure clean all: lib/libgiac.a lib/libgmp.a: if [ ! -d @GMP@ ]; then \ mkdir @GMP@; \ fi if [ ! -f @GMP@/config.log ]; then \ (cd @GMP@ && ../$(srcdir)/@GMP@/configure --with-readline=no \ --disable-shared --enable-static \ --prefix=$(top_builddir)/rplcas); \ fi make -C @GMP@ all && make -C @GMP@ install lib/libmpfr.a: lib/libgmp.a if [ ! -d @MPFR@ ]; then \ mkdir @MPFR@ ; \ fi if [ ! -f @MPFR@/config.log ]; then \ (cd @MPFR@ && ../$(srcdir)/@MPFR@/configure \ --with-gmp=$(top_builddir)/rplcas \ --disable-shared --enable-static \ --prefix=$(top_builddir)/rplcas); \ fi make -C @MPFR@ all && make -C @MPFR@ install lib/ntl.a: make -C @NTL@/src cp @NTL@/src/ntl.a lib/ntl.a cp @NTL@/src/ntl.a lib/ntl.a cp -R @NTL@/include/NTL include lib/libcocoa.a: lib/libgmp.a if [ ! -f @COCOA@/configuration/autoconf.mk ]; then \ (cd @COCOA@ && ./configure --with-libgmp=../lib/libgmp.a \ --with-libgsl=../../tools/@GSL@/.libs/libgsl.a); \ fi make -C @COCOA@ library cp @COCOA@/lib/libcocoa.a lib/libcocoa.a cp -R @COCOA@/include/CoCoA include lib/libpari.a: lib/libgmp.a if [ ! -f @PARI@/configured ]; then \ (cd @PARI@ && ./Configure --prefix=$(top_builddir)/rplcas \ --with-gmp=../lib/libgmp.a \ --without-readline --graphic=none -s); \ touch @PARI@/configured; \ fi make -C @PARI@ gp && make -C @PARI@ install lib/libgiac.a: lib/libgmp.a lib/libmpfr.a lib/ntl.a \ lib/libcocoa.a lib/libpari.a if [ ! -d @GIAC@ ]; then \ mkdir @GIAC@ ; \ fi if [ ! -f @GIAC@/config.log ]; then \ (cd @GIAC@ && CPPFLAGS="-I../include $(CPPFLAGS)" \ LDFLAGS="-L../lib $(LDFLAGS)" \ ../$(srcdir)/@GIAC@/configure --prefix=$(top_builddir)/rplcas \ --enable-pari=$(top_builddir)/rplcas \ --enable-ntl=$(top_builddir)/rplcas \ --enable-cocoa=$(top_builddir)/rplcas \ --enable-gsl=../../tools/@GSL@/.libs/libgsl.a \ --disable-gui --without-x); \ fi make -C @GIAC@ && make -C @GIAC@ install install: all clean: distdir: