Project

General

Profile

Revision d41b874a src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
84 84

  
85 85
(* compile a .lus source file *)
86 86
let rec compile_source dirname basename extension =
87

  
87 88
  let source_name = (* dirname ^ "/" ^*) basename ^ extension in
88 89

  
89 90
  Log.report ~level:1 (fun fmt -> fprintf fmt "@[<v>");
......
261 262
	let traces_out = open_out traces_file in
262 263
	let fmt = formatter_of_out_channel traces_out in
263 264
	Horn_backend.traces_file fmt basename prog machine_code;
264

  
265

  
266

  
265 267
	)
266 268
      end
267 269
    | "lustre" ->

Also available in: Unified diff