From c4868d11c02f1ac97e71afdef3dc49429678959b Mon Sep 17 00:00:00 2001
From: Martin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Date: Fri, 1 Mar 2019 09:23:03 +0100
Subject: [PATCH] Make sure that AVX512 is disabled in 32bit builds

for #2033
---
 Makefile.system | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile.system b/Makefile.system
index bbd777448b..53f89b2fa6 100644
--- a/Makefile.system
+++ b/Makefile.system
@@ -156,6 +156,7 @@ endif
 
 ifeq ($(BINARY), 32)
 GETARCH_FLAGS	+= -DNO_AVX -DNO_AVX2 -DNO_AVX512
+NO_AVX512 = 1
 endif
 
 ifeq ($(NO_AVX2), 1)