#!/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
cat > p.adb <<EOF
with Ahven;
procedure P is
   Len : constant Integer := Ahven.Max_String_Len;
begin
   null;
end P;
EOF
gprbuild p.gpr
./p
