build_gmp.sh

#!/bin/bash
VERSION=6.3.0
SRC_DIR=gmp-${VERSION}
SRC_ARCHIVE=${SRC_DIR}.tar.gz
URL=https://ftp.gnu.org/gnu/gmp/${SRC_ARCHIVE}
HASH=a81a30b55ce5cc4346615224442a9125bc6e62a2
INSTALL_PREFIX=`pwd`/local
ARCH=`/usr/bin/arch`

set -e
cd gmp

if ! [ -e ${SRC_ARCHIVE} ]; then
    echo "Downloading source archive ${SRC_ARCHIVE}..."
    curl -L -O ${URL}
    ACTUAL_HASH=`/usr/bin/shasum ${SRC_ARCHIVE}  | cut -f 1 -d' '`
    if [[ ${ACTUAL_HASH} != ${HASH} ]]; then
	echo Invalid hash value for ${SRC_ARCHIVE}
	exit 1
    fi
fi

if ! [ -d ${SRC_DIR} ]; then
    tar xfz ${SRC_ARCHIVE}
    pushd ${SRC_DIR}
    for patchfile in `ls ../patches`; do
	patch -p1 < ../patches/$patchfile
    done
    popd
fi

cd ${SRC_DIR}
if [ -e Makefile ]; then
    make distclean
fi
export
if [ $ARCH == "arm64" ]; then
    ./configure \
    --prefix=${INSTALL_PREFIX} \
    --enable-cxx \
    CFLAGS="-mmacosx-version-min=11" \
    LDFLAGS="-Wl,-ld_classic"
else
    ./configure \
    --prefix=${INSTALL_PREFIX} \
    --enable-cxx \
    CFLAGS="-mmacosx-version-min=10.13 -mno-avx2 -mno-bmi2" \
    LDFLAGS="-Wl,-ld_classic"
fi
echo "Building gmp ..."
gmake -j8
gmake check
gmake install