--- rpl/Attic/configure	2011/04/20 08:26:01	1.55
+++ rpl/Attic/configure	2011/04/21 15:59:42	1.56
@@ -596,6 +596,10 @@ ac_subst_vars='am__EXEEXT_FALSE
 am__EXEEXT_TRUE
 LTLIBOBJS
 LIBOBJS
+GIAC
+PARI
+COCOA
+NTL
 MPFR
 GMP
 MALLOC
@@ -3236,6 +3240,10 @@ 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'
@@ -6145,6 +6153,22 @@ if test ! -d "$srcdir"/rplcas/$MPFR; the
 	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
 
 
 
@@ -9289,6 +9313,10 @@ esac
 
 
 
+
+
+
+