--- rpl/rplcas/Makefile.in 2011/04/20 20:00:19 1.3 +++ rpl/rplcas/Makefile.in 2011/04/21 12:55:37 1.4 @@ -3,53 +3,71 @@ top_builddir=@abs_top_builddir@ .PHONY: configure clean -all: - make @GMP@/lib/libgmp.a - make @MPFR@/lib/libmpfr.a - make @NTL@/lib/ntl.a - make @COCOA@/lib/libcocoa.a - make @FLTK@/lib/libfltk.a +all: lib/libgiac.a -@GMP@/lib/libgmp.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 \ - --prefix=$(top_builddir)/rplcas/@GMP@); \ + --disable-shared --enable-static \ + --prefix=$(top_builddir)/rplcas); \ fi make -C @GMP@ all && make -C @GMP@ install -@MPFR@/lib/libmpfr.a: @GMP@/lib/libgmp.a +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=../@GMP@ \ - --prefix=$(top_builddir)/rplcas/@MPFR@); \ + (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 -@NTL@/lib/ntl.a: - if [ ! -d @NTL@/lib ]; then \ - mkdir -p @NTL@/lib ; \ - fi - make -C @NTL@/src && cp @NTL@/src/ntl.a @NTL@/lib/ntl.a +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 -@COCOA@/lib/libcocoa.a: @GMP@/lib/libgmp.a +lib/libcocoa.a: lib/libgmp.a if [ ! -f @COCOA@/configuration/autoconf.mk ]; then \ - (cd @COCOA@ && ./configure --with-libgmp=../@GMP@/lib/libgmp.a \ - --with-libgsl=../../tools/@GSL@/.libs/libgsl.a) ;\ + (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 -@FLTK@/lib/libfltk.a: - if [ ! -f @FLTK@/config.log ]; then \ - (cd @FLTK@ && ./configure \ - --prefix=$(top_builddir)/rplcas/@FLTK@ \ - --disable-xinerama --disable-xft --disable-xdbe); \ +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 @FLTK@ + make -C @GIAC@ && make -C @GIAC@ install install: all