X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=configure.ac;h=214609fbae3b0ffd59ec403f42f3dba88eb39b69;hb=36acd35beab37125d4083d98feaebec1d945e9b4;hp=22be61a719b47e6bf6221b36e4581529d779eb77;hpb=2e0595dd8e344dbdcab740d7d2a3b67d153d6b39;p=pspp

diff --git a/configure.ac b/configure.ac
index 22be61a719..214609fbae 100644
--- a/configure.ac
+++ b/configure.ac
@@ -17,7 +17,8 @@ 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_CHECK_LIB(gmp, __gmpf_get_str, [LIBS="-lgmp $LIBS"])],
+	     AC_MSG_ERROR(`You must install libgmp'))
   
 AC_CHECK_LIB(ncurses, tgetent, LIBS="-lncurses $LIBS" termcap=yes,
   AC_CHECK_LIB(termcap, tgetent, LIBS="-ltermcap $LIBS" termcap=yes,
@@ -113,4 +114,4 @@ AC_CONFIG_COMMANDS([pref.h],[
 	  ])
 AC_OUTPUT
 
-dnl configure.in ends here
+dnl configure.ac ends here