#! /usr/bin/env sh # We need a better way to do this. git clone https://github.com/KhronosGroup/SPIRV-Tools.git spirv-tools cd spirv-tools git checkout fbe4f3ad913c44fe8700545f8ffe35d1382b7093 cd ../ git clone https://github.com/KhronosGroup/SPIRV-Headers.git spirv-headers cd spirv-headers git checkout 04f10f650d514df88b76d25e83db360142c7b174 cd ../ git clone https://github.com/KhronosGroup/glslang.git glslang cd glslang git checkout f0bd0257c308b9a26562c1a30c4748a0219cc951 cd ../