Return to Makefile.in CVS log

Up to [local] / rpl / rplcas

Annotation of rpl/rplcas/Makefile.in, revision 1.1

1.1     ! bertrand    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