From: Malte Mues <mmuesly@users.noreply.github.com>
Date: Wed, 7 Oct 2020 06:50:45 +0000 (+0200)
Subject: Improve OSX support by adding os detection and adapting calls for OSX. (#5023)
X-Git-Tag: cvc5-1.0.0~2743
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a69b6eb561fadb4c2c9f09b700950af7ce43b378;p=cvc5.git

Improve OSX support by adding os detection and adapting calls for OSX. (#5023)

On OSX there is another libtoolize tool already available.
The gnu libtoolize version installed with MacPorts or brew is called glibtoolize.
This change makes it easier to run the file on OSX.

Signed-off-by: Malte Mues (mail.mues@gmail.com)
---

diff --git a/contrib/get-glpk-cut-log b/contrib/get-glpk-cut-log
index 951e10620..17ace0dcd 100755
--- a/contrib/get-glpk-cut-log
+++ b/contrib/get-glpk-cut-log
@@ -20,7 +20,11 @@ cd "$GLPK_DIR"
 
 patch -p1 < ${patch_file}
 
-libtoolize
+if [[ "$OSTYPE" == "darwin"* ]]; then
+    glibtoolize
+else
+    libtoolize
+fi
 aclocal
 autoheader
 autoconf