make build: Dune workspace-friendly command

aantron · Apr 19, 2023 · da604f1 · da604f1
1 parent 599efd5
commit da604f1
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -1,10 +1,12 @@
+PACKAGES := dream-pure,dream-httpaf,dream
+
 .PHONY : build
 build :
-	@dune build -p dream-pure,dream-httpaf,dream --no-print-directory @install
+	@dune build --only-packages $(PACKAGES) --no-print-directory @install
 
 .PHONY : watch
 watch :
-	@dune build -p dream-pure,dream-httpaf,dream --no-print-directory -w
+	@dune build --only-packages $(PACKAGES) --no-print-directory -w
 
 .PHONY : deps
 deps :