aboutsummaryrefslogtreecommitdiff
path: root/comparison/OCaml/Makefile
diff options
context:
space:
mode:
authorShinya Sato <shinnya.sato@gmail.com>2022-05-02 09:49:01 +0900
committerShinya Sato <shinnya.sato@gmail.com>2022-05-02 09:49:01 +0900
commit8c7809d024e85d0a8acfb794a4db41b0e4bc13e6 (patch)
tree25ac81bad7be415d7cf75457275f7161d79f9f10 /comparison/OCaml/Makefile
parent429543c748aaf81b2a4207318eb5a05259469b21 (diff)
downloadinpla-8c7809d024e85d0a8acfb794a4db41b0e4bc13e6.tar.gz
inpla-8c7809d024e85d0a8acfb794a4db41b0e4bc13e6.zip
v0.8.2-1
Diffstat (limited to '')
-rw-r--r--comparison/OCaml/Makefile7
1 files changed, 3 insertions, 4 deletions
diff --git a/comparison/OCaml/Makefile b/comparison/OCaml/Makefile
index 94a4ffb..d300b15 100644
--- a/comparison/OCaml/Makefile
+++ b/comparison/OCaml/Makefile
@@ -1,8 +1,7 @@
CC = ocamlopt
CFLAGS =
BENCHMARK = bash ../tools/sptest_commands.sh
-#TARGET = ack3_11 fib38 bsort40000 isort40000 qsort800000 msort800000
-TARGET = ack3_11 fib38 bsort40000 isort40000
+TARGET = ack3_11 fib38 bsort40000 isort40000 qsort260000 msort260000
LOG = log.txt
@@ -25,10 +24,10 @@ bsort40000: bsort40000.ml
isort40000: isort40000.ml
$(CC) $(CFLAGS) $< -o $@
-qsort800000: qsort-800000.ml
+qsort260000: qsort260000.ml
$(CC) $(CFLAGS) $< -o $@
-msort800000: msort-800000.ml
+msort260000: msort260000.ml
$(CC) $(CFLAGS) $< -o $@