simon/moonpool
1
0
Fork 0
mirror of https://github.com/c-cube/moonpool.git synced 2025-12-10 05:03:58 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

makefile

Browse source
This commit is contained in:
Simon Cruanes 2023-06-09 23:36:11 -04:00
parent e820cb83ea
commit 72dc4414bb
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
Makefile
View file

@ -1,7 +1,7 @@
DUNE_OPTS?=
all:
dune build @all $(DUNE_OPTS)
build:
dune build @install $(DUNE_OPTS)
clean:
@dune clean
@ -12,7 +12,7 @@ test:
doc:
@dune build $(DUNE_OPTS) @doc
WATCH?=@all
WATCH?= @check @runtest
watch:
dune build $(DUNE_OPTS) -w $(WATCH)