#!/bin/sh
# script to execute tests for Curry
../bin/cleancurry

# load definition of SICSTUS, SWIPROLOG etc:
. ../bin/.pakcs_variables

# test for basic language features
TESTLANG="testFunctional testInfinite testHigher testNarr testNondet testCase testLetRec testNonStrictUnif testFuncPattern"

# test for standard libraries
TESTLIBS="testPrelude testCombinatorial testDatabase testDirectory testDynamic testFlatCurryGoodies testFlatCurryXML testGlobal testInteger testIO testIOExts testList testSort testSystem testTraversal"

# additional library tests for PAKCS with SICStus Prolog back end:
TESTLIBSSICSTUS="testArray testCLPB testDequeue testFiniteMap testRedBlackTree"

if [ "$SICSTUSDIR" != "" ] ; then
  ALLTESTS="$TESTLANG $TESTLIBS $TESTLIBSSICSTUS"
else
  ALLTESTS="$TESTLANG $TESTLIBS"
fi

# execute all unit tests:
../bin/currytest --window $ALLTESTS
