From da604f14784f9d251a43cc56623332c9387e8c01 Mon Sep 17 00:00:00 2001
From: Anton Bachin <antonbachin@yahoo.com>
Date: Wed, 19 Apr 2023 09:12:47 +0300
Subject: [PATCH] make build: Dune workspace-friendly command

---
 Makefile | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index d50013f1..a58ea9dc 100644
--- 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 :