From 6f912aa9b9ec310b041f3bd7b96b90c7b11c354d Mon Sep 17 00:00:00 2001
From: Paul Menzel <pmenzel@molgen.mpg.de>
Date: Fri, 2 Aug 2024 10:39:23 +0200
Subject: [PATCH] spirv-tools: Specify header path

---
 spirv-tools.be0 | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/spirv-tools.be0 b/spirv-tools.be0
index ef4ed986d..9dff492f4 100755
--- a/spirv-tools.be0
+++ b/spirv-tools.be0
@@ -21,9 +21,10 @@ SRCURL[0]="https://beehive.molgen.mpg.de/4a3f873a07f33cffd70890e17a34fe8b/SPIRV-
 
 mee_configure() {
     bee_configure \
-        -D SPIRV_WERROR=OFF              \
-        -D BUILD_SHARED_LIBS=ON          \
-        -D SPIRV_TOOLS_BUILD_STATIC=OFF
+        -D SPIRV_WERROR=OFF \
+        -D BUILD_SHARED_LIBS=ON \
+        -D SPIRV_TOOLS_BUILD_STATIC=OFF \
+        -D SPIRV-Headers_SOURCE_DIR=${PREFIX}
 }
 
 #mee_build() {