rpl/configure.in - diff

Return to configure.in CVS log

Up to [local] / rpl

version 1.57, 2011/04/20 08:26:02	version 1.58, 2011/04/21 15:59:42
Line 20 OPENSSL=openssl-1.0.0d	Line 20 OPENSSL=openssl-1.0.0d

GMP=gmp-5.0.1	GMP=gmp-5.0.1
MPFR=mpfr-3.0.1	MPFR=mpfr-3.0.1
	NTL=ntl-5.5.2
	COCOA=CoCoALib-0.9943
	PARI=pari-2.3.5
	GIAC=giac-0.9.2

dnl Checks for C compiler	dnl Checks for C compiler
AC_PROG_CC(gcc)	AC_PROG_CC(gcc)
Line 315 if test ! -d "$srcdir"/rplcas/$MPFR; the	Line 319 if test ! -d "$srcdir"/rplcas/$MPFR; the
gunzip -c "$srcdir"/rplcas/$MPFR.tar.gz \| \	gunzip -c "$srcdir"/rplcas/$MPFR.tar.gz \| \
(cd "$srcdir/rplcas" && tar -xf -)	(cd "$srcdir/rplcas" && tar -xf -)
fi	fi
	if test ! -d rplcas/$NTL; then
	gunzip -c "$srcdir"/rplcas/$NTL.tar.gz \| \
	(cd rplcas && tar -xf -)
	fi
	if test ! -d rplcas/$COCOA; then
	gunzip -c "$srcdir"/rplcas/$COCOA.tar.gz \| \
	(cd rplcas && tar -xf -)
	fi
	if test ! -d rplcas/$PARI; then
	gunzip -c "$srcdir"/rplcas/$PARI.tar.gz \| \
	(cd rplcas && tar -xf -)
	fi
	if test ! -d "$srcdir"/rplcas/$GIAC; then
	gunzip -c "$srcdir"/rplcas/$GIAC.tar.gz \| \
	(cd "$srcdir/rplcas" && tar -xf -)
	fi

dnl Default installation directory	dnl Default installation directory
AC_PREFIX_DEFAULT(/usr/local)	AC_PREFIX_DEFAULT(/usr/local)
Line 1098 AC_SUBST(EXT_SQL)	Line 1118 AC_SUBST(EXT_SQL)
AC_SUBST(MALLOC)	AC_SUBST(MALLOC)
AC_SUBST(GMP)	AC_SUBST(GMP)
AC_SUBST(MPFR)	AC_SUBST(MPFR)
	AC_SUBST(NTL)
	AC_SUBST(COCOA)
	AC_SUBST(PARI)
	AC_SUBST(GIAC)

AC_SUBST(CFLAGS)	AC_SUBST(CFLAGS)
AC_SUBST(CXXFLAGS)	AC_SUBST(CXXFLAGS)