--- rpl/rplcas/Makefile.in 2020/06/12 10:36:07 1.64 +++ rpl/rplcas/Makefile.in 2022/08/25 09:01:36 1.67 @@ -144,7 +144,9 @@ lib/@LIB_PREFIX@giac.a: lib/@LIB_PREFIX@ --enable-pari \ --enable-ntl \ --enable-gsl \ + --disable-samplerate \ --disable-shared --enable-static \ + --disable-micropy --disable-quickjs \ --disable-gui --without-x); \ else \ (cd @GIAC@ && \ @@ -156,14 +158,16 @@ lib/@LIB_PREFIX@giac.a: lib/@LIB_PREFIX@ --enable-pari \ --enable-ntl \ --enable-gsl \ + --disable-samplerate \ --disable-shared --enable-static \ + --disable-micropy --disable-quickjs \ --disable-gui --without-x); \ fi; \ (cd @GIAC@/src && \ mv -f config.h 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_LIBGMPXX \*\//#define HAVE_LIBMPXX/' | \ + sed -e 's/\/\* #undef HAVE_LIBGMP \*\//#define HAVE_LIBGMP/' | \ + sed -e 's/\/\* #undef HAVE_LIBGMPXX \*\//#define HAVE_LIBGMPXX/' | \ sed -e 's/\/\* #undef HAVE_LIBMPFR \*\//#define HAVE_LIBPFR/' | \ sed -e 's/\/\* #undef HAVE_LIBMPFI \*\//#define HAVE_LIBPFI/' | \ sed -e 's/\/\* #undef HAVE_LIBNTL \*\//#define HAVE_LIBNTL/' | \