From 96f53db39750fd06dfcf6f74c4ff655277a5c1e0 Mon Sep 17 00:00:00 2001
From: Martin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Date: Tue, 25 Jun 2019 18:08:07 +0200
Subject: [PATCH] Avoid setting x86-specific getarch flags on non-x86

---
 cmake/system.cmake | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/cmake/system.cmake b/cmake/system.cmake
index 5368ae5b6..4cd77ba09 100644
--- a/cmake/system.cmake
+++ b/cmake/system.cmake
@@ -71,9 +71,11 @@ if (X86_64)
 endif ()
 
 # On x86 no AVX support is available
+if (X86 OR X86_64)
 if ((DEFINED BINARY AND BINARY EQUAL 32) OR ("$CMAKE_SIZEOF_VOID_P}" EQUAL "4"))
   set(GETARCH_FLAGS "${GETARCH_FLAGS} -DNO_AVX -DNO_AVX2 -DNO_AVX512")
 endif ()
+endif ()
 
 if (INTERFACE64)
   message(STATUS "Using 64-bit integers.")