aboutsummaryrefslogtreecommitdiff
path: root/comparison/OCaml/Makefile
diff options
context:
space:
mode:
authorShinya Sato <shinnya.sato@gmail.com>2022-05-30 20:36:38 +0900
committerShinya Sato <shinnya.sato@gmail.com>2022-05-30 20:36:38 +0900
commite18b27f43ac23689822d4aaaaa3e8d550e41017a (patch)
tree262150d7ad6abc6759f41a7adbb6dec4a7c90cb5 /comparison/OCaml/Makefile
parent04cbbcc0649dfc80d8dbf8c4bc567285df7a9da4 (diff)
downloadinpla-e18b27f43ac23689822d4aaaaa3e8d550e41017a.tar.gz
inpla-e18b27f43ac23689822d4aaaaa3e8d550e41017a.zip
v0.8.2-2
Diffstat (limited to 'comparison/OCaml/Makefile')
-rw-r--r--comparison/OCaml/Makefile6
1 files changed, 3 insertions, 3 deletions
diff --git a/comparison/OCaml/Makefile b/comparison/OCaml/Makefile
index d300b15..9db7726 100644
--- a/comparison/OCaml/Makefile
+++ b/comparison/OCaml/Makefile
@@ -1,7 +1,7 @@
CC = ocamlopt
CFLAGS =
BENCHMARK = bash ../tools/sptest_commands.sh
-TARGET = ack3_11 fib38 bsort40000 isort40000 qsort260000 msort260000
+TARGET = ack3_11 fib38 bsort20000 isort20000 qsort260000 msort260000
LOG = log.txt
@@ -18,10 +18,10 @@ ack3_11: ack3_11.ml
fib38: fib38.ml
$(CC) $(CFLAGS) $< -o $@
-bsort40000: bsort40000.ml
+bsort20000: bsort20000.ml
$(CC) $(CFLAGS) $< -o $@
-isort40000: isort40000.ml
+isort20000: isort20000.ml
$(CC) $(CFLAGS) $< -o $@
qsort260000: qsort260000.ml