version 1.12, 2011/07/24 15:34:16
|
version 1.13, 2011/07/24 20:39:45
|
Line 14 lib/libgmp.a:
|
Line 14 lib/libgmp.a:
|
fi |
fi |
if [ ! -f @GMP@/config.log ]; then \ |
if [ ! -f @GMP@/config.log ]; then \ |
(cd @GMP@ && \ |
(cd @GMP@ && \ |
|
CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \ |
../$(srcdir)/@GMP@/configure --with-readline=no \ |
../$(srcdir)/@GMP@/configure --with-readline=no \ |
--disable-shared --enable-static \ |
--disable-shared --enable-static \ |
--prefix=$(top_builddir)/rplcas); \ |
--prefix=$(top_builddir)/rplcas); \ |
Line 25 lib/libmpfr.a: lib/libgmp.a
|
Line 26 lib/libmpfr.a: lib/libgmp.a
|
mkdir @MPFR@ ; \ |
mkdir @MPFR@ ; \ |
fi |
fi |
if [ ! -f @MPFR@/config.log ]; then \ |
if [ ! -f @MPFR@/config.log ]; then \ |
(cd @MPFR@ && ../$(srcdir)/@MPFR@/configure \ |
(cd @MPFR@ && |
|
CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \ |
|
../$(srcdir)/@MPFR@/configure \ |
--with-gmp=$(top_builddir)/rplcas \ |
--with-gmp=$(top_builddir)/rplcas \ |
--disable-shared --enable-static \ |
--disable-shared --enable-static \ |
--prefix=$(top_builddir)/rplcas); \ |
--prefix=$(top_builddir)/rplcas); \ |