jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Clock before dumping .epci

Browse source
This commit is contained in:
Adrien Guatto 2011-11-24 11:41:11 +01:00
parent 18a6835b9a
commit 1b73f3444e
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
compiler/main/heptc.ml
View file

@ -64,14 +64,14 @@ let compile_program modname source_f =
let p = Hept_parser_scoper.parse_program modname lexbuf in
(* Process the Heptagon AST *)
let p = Hept_compiler.compile_program p in
(* Output the .epci *)
output_value epci_c (Modules.current_module ());
(* Compile Heptagon to MiniLS *)
let p = do_pass "Translation into MiniLs" Hept2mls.program p Mls_compiler.pp in
(* Output the .mls *)
Mls_printer.print mls_c p;
(* Process the MiniLS AST *)
let p = Mls_compiler.compile_program p in
(* Output the .epci *)
output_value epci_c (Modules.current_module ());
(* Generate the sequential code *)
Mls2seq.program p;
close_all_files ()