From bff2b36cb0e2dbd02c4f181fba545a420e847767 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sun, 1 Feb 2015 15:11:14 +0100
Subject: Capital letter in plugins.

---
 toplevel/coqinit.ml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'toplevel')

diff --git a/toplevel/coqinit.ml b/toplevel/coqinit.ml
index 03074ced70..2d3418ce02 100644
--- a/toplevel/coqinit.ml
+++ b/toplevel/coqinit.ml
@@ -71,6 +71,12 @@ let add_stdlib_path ~unix_path ~coq_root ~with_ml =
   if with_ml then
     Mltop.add_rec_ml_dir unix_path
 
+let add_stdlib_uppercase_subpaths ~unix_path ~coq_root ~with_ml =
+  Systemdirs.process_subdirectories (fun unix_path f ->
+    let id = Names.Id.of_string (String.capitalize f) in
+    let coq_root = Libnames.add_dirpath_suffix coq_root id in
+    add_stdlib_path ~unix_path ~coq_root ~with_ml) unix_path
+
 let add_userlib_path ~unix_path =
   Mltop.add_path ~unix_path ~coq_root:Nameops.default_root_prefix ~implicit:false;
   Mltop.add_rec_ml_dir unix_path
@@ -101,7 +107,7 @@ let init_load_path () =
     (* then standard library *)
     add_stdlib_path ~unix_path:(coqlib/"theories") ~coq_root ~with_ml:false;
     (* then plugins *)
-    add_stdlib_path ~unix_path:(coqlib/"plugins") ~coq_root ~with_ml:true;
+    add_stdlib_uppercase_subpaths ~unix_path:(coqlib/"plugins") ~coq_root ~with_ml:false;
     (* then user-contrib *)
     if Sys.file_exists user_contrib then
       add_userlib_path ~unix_path:user_contrib;
-- 
cgit v1.2.3