From d2b7a485963ff079a27e613a178921479fcc6d89 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
Date: Sun, 15 Feb 2015 12:03:00 +0100
Subject: Restricting the need for coqdep_boot to mllib.d files (since ocaml
 3.12.1, ocamldep was able to deal with .ml4, so that building .mllib.d is the
 only feature that coqdep_boot was still required for).

---
 tools/coqdep.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'tools/coqdep.ml')

diff --git a/tools/coqdep.ml b/tools/coqdep.ml
index 2e0cce6e5..6d5c02830 100644
--- a/tools/coqdep.ml
+++ b/tools/coqdep.ml
@@ -482,6 +482,7 @@ let coqdep () =
   if !option_boot then begin
     add_rec_dir add_known "theories" ["Coq"];
     add_rec_dir add_known "plugins" ["Coq"];
+    add_caml_dir "tactics";
     add_rec_dir (fun _ -> add_caml_known) "theories" ["Coq"];
     add_rec_dir (fun _ -> add_caml_known) "plugins" ["Coq"];
   end else begin
-- 
cgit v1.2.3