* ask matitamake to recorder [dir] as the root for thedevelopment [name] *)
val initialize_development: string -> string -> development option
(* make target [default all] *)
-val build_development: ?target:string -> development -> bool
+val build_development: ?matita_flags:string -> ?target:string -> development -> bool
(* make target [default all], the refresh cb is called after every output *)
val build_development_in_bg:
- ?target:string -> (unit -> unit) -> development -> bool
+ ?matita_flags:string -> ?target:string -> (unit -> unit) -> development -> bool
(* make clean *)
-val clean_development: development -> bool
-val clean_development_in_bg: (unit -> unit) -> development -> bool
+val clean_development: ?matita_flags:string -> development -> bool
+val clean_development_in_bg: ?matita_flags:string -> (unit -> unit) -> development -> bool
+
+val publish_development_in_bg: (unit -> unit) -> development -> bool
+val publish_development: development -> bool
+
(* return the development that handles dir *)
val development_for_dir: string -> development option
(* return the development *)
(* return the known list of name, development_root *)
val list_known_developments: unit -> (string * string ) list
(* cleans the development, forgetting about it *)
-val destroy_development: development -> unit
-val destroy_development_in_bg: (unit -> unit) -> development -> unit
+val destroy_development: ?matita_flags:string -> development -> unit
+val destroy_development_in_bg: ?matita_flags:string -> (unit -> unit) -> development -> unit
(* initiale internal data structures *)
val initialize : unit -> unit
(* gives back the root *)
(* gives back the name *)
val name_for_development : development -> string
+(** @return dot file for a given development, if it exists *)
+val dot_for_development : development -> string option
+
+val normalize_path: string -> string