chore: in makefile, compile everything in release mode

This commit is contained in:
Simon Cruanes 2022-03-29 22:54:29 -04:00
parent eb20b64dc4
commit 16b306c19a
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

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