You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
8 lines
365 B
8 lines
365 B
#!/bin/sh
|
|
set -ex
|
|
|
|
# Find out what we're emulating
|
|
ARCH="$(python -c 'import platform;print(platform.machine())')"
|
|
|
|
# Use updated GMP
|
|
curl -O https://ftp.gnu.org/gnu/gmp/gmp-6.2.1.tar.bz2 && tar -xjpf gmp-*.tar.bz2 && cd gmp* && ./configure --build=${ARCH}-pc-linux-gnu > /dev/null && make > /dev/null && make check > /dev/null && make install > /dev/null && cd ..
|
|
|