#!/bin/sh
set -C -e -f -u
TOP_SOURCE_DIR="`pwd`"
cd "$ADTTMP"

MAIN=test_all_harness

cat > p.gpr <<EOF
with "opentoken", "aunit";
project P is
   for Source_Dirs use ("$TOP_SOURCE_DIR/Test");
   for Main use ("$MAIN.adb");
   package Compiler is
      for Default_Switches ("Ada") use
        ("-gnatfno",
         "-gnatwa",
         "-gnatVa",
         "-fstack-check",
         "-fno-strict-aliasing");--  AUnit requires -fno-strict-aliasing
   end Compiler;
end P;
EOF
gnatmake -q -P p.gpr
./$MAIN
