Make contrib/get-* more robust. (#3198)
authorMathias Preiner <mathias.preiner@gmail.com>
Mon, 26 Aug 2019 22:38:04 +0000 (15:38 -0700)
committerGitHub <noreply@github.com>
Mon, 26 Aug 2019 22:38:04 +0000 (15:38 -0700)
commit9b9ecdf85954e937bd569cba018b6b09eee787a1
tree0d28bf7f9ba77e45ffba52cfe7913f8ee566bd79
parentbf0c04f38a1dede1560bc880193889c6dd85ad67
Make contrib/get-* more robust. (#3198)

We use the command which to determine if a command is available on the system. However, which is not installed on all platforms by default (e.g. CentOS). command is a shell builtin that can be used for the same purpose.
contrib/get-abc
contrib/get-antlr-3.4
contrib/get-cryptominisat
contrib/get-drat2er
contrib/get-glpk-cut-log
contrib/get-gmp
contrib/get-lfsc-checker
contrib/get-script-header.sh
contrib/get-symfpu
contrib/get-win-dependencies