X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=configure.in;h=6eaed9afd4689a9ca1f59c5a66854c84157929b1;hb=51afadde2f0ec0b80a1e901b732b681ccf509b6e;hp=7998f3e3178f359e11fdb0f0ec640e94efe1d039;hpb=eb91fd6613d74f3579b9f054d50f84e7fa910da5;p=ghc-hetmet.git diff --git a/configure.in b/configure.in index 7998f3e..6eaed9a 100644 --- a/configure.in +++ b/configure.in @@ -733,7 +733,7 @@ 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 +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))