From 3f787586c709a75e73837e4384d10752079bc646 Mon Sep 17 00:00:00 2001 From: herbelin Date: Thu, 14 Apr 2011 18:47:34 +0000 Subject: Reorder search path order, so the standard library is search last. This allows the construction of an extended library that shadows the standard library. Signed-off-by: Tom Prince git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14000 85f007b7-540e-0410-9357-904b9bb8a0f7 --- tools/coqdep.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'tools') diff --git a/tools/coqdep.ml b/tools/coqdep.ml index e9226d3836..ccce7cd311 100644 --- a/tools/coqdep.ml +++ b/tools/coqdep.ml @@ -190,6 +190,7 @@ let coqdep () = if Array.length Sys.argv < 2 then usage (); parse (List.tl (Array.to_list Sys.argv)); if not Coq_config.has_natdynlink then option_natdynlk := false; + (* NOTE: These directories are searched from last to first *) if !Flags.boot then begin add_rec_dir add_known "theories" ["Coq"]; add_rec_dir add_known "plugins" ["Coq"] -- cgit v1.2.3