Home | History | Annotate | Download | only in tools

Lines Matching refs:gmp

43 register_var_option "--gmp-version=<version>" GMP_VERSION "Specify gmp version"
93 GMP_SOURCE=$SRC_DIR/gmp/gmp-$GMP_VERSION.tar.bz2
95 echo "ERROR: Source directory does not contain gmp: $GMP_SOURCE"
188 fail_panic "Couldn't unpack $SRC_DIR/gmp/gmp-$GMP_VERSION to $BUILD_OUT"
190 GMP_BUILD_OUT=$BUILD_OUT/gmp-$GMP_VERSION
192 fail_panic "Couldn't cd into gmp build path: $GMP_BUILD_OUT"
203 fail_panic "Couldn't configure gmp"
205 fail_panic "Couldn't compile gmp"
207 fail_panic "Couldn't install gmp to $TOOLCHAIN_BUILD_PREFIX"
218 --with-gmp-prefix=$TOOLCHAIN_BUILD_PREFIX \