mkacats.sh

# Create a batch for, then run, then grade, the $1 directory of ACATS tests.
# For Unix-like systems (initially, macOS).
# Assumes the tests, stored as at https://github.com/simonjwright/ACATS,
# are in ../ACATS.

tools_dir="`dirname $0`"

rm -f 41-$1-sum.csv
rm -f 41-$1-sum.txt
# Note: We skip any unprocessed macro tests.
for t in $tools_dir/../ACATS/tests/$1/*.a*; do
    $tools_dir/summary $t 41-$1-sum.csv >>41-$1-sum.txt;
done
for t in $tools_dir/../ACATS/tests/$1/*.d*; do
    $tools_dir/summary $t 41-$1-sum.csv >>41-$1-sum.txt;
done
$tools_dir/gnatscrp 41-$1-sum.csv \
                    41-$1.sh \
                    41-$1-results.txt \
                    $tools_dir/../ACATS/tests/$1/
sh ./41-$1.sh
rm 41-$1-event.csv
$tools_dir/gnatevnt 41-$1-results.txt 41-$1-event.csv
# -Could use -Verbose below, but it's huge.
$tools_dir/grade 41-$1-event.csv 41-$1-sum.csv gnat-man.txt "ACATS 4.1 $1 Tests (for GNAT)" -Use_Time_Stamps -Normal -Check_All_Compiles -Use_Positions >g-g$1.txt