Return to Makefile.in CVS log

Up to [local] / rpl / rplcas

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

1.1       bertrand    1: srcdir=@srcdir@
                      2: top_builddir=@abs_top_builddir@
                      3: 
1.3       bertrand    4: .PHONY: configure clean
                      5: 
1.4     ! bertrand    6: all: lib/libgiac.a
1.2       bertrand    7: 
1.4     ! bertrand    8: lib/libgmp.a:
1.1       bertrand    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 \
1.4     ! bertrand   14:                --disable-shared --enable-static \
        !            15:                --prefix=$(top_builddir)/rplcas); \
1.1       bertrand   16:    fi
1.3       bertrand   17:    make -C @GMP@ all && make -C @GMP@ install
                     18: 
1.4     ! bertrand   19: lib/libmpfr.a: lib/libgmp.a
1.2       bertrand   20:    if [ ! -d @MPFR@ ]; then \
                     21:        mkdir @MPFR@ ; \
                     22:    fi
1.1       bertrand   23:    if [ ! -f @MPFR@/config.log ]; then \
1.4     ! bertrand   24:        (cd @MPFR@ && ../$(srcdir)/@MPFR@/configure \
        !            25:                --with-gmp=$(top_builddir)/rplcas \
        !            26:                --disable-shared --enable-static \
        !            27:                --prefix=$(top_builddir)/rplcas); \
1.1       bertrand   28:    fi
1.3       bertrand   29:    make -C @MPFR@ all && make -C @MPFR@ install
                     30: 
1.4     ! bertrand   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
1.3       bertrand   36: 
1.4     ! bertrand   37: lib/libcocoa.a: lib/libgmp.a
1.2       bertrand   38:    if [ ! -f @COCOA@/configuration/autoconf.mk ]; then \
1.4     ! bertrand   39:        (cd @COCOA@ && ./configure --with-libgmp=../lib/libgmp.a \
        !            40:                --with-libgsl=../../tools/@GSL@/.libs/libgsl.a); \
1.2       bertrand   41:    fi
1.3       bertrand   42:    make -C @COCOA@ library
1.4     ! bertrand   43:    cp @COCOA@/lib/libcocoa.a lib/libcocoa.a
        !            44:    cp -R @COCOA@/include/CoCoA include
1.3       bertrand   45: 
1.4     ! bertrand   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); \
1.2       bertrand   69:    fi
1.4     ! bertrand   70:    make -C @GIAC@ && make -C @GIAC@ install
1.1       bertrand   71: 
                     72: install: all
                     73: 
1.3       bertrand   74: clean:
1.2       bertrand   75: 
                     76: distdir: