diff options
Diffstat (limited to 'comparison/OCaml/Makefile')
| -rw-r--r-- | comparison/OCaml/Makefile | 5 |
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 $@ |