1 files changed, 6 insertions, 0 deletions
diff --git a/lib/envars.ml b/lib/envars.ml
index efb2d3fa4..a05029c95 100644
--- a/lib/envars.ml
+++ b/lib/envars.ml
@@ -35,6 +35,12 @@ let path_to_list p =
   let sep = if Sys.os_type = "Win32" then ';' else ':' in
     Util.split_string_at sep p
 
+let coqpath () =
+  try
+    let path = Sys.getenv "COQPATH" in
+      List.rev (path_to_list path)
+  with _ -> []
+
 let rec which l f =
   match l with
     | [] -> raise Not_found