Lines Matching refs:MPFR
1439 --with-mpfr-include=DIR MPFR include directory
1440 --with-mpfr-lib=DIR MPFR lib directory
1441 --with-mpfr=DIR MPFR install directory
3039 # Check whether --with-mpfr was given.
3048 as_fn_error $? "Do not use --with-mpfr and --with-mpfr-include/--with-mpfr-lib options simultaneously.
13291 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for MPFR" >&5
13292 $as_echo_n "checking for MPFR... " >&6; }
13296 #include "mpfr.h"
13349 # Check for a recent MPFR: we require MPFR 4.1.0
13351 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for recent MPFR" >&5
13352 $as_echo_n "checking for recent MPFR... " >&6; }
13356 #include "mpfr.h"
13358 # error "Minimal MPFR version is 4.1.0"
13370 as_fn_error $? "MPFR version >= 4.1.0 required" "$LINENO" 5
13520 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for DLL/static mpfr" >&5
13521 $as_echo_n "checking for DLL/static mpfr... " >&6; }
13525 #include "mpfr.h"
13546 as_fn_error $? "mpfr is not available as a DLL: use --enable-static --disable-shared" "$LINENO" 5