--- rpl/configure.ac	2022/01/03 11:56:00	1.269
+++ rpl/configure.ac	2022/06/13 16:53:41	1.271
@@ -28,7 +28,7 @@ MPFR=mpfr-4.1.0
 MPFI=mpfi-1.5.4
 NTL=ntl-11.5.1
 PARI=pari-2.13.3
-GIAC=giac-1.7.0
+GIAC=giac-1.9.0
 
 dnl 32 bits ABI
 AC_ARG_WITH(gcc_version,
@@ -504,6 +504,7 @@ fi
 if test ! -d "$srcdir"/tools/$GSL; then
 	gunzip -c "$srcdir"/tools/$GSL.tar.gz | \
 			(cd "$srcdir/tools" && tar -xf -)
+			(cd "$srcdir"/tools/$GSL && ./autogen.sh)
 	if test $(uname) = "OS/2"; then
 		(cd "$srcdir"/tools/$GSL; \
 				TMP=$(mktemp tmp.XXXXXXXXXX); \
@@ -514,6 +515,7 @@ fi
 if test ! -d "$srcdir"/tools/$GPP; then
 	gunzip -c "$srcdir"/tools/$GPP.tar.gz | \
 			(cd "$srcdir/tools" && tar -xf -)
+			(cd "$srcdir"/tools/$GPP && autoreconf -i)
 fi
 if test ! -d "$srcdir"/tools/$FILE; then
 	gunzip -c "$srcdir"/tools/$FILE.tar.gz | \
@@ -565,6 +567,7 @@ fi
 if test ! -d "$srcdir"/rplcas/$MPFI; then
 	gunzip -c "$srcdir"/rplcas/$MPFI.tar.gz | \
 			(cd "$srcdir/rplcas" && tar -xf -)
+	(cd "$srcdir"/rplcas/$MPFI && ./autogen.sh)
 fi
 if test ! -d rplcas/$NTL; then
 	gunzip -c "$srcdir"/rplcas/$NTL.tar.gz | \