diff --git a/Makefile b/Makefile index f77578bd..f3adfb0f 100644 --- a/Makefile +++ b/Makefile @@ -14,12 +14,6 @@ clean: doc: dune build @doc -BENCH_TARGETS=run_benchs.exe run_bench_hash.exe - -benchs: - dune build $(addprefix benchs/, $(BENCH_TARGETS)) --profile=release - @for i in $(BENCH_TARGETS) ; do ln -sf _build/default/benchs/$$i ; done - examples: dune build examples/id_sexp.exe @@ -39,4 +33,4 @@ reindent: @find src '(' -name '*.ml' -or -name '*.mli' ')' -type f -print0 | xargs -0 echo "reindenting: " @find src '(' -name '*.ml' -or -name '*.mli' ')' -type f -print0 | xargs -0 ocp-indent -i -.PHONY: all benchs test clean build doc update_next_tag watch examples +.PHONY: all test clean build doc update_next_tag watch examples diff --git a/run_bench_hash.sh b/run_bench_hash.sh new file mode 100755 index 00000000..90114057 --- /dev/null +++ b/run_bench_hash.sh @@ -0,0 +1,4 @@ +#!/bin/sh + +OPTS="--profile=release --display=quiet" +exec dune exec $OPTS -- benchs/run_benchs_hash.exe $@ diff --git a/run_benchs.sh b/run_benchs.sh new file mode 100755 index 00000000..e91b7e95 --- /dev/null +++ b/run_benchs.sh @@ -0,0 +1,4 @@ +#!/bin/sh + +OPTS="--profile=release --display=quiet" +exec dune exec $OPTS -- benchs/run_benchs.exe $@