spkg-check

#!/usr/bin/env bash

if [ -z "$SAGE_LOCAL" ]; then
    echo >&2 "SAGE_LOCAL undefined ... exiting"
    echo >&2 "Maybe run 'sage -sh'?"
    exit 1
fi

cd src

if [ "$SAGE_DEBUG" = "yes" ]; then
    export CFLAGS="-O0 -g $CFLAGS"
else
    export CFLAGS="-O2 -g $CFLAGS"
fi

if [ "$SAGE64" = "yes" ]; then
    export CFLAGS="-m64 $CFLAGS"
fi

$MAKE check

if [ $? -ne 0 ]; then
   echo "Error testing BoehmGC."
   exit 1
fi