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: