Lines Matching refs:GMP_VERSION
115 GMP_VERSION=$DEFAULT_GMP_VERSION
116 register_var_option "--gmp-version=<version>" GMP_VERSION "Select gmp version"
781 if ! version_is_greater_than $GMP_VERSION 5.0; then
1094 BUILD_DIR="$(host_build_dir_for gmp-$GMP_VERSION)" &&
1126 stamps_do build-gmp-$GMP_VERSION-$HOST build_gmp $GMP_VERSION
