aboutsummaryrefslogtreecommitdiff
path: root/comparison/OCaml/Makefile
diff options
context:
space:
mode:
authorShinya Sato <shinnya.sato@gmail.com>2022-08-28 20:40:57 +0900
committerShinya Sato <shinnya.sato@gmail.com>2022-08-28 20:40:57 +0900
commit02a84743ddf5c8c27a36c4d5a20eaf3cd2a9aff4 (patch)
tree8bb368481caaa87f281358bb746edcc881b7e54c /comparison/OCaml/Makefile
parent3547d92c3601f8c6c295636cd2394b1d85c31bc1 (diff)
downloadinpla-02a84743ddf5c8c27a36c4d5a20eaf3cd2a9aff4.tar.gz
inpla-02a84743ddf5c8c27a36c4d5a20eaf3cd2a9aff4.zip
Update for n-queens
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 $@