Project

General

Profile

Download (702 Bytes) Statistics
| Branch: | Tag: | Revision:
1
open Lustrec
2
open Lusic
3

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

    
(4-4/8)