Add cross-compilation for arm64 on macOS (#8758)
[cvc5.git] / cmake / Toolchain-aarch64.cmake
2022-05-21 Gereon KremerAdd cross-compilation for arm64 on macOS (#8758)
2022-04-05 Mathias PreinerUpdate copyright headers for release 1.0 (#8539)
2022-03-16 Andres NoetzliIgnore `CMAKE_SYSROOT` when cross-compiling (#8318)
2021-11-22 Gereon KremerSet proper system processor for arm64 toolchain (#7665)
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316)
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081)
2021-03-02 Mathias PreinerAdd aarch64 (ARM64) cross-compile support. (#6033)