From a7382e3d99e27d4d7c369a0b2e50ee4fa827e325 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?O=CC=88zgu=CC=88r=20Akgu=CC=88n?= Date: Mon, 21 Nov 2022 10:41:03 +0000 Subject: [PATCH] Support for building the solvers on macOS --- etc/build/install-open-wbo.sh | 7 +++++++ etc/build/install-yices.sh | 7 +++++++ 2 files changed, 14 insertions(+) diff --git a/etc/build/install-open-wbo.sh b/etc/build/install-open-wbo.sh index de6bc54f95..0ddcbe9c08 100755 --- a/etc/build/install-open-wbo.sh +++ b/etc/build/install-open-wbo.sh @@ -9,6 +9,13 @@ set -o nounset export BIN_DIR=${BIN_DIR:-${HOME}/.local/bin} export PROCESSES=${PROCESSES:-1} +# we will add these to the path, just in case the user is using a homebrew installed gmp +export C_INCLUDE_PATH=${C_INCLUDE_PATH:-} # initialise if undefined +export C_INCLUDE_PATH=/opt/homebrew/include:${C_INCLUDE_PATH} # add the brew dir +export CPLUS_INCLUDE_PATH=${CPLUS_INCLUDE_PATH:-} +export CPLUS_INCLUDE_PATH=/opt/homebrew/include:${CPLUS_INCLUDE_PATH} +export LIBRARY_PATH=${LIBRARY_PATH:-} +export LIBRARY_PATH=/opt/homebrew/lib/:${LIBRARY_PATH} rm -rf tmp-install-open-wbo mkdir -p tmp-install-open-wbo diff --git a/etc/build/install-yices.sh b/etc/build/install-yices.sh index 6fbd30cc16..e36bcaef46 100755 --- a/etc/build/install-yices.sh +++ b/etc/build/install-yices.sh @@ -12,6 +12,13 @@ set -o nounset export BIN_DIR=${BIN_DIR:-${HOME}/.local/bin} export PROCESSES=${PROCESSES:-1} +# we will add these to the path, just in case the user is using a homebrew installed gmp +export C_INCLUDE_PATH=${C_INCLUDE_PATH:-} # initialise if undefined +export C_INCLUDE_PATH=/opt/homebrew/include:${C_INCLUDE_PATH} # add the brew dir +export CPLUS_INCLUDE_PATH=${CPLUS_INCLUDE_PATH:-} +export CPLUS_INCLUDE_PATH=/opt/homebrew/include:${CPLUS_INCLUDE_PATH} +export LIBRARY_PATH=${LIBRARY_PATH:-} +export LIBRARY_PATH=/opt/homebrew/lib/:${LIBRARY_PATH} rm -rf tmp-install-yices mkdir -p tmp-install-yices