1#!/bin/bash 2 3set -ex 4 5git clone --depth 1 https://github.com/KhronosGroup/SPIRV-Tools SPIRV-Tools 6pushd SPIRV-Tools 7pushd external 8git clone --depth 1 https://github.com/KhronosGroup/SPIRV-Headers 9popd 10cmake -G Ninja -B_build -H. -DCMAKE_BUILD_TYPE=Release 11ninja -C _build 12ninja -C _build install 13popd 14rm -rf SPIRV-Tools 15