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

cp -a "$TOP_SOURCE_DIR/examples" .
cd examples

make
make clean

# test running gprbuild with the default config file
gprbuild -v first_steps/c_main.gpr
gprclean first_steps/c_main.gpr
gprbuild -v first_steps/ada_main.gpr
gprclean first_steps/ada_main.gpr
