From 59e82a6c5c1a0d41b4c538088db1aed6b9537420 Mon Sep 17 00:00:00 2001 From: Stephen Gutekanst Date: Mon, 30 May 2022 20:30:09 -0700 Subject: [PATCH] dev: add a script to update Zig version used by CI Signed-off-by: Stephen Gutekanst --- dev/update-zig.sh | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100755 dev/update-zig.sh diff --git a/dev/update-zig.sh b/dev/update-zig.sh new file mode 100755 index 00000000..53a17346 --- /dev/null +++ b/dev/update-zig.sh @@ -0,0 +1,20 @@ +#!/usr/bin/env bash +set -euo pipefail +cd "$(dirname "${BASH_SOURCE[0]}")"/.. + +update_zig() { + gsed -i 's|\(https://ziglang.org/builds/zig-[^/ -]*-[^/ -]*-\)[^/ ]*\(\(\.tar\.xz\)[^/ ]*\)|\1'"$1"'\2|' $2 + gsed -i 's|\(https://ziglang.org/builds/zig-[^/ -]*-[^/ -]*-\)[^/ ]*\(\(\.zip\)[^/ ]*\)|\1'"$1"'\2|' $2 +} + +if [ -n "${ZIG_VERSION:-}" ]; then + version="${ZIG_VERSION:-}" + + sources=$(find . | grep './.github/workflows' | grep -v 'third_party/' | grep -v 'DirectXShaderCompiler' | grep -v '/libs/' | grep '\.yml') + echo "$sources" | while read line ; do update_zig "$version" "$line" ; done + + update_zig "$version" README.md +else + echo "must specify e.g. ZIG_VERSION=0.10.0-dev.2017+a0a2ce92c" + exit 0 +fi