diff --git a/byterun/dep_check.sh b/byterun/dep_check.sh index bccbeab48..77f70c897 100755 --- a/byterun/dep_check.sh +++ b/byterun/dep_check.sh @@ -20,10 +20,11 @@ $compiler -b ../stdlib/Fun.lama for test in regression/dep_test*.lama; do echo $test $compiler -b $test -I regression/ - test_file="${test%.*}" - echo $test_file - cat $test_file.input | ./byterun.exe -vi dep_test*.bc - rm dep_test*.bc + test_path="${test%.*}" + test_file="${test_path##*/}" + echo $test_path: $test_file + cat $test_path.input | ./byterun.exe -vi $test_file.bc + rm $test_file.bc echo "done" done diff --git a/byterun/regression_check.sh b/byterun/regression_check.sh index 2c4d4562a..c1044efdb 100755 --- a/byterun/regression_check.sh +++ b/byterun/regression_check.sh @@ -13,16 +13,17 @@ echo $compiler for test in ../regression/*.lama; do echo $test $compiler -b $test > /dev/null - test_file="${test%.*}" - echo $test_file - # cat $test_file.input | ./byterun.exe -p test*.bc > test.bc.code - # cat $test_file.input | ./byterun.exe -p test*.bc - # cat $test_file.input | ./byterun.exe -vi test*.bc - cat $test_file.input | ./byterun.exe -vi test*.bc > test.log - sed '1d;s/^..//' $test_file.t > test_orig.log + test_path="${test%.*}" + test_file="${test_path##*/}" + echo $test_path: $test_file + # cat $test_file.input | ./byterun.exe -p $test_file.bc > test.bc.code + # cat $test_file.input | ./byterun.exe -p $test_file.bc + # cat $test_file.input | ./byterun.exe -vi $test_file.bc + cat $test_path.input | ./byterun.exe -vi $test_file.bc > test.log + sed '1d;s/^..//' $test_path.t > test_orig.log diff test.log test_orig.log - rm test*.bc + rm $test_file.bc rm test.log test_orig.log echo "done" done diff --git a/byterun/stdlib_regression_check.sh b/byterun/stdlib_regression_check.sh index 6ff55eac7..94b0ae52b 100755 --- a/byterun/stdlib_regression_check.sh +++ b/byterun/stdlib_regression_check.sh @@ -12,27 +12,31 @@ echo $compiler echo "Build modules:" for mod in ../stdlib/*.lama; do - echo $mod - $compiler -b $mod -I ../stdlib/ + mod_path="${mod%.*}" + mod_file="${mod_path##*/}" + echo $mod_path: $mod_file + if [ ! -f $mod_file.bc ]; then + $compiler -b $mod -I ../stdlib/ + fi done echo "Run tests:" for test in ../stdlib/regression/*.lama; do echo $test $compiler -b $test -I ../stdlib/ > /dev/null - test_file="${test%.*}" - echo $test_file - # cat $test_file.input | ./byterun.exe -p test*.bc > test.bc.code - # cat $test_file.input | ./byterun.exe -p test*.bc - echo "" | ./byterun.exe -vi test*.bc - # echo "" | ./byterun.exe -vi test*.bc > test.log + test_path="${test%.*}" + test_file="${test_path##*/}" + echo $test_path: $test_file + # cat $test_file.input | ./byterun.exe -p $test_file.bc > test.bc.code + # cat $test_file.input | ./byterun.exe -p $test_file.bc + echo "" | ./byterun.exe -vi $test_file.bc + # echo "" | ./byterun.exe -vi $test_file.bc > test.log # sed '1d;s/^..//' $test_file.t > test_orig.log # diff test.log test_orig.log - rm test*.bc + rm $test_file.bc # rm test.log test_orig.log echo "done" done -rm *.bc rm *.o diff --git a/byterun/tutorial_check.sh b/byterun/tutorial_check.sh new file mode 100755 index 000000000..ea1ca49a4 --- /dev/null +++ b/byterun/tutorial_check.sh @@ -0,0 +1,35 @@ +#!/usr/bin/env bash + +dune build > /dev/null + +prefix="../regression/" +suffix=".lama" + +compiler=../_build/default/src/Driver.exe + +echo "Used compiler path:" +echo $compiler + +echo "Build modules:" +for mod in ../stdlib/*.lama; do + mod_path="${mod%.*}" + mod_file="${mod_path##*/}" + echo $mod_path: $mod_file + if [ ! -f $mod_file.bc ]; then + $compiler -b $mod -I ../stdlib/ + fi +done + +for test in ../tutorial/*.lama; do + echo $test + $compiler -b $test -I ../stdlib/ + test_path="${test%.*}" + test_file="${test_path##*/}" + echo $test_path: $test_file + echo " " | ./byterun.exe -vi $test_file.bc + rm $test_file.bc + echo "done" +done + +rm *.o +