Skip to content

Commit

Permalink
Check for mpfr_[mul/sqr]high_n and mpfr_round_p
Browse files Browse the repository at this point in the history
during configuration as they are required for Arb
  • Loading branch information
albinahlback committed Dec 11, 2023
1 parent 6ddc269 commit 2e4eb48
Showing 1 changed file with 12 additions and 0 deletions.
12 changes: 12 additions & 0 deletions configure.ac
Original file line number Diff line number Diff line change
Expand Up @@ -782,6 +782,18 @@ then
[AC_MSG_ERROR([MPFR library was not found. If you indeed have MPFR installed, please
submit a bug report to <https://github.com/flintlib/flint/issues/> so
that we can either fix the issue or give a more proper error message.])])

AC_SEARCH_LIBS([mpfr_round_p],[mpfr],
[],
[AC_MSG_ERROR(["`mpfr_round_p' was not found in the MPFR library. It is required for FLINT."])])

AC_SEARCH_LIBS([mpfr_mulhigh_n],[mpfr],
[],
[AC_MSG_ERROR(["`mpfr_mulhigh_n' was not found in the MPFR library. It is required for FLINT."])])

AC_SEARCH_LIBS([mpfr_sqrhigh_n],[mpfr],
[],
[AC_MSG_ERROR(["`mpfr_sqrhigh_n' was not found in the MPFR library. It is required for FLINT."])])
else
LIBS="$LIBS -lmpfr"
fi
Expand Down

0 comments on commit 2e4eb48

Please sign in to comment.