#!/bin/sh
set -C -e -f -u

# Use -dbg instead of -dev to avoid mentioning ALIVERSION here
cat > $TMPDIR/demo.gpr <<EOF
with "gmpada";
project Demo is
  for Main use ("demo.adb");
  for Source_Dirs use ("/usr/share/doc/libgmpada-dbg/examples");
  for Object_Dir use "$TMPDIR";
end Demo;
EOF
gnatmake -P $TMPDIR/demo.gpr 2>&1
$TMPDIR/demo
