X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=configure.in;h=15d0894404d1bc82d78144e69e764e59b51259b2;hb=d8c0a1dddcb3e9f8939cacd9b77730c48aa89f3a;hp=28e2a3398635c5446187059ef1f1ed0dd85318b6;hpb=90825aa2271fac914ff9c0a7007e604debbbe93b;p=ghc-hetmet.git

diff --git a/configure.in b/configure.in
index 28e2a33..15d0894 100644
--- a/configure.in
+++ b/configure.in
@@ -460,8 +460,11 @@ AC_CHECK_FUNCS(access ftime getclock getpagesize getrusage gettimeofday mktime m
 #
 dnl ** check whether this machine has GMP 2.0 installed
 #
-AC_CHECK_LIB(gmp, mpz_fdiv_qr, HaveLibGmp=YES, HaveLibGmp=NO)
+AC_CHECK_LIB(gmp,  mpz_fdiv_qr, HaveLibGmp=YES; LibGmp=gmp,
+  AC_CHECK_LIB(gmp2, mpz_fdiv_qr,  HaveLibGmp=YES; LibGmp=gmp2,
+    HaveLibGmp=No; LibGmp=not-installed))
 AC_SUBST(HaveLibGmp)
+AC_SUBST(LibGmp)
 
 #
 dnl ** check whether this machine has BFD and liberty installed (used for debugging)