diff options
author | Ian Lynagh <igloo@earth.li> | 2009-06-25 16:29:33 +0000 |
---|---|---|
committer | Ian Lynagh <igloo@earth.li> | 2009-06-25 16:29:33 +0000 |
commit | 63b433a8d485a97f105a1ec4624d583b1d7d9d5a (patch) | |
tree | 219956c83a27a33a44e93b633b324ed7d0da4ad0 /libraries/integer-gmp/configure.ac | |
parent | e5c241723f5f172a09b99fbaeb28d75791f61b01 (diff) | |
download | haskell-63b433a8d485a97f105a1ec4624d583b1d7d9d5a.tar.gz |
Check for whether we have gmp.h, as well as whether we have the gmp library
Diffstat (limited to 'libraries/integer-gmp/configure.ac')
-rw-r--r-- | libraries/integer-gmp/configure.ac | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/libraries/integer-gmp/configure.ac b/libraries/integer-gmp/configure.ac index a4f7c48f8c..b6a8003fc8 100644 --- a/libraries/integer-gmp/configure.ac +++ b/libraries/integer-gmp/configure.ac @@ -58,6 +58,8 @@ case $target_os in ;; esac +AC_CHECK_HEADER([gmp.h], , [HaveFrameworkGMP=NO; HaveLibGmp=NO; GMP_LIBS=]) + dnl-------------------------------------------------------------------- dnl * Make sure we got some form of gmp dnl-------------------------------------------------------------------- |