--- rpl/rplcas/Makefile.in	2019/11/01 16:24:53	1.63
+++ rpl/rplcas/Makefile.in	2024/10/29 16:41:02	1.68
@@ -56,7 +56,7 @@ lib/@LIB_PREFIX@mpfi.a: lib/@LIB_PREFIX@
 	if [ ! -f @MPFI@/config.log ]; then \
 		if [ @BUILD@ = @HOST@ ]; then \
 			(cd @MPFI@ && \
-					CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \
+					CC=gcc-13 CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \
 					../$(srcdir)/@MPFI@/configure \
 					--with-gmp=$(top_builddir)/rplcas \
 					--with-mpfr=$(top_builddir)/rplcas \
@@ -64,7 +64,7 @@ lib/@LIB_PREFIX@mpfi.a: lib/@LIB_PREFIX@
 					--prefix=$(top_builddir)/rplcas); \
 		else \
 			(cd @MPFI@ && \
-					CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \
+					CC=gcc-13 CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \
 					../$(srcdir)/@MPFI@/configure \
 					--host=@HOST@ \
 					--with-gmp=$(top_builddir)/rplcas \
@@ -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,20 +158,21 @@ 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/' | \
 			sed -e 's/\/\* #undef HAVE_LIBPARI \*\//#define HAVE_LIBPARI/' | \
 			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 && \
 			rm -f config.h.orig); \