From: Gereon Kremer <gkremer@stanford.edu>
Date: Mon, 22 Nov 2021 18:54:19 +0000 (-0800)
Subject: Set proper system processor for arm64 toolchain (#7665)
X-Git-Tag: cvc5-1.0.0~788
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e2c3258683d9eba669995149a686cf6b207596a6;p=cvc5.git

Set proper system processor for arm64 toolchain (#7665)
---

diff --git a/cmake/Toolchain-aarch64.cmake b/cmake/Toolchain-aarch64.cmake
index 62436a38f..cb9e1167e 100644
--- 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)