projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 968ba63) | patch
Add aarch64 (ARM64) cross-compile support. (#6033)
authorMathias Preiner <mathias.preiner@gmail.com>
Tue, 2 Mar 2021 08:26:29 +0000 (00:26 -0800)
committerGitHub <noreply@github.com>
Tue, 2 Mar 2021 08:26:29 +0000 (08:26 +0000)
commit0d5ab1705324e91d9788185cd16e1d4e6bf54fbe
tree3480e9df08b5a6d250a1e19d96fc7142702eb018tree
parent968ba63bab1709096f09efcdf84651c8c1481110commit | diff
Add aarch64 (ARM64) cross-compile support. (#6033)

This commit adds support for cross-compiling for aarch64 platforms and simplifies cross-compilation handling for Windows. The configure script now automatically downloads and cross-compiles the required dependencies ANTLR3 and GMP when passing option --arm64 or --win64.

Fixes #1479 #5769.
INSTALL.md diff | blob | history
cmake/Toolchain-aarch64.cmake [new file with mode: 0644] blob
configure.sh diff | blob | history
contrib/get-antlr-3.4 diff | blob | history
contrib/get-gmp-dev diff | blob | history
contrib/get-win-dependencies [deleted file] blob | history
src/parser/CMakeLists.txt diff | blob | history
src/theory/quantifiers/fmf/bounded_integers.cpp diff | blob | history