#!/bin/bash set -ex git clone --depth 1 https://github.com/KhronosGroup/SPIRV-Tools SPIRV-Tools pushd SPIRV-Tools pushd external git clone --depth 1 https://github.com/KhronosGroup/SPIRV-Headers popd cmake -G Ninja -B_build -H. -DCMAKE_BUILD_TYPE=Release ninja -C _build ninja -C _build install popd rm -rf SPIRV-Tools