Skip to content

Commit

Permalink
Drop Makefile targets aside from bench
Browse files Browse the repository at this point in the history
Only the `bench` target is really used (by current-bench).
  • Loading branch information
polytypic committed Jan 12, 2024
1 parent 9f3fc35 commit 0228553
Showing 1 changed file with 1 addition and 12 deletions.
13 changes: 1 addition & 12 deletions Makefile
Original file line number Diff line number Diff line change
@@ -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

0 comments on commit 0228553

Please sign in to comment.