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

cd "$ADTTMP"

cat > p.gpr <<EOF
with "anet";
project P is
   for Main use ("p.adb");
end P;
EOF
cat > p.adb <<EOF
with Anet;
procedure P is
   P : constant Anet.Port_Type := Anet.Any_Port;
begin
   null;
end P;
EOF
gprbuild -v p.gpr
./p
