version 1.62, 2019/11/01 13:03:02
|
version 1.68, 2024/10/29 16:41:02
|
Line 56 lib/@LIB_PREFIX@mpfi.a: lib/@LIB_PREFIX@
|
Line 56 lib/@LIB_PREFIX@mpfi.a: lib/@LIB_PREFIX@
|
if [ ! -f @MPFI@/config.log ]; then \ |
if [ ! -f @MPFI@/config.log ]; then \ |
if [ @BUILD@ = @HOST@ ]; then \ |
if [ @BUILD@ = @HOST@ ]; then \ |
(cd @MPFI@ && \ |
(cd @MPFI@ && \ |
CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \ |
CC=gcc-13 CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \ |
../$(srcdir)/@MPFI@/configure \ |
../$(srcdir)/@MPFI@/configure \ |
--with-gmp=$(top_builddir)/rplcas \ |
--with-gmp=$(top_builddir)/rplcas \ |
--with-mpfr=$(top_builddir)/rplcas \ |
--with-mpfr=$(top_builddir)/rplcas \ |
Line 64 lib/@LIB_PREFIX@mpfi.a: lib/@LIB_PREFIX@
|
Line 64 lib/@LIB_PREFIX@mpfi.a: lib/@LIB_PREFIX@
|
--prefix=$(top_builddir)/rplcas); \ |
--prefix=$(top_builddir)/rplcas); \ |
else \ |
else \ |
(cd @MPFI@ && \ |
(cd @MPFI@ && \ |
CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \ |
CC=gcc-13 CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \ |
../$(srcdir)/@MPFI@/configure \ |
../$(srcdir)/@MPFI@/configure \ |
--host=@HOST@ \ |
--host=@HOST@ \ |
--with-gmp=$(top_builddir)/rplcas \ |
--with-gmp=$(top_builddir)/rplcas \ |
Line 144 lib/@LIB_PREFIX@giac.a: lib/@LIB_PREFIX@
|
Line 144 lib/@LIB_PREFIX@giac.a: lib/@LIB_PREFIX@
|
--enable-pari \ |
--enable-pari \ |
--enable-ntl \ |
--enable-ntl \ |
--enable-gsl \ |
--enable-gsl \ |
|
--disable-samplerate \ |
--disable-shared --enable-static \ |
--disable-shared --enable-static \ |
|
--disable-micropy --disable-quickjs \ |
--disable-gui --without-x); \ |
--disable-gui --without-x); \ |
else \ |
else \ |
(cd @GIAC@ && \ |
(cd @GIAC@ && \ |
Line 156 lib/@LIB_PREFIX@giac.a: lib/@LIB_PREFIX@
|
Line 158 lib/@LIB_PREFIX@giac.a: lib/@LIB_PREFIX@
|
--enable-pari \ |
--enable-pari \ |
--enable-ntl \ |
--enable-ntl \ |
--enable-gsl \ |
--enable-gsl \ |
|
--disable-samplerate \ |
--disable-shared --enable-static \ |
--disable-shared --enable-static \ |
|
--disable-micropy --disable-quickjs \ |
--disable-gui --without-x); \ |
--disable-gui --without-x); \ |
fi; \ |
fi; \ |
(cd @GIAC@/src && \ |
(cd @GIAC@/src && \ |
mv -f config.h config.h.orig && \ |
mv -f config.h config.h.orig && \ |
sed -e 's/#define HAVE_LIBPNG 1//' config.h.orig | \ |
sed -e 's/#define HAVE_LIBPNG 1//' config.h.orig | \ |
sed -e 's/\/\* #undef HAVE_LIBGMP \*\//#define HAVE_LIBMP/' | \ |
sed -e 's/\/\* #undef HAVE_LIBGMP \*\//#define HAVE_LIBGMP/' | \ |
sed -e 's/\/\* #undef HAVE_LIBGMPXX \*\//#define HAVE_LIBMPXX/' | \ |
sed -e 's/\/\* #undef HAVE_LIBGMPXX \*\//#define HAVE_LIBGMPXX/' | \ |
sed -e 's/\/\* #undef HAVE_LIBMPFR \*\//#define HAVE_LIBPFR/' | \ |
sed -e 's/\/\* #undef HAVE_LIBMPFR \*\//#define HAVE_LIBPFR/' | \ |
sed -e 's/\/\* #undef HAVE_LIBMPFI \*\//#define HAVE_LIBPFI/' | \ |
sed -e 's/\/\* #undef HAVE_LIBMPFI \*\//#define HAVE_LIBPFI/' | \ |
sed -e 's/\/\* #undef HAVE_LIBNTL \*\//#define HAVE_LIBNTL/' | \ |
sed -e 's/\/\* #undef HAVE_LIBNTL \*\//#define HAVE_LIBNTL/' | \ |
sed -e 's/\/\* #undef HAVE_LIBPARI \*\//#define HAVE_LIBPARI/' | \ |
sed -e 's/\/\* #undef HAVE_LIBPARI \*\//#define HAVE_LIBPARI/' | \ |
sed -e 's/\/\* #undef HAVE_LIBGSL \*\//#define HAVE_LIBGSL/' | \ |
sed -e 's/\/\* #undef HAVE_LIBGSL \*\//#define HAVE_LIBGSL/' | \ |
sed -e 's/\/#define HAVE_LIBCOCOA 1//' | \ |
sed -e 's/#define HAVE_LIBSAMPLERATE 1//' | \ |
sed -e 's/#define HAVE_PNG_H 1//' > config.h && \ |
sed -e 's/#define HAVE_PNG_H 1//' > config.h && \ |
rm -f config.h.orig); \ |
rm -f config.h.orig); \ |
(cd @GIAC@/src && \ |
(cd @GIAC@/src && \ |