projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0c540b4) | patch
Improve OSX support by adding os detection and adapting calls for OSX. (#5023)
authorMalte Mues <mmuesly@users.noreply.github.com>
Wed, 7 Oct 2020 06:50:45 +0000 (08:50 +0200)
committerGitHub <noreply@github.com>
Wed, 7 Oct 2020 06:50:45 +0000 (23:50 -0700)
commita69b6eb561fadb4c2c9f09b700950af7ce43b378
tree21ed3a5cbe6449a85bcf9eede1357edeaa7ccc14tree
parent0c540b4b96a100ba1d280c700c6c360efeb24fc2commit | diff
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)
contrib/get-glpk-cut-log diff | blob | history