diff options
-rw-r--r-- | configure.ac | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/configure.ac b/configure.ac index 5ef637090..0c9ae5849 100644 --- a/configure.ac +++ b/configure.ac @@ -805,9 +805,11 @@ AC_COMPUTE_INT(mini_gmp_numb_bits, [(GMP_NUMB_BITS)], CPPFLAGS="$saved_CPPFLAGS" AC_MSG_RESULT([$mini_gmp_numb_bits bits ($how)]) -dnl We need to check the availability of lrand48 (used by random_limb), -dnl in particular because it is not part of the ISO C standard. -AC_CHECK_FUNC(lrand48,,AC_MSG_FAILURE([mini-gmp requires lrand48])) +dnl We need to check the availability of lrand48 (used by random_limb) +dnl and srand48 (used by gmp_randseed_ui), in particular because these +dnl functions are not part of the ISO C standard. +AC_CHECK_FUNC(lrand48,,AC_MSG_FAILURE([MPFR + mini-gmp requires lrand48])) +AC_CHECK_FUNC(srand48,,AC_MSG_FAILURE([MPFR + mini-gmp requires srand48])) fi |