projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
0c540b4
)
Improve OSX support by adding os detection and adapting calls for OSX. (#5023)
author
Malte Mues
<mmuesly@users.noreply.github.com>
Wed, 7 Oct 2020 06:50:45 +0000
(08:50 +0200)
committer
GitHub
<noreply@github.com>
Wed, 7 Oct 2020 06:50:45 +0000
(23:50 -0700)
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)
contrib/get-glpk-cut-log
patch
|
blob
|
history
diff --git
a/contrib/get-glpk-cut-log
b/contrib/get-glpk-cut-log
index 951e106202d7ef764d00b5f56da75b5f4dd93b08..17ace0dcde090a87ff7d7107f1dd7c28dff0bba2 100755
(executable)
--- 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