Lines Matching full:mpfr
65 register_var_option "--mpfr-version=<version>" MPFR_VERSION "Specify mpfr version"
200 fix_option MPFR_VERSION "$OPTION_MPFR_VERSION" "mpfr version"
201 if [ ! -f $SRC_DIR/mpfr/mpfr-$MPFR_VERSION.tar.bz2 ] ; then
202 echo "ERROR: Missing mpfr sources: $SRC_DIR/mpfr/mpfr-$MPFR_VERSION.tar.bz2"
203 echo " Use --mpfr-version=<version> to specify alternative."
353 --with-mpfr-version=$MPFR_VERSION \
