diff options
Diffstat (limited to '')
| -rw-r--r-- | comparison/SML/Makefile | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/comparison/SML/Makefile b/comparison/SML/Makefile new file mode 100644 index 0000000..8520e9d --- /dev/null +++ b/comparison/SML/Makefile @@ -0,0 +1,15 @@ +COMMAND = sml +TARGET = ack3-11.sml fib38.sml bsort-40000.sml isort-40000.sml qsort-800000.sml msort-800000.sml +BENCHMARK = bash ../tools/sptest_scripts.sh +LOG = log.txt + + +.PHONY: all + +all: $(LOG) + +$(LOG): $(TARGET) + $(BENCHMARK) $(COMMAND) '$(TARGET)' + +clean: + rm -f $(LOG) *~ |