Change ARMV8 target to ARMV7 when BINARY32 is set
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Sat, 26 Jan 2019 16:47:22 +0000 (17:47 +0100)
committerGitHub <noreply@github.com>
Sat, 26 Jan 2019 16:47:22 +0000 (17:47 +0100)
fixes #1961

Makefile.system

index 20d4f64..67c8cd1 100644 (file)
@@ -95,6 +95,9 @@ endif
 ifeq ($(TARGET), ZEN)
 GETARCH_FLAGS := -DFORCE_BARCELONA
 endif
+ifeq ($(TARGET), ARMV8)
+GETARCH_FLAGS := -DFORCE_ARMV7
+endif
 endif