projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 02b58a8)
Set proper system processor for arm64 toolchain (#7665)
authorGereon Kremer <gkremer@stanford.edu>
Mon, 22 Nov 2021 18:54:19 +0000 (10:54 -0800)
committerGitHub <noreply@github.com>
Mon, 22 Nov 2021 18:54:19 +0000 (18:54 +0000)
cmake/Toolchain-aarch64.cmake patch | blob | history

diff --git a/cmake/Toolchain-aarch64.cmake b/cmake/Toolchain-aarch64.cmake
index 62436a38fc30b9a3b6daccb171866553192e6fac..cb9e1167ec860d1a0680e33478ba82d16f596ab8 100644 (file)
--- a/cmake/Toolchain-aarch64.cmake
+++ b/cmake/Toolchain-aarch64.cmake
@@ -16,7 +16,7 @@
 ##
 
 SET(CMAKE_SYSTEM_NAME Linux)
-SET(CMAKE_SYSTEM_PROCESSOR arm)
+SET(CMAKE_SYSTEM_PROCESSOR aarch64)
 
 set(TOOLCHAIN_PREFIX aarch64-linux-gnu)