rpl/configure.ac - diff

Return to configure.ac CVS log

Up to [local] / rpl

Diff for /rpl/configure.ac between versions 1.269 and 1.271

version 1.269, 2022/01/03 11:56:00	version 1.271, 2022/06/13 16:53:41
Line 28 MPFR=mpfr-4.1.0	Line 28 MPFR=mpfr-4.1.0
MPFI=mpfi-1.5.4	MPFI=mpfi-1.5.4
NTL=ntl-11.5.1	NTL=ntl-11.5.1
PARI=pari-2.13.3	PARI=pari-2.13.3
GIAC=giac-1.7.0	GIAC=giac-1.9.0

dnl 32 bits ABI	dnl 32 bits ABI
AC_ARG_WITH(gcc_version,	AC_ARG_WITH(gcc_version,
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 \| \

CVSweb interface <joel.bertrand@systella.fr>

Removed from v.1.269
changed lines
	Added in v.1.271