Support for building the solvers on macOS

conjure-cp · Nov 21, 2022 · a7382e3 · a7382e3
1 parent 152b89e
commit a7382e3
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git 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
@@ -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