X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=configure.in;h=6eaed9afd4689a9ca1f59c5a66854c84157929b1;hb=51afadde2f0ec0b80a1e901b732b681ccf509b6e;hp=74550b121d0ad82cc9a9b75c1f6464f460f4f1df;hpb=393185426d61a45e0d7f1cb97925b7f7ae0ed278;p=ghc-hetmet.git diff --git a/configure.in b/configure.in index 74550b1..6eaed9a 100644 --- a/configure.in +++ b/configure.in @@ -733,9 +733,9 @@ AC_CHECK_FUNCS(pclose _pclose ) dnl ** check for specific library functions that we are interested in AC_CHECK_FUNCS(access ftime getclock getpagesize getrusage gettimeofday mktime mprotect readlink setitimer stat symlink sysconf timelocal times vadvise vfork) -dnl ** check whether this machine has gmp2 installed -AC_CHECK_LIB(gmp, mpz_fdiv_qr, HaveLibGmp=YES; LibGmp=gmp, - AC_CHECK_LIB(gmp2, mpz_fdiv_qr, HaveLibGmp=YES; LibGmp=gmp2, +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)) AC_SUBST(HaveLibGmp) AC_SUBST(LibGmp)