--- rpl/configure.ac	2013/06/21 14:15:50	1.70
+++ rpl/configure.ac	2013/07/12 07:38:52	1.73
@@ -23,11 +23,11 @@ LIBXPM=libXpm-3.5.9
 SIGSEGV=libsigsegv-2.11
 ZLIB=zlib-1.2.7
 
-GMP=gmp-5.1.1
+GMP=gmp-5.1.2
 MPFR=mpfr-3.1.2
 NTL=ntl-5.5.2
 COCOA=CoCoALib-0.9950
-PARI=pari-2.5.1
+PARI=pari-2.5.4
 GIAC=giac-1.1.0
 
 dnl 32 bits ABI
@@ -1314,7 +1314,7 @@ case $HOST in
 	break;;
 
 	*)
-		ARCH=unknown
+		ARCH=$(echo $HOST | cut -f1 -d-)
 	break ;;
 esac