match root with
| None -> ()
| Some root ->
- developments := {root = root ; name = name} :: !developments)
+ developments := {root = root ; name = name} :: !developments;
+ let inc = Helm_registry.get_list
+ Helm_registry.string "matita.includes" in
+ Helm_registry.set_list Helm_registry.of_string
+ ~key:"matita.includes" ~value:(inc @ [root])
+ )
l
(* finds the makefile path for development devel *)
false
else
let pref = String.sub d2 0 len1 in
- pref = d1
+ pref = d1 && (len1 = len2 || d2.[len1] = '/')
in
- (* it must be unique *)
try
Some (List.find (fun d -> is_prefix_of d.root dir) !developments)
- with Not_found -> None
+ with Not_found | Failure _ -> None
let development_for_name name =
try