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

# Assertions are important for demo.adb.
cat > p.gpr <<EOF
with "gmpada";
project P is
   for Source_Dirs use ("$TOP_SOURCE_DIR");
   for Main use ("demo.adb");
   package Compiler is
      for Default_Switches ("Ada") use ("-gnata");
   end Compiler;
end P;
EOF
gprbuild p.gpr
# Better execute demo in ADTTMP, it writes temp files.
./demo
