Return to Makefile.in CVS log | Up to [local] / rpl / rplcas |
Ajout des derniers bouts de rplcas.
1: srcdir=@srcdir@ 2: top_builddir=@abs_top_builddir@ 3: 4: .PHONY: configure clean 5: 6: all: lib/libgiac.a 7: 8: lib/libgmp.a: 9: if [ ! -d @GMP@ ]; then \ 10: mkdir @GMP@; \ 11: fi 12: if [ ! -f @GMP@/config.log ]; then \ 13: (cd @GMP@ && ../$(srcdir)/@GMP@/configure --with-readline=no \ 14: --disable-shared --enable-static \ 15: --prefix=$(top_builddir)/rplcas); \ 16: fi 17: make -C @GMP@ all && make -C @GMP@ install 18: 19: lib/libmpfr.a: lib/libgmp.a 20: if [ ! -d @MPFR@ ]; then \ 21: mkdir @MPFR@ ; \ 22: fi 23: if [ ! -f @MPFR@/config.log ]; then \ 24: (cd @MPFR@ && ../$(srcdir)/@MPFR@/configure \ 25: --with-gmp=$(top_builddir)/rplcas \ 26: --disable-shared --enable-static \ 27: --prefix=$(top_builddir)/rplcas); \ 28: fi 29: make -C @MPFR@ all && make -C @MPFR@ install 30: 31: lib/ntl.a: 32: make -C @NTL@/src 33: cp @NTL@/src/ntl.a lib/ntl.a 34: cp @NTL@/src/ntl.a lib/ntl.a 35: cp -R @NTL@/include/NTL include 36: 37: lib/libcocoa.a: lib/libgmp.a 38: if [ ! -f @COCOA@/configuration/autoconf.mk ]; then \ 39: (cd @COCOA@ && ./configure --with-libgmp=../lib/libgmp.a \ 40: --with-libgsl=../../tools/@GSL@/.libs/libgsl.a); \ 41: fi 42: make -C @COCOA@ library 43: cp @COCOA@/lib/libcocoa.a lib/libcocoa.a 44: cp -R @COCOA@/include/CoCoA include 45: 46: lib/libpari.a: lib/libgmp.a 47: if [ ! -f @PARI@/configured ]; then \ 48: (cd @PARI@ && ./Configure --prefix=$(top_builddir)/rplcas \ 49: --with-gmp=../lib/libgmp.a \ 50: --without-readline --graphic=none -s); \ 51: touch @PARI@/configured; \ 52: fi 53: make -C @PARI@ gp && make -C @PARI@ install 54: 55: lib/libgiac.a: lib/libgmp.a lib/libmpfr.a lib/ntl.a \ 56: lib/libcocoa.a lib/libpari.a 57: if [ ! -d @GIAC@ ]; then \ 58: mkdir @GIAC@ ; \ 59: fi 60: if [ ! -f @GIAC@/config.log ]; then \ 61: (cd @GIAC@ && CPPFLAGS="-I../include $(CPPFLAGS)" \ 62: LDFLAGS="-L../lib $(LDFLAGS)" \ 63: ../$(srcdir)/@GIAC@/configure --prefix=$(top_builddir)/rplcas \ 64: --enable-pari=$(top_builddir)/rplcas \ 65: --enable-ntl=$(top_builddir)/rplcas \ 66: --enable-cocoa=$(top_builddir)/rplcas \ 67: --enable-gsl=../../tools/@GSL@/.libs/libgsl.a \ 68: --disable-gui --without-x); \ 69: fi 70: make -C @GIAC@ && make -C @GIAC@ install 71: 72: install: all 73: 74: clean: 75: 76: distdir: