Commit 23f86493 authored by Michael Hanus's avatar Michael Hanus
Browse files

tools updated

parent 42550d65
......@@ -223,10 +223,13 @@ libdoc:
@echo "Make libdoc finished at `date`" >> $(MAKELOG)
@echo "Make libdoc process logged in file $(MAKELOG)"
# run the test suite to check the installation
# run the test suites to check the installation
.PHONY: runtest
runtest: examples/doTest
cd examples && ./doTest --nogui
runtest: testsuite/doTest
cd testsuite && ./doTest --nogui
cd currytools/currypp/SequentialRules/Examples && ./
cd currytools/currypp/DefaultRules/Examples && ./
cd examples/CHR && ./
cd scripts && $(MAKE) $@
currytools @ 42236307
Subproject commit 698c36a15cb8bd222a781a368357587c92117d00
Subproject commit 42236307820cff6f16037d5cfd82047a135688e1
......@@ -82,4 +82,5 @@ else
/bin/rm -f $DIFF
echo "Test output saved in file 'LOGFILE'."
exit 1
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