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
)
35 mv "$INSTALL_LIB_DIR/libglpk.a" "$INSTALL_LIB_DIR/libglpk-static.a"
37 .
/configure
--with-pic --prefix="$INSTALL_DIR" --disable-shared --enable-static --disable-dependency-tracking
38 make install -j$
(nproc
)
41 echo ===================== Now configure CVC4 with
=====================
42 echo .
/configure.sh
--gpl --glpk