1
Fork 0
ols/ci.sh
2025-07-20 19:27:31 -04:00

40 lines
772 B
Bash
Executable file

#!/usr/bin/env bash
VERSION="nightly-$(date -u '+%Y-%m-%d')-$(git rev-parse --short HEAD)"
if [[ $1 == "CI" ]]
then
shift
export PATH=$PATH:$PWD/Odin
#BUG in odin test, it makes the executable with the same name as a folder and gets confused.
cd tests
odin test ../tests -collection:src=../src -o:speed $@ -define:ODIN_TEST_THREADS=1
if ([ $? -ne 0 ])
then
echo "Ols tests failed"
exit 1
fi
cd ..
tools/odinfmt/tests.sh
if ([ $? -ne 0 ])
then
echo "Odinfmt tests failed"
exit 1
fi
fi
if [[ $1 == "CI_NO_TESTS" ]]
then
shift
export PATH=$PATH:$PWD/Odin
fi
odin build src/ -show-timings -collection:src=src -out:ols -no-bounds-check -o:speed -define:VERSION=$VERSION $@