diff options
author | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-11-08 16:23:50 +0000 |
---|---|---|
committer | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-11-08 16:23:50 +0000 |
commit | 1a57a1bcce8bd747548b17303f6681be5a837f37 (patch) | |
tree | 8bbc3650b8cf505d2b7da3ec06d15a82c9814e70 /tools | |
parent | 0b1c4218edbe9c1e43b0b62941905ed2c7d7a848 (diff) |
nouveau load path
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@828 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/coqdep.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tools/coqdep.ml b/tools/coqdep.ml index 16b0e4809..0c9407cb2 100755 --- a/tools/coqdep.ml +++ b/tools/coqdep.ml @@ -397,9 +397,10 @@ let coqdep () = Coq_config.theories_dirs; let tactics = Filename.concat !coqlib "tactics" in add_coqlib_directory tactics; + let contrib = Filename.concat !coqlib "contrib" in List.iter - (fun s -> add_coqlib_directory (Filename.concat tactics s)) - Coq_config.tactics_dirs; + (fun s -> add_coqlib_directory (Filename.concat contrib s)) + Coq_config.contrib_dirs; mliKnown := !mliKnown @ (List.map (fun (f,_,d) -> (f,d)) !mliAccu); mlKnown := !mlKnown @ (List.map (fun (f,_,d) -> (f,d)) !mlAccu); vKnown := !vKnown @ !vAccu; |