|
1
|
open Lusic
|
|
2
|
open Utils.Format
|
|
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
|
with_out_file header_name @@ fun h_fmt ->
|
|
10
|
assert (not lusic.obsolete);
|
|
11
|
(*Format.eprintf "lusic to h: %i items.@." (List.length lusic.contents);*)
|
|
12
|
(* Typing.uneval_prog_generics lusic.contents;
|
|
13
|
* Clock_calculus.uneval_prog_generics lusic.contents; *)
|
|
14
|
Header.print_header_from_header
|
|
15
|
h_fmt
|
|
16
|
(Filename.basename basename)
|
|
17
|
lusic.contents
|