Commit fb508765 authored by Michael Hanus 's avatar Michael Hanus
Browse files

Frontend updated

parent 25e69303
......@@ -78,7 +78,7 @@ EOM
cleancurry GCDCHR FIBCHR UFCHR GAUSSCHR
/bin/rm GCDCHR* FIBCHR* UFCHR* GAUSSCHR*
################ end of tests ####################
# CHeck differences:
# Check differences:
DIFF=diff$$
diff TESTRESULT $LOGFILE > $DIFF
if [ "`cat $DIFF`" = "" ] ; then
......
#!/bin/sh
PAKCS="../bin/pakcs"
# Shell script to test some Curry examples
CURRYHOME=..
CURRYBIN=$CURRYHOME/bin
LOGFILE=xxx$$
../bin/cleancurry -r
cat << EOM | $PAKCS -q :set -interactive :set -time :set +verbose :set v0 :set printdepth 0 | tee $LOGFILE
$CURRYBIN/cleancurry -r
cat << EOM | $CURRYBIN/curry -q :set -interactive :set -time :set +verbose :set v0 :set printdepth 0 | tee $LOGFILE
:l rev
append [1,2] [3,4]
rev [1,2,3,4,5,6,7,8,9,10]
......@@ -139,11 +143,12 @@ SICSTUS=`pwd`/../bin/sicstusprolog
# The SWI-Prolog interpreter:
SWI=`pwd`/../bin/swiprolog
# Check differences:
DIFF=diff$$
if [ -x "${SICSTUS}" ] ; then
diff CPTEST.sicstusresult $LOGFILE > $DIFF
elif [ -x "${SWI}" ] ; then
diff CPTEST.swiresult $LOGFILE > $DIFF
if [ -x "$SICSTUS" ] ; then
diff TESTRESULT.sicstus $LOGFILE > $DIFF
elif [ -x "$SWI" ] ; then
diff TESTRESULT.swi $LOGFILE > $DIFF
fi
if [ "`cat $DIFF`" = "" ] ; then
echo
......@@ -156,4 +161,5 @@ else
/bin/rm -f $DIFF
/bin/mv -f $LOGFILE LOGFILE
echo "Test output saved in file 'LOGFILE'."
exit 1
fi
curry-base @ 7c89dece
Subproject commit de960bb3a279fafb2089572cec78a05849be8312
Subproject commit 7c89decec71a1bcc8bb6d4cab28e4207f7045a9a
curry-frontend @ eabfdfd7
Subproject commit f8bd9340947c744a852f8f5f2e03b5d64ede4266
Subproject commit eabfdfd7f04ea5bb878d95b8ee2f309ea33132ba
lib-trunk @ 1d3c04e6
Subproject commit 0760e7c79f70dddd3076a6af57b7cb519fda50d6
Subproject commit 1d3c04e6ad0247dbce7f668a65d313bf13e32f06
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment