From d822d023a2b3ef5c1444d6ef1eea883334dd2d5a Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 18 Oct 2022 15:41:38 -0400 Subject: [PATCH] chore --- Makefile | 4 ++-- src/bench/dune | 1 + 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index cfc9810..fc7ec3f 100644 --- a/Makefile +++ b/Makefile @@ -22,7 +22,7 @@ BENCH_TARGETS= benchs.exe bench_persistent_read.exe bench_persistent.exe benchs: @for i in $(BENCH_TARGETS) ; do \ echo "run benchmark $$i" ; \ - dune exec "src/bench/$$i" ; done + dune exec $(DUNE_OPTS) "src/bench/$$i" ; done build-benchs: @dune build $(DUNE_OPTS) $(addprefix src/bench/, $(BENCH_TARGETS)) @@ -31,7 +31,7 @@ bench-persistent: @dune exec $(DUNE_OPTS) src/bench/bench_persistent.exe bench-persistent-read: @dune exec $(DUNE_OPTS) src/bench/bench_persistent_read.exe -benchs: +benchs-iter: @dune exec $(DUNE_OPTS) src/bench/benchs.exe examples: diff --git a/src/bench/dune b/src/bench/dune index c3d0a58..c82c567 100644 --- a/src/bench/dune +++ b/src/bench/dune @@ -1,6 +1,7 @@ (executables (names bench_persistent_read bench_persistent benchs) (libraries iter benchmark) + (optional) (flags :standard -w +a-4-42-44-48-50-58-32-60@8 -safe-string -color always) (ocamlopt_flags :standard -O3 -color always -unbox-closures -unbox-closures-factor 20))