1 files changed, 11 insertions, 0 deletions
diff --git a/extra/spirv-headers/build b/extra/spirv-headers/build
new file mode 100755
index 00000000..62f6c6ed
--- /dev/null
+++ b/extra/spirv-headers/build
@@ -0,0 +1,11 @@
+#!/bin/sh -e
+
+export DESTDIR="$1"
+
+cmake -B build \
+    -DCMAKE_INSTALL_PREFIX=/usr \
+    -DSPIRV_HEADERS_ENABLE_TESTS=OFF \
+    -DSPIRV_HEADERS_ENABLE_INSTALL=ON
+
+cmake --build   build
+cmake --install build