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 |
|