#!/bin/sh
set -C -e -f -u
cd "$ADTTMP"

cat > p.gpr <<EOF
with "gmpada";
project P is
   for Source_Dirs use ("/usr/share/doc/libgmpada-dbg/examples");
   --  -dbg symlink instead of -dev dir avoids mentioning ALIVERSION.
   for Main use ("demo.adb");
end P;
EOF
gnatmake -q -P p.gpr
./demo
