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

MAIN=harness

cat > p.gpr <<EOF
with "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",
         "-gnatVa",
         "-fstack-check");
   end Compiler;
end P;
EOF
gnatmake -q -P p.gpr
./$MAIN
