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

cat > p.gpr <<EOF
with "ahven";
project P is
   for Main use ("p.adb");
end P;
EOF
# Import Ahven.Text_Runner in order to check regression on the problem
# described in no-library-interfaces.diff.
cat > p.adb <<EOF
with Ahven.Text_Runner;
procedure P is
   Len : constant Integer := Ahven.Max_String_Len;
begin
   null;
end P;
EOF
gprbuild -v p.gpr
./p
