diff options
author | Chris Boesch <chrboesch@noreply.codeberg.org> | 2023-04-19 15:25:12 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-04-19 15:25:12 +0200 |
commit | 2ed24ab3cfffdf6181462d118157094fdf2f5128 (patch) | |
tree | d5be07fcca217587eb188d8e7b1ca1a6cdb463f6 /ci/compat.sh | |
parent | b84217161cfb18aed2b42506c193abe778aa3b5f (diff) | |
parent | c7697a428206a46326a61b2c851aab2a7dadb8b8 (diff) |
Merge pull request #234 from perillo/improve-ci
Improve CI
Diffstat (limited to 'ci/compat.sh')
-rwxr-xr-x | ci/compat.sh | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/ci/compat.sh b/ci/compat.sh new file mode 100755 index 0000000..f5895fd --- /dev/null +++ b/ci/compat.sh @@ -0,0 +1,25 @@ +#!/bin/bash +# This script checks that `zig build` will return an useful error message when +# the Zig compiler is not compatible, instead of failing due to a syntax error. +# +# This script should be run on an UNIX system. + +zig_version=$(zig version) + +zig build -Dn=1 -Dhealed &> /dev/null 2>&1 +zig_ret=$? + +if [ "$zig_ret" -eq 0 ]; then + printf "zig %s unexpectedly succeeded\n" "$zig_version" + exit 1 +fi + +zig_error=$(zig build -Dn=1 -Dhealed 2>&1) + +echo "$zig_error" | grep -q "it looks like your version of zig is too old" +zig_ret=$? + +if [ "$zig_ret" -ne 0 ]; then + printf "zig %s is not compatible\n" "$zig_version" + exit 1 +fi |