script to run dep tests

This commit is contained in:
ProgramSnail 2025-01-12 21:40:22 +03:00
parent 72ec1923e3
commit c8bec67bb9
4 changed files with 32 additions and 2 deletions

26
byterun/dep_check.sh Executable file
View file

@ -0,0 +1,26 @@
#!/usr/bin/env bash
dune build > /dev/null
prefix="../regression/"
suffix=".lama"
compiler=../_build/default/src/Driver.exe
echo "Used compiler path:"
echo $compiler
$compiler -b regression/Dep.lama > /dev/null
for test in regression/dep_test*.lama; do
echo $test
$compiler -b $test -I regression/ > /dev/null
test_file="${test%.*}"
echo $test_file
cat $test_file.input | ./byterun.exe -vi dep_test*.bc > /dev/null
rm dep_test*.bc
echo "done"
done
rm Dep.bc
rm *.o