Return to Makefile.in CVS log

Up to [local] / rpl / rplcas

Ajout des premiers bouts de rplcas.

    1: srcdir=@srcdir@
    2: top_builddir=@abs_top_builddir@
    3: 
    4: all: configure
    5:     make -C @GMP@ all && make -C @GMP@ install
    6:     make -C @MPFR@ all
    7: 
    8: configure:
    9:     if [ ! -d @GMP@ ]; then \
   10:         mkdir @GMP@; \
   11:     fi
   12:     if [ ! -d @MPFR@ ]; then \
   13:         mkdir @MPFR@ ; \
   14:     fi
   15:     if [ ! -f @GMP@/config.log ]; then \
   16:         (cd @GMP@ && ../$(srcdir)/@GMP@/configure --with-readline=no \
   17:                 --prefix=$(top_builddir)/rplcas/@GMP@); \
   18:     fi
   19:     if [ ! -f @MPFR@/config.log ]; then \
   20:         (cd @MPFR@ && ../$(srcdir)/@MPFR@/configure --with-gmp=../@GMP@ \
   21:                 --prefix=$(top_builddir)/rplcas/@MPFR@); \
   22:     fi
   23: 
   24: install: all
   25: 
   26: clean: configure
   27:     make -C @GMP@ clean
   28:     make -C @MPFR@ clean