3 source "$(dirname "$0")/get-script-header.sh"
5 # get the full path to the contrib dir; needs to be the full path so we can
6 # refer the patch from within the 'glpk-cut-log' build directory
7 contrib_dir
="$( cd "$
( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd -P)"
9 # Get the full path the patch we wish to apply
10 patch_file
=${contrib_dir}/glpk-cut-log.
patch
12 GLPK_DIR
="$DEPS_DIR/glpk-cut-log"
16 "https://ftp.gnu.org/gnu/glpk/glpk-${version}.tar.gz" \
20 patch -p1 < ${patch_file}
22 if [[ "$OSTYPE" == "darwin"* ]]; then
30 automake
--add-missing
32 .
/configure
--without-pic --prefix="$INSTALL_DIR" --disable-shared --enable-static --disable-dependency-tracking
33 make install -j$
(nproc
)
36 # Find and move the static build
37 rename_installed_lib
"libglpk.a" "libglpk-static.a"
39 .
/configure
--with-pic --prefix="$INSTALL_DIR" --disable-shared --enable-static --disable-dependency-tracking
40 make install -j$
(nproc
)
43 echo ===================== Now configure CVC4 with
=====================
44 echo .
/configure.sh
--gpl --glpk