diff --git a/Makefile b/Makefile index a5185fc422c9d88ff76e7c847f49c359c7c13533..0c10fc30a50b270dfdb7ea0e37b35c7b15bf0303 100644 --- a/Makefile +++ b/Makefile @@ -21,6 +21,7 @@ all: .PHONY: install install: + dune build -p $(THIS) dune install -p $(THIS) .PHONY: clean