From f81fa592ba84b1fcad1226092ba458335ccb829f Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 20 Sep 2018 23:50:26 +0200
Subject: [dune] Add "watch" target for continuous build mode.

`make -f Makefile.dune watch` will now watch for files changes
and rebuild what is needed.

This feature requires `fswatch` or `inotifywait`, and Dune >= 1.2.0.

Note that the current CI image ships an older Dune version.
---
 Makefile.dune | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Makefile.dune b/Makefile.dune
index e04982650f..81afa5bb91 100644
--- a/Makefile.dune
+++ b/Makefile.dune
@@ -12,6 +12,7 @@ help:
 	@echo "Welcome to Coq's Dune-based build system. Targets are:"
 	@echo "  - states:  build a minimal functional coqtop"
 	@echo "  - world:   build all binaries and libraries"
+	@echo "  - watch:   build all binaries and libraries [continuous build]"
 	@echo "  - release: build Coq in release mode"
 	@echo "  - apidoc:  build ML API documentation"
 	@echo "  - clean:   remove build directory and autogenerated files"
@@ -27,6 +28,9 @@ states: voboot
 world: voboot
 	dune build $(DUNEOPT) @install
 
+watch: voboot
+	dune build $(DUNEOPT) @install -w
+
 release: voboot
 	dune build $(DUNEOPT) -p coq
 
-- 
cgit v1.2.3