Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / C / c_backend_lusic.ml @ e8250987

History | View | Annotate | Download (689 Bytes)

1
open Lusic
2

    
3
let print_lusic_to_h basename extension =
4
let module HeaderMod = C_backend_header.EmptyMod in
5
let module Header = C_backend_header.Main (HeaderMod) in
6
  let lusic = read_lusic basename extension in
7
  let header_name = basename ^ ".h" in
8
  let h_out = open_out header_name in
9
  let h_fmt = Format.formatter_of_out_channel h_out in
10
  begin
11
    assert (not lusic.obsolete);
12
    (*Format.eprintf "lusic to h: %i items.@." (List.length lusic.contents);*)
13
    (* Typing.uneval_prog_generics lusic.contents;
14
     * Clock_calculus.uneval_prog_generics lusic.contents; *)
15
    Header.print_header_from_header h_fmt (Filename.basename basename) lusic.contents;
16
    close_out h_out
17
  end
18