diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-02-01 15:11:14 +0100 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-02-12 17:20:35 +0100 |
commit | bff2b36cb0e2dbd02c4f181fba545a420e847767 (patch) | |
tree | af281e4201f2e1cbee3aaf6c2d1d07fadbc9b4be /tools | |
parent | 5268efdefb396267bfda0c17eb045fa2ed516b3c (diff) |
Capital letter in plugins.
Diffstat (limited to 'tools')
-rw-r--r-- | tools/coqdep.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/coqdep.ml b/tools/coqdep.ml index 57c9e82f2..49693212d 100644 --- a/tools/coqdep.ml +++ b/tools/coqdep.ml @@ -482,14 +482,14 @@ let coqdep () = (* NOTE: These directories are searched from last to first *) if !option_boot then begin add_rec_dir add_known "theories" ["Coq"]; - add_rec_dir add_known "plugins" ["Coq"]; + add_rec_uppercase_subdirs add_known "plugins" ["Coq"]; add_rec_dir (fun _ -> add_caml_known) "theories" ["Coq"]; - add_rec_dir (fun _ -> add_caml_known) "plugins" ["Coq"]; + add_rec_uppercase_subdirs (fun _ -> add_caml_known) "plugins" ["Coq"]; end else begin Envars.set_coqlib ~fail:Errors.error; let coqlib = Envars.coqlib () in add_rec_dir add_coqlib_known (coqlib//"theories") ["Coq"]; - add_rec_dir add_coqlib_known (coqlib//"plugins") ["Coq"]; + add_rec_uppercase_subdirs add_coqlib_known (coqlib//"plugins") ["Coq"]; let user = coqlib//"user-contrib" in if Sys.file_exists user then add_dir add_coqlib_known user []; List.iter (fun s -> add_dir add_coqlib_known s []) |