rpl/configure.ac - diff

Return to configure.ac CVS log

Up to [local] / rpl

version 1.269, 2022/01/03 11:56:00	version 1.270, 2022/06/09 14:22:49
Line 504 fi	Line 504 fi
if test ! -d "$srcdir"/tools/$GSL; then	if test ! -d "$srcdir"/tools/$GSL; then
gunzip -c "$srcdir"/tools/$GSL.tar.gz \| \	gunzip -c "$srcdir"/tools/$GSL.tar.gz \| \
(cd "$srcdir/tools" && tar -xf -)	(cd "$srcdir/tools" && tar -xf -)
	(cd "$srcdir"/tools/$GSL && ./autogen.sh)
if test $(uname) = "OS/2"; then	if test $(uname) = "OS/2"; then
(cd "$srcdir"/tools/$GSL; \	(cd "$srcdir"/tools/$GSL; \
TMP=$(mktemp tmp.XXXXXXXXXX); \	TMP=$(mktemp tmp.XXXXXXXXXX); \
Line 514 fi	Line 515 fi
if test ! -d "$srcdir"/tools/$GPP; then	if test ! -d "$srcdir"/tools/$GPP; then
gunzip -c "$srcdir"/tools/$GPP.tar.gz \| \	gunzip -c "$srcdir"/tools/$GPP.tar.gz \| \
(cd "$srcdir/tools" && tar -xf -)	(cd "$srcdir/tools" && tar -xf -)
	(cd "$srcdir"/tools/$GPP && autoreconf -i)
fi	fi
if test ! -d "$srcdir"/tools/$FILE; then	if test ! -d "$srcdir"/tools/$FILE; then
gunzip -c "$srcdir"/tools/$FILE.tar.gz \| \	gunzip -c "$srcdir"/tools/$FILE.tar.gz \| \
Line 565 fi	Line 567 fi
if test ! -d "$srcdir"/rplcas/$MPFI; then	if test ! -d "$srcdir"/rplcas/$MPFI; then
gunzip -c "$srcdir"/rplcas/$MPFI.tar.gz \| \	gunzip -c "$srcdir"/rplcas/$MPFI.tar.gz \| \
(cd "$srcdir/rplcas" && tar -xf -)	(cd "$srcdir/rplcas" && tar -xf -)
	(cd "$srcdir"/rplcas/$MPFI && ./autogen.sh)
fi	fi
if test ! -d rplcas/$NTL; then	if test ! -d rplcas/$NTL; then
gunzip -c "$srcdir"/rplcas/$NTL.tar.gz \| \	gunzip -c "$srcdir"/rplcas/$NTL.tar.gz \| \