X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=configure.ac;h=ae1e097e476917d16e8834220f045b2d715fa8c4;hb=80cf4c16f1bc0ee3bcc1f4ab6abe8e55aa1d1219;hp=a020b3f6e70ee35c0e86feebb8bca9e066369f08;hpb=682e5ee9e871b66d5227468bfa2ae3bc7b7d14cc;p=pspp-builds.git

diff --git a/configure.ac b/configure.ac
index a020b3f6..ae1e097e 100644
--- a/configure.ac
+++ b/configure.ac
@@ -2,7 +2,7 @@ dnl Process this file with autoconf to produce a configure script.
 
 dnl Initialize.
 AX_PREREQ(2.57)
-AC_INIT(pspp, 0.3.2,bug-gnu-pspp@gnu.org)
+AC_INIT(pspp, 0.4.0,bug-gnu-pspp@gnu.org)
 AC_CONFIG_HEADERS([config.h])
 AM_INIT_AUTOMAKE
 
@@ -40,12 +40,6 @@ fi
 AM_CONDITIONAL(WITHCHARTS, test x"$with_libplot" != x"no")
 
 
-AC_CHECK_LIB(gmp, mpf_get_str,,
-	AC_CHECK_LIB(gmp, __gmpf_get_str,,
-          AC_MSG_ERROR([You must install libgmp])
-        )
-)
-
 AC_CHECK_LIB(gslcblas,main,,AC_MSG_ERROR([You must install libgslcblas]))
 AC_CHECK_LIB(gsl, gsl_cdf_chisq_Q,,
   AC_MSG_ERROR([You must install libgsl version 1.4 or later]))