From 020cbc9ef9b2d4b22ee6e8490c59f63f87c25a25 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 28 Oct 2019 13:51:11 +0100
Subject: Teach coq_dune about the empty .vos produced by coqc

Without this the next dune command after build a vo will wipe out the
vos, breaking interactive users. Also this means dune installs the
.vos files.
---
 tools/coq_dune.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/coq_dune.ml b/tools/coq_dune.ml
index ab180769b6..f62947ec67 100644
--- a/tools/coq_dune.ml
+++ b/tools/coq_dune.ml
@@ -170,6 +170,7 @@ let pp_rule fmt targets deps action =
 let gen_coqc_targets vo =
   [ vo.target
   ; replace_ext ~file:vo.target ~newext:".glob"
+  ; replace_ext ~file:vo.target ~newext:".vos"
   ; "." ^ replace_ext ~file:vo.target ~newext:".aux"]
 
 (* Generate the dune rule: *)
-- 
cgit v1.2.3