From 248bc5ce13d3e40723c0f0a4a527703c36d46ea8 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Fri, 14 Feb 2003 20:15:37 +0000
Subject: prise en compte des sous-repertoires Coq de maniere dynamique

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3682 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coqdep.ml | 13 +++++--------
 1 file changed, 5 insertions(+), 8 deletions(-)

(limited to 'tools')

diff --git a/tools/coqdep.ml b/tools/coqdep.ml
index a3d631c8b4..45353d7f99 100755
--- a/tools/coqdep.ml
+++ b/tools/coqdep.ml
@@ -508,16 +508,13 @@ let coqdep () =
   in
   add_directory (".", []);
   parse (List.tl (Array.to_list Sys.argv));
-  let theories = Filename.concat !coqlib "theories" in
   List.iter
-    (fun s -> add_coqlib_directory (Filename.concat theories s))
-    Coq_config.theories_dirs;
-  let tactics = Filename.concat !coqlib "tactics" in
-  add_coqlib_directory tactics;
-  let contrib = Filename.concat !coqlib "contrib" in
+    (fun (s,_) -> add_coqlib_directory s)
+    (all_subdirs (Filename.concat !coqlib "theories") "Coq");
+  add_coqlib_directory (Filename.concat !coqlib "tactics");
   List.iter 
-    (fun s -> add_coqlib_directory (Filename.concat contrib s))
-    Coq_config.contrib_dirs;
+    (fun (s,_) -> add_coqlib_directory s)
+    (all_subdirs (Filename.concat !coqlib "contrib") "Coq");
   mliKnown := !mliKnown @ (List.map (fun (f,_,d) -> (f,d)) !mliAccu);
   mlKnown  := !mlKnown @ (List.map (fun (f,_,d) -> (f,d)) !mlAccu);
   warning_mult ".mli" !mliKnown;
-- 
cgit v1.2.3