diff --git a/Makefile b/Makefile index 6454e45a4be1cf7832d57c53920d807b109c7f03..696c848034a8acd953c1e42f877e5ba391bdcda0 100644 --- a/Makefile +++ b/Makefile @@ -64,7 +64,9 @@ versions: @ dune build --workspace dune-workspace.versions -p $(THIS) .PHONY: install -install: all +install: + @ dune clean + @ dune build -p $(THIS) @ dune install -p $(THIS) .PHONY: clean