at 18.09-beta 12 lines 617 B view raw
1--- a/src/kernel_services/plugin_entry_points/dynamic.ml 2016-05-30 16:15:22.000000000 +0200 2+++ b/src/kernel_services/plugin_entry_points/dynamic.ml 2016-10-13 18:25:31.000000000 +0200 3@@ -270,7 +270,8 @@ 4 load_path := 5 List.fold_right (add_dir ~user:true) path 6 (List.fold_right (add_dir ~user:false) Config.plugin_dir []); 7- let findlib_path = String.concat ":" !load_path in 8+ let findlib_path = String.concat ":" (!load_path @ 9+ try [Sys.getenv "OCAMLPATH"] with Not_found -> []) in 10 Klog.debug ~dkey "setting findlib path to %s" findlib_path; 11 Findlib.init ~env_ocamlpath:findlib_path () 12