From bd70c79b255d2c0e43bea6cb256a9251b9b9f5ea Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 5 Apr 2022 15:53:53 +0200
Subject: [PATCH] Update target_arch_detect.cpp

adding detection for ARM to cmake build
---
 cmake/target_arch_detect.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/cmake/target_arch_detect.cpp b/cmake/target_arch_detect.cpp
index 8053e3532..0a2d0f3e6 100644
--- a/cmake/target_arch_detect.cpp
+++ b/cmake/target_arch_detect.cpp
@@ -5,6 +5,8 @@
 #error CMAKE_TARGET_ARCH_i686
 #elif defined(__x86_64__) || defined(_M_X64)
 #error CMAKE_TARGET_ARCH_x86_64
+#elif defined(__ARM_ARCH)
+#error CMAKE_TARGET_ARCH_arm
 #else
 #error CMAKE_TARGET_ARCH_unknown
 #endif