--- rpl/Attic/configure	2011/04/11 12:10:02	1.53
+++ rpl/Attic/configure	2011/04/21 15:59:42	1.56
@@ -596,6 +596,12 @@ ac_subst_vars='am__EXEEXT_FALSE
 am__EXEEXT_TRUE
 LTLIBOBJS
 LIBOBJS
+GIAC
+PARI
+COCOA
+NTL
+MPFR
+GMP
 MALLOC
 EXT_SQL
 DATE_FR
@@ -3221,7 +3227,7 @@ am__tar='${AMTAR} chof - "$$tardir"'; am
 ac_config_headers="$ac_config_headers rplconfig.h"
 
 
-NCURSES=ncurses-5.8
+NCURSES=ncurses-5.9
 READLINE=readline-6.2
 UNITS=units-1.88
 GSL=gsl-1.14
@@ -3232,6 +3238,13 @@ ICONV=libiconv-1.13.1
 SQLITE=sqlite-3.7.5
 OPENSSL=openssl-1.0.0d
 
+GMP=gmp-5.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
+
 ac_ext=c
 ac_cpp='$CPP $CPPFLAGS'
 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
@@ -6129,6 +6142,33 @@ if test ! -d tools/$OPENSSL; then
 	gunzip -c "$srcdir"/tools/$OPENSSL.tar.gz | \
 			(cd tools && tar -xf -)
 fi
+if test ! -d rplcas; then
+	mkdir rplcas
+fi
+if test ! -d "$srcdir"/rplcas/$GMP; then
+	gunzip -c "$srcdir"/rplcas/$GMP.tar.gz | \
+			(cd "$srcdir/rplcas" && tar -xf -)
+fi
+if test ! -d "$srcdir"/rplcas/$MPFR; then
+	gunzip -c "$srcdir"/rplcas/$MPFR.tar.gz | \
+			(cd "$srcdir/rplcas" && tar -xf -)
+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
 
 
 
@@ -9302,6 +9342,12 @@ esac
 
 
 
+
+
+
+
+
+
 ac_config_files="$ac_config_files Makefile"
 
 ac_config_files="$ac_config_files COPYING"
@@ -9330,6 +9376,8 @@ ac_config_files="$ac_config_files rplico
 
 ac_config_files="$ac_config_files rplsums/Makefile"
 
+ac_config_files="$ac_config_files rplcas/Makefile"
+
 ac_config_files="$ac_config_files rplawk/Makefile"
 
 ac_config_files="$ac_config_files lapack/lapack/Makefile"
@@ -10095,6 +10143,7 @@ do
     "rpltags/Makefile") CONFIG_FILES="$CONFIG_FILES rpltags/Makefile" ;;
     "rpliconv/Makefile") CONFIG_FILES="$CONFIG_FILES rpliconv/Makefile" ;;
     "rplsums/Makefile") CONFIG_FILES="$CONFIG_FILES rplsums/Makefile" ;;
+    "rplcas/Makefile") CONFIG_FILES="$CONFIG_FILES rplcas/Makefile" ;;
     "rplawk/Makefile") CONFIG_FILES="$CONFIG_FILES rplawk/Makefile" ;;
     "lapack/lapack/Makefile") CONFIG_FILES="$CONFIG_FILES lapack/lapack/Makefile" ;;
     "lapack/blas/Makefile") CONFIG_FILES="$CONFIG_FILES lapack/blas/Makefile" ;;