From fe1acf70a249f4f153613454840807a6d56e0ddc Mon Sep 17 00:00:00 2001
From: Peter Hajdu <peter@hajdu.im>
Date: Fri, 26 Jul 2019 11:59:24 +0200
Subject: [PATCH] disable immintrin.h

On OpenBSD this file can not be found.
---
 src/sdl2.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/sdl2.h b/src/sdl2.h
index f13c185..2cb29c8 100644
--- a/src/sdl2.h
+++ b/src/sdl2.h
@@ -1,6 +1,7 @@
 #ifndef SDL2_H__
 #define SDL2_H__
 
+#define SDL_DISABLE_IMMINTRIN_H 1
 #include <SDL.h>
 #include <idris_rts.h>