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

DEV_PKG=`sed -nr '/^Package: (libadacgi.*-dev)$$/{s//\1/p;q}' debian/control`
cp -a /usr/share/doc/$DEV_PKG/examples "$ADTTMP"
gprbuild -v "$ADTTMP/examples/examples.gpr"
"$ADTTMP/examples/minimal"
