aboutsummaryrefslogtreecommitdiff
path: root/comparison/OCaml/Makefile
diff options
context:
space:
mode:
authorShinya Sato <shinnya.sato@gmail.com>2022-08-28 20:44:20 +0900
committerShinya Sato <shinnya.sato@gmail.com>2022-08-28 20:44:20 +0900
commitbaa27f2adf0ad741add152bcbca6ffbd312ef066 (patch)
treed4a345ec3cf0bcaccf1ac293cd6ad50802bf9224 /comparison/OCaml/Makefile
parente50f2cf8ccab628d0cc90823389355242a23a28a (diff)
parentb850b9d9e64c12a927bfc2692b4134b23ef79be5 (diff)
downloadinpla-baa27f2adf0ad741add152bcbca6ffbd312ef066.tar.gz
inpla-baa27f2adf0ad741add152bcbca6ffbd312ef066.zip
Merge branch 'develop'
Diffstat (limited to 'comparison/OCaml/Makefile')
-rw-r--r--comparison/OCaml/Makefile5
1 files changed, 4 insertions, 1 deletions
diff --git a/comparison/OCaml/Makefile b/comparison/OCaml/Makefile
index 9db7726..18c1eda 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 bsort20000 isort20000 qsort260000 msort260000
+TARGET = nqueen12 ack3_11 fib38 bsort20000 isort20000 qsort260000 msort260000
LOG = log.txt
@@ -12,6 +12,9 @@ all: $(LOG)
$(LOG): $(TARGET)
$(BENCHMARK) $(TARGET)
+nqueen12: nqueen12.ml
+ $(CC) $(CFLAGS) $< -o $@
+
ack3_11: ack3_11.ml
$(CC) $(CFLAGS) $< -o $@