Lines Matching refs:mpfr
55 register_var_option "--mpfr-version=<version>" MPFR_VERSION "Specify mpfr version"
132 fix_option MPFR_VERSION "$OPTION_MPFR_VERSION" "mpfr version"
133 if [ ! -f $SRC_DIR/mpfr/mpfr-$MPFR_VERSION.tar.bz2 ] ; then
134 echo "ERROR: Missing mpfr sources: $SRC_DIR/mpfr/mpfr-$MPFR_VERSION.tar.bz2"
135 echo " Use --mpfr-version=<version> to specify alternative."
198 --with-mpfr-version=$MPFR_VERSION \
