.gitlab-ci/build-spirv-tools.sh

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