Lines Matching full:gmp_version
59 GMP_VERSION=4.2.4
221 --gmp-version=*) GMP_VERSION="$optarg"
302 echo " --gmp-version=VERSION GMP version number [$GMP_VERSION]."
1205 task2_define extract_gmp "Extract sources for gmp-$GMP_VERSION"
1211 tar xjf $TOOLCHAIN_SRC_DIR/gmp/gmp-$GMP_VERSION.tar.bz2
1214 task2_define configure_gmp "Configure gmp-$GMP_VERSION"
1220 ../gmp-$GMP_VERSION/configure --prefix=$(install_dir) --host=$GMP_TARGET --disable-shared
1223 task2_define build_gmp "Build gmp-$GMP_VERSION"
1232 task2_define install_gmp "Install gmp-$GMP_VERSION"
