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

tools updated

parent 10ef1cd5
......@@ -227,9 +227,7 @@ libdoc:
.PHONY: runtest
runtest: testsuite/doTest
cd testsuite && ./doTest --nogui
cd currytools/optimize/binding_optimization/Examples && ./
cd currytools/currypp && $(MAKE) runtest
cd currytools/runcurry/Examples && ./
cd currytools && $(MAKE) runtest
cd examples/CHR && ./
currytools @ f6aa8252
Subproject commit 24c82c4d0101c7435d7cd14d8029fffdbf3279d5
Subproject commit f6aa82524d79890e2c511e3e2f117ed2db76c751
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