ci.sh

#!/usr/bin/env bash

set -e

SRCDIR=${SRCDIR:-$PWD}
# The following assumes that REPO_URL looks like this: https://provider.com/username/packagename.git
PKG_NAME="$(basename ${REPO_URL} .git)"

echo SRCDIR   : $SRCDIR
echo REPO_URL : $REPO_URL
echo PKG_NAME : $PKG_NAME

git clone ${REPO_URL}

cd ${PKG_NAME}

git log -n 1

###############################################################################
#

# for Semigroups package
if [[ -f prerequisites.sh ]]
then
  ./prerequisites.sh
fi

# for NormalizInterface
if [[ -f build-normaliz.sh ]]
then
  ./build-normaliz.sh ${GAP_HOME}
fi

# The next block is borrowed from
# https://github.com/gap-system/gap/blob/master/bin/BuildPackages.sh
#
# build this package, if necessary
#
# We want to know if this is an autoconf configure script
# or not, without actually executing it!
if [[ -f autogen.sh && ! -f configure ]]
then
  ./autogen.sh
fi
if [[ -f "configure" ]]
then
  if grep Autoconf ./configure > /dev/null
  then
    ./configure --with-gaproot=${GAP_HOME}
  else
    ./configure ${GAP_HOME}
  fi
  make
else
  echo "No building required for $PKG"
fi

# set up a custom GAP root containing only this package, so that
# we can force GAP to load the correct version of this package
mkdir -p gaproot/pkg/
ln -s $PWD gaproot/pkg/

###############################################################################

# start GAP with custom GAP root, to ensure correct package version is loaded
GAP="${GAP_HOME}/bin/gap.sh -l $PWD/gaproot; --quitonbreak -q"

echo ""
echo "######################################################################"
echo "#"
echo "# TESTING WHETHER THE PACKAGE IS LOADABLE"
echo "#"
echo "######################################################################"
echo ""
$GAP <<GAPInput
Read("/home/gap/travis/ci.g");
SetInfoLevel(InfoPackageLoading,4);
if LoadPackage(LowercaseString(GetNameFromPackageInfo("PackageInfo.g"))) <> true then
    Print("PACKAGE IS NOT LOADABLE - TEST TERMINATED\n");
    FORCE_QUIT_GAP(1);
fi;
QUIT_GAP(0);
GAPInput

echo ""
echo "######################################################################"
echo "#"
echo "# TEST WITH DEFAULT PACKAGES, LOADED AT GAP STARTUP"
echo "#"
echo "######################################################################"
echo ""
$GAP <<GAPInput
Read("/home/gap/travis/ci.g");
if TestOnePackage(LowercaseString(GetNameFromPackageInfo("PackageInfo.g"))) <> true then
    FORCE_QUIT_GAP(1);
fi;
QUIT_GAP(0);
GAPInput

echo ""
echo "######################################################################"
echo "#"
echo "# TEST WITHOUT PACKAGES, EXCEPT REQUIRED BY GAP (using -A option)"
echo "#"
echo "######################################################################"
echo ""
$GAP -A <<GAPInput
Read("/home/gap/travis/ci.g");
if TestOnePackage(LowercaseString(GetNameFromPackageInfo("PackageInfo.g"))) <> true then
    FORCE_QUIT_GAP(1);
fi;
QUIT_GAP(0);
GAPInput

echo ""
echo "######################################################################"
echo "#"
echo "# TEST WITH ALL PACKAGES LOADED (using LoadAllPackages() command)"
echo "#"
echo "######################################################################"
echo ""
$GAP <<GAPInput
LoadAllPackages();
Read("/home/gap/travis/ci.g");
if TestOnePackage(LowercaseString(GetNameFromPackageInfo("PackageInfo.g"))) <> true then
    FORCE_QUIT_GAP(1);
fi;
QUIT_GAP(0);
GAPInput