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

cat > p.gpr <<EOF
with "florist";
project P is
   for Main use ("p.adb");
end P;
EOF
cat > p.adb <<EOF
with POSIX;
procedure P is
   V : constant Integer := POSIX.POSIX_Version;
begin
   null;
end P;
EOF
gprbuild p.gpr
./p
