Commit fcdc805d authored by Niels Möller's avatar Niels Möller
Browse files

Better checks for gmp.h, gmp2.h, libgmp and libgmp2. Fail if gmp isn't

found.

Rev: src/configure.in:1.17
parent 946ee1d0
...@@ -80,8 +80,10 @@ AC_CHECK_LIB(socket, setsockopt) ...@@ -80,8 +80,10 @@ AC_CHECK_LIB(socket, setsockopt)
dnl Checks for header files. dnl Checks for header files.
AC_HEADER_STDC AC_HEADER_STDC
dnl Some debian systems have both gmp1 and gmp2. dnl Some debian systems have both gmp and gmp2.
AC_CHECK_HEADERS(gmp2.h gmp.h, [break], dnl This will probably not not work right if both gmp.h and gmp2.h exists,
dnl and gmp.h is too old (i.e GMP-1.x).
AC_CHECK_HEADERS(gmp.h gmp2.h, [break],
[AC_ERROR([Neither gmp.h nor gmp2.h found])]) [AC_ERROR([Neither gmp.h nor gmp2.h found])])
AC_CHECK_HEADERS(fcntl.h strings.h sys/time.h unistd.h) AC_CHECK_HEADERS(fcntl.h strings.h sys/time.h unistd.h)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment