diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2021-10-24 23:04:45 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2021-10-24 23:04:45 +0900 |
| commit | 787dc13c837f0955fbd85b8f26a05d720d361333 (patch) | |
| tree | fec3abebb1e867e8b2239d7cf07b4c7d13ce0f81 /comparison/SML/Makefile | |
| parent | e607a57dfafb784c4e27da143214afb2ccd07fbf (diff) | |
| download | inpla-787dc13c837f0955fbd85b8f26a05d720d361333.tar.gz inpla-787dc13c837f0955fbd85b8f26a05d720d361333.zip | |
Upload the comparison directory
Diffstat (limited to 'comparison/SML/Makefile')
| -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) *~ |