Project

General

Profile

« Previous | Next » 

Revision bde99c3f

Added by Xavier Thirioux about 5 years ago

This is the first merge that does compile. Not tested yet.

View differences:

src/main_lustre_testgen.ml
59 59
  (* Creating destination directory if needed *)
60 60
  create_dest_dir ();
61 61

  
62
  (* Compatibility with Lusi *)
63
  (* Checking the existence of a lusi (Lustre Interface file) *)
64
  let extension = ".lusi" in
65
  compile_source_to_header prog computed_types_env computed_clocks_env dirname basename extension;
66

  
67 62
  Typing.uneval_prog_generics prog;
68 63
  Clock_calculus.uneval_prog_generics prog;
69 64

  

Also available in: Unified diff