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

dev_pkg=`sed -n '/^Package: \(libgtkada[0-9.]\+-dev\)$/{s//\1/;p;q}' debian/control`

cd "$AUTOPKGTEST_TMP"

cat > main.adb <<EOF
with Gtk.Main;
procedure Main is
begin
   Gtk.Main.Init;
end Main;
EOF
cat > p.gpr <<EOF
with "gtkada";
project P is
   for Main use ("main.adb");
end P;
EOF
gprbuild -v p.gpr
xvfb-run ./main

# Examples.
tar xf /usr/share/doc/$dev_pkg/examples/testgtk.tgz
cd testgtk
gprbuild -v testgtk.gpr
