From 36b844af889374934a4c5af19cf371cf29731d2e Mon Sep 17 00:00:00 2001
From: Martin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Date: Sat, 26 Jan 2019 17:47:22 +0100
Subject: [PATCH] Change ARMV8 target to ARMV7 when BINARY32 is set

fixes #1961
---
 Makefile.system | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Makefile.system b/Makefile.system
index 20d4f6492..67c8cd197 100644
--- a/Makefile.system
+++ b/Makefile.system
@@ -95,6 +95,9 @@ endif
 ifeq ($(TARGET), ZEN)
 GETARCH_FLAGS := -DFORCE_BARCELONA
 endif
+ifeq ($(TARGET), ARMV8)
+GETARCH_FLAGS := -DFORCE_ARMV7
+endif
 endif