#!/usr/bin/env bash
#
# This script should only be used if your distribution does not ship with the
# GMP configuration you need. For example, contrib/get-win-dependencies
# cross-compiles GMP for Windows. You can also use the script if your
# distribution does not ship with static GMP libraries (e.g., Arch Linux) and
# you want to build CVC4 statically.
# In most of the cases the GMP version installed on your system is the one you
# want and should use.
#

source "$(dirname "$0")/get-script-header.sh"

[ -z "${BUILD_TYPE}" ] && BUILD_TYPE="--enable-shared --enable-static"
[ -n "$HOST" ] && HOST="--host=$HOST"
[ -z "$GMPVERSION" ] && GMPVERSION=6.2.0

GMP_DIR="$DEPS_DIR/gmp-$GMPVERSION"

echo =============================================================================
echo
echo "This script should only be used if your distribution does not ship with the"
echo "GMP configuration you need. For example, contrib/get-win-dependencies cross-"
echo "compiles GMP for Windows. You can also use the script if your distribution"
echo "does not ship with static GMP libraries (e.g., Arch Linux) and you want to"
echo "build CVC4 statically."
echo
echo "In most of the cases the GMP version installed on your system is the one you"
echo "want and should use."
echo
echo =============================================================================
echo
echo "Setting up GMP $GMPVERSION..."
echo
setup_dep "https://gmplib.org/download/gmp/gmp-$GMPVERSION.tar.bz2" "$GMP_DIR"
cd "$GMP_DIR"
./configure ${HOST} --prefix="$INSTALL_DIR" --enable-cxx ${BUILD_TYPE}
make \
  CFLAGS="${MAKE_CFLAGS}" \
  CXXFLAGS="${MAKE_CXXFLAGS}" \
  LDFLAGS="${MAKE_LDFLAGS}" \
  -j$(nproc)
make install
echo