#!/usr/bin/env bash

if [ "x$CFLAG64" = x ]; then
    CFLAG64=-m64
fi

# If the environment variable SAGE64=yes, force building a 64-bit version:
if [ "x$SAGE64" = xyes ]; then
    echo "Building a 64-bit version of ppl"
    CC="$CC $CFLAG64"
    export CC
fi



cd src
$MAKE check

# There are some unresolved issues with passing options to make check
# https://www.cs.unipr.it/mantis/view.php?id=118
# $MAKE check
#unset MAKE
#make check

