X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=configure.ac;h=b55a14651ab4c5ff9d2b60efd5fafdf258d8e4ea;hb=ef7d955e45f2460b6281bede1b699c4cc9d0697b;hp=25631a4d87cac9d2a27fd473d7a5dcb8239bf23a;hpb=fd02af47572a2325b4308477a6bd89950ed4d3b8;p=pspp-builds.git

diff --git a/configure.ac b/configure.ac
index 25631a4d..b55a1465 100644
--- a/configure.ac
+++ b/configure.ac
@@ -2,7 +2,7 @@ dnl Process this file with autoconf to produce a configure script.
 
 dnl Initialize.
 AC_PREREQ(2.58)
-AC_INIT(pspp, 0.3.1)
+AC_INIT(pspp, 0.3.1,bug-gnu-pspp@gnu.org)
 AC_CONFIG_HEADERS([config.h])
 AM_INIT_AUTOMAKE
 
@@ -16,9 +16,11 @@ AM_GNU_GETTEXT_VERSION	dnl Prevents autoreconf complaint.
 
 dnl Checks for libraries.
 AC_CHECK_LIB(m, sin)
-AC_CHECK_LIB(gmp, mpf_get_str, [LIBS="-lgmp $LIBS"],
-	     [AC_CHECK_LIB(gmp, __gmpf_get_str, [LIBS="-lgmp $LIBS"])],
-	     AC_MSG_ERROR(`You must install libgmp'))
+AC_CHECK_LIB(gmp, mpf_get_str,,
+	AC_CHECK_LIB(gmp, __gmpf_get_str,,
+          AC_MSG_ERROR([You must install libgmp])
+        )
+)
 
 AC_CHECK_FUNC(getopt_long,,
 	AC_MSG_ERROR(`This application depends upon getopt_long'))
@@ -102,6 +104,11 @@ AH_BOTTOM([#include <pref.h>])
 dnl This is needed otherwise --with-included-gettext fails
 AH_BOTTOM([#include <locale.h>])
 
+AC_ARG_ENABLE(debug, [  --enable-debug          Turn on diagnostic features in the program])
+if test x"$enable_debug" = x"yes"  ; then
+  AC_DEFINE(DEBUGGING, 1, [Define to 1 if debugging is enabled.])
+fi
+
 AC_CONFIG_FILES([Makefile po/Makefile.in m4/Makefile intl/Makefile 
 		 lib/Makefile lib/julcal/Makefile lib/misc/Makefile 
 		 lib/dcdflib/Makefile doc/Makefile src/Makefile