diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-04-16 20:30:04 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-04-16 20:30:04 +0900 |
| commit | c8ff868327e19cd156573a723214d66119a71b41 (patch) | |
| tree | 2b959f5d9e2ec4b9f520b0259307a781102ffea7 /comparison/OCaml/Makefile | |
| parent | 353b47702094b20d207acf97e1638d2befb4da11 (diff) | |
| parent | 5139486fd68973703b8a68b118eff2ef78def144 (diff) | |
| download | inpla-c8ff868327e19cd156573a723214d66119a71b41.tar.gz inpla-c8ff868327e19cd156573a723214d66119a71b41.zip | |
Merge branch 'develop'
Diffstat (limited to 'comparison/OCaml/Makefile')
| -rw-r--r-- | comparison/OCaml/Makefile | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/comparison/OCaml/Makefile b/comparison/OCaml/Makefile new file mode 100644 index 0000000..94a4ffb --- /dev/null +++ b/comparison/OCaml/Makefile @@ -0,0 +1,36 @@ +CC = ocamlopt +CFLAGS = +BENCHMARK = bash ../tools/sptest_commands.sh +#TARGET = ack3_11 fib38 bsort40000 isort40000 qsort800000 msort800000 +TARGET = ack3_11 fib38 bsort40000 isort40000 +LOG = log.txt + + +.PHONY: all + +all: $(LOG) + +$(LOG): $(TARGET) + $(BENCHMARK) $(TARGET) + +ack3_11: ack3_11.ml + $(CC) $(CFLAGS) $< -o $@ + +fib38: fib38.ml + $(CC) $(CFLAGS) $< -o $@ + +bsort40000: bsort40000.ml + $(CC) $(CFLAGS) $< -o $@ + +isort40000: isort40000.ml + $(CC) $(CFLAGS) $< -o $@ + +qsort800000: qsort-800000.ml + $(CC) $(CFLAGS) $< -o $@ + +msort800000: msort-800000.ml + $(CC) $(CFLAGS) $< -o $@ + + +clean: + rm -f $(LOG) $(TARGET) *.o *.cmi *.cmx *~ |