projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4e2afa2) | patch
contrib: Do not use HOST env variable for cross-compilation host target. (#6078)
authorMathias Preiner <mathias.preiner@gmail.com>
Mon, 8 Mar 2021 20:24:41 +0000 (12:24 -0800)
committerGitHub <noreply@github.com>
Mon, 8 Mar 2021 20:24:41 +0000 (20:24 +0000)
commit10ddb10f9a5e20eff74d572d5bce7e7f4588a2f0
tree9d1a0da94298eb823dde5d06ffdd6ccf5043b446tree
parent4e2afa2282965f3f54033d43cd990cc0b0a8b200commit | diff
contrib: Do not use HOST env variable for cross-compilation host target. (#6078)

On some systems HOST is set by default to the host name. This commit adds a --host option for the get-antlr-3.4 and get-gmp-dev scripts. It further simplifies the machine type check in get-antlr-3.4 and updates the GMP version to 6.2.1.
configure.sh diff | blob | history
contrib/get-antlr-3.4 diff | blob | history
contrib/get-gmp-dev diff | blob | history