1 files changed, 10 insertions, 0 deletions
diff --git a/extra/spirv-tools/build b/extra/spirv-tools/build
new file mode 100755
index 00000000..49e7dd3d
--- /dev/null
+++ b/extra/spirv-tools/build
@@ -0,0 +1,10 @@
+#!/bin/sh -e
+
+export DESTDIR="$1"
+
+cmake -B build \
+    -DCMAKE_INSTALL_PREFIX=/usr \
+    -DSPIRV-Headers_SOURCE_DIR=/usr
+
+cmake --build   build
+cmake --install build