Skip to content
Snippets Groups Projects
Commit 44686ab5 authored by Pierre Loic Garoche's avatar Pierre Loic Garoche
Browse files

Missing file c_backend_lusic

parent 2fdbc781
No related branches found
No related tags found
No related merge requests found
open Lusic
let print_lusic_to_h basename extension =
let module HeaderMod = C_backend_header.EmptyMod in
let module Header = C_backend_header.Main (HeaderMod) in
let lusic = read_lusic basename extension in
let header_name = basename ^ ".h" in
let h_out = open_out header_name in
let h_fmt = Format.formatter_of_out_channel h_out in
begin
assert (not lusic.obsolete);
(*Format.eprintf "lusic to h: %i items.@." (List.length lusic.contents);*)
Typing.uneval_prog_generics lusic.contents;
Clock_calculus.uneval_prog_generics lusic.contents;
Header.print_header_from_header h_fmt (Filename.basename basename) lusic.contents;
close_out h_out
end
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment