GMP: require just i686, not pentium4

diff --git a/misc/builddeps/dp.linux32/include/gmp.h b/misc/builddeps/dp.linux32/include/gmp.h
index ee5647e368343d67045fd00e5e933b9871b443e0..7b531f578e0abc60037d05252461e50ba2d966df 100644 (file)
--- a/misc/builddeps/dp.linux32/include/gmp.h
+++ b/misc/builddeps/dp.linux32/include/gmp.h
@@ -2268,7 +2268,7 @@ enum
 
 /* Define CC and CFLAGS which were used to build this version of GMP */
 #define __GMP_CC "gcc -std=gnu99"
-#define __GMP_CFLAGS "-m32 -O2 -pedantic -fomit-frame-pointer -mtune=pentium4 -march=pentium4"
+#define __GMP_CFLAGS "-m32 -O2 -pedantic -fomit-frame-pointer -mtune=pentiumpro -march=pentiumpro"
 
 /* Major version number is the value of __GNU_MP__ too, above and in mp.h. */
 #define __GNU_MP_VERSION 5

diff --git a/misc/builddeps/dp.linux32/lib/libgmp.a b/misc/builddeps/dp.linux32/lib/libgmp.a
index 555b7bff94b7ef2f5ce37c26cd3a61af972989c5..e61da303c19623b6e09915f22ade913f27a0f3a6 100644 (file)
Binary files a/misc/builddeps/dp.linux32/lib/libgmp.a and b/misc/builddeps/dp.linux32/lib/libgmp.a differ

diff --git a/misc/builddeps/dp.linux32/lib/libgmp.la b/misc/builddeps/dp.linux32/lib/libgmp.la
index 34fab8f33a4204df1e366305ec99baedb8d79a90..b61247775eedefc364b0a9a81f5901d0d7325c55 100755 (executable)
--- a/misc/builddeps/dp.linux32/lib/libgmp.la
+++ b/misc/builddeps/dp.linux32/lib/libgmp.la
@@ -38,4 +38,4 @@ dlopen=''
 dlpreopen=''
 
 # Directory that this library needs to be installed in:
-libdir='/tmp/g/lib'
+libdir='/tmp/gg/lib'