projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3898889) | patch
Add cross-compilation for arm64 on macOS (#8758)
authorGereon Kremer <gkremer@cs.stanford.edu>
Sat, 21 May 2022 22:14:45 +0000 (15:14 -0700)
committerGitHub <noreply@github.com>
Sat, 21 May 2022 22:14:45 +0000 (22:14 +0000)
commit4337cdb8e2a071ded73dbc9236c8bb2f4d42e6e5
treec4eb099bbe793abe2e29310e514ebfbaf541fb05tree
parent38988892041143d7f187af89f0d45126979278e7commit | diff
Add cross-compilation for arm64 on macOS (#8758)

Co-authored-by: Andres Noetzli <andres.noetzli@gmail.com>
.github/workflows/ci.yml diff | blob | history
NEWS.md diff | blob | history
cmake/FindANTLR3.cmake diff | blob | history
cmake/FindCaDiCaL.cmake diff | blob | history
cmake/FindGMP.cmake diff | blob | history
cmake/Toolchain-aarch64.cmake diff | blob | history
cmake/deps-utils/gmp-test.cpp [new file with mode: 0644] blob