aboutsummaryrefslogtreecommitdiff
path: root/comparison/OCaml/Makefile
diff options
context:
space:
mode:
authorShinya Sato <shinnya.sato@gmail.com>2022-05-02 09:50:21 +0900
committerShinya Sato <shinnya.sato@gmail.com>2022-05-02 09:50:21 +0900
commitdf4949f8b08cbe3cfd99933d5bb14a373f47f2dd (patch)
treec516c3c45d79a4843114ddd44a83b9ca87250cb7 /comparison/OCaml/Makefile
parent7ea48cd96551247ecc763a5e42404ffa3464d0b0 (diff)
parent779860e35f5c67c7fd48ef876784f87afcfdb321 (diff)
downloadinpla-df4949f8b08cbe3cfd99933d5bb14a373f47f2dd.tar.gz
inpla-df4949f8b08cbe3cfd99933d5bb14a373f47f2dd.zip
Merge branch 'develop'
Diffstat (limited to 'comparison/OCaml/Makefile')
-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 $@