This commit is contained in:
Simon Cruanes 2022-10-18 15:41:38 -04:00
parent d1e0400c07
commit d822d023a2
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 3 additions and 2 deletions

View file

@ -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:

View file

@ -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))