try
let path = HExtlib.find_in include_paths file in
let path = absolutize path in
- (* HLog.debug ("file "^file^" resolved as "^path); *)
+(* HLog.debug ("file "^file^" resolved as "^path); *)
let rootpath, root, buri =
try
let mburi = Helm_registry.get "matita.baseuri" in
let buri = List.assoc "baseuri" (load_root_file rootpath) in
rootpath, Filename.dirname rootpath, buri
in
- (* HLog.debug ("file "^file^" rooted by "^rootpath^""); *)
+(* HLog.debug ("file "^file^" rooted by "^rootpath^""); *)
let uri = Http_getter_misc.strip_trailing_slash buri in
if String.length uri < 5 || String.sub uri 0 5 <> "cic:/" then
HLog.error (rootpath ^ " sets an incorrect baseuri: " ^ buri);
ensure_trailing_slash root, remove_trailing_slash uri, path
with Failure "find_in" ->
+ HLog.error ("We are in: " ^ Sys.getcwd ());
HLog.error ("Unable to find: "^file^"\nPaths explored:");
List.iter (fun x -> HLog.error (" - "^x)) include_paths;
raise (NoRootFor file)