Searched refs:GMP_VERSION (Results 1 – 4 of 4) sorted by relevance
41 GMP_VERSION=$DEFAULT_GMP_VERSION42 register_var_option "--gmp-version=<version>" GMP_VERSION "Specify gmp version"93 GMP_SOURCE=$SRC_DIR/gmp/gmp-$GMP_VERSION.tar.bz2193 fail_panic "Couldn't unpack $SRC_DIR/gmp/gmp-$GMP_VERSION to $BUILD_OUT"195 GMP_BUILD_OUT=$BUILD_OUT/gmp-$GMP_VERSION
115 GMP_VERSION=$DEFAULT_GMP_VERSION116 register_var_option "--gmp-version=<version>" GMP_VERSION "Select gmp version"781 if ! version_is_greater_than $GMP_VERSION 5.0; then1094 BUILD_DIR="$(host_build_dir_for gmp-$GMP_VERSION)" &&1126 stamps_do build-gmp-$GMP_VERSION-$HOST build_gmp $GMP_VERSION
60 GMP_VERSION=$DEFAULT_GMP_VERSION61 register_var_option "--gmp-version=<version>" GMP_VERSION "Specify gmp version"379 --with-gmp-version=$GMP_VERSION \
129 # GMP_URL=ftp://ftp.gmplib.org/pub/gmp-$GMP_VERSION/420 download_package ${GMP_URL}gmp-${GMP_VERSION}.tar.bz2534 build_host_package gmp-$GMP_VERSION $BASE_HOST_OPTIONS