#!/bin/sh
set -Cefu
cp -a debian/tests/template-pkg "$AUTOPKGTEST_TMP/pkg"
# debian/rules is incomplete but only debian/control is required.
cd "$AUTOPKGTEST_TMP/pkg"

# Force -O0.
# Attempt to put -Wformat.
export DEB_BUILD_OPTIONS='noopt hardening=+all'

# Attempt to change ADAFLAGS via CFLAGS.
export DEB_CFLAGS_SET=cflag
export DEB_CFLAGS_APPEND=cflag

# Arbitrary command.
export DEB_ADAFLAGS_APPEND=canary

cat > Makefile <<EOF
include /usr/share/ada/packaging.mk
all:
	@echo \$(ADAFLAGS)
EOF

echo 'Running Makefile'
ADAFLAGS=`make`

echo "ADAFLAGS=$ADAFLAGS"

echo '-Wformat'
case "$ADAFLAGS" in
    *-Wformat*) false
esac

echo 'cflag'
case "$ADAFLAGS" in
    *cflag*) false
esac

echo '-O0'
case "$ADAFLAGS" in
    *-O0*) ;;
    *) false
esac

echo 'canary'
case "$ADAFLAGS" in
    *canary*) ;;
    *) false
esac

echo '-gno-record-gcc-switches'
case "$ADAFLAGS" in
    *-gno-record-gcc-switches*) ;;
    *) false
esac

echo 'OK'
