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

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

make
make clean

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