\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
-module F = Filename
+module F = Filename
+module K = Sys
-module R = Helm_registry
+module R = Helm_registry
let template = "matita.ma.templ"
let stars = String.make (30 - String.length myself) '*' in
Printf.fprintf och "(* This file was generated by %s: do not edit %s*)\n\n" myself stars
+let exists_out name =
+ let path = [
+ R.get_string "xoa.output_dir";
+ name
+ ] in
+ let name = List.fold_left F.concat "" path in
+ K.file_exists (name ^ ".ma")
+
let open_out preamble name =
let path = [
- R.get_string "xoa.output_dir";
+ R.get_string "xoa.output_dir";
name
] in
- let name = List.fold_left F.concat "" path in
+ let name = List.fold_left F.concat "" path in
let och = open_out (name ^ ".ma") in
copy_preamble preamble och; print_comment och;
och