chore: makefile runs everything in release mode

This commit is contained in:
Simon Cruanes 2023-06-05 21:58:48 -04:00
parent c907dc6af1
commit ed0f016f27
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -2,11 +2,12 @@
all: build test all: build test
OPTS?=--profile=release
build: build:
@dune build @install @dune build @install $(OPTS)
test: test:
@dune runtest --no-buffer --force @dune runtest --no-buffer --force $(OPTS)
clean: clean:
@dune clean @dune clean
@ -16,7 +17,7 @@ doc:
WATCH?= "@install @runtest" WATCH?= "@install @runtest"
watch: watch:
@dune build $(WATCH) -w @dune build $(OPTS) $(WATCH) -w
.PHONY: benchs tests build watch .PHONY: benchs tests build watch