--- rpl/rplcas/Makefile.in	2022/08/25 09:01:36	1.67
+++ 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 \