X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=configure.ac;h=b35c7e7d39c1790d159f941303eb3b72164f7d44;hb=db01886e22bd80de8d94a8d5e71d2ca645cb7a8e;hp=929b6404a9e53a8ac903a7307f54162be4690b43;hpb=006a18ea83799c0d4255071a2f8c08d3e9c7d84f;p=ghc-hetmet.git

diff --git a/configure.ac b/configure.ac
index 929b640..b35c7e7 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1075,6 +1075,9 @@ dnl ** check whether this machine has gmp3 installed
 AC_CHECK_LIB(gmp,  __gmpz_fdiv_qr, HaveLibGmp=YES; LibGmp=gmp,
   AC_CHECK_LIB(gmp3, __gmpz_fdiv_qr,  HaveLibGmp=YES; LibGmp=gmp3,
     HaveLibGmp=NO; LibGmp=not-installed))
+  if test $HaveLibGmp = YES; then
+    AC_DEFINE([HAVE_LIB_GMP], [1], [Define to 1 if GMP library is installed.])
+  fi;
 AC_SUBST(HaveLibGmp)
 AC_SUBST(LibGmp)