blob: 678103cf4cc5264b3727751ec4adab04f52fdfe9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
#!/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="--disable-shared --enable-static"
[ -n "$HOST" ] && HOST="--host=$HOST"
[ -z "$GMPVERSION" ] && GMPVERSION=6.1.2
GMP_DIR="$DEPS_DIR/gmp-$GMPVERSION"
check_dep_dir "$GMP_DIR"
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
|
