--- rpl/configure.ac	2022/01/03 11:56:00	1.269
+++ rpl/configure.ac	2022/06/09 14:22:49	1.270
@@ -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 | \