diff options
| author | simonm <unknown> | 1998-08-10 14:19:23 +0000 |
|---|---|---|
| committer | simonm <unknown> | 1998-08-10 14:19:23 +0000 |
| commit | c650f28b4c98dd5b44f23725f3bcc2a37f8cea34 (patch) | |
| tree | 14305d308cda997d6a1156f7a5fdef6470637685 /configure.in | |
| parent | ce01fcd087d425189ffa57b0cf48e1429ac87906 (diff) | |
| download | haskell-c650f28b4c98dd5b44f23725f3bcc2a37f8cea34.tar.gz | |
[project @ 1998-08-10 14:19:23 by simonm]
apparently GMP is installed as libgmp2.a on Debian systems.
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/configure.in b/configure.in index 28e2a33986..15d0894404 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) |