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
let args =
["--no-print-directory"; "-s"; "-k"; "-f"; makefile; target] @ flags
in
-(* prerr_endline (String.concat " " args); *)
+ (* prerr_endline (String.concat " " args); *)
make development.root args
let build_development ?matita_flags ?(target="all") development =
let name_for_development development = development.name
let publish_development_bstract build clean devel =
- let matita_flags = "\"-system\"" in
+ let matita_flags, matita_flags_system =
+ let orig_matita_flags =
+ try Sys.getenv "MATITA_FLAGS" with Not_found -> ""
+ in
+ "\"" ^ orig_matita_flags ^ "\"", "\"" ^ orig_matita_flags ^ " -system\""
+ in
HLog.message "cleaning the development before publishing";
- if clean ~matita_flags:"" devel then
+ if clean ~matita_flags devel then
begin
HLog.message "rebuilding the development in 'system' space";
- if build ~matita_flags devel then
+ (* here we should use pristine metadata if we use sqlite *)
+ if build ~matita_flags:matita_flags_system devel then
begin
HLog.message "publishing succeded";
true