diff --git a/sw/lib/ocaml/xml2h.ml b/sw/lib/ocaml/xml2h.ml index 828ea50cc8..1e8b897acc 100644 --- a/sw/lib/ocaml/xml2h.ml +++ b/sw/lib/ocaml/xml2h.ml @@ -67,6 +67,11 @@ let start_and_begin_c = fun xml_file name -> nl (); xml +let begin_c_out = fun xml_file name out -> + fprintf out "/* This file has been generated from %s */\n" xml_file; + fprintf out "/* Please DO NOT EDIT */\n\n"; + fprintf out "#include \"%s.h\"\n\n" name + let finish = fun h_name -> printf "\n#endif // %s\n" h_name diff --git a/sw/lib/ocaml/xml2h.mli b/sw/lib/ocaml/xml2h.mli index 990335b702..708f992c64 100644 --- a/sw/lib/ocaml/xml2h.mli +++ b/sw/lib/ocaml/xml2h.mli @@ -32,5 +32,6 @@ val xml_error : string -> 'a val sprint_float_array : string list -> string val start_and_begin : string -> string -> Xml.xml val start_and_begin_c : string -> string -> Xml.xml +val begin_c_out : string -> string -> out_channel -> unit val finish : string -> unit val warning : string -> unit