diff --git a/Makefile b/Makefile index 9dfa9ced..8aa2d28a 100644 --- a/Makefile +++ b/Makefile @@ -1,15 +1,4 @@ -.PHONY: build test bench - -all: build test bench - -build: - @dune build @install - -test: - @dune runtest --force +.PHONY: bench bench: @dune exec --release -- bench/main.exe -budget 1 - -clean: - @dune clean