move benchs out of src/

This commit is contained in:
Simon Cruanes 2022-10-18 16:48:13 -04:00
parent e02e19cd4e
commit f36a9fc5fc
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
7 changed files with 7 additions and 7 deletions

View file

@ -29,6 +29,6 @@ jobs:
- run: opam pin -n . - run: opam pin -n .
- run: opam depext -yt iter - run: opam depext -yt iter
- run: opam install -t . --deps-only - run: opam install -t . --deps-only
- run: opam exec -- dune build @install - run: opam exec -- dune build @src/install
- run: opam exec -- dune runtest - run: opam exec -- dune runtest tests/
if: ${{ matrix.os == 'ubuntu-latest'}} if: ${{ matrix.os == 'ubuntu-latest'}}

View file

@ -22,17 +22,17 @@ BENCH_TARGETS= benchs.exe bench_persistent_read.exe bench_persistent.exe
benchs: benchs:
@for i in $(BENCH_TARGETS) ; do \ @for i in $(BENCH_TARGETS) ; do \
echo "run benchmark $$i" ; \ echo "run benchmark $$i" ; \
dune exec $(DUNE_OPTS) "src/bench/$$i" ; done dune exec $(DUNE_OPTS) "benchs/$$i" ; done
build-benchs: build-benchs:
@dune build $(DUNE_OPTS) $(addprefix src/bench/, $(BENCH_TARGETS)) @dune build $(DUNE_OPTS) $(addprefix benchs/, $(BENCH_TARGETS))
bench-persistent: bench-persistent:
@dune exec $(DUNE_OPTS) src/bench/bench_persistent.exe @dune exec $(DUNE_OPTS) benchs/bench_persistent.exe
bench-persistent-read: bench-persistent-read:
@dune exec $(DUNE_OPTS) src/bench/bench_persistent_read.exe @dune exec $(DUNE_OPTS) benchs/bench_persistent_read.exe
benchs-iter: benchs-iter:
@dune exec $(DUNE_OPTS) src/bench/benchs.exe @dune exec $(DUNE_OPTS) benchs/benchs.exe
examples: examples:
dune exec examples/test_sexpr.exe dune exec examples/test_sexpr.exe