CristalCaveGem » LustreC

(* compile a .lus source file *)

let rec compile_source dirname basename extension =

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

  Log.report ~level:1 (fun fmt -> fprintf fmt "@[<v>");

	let traces_out = open_out traces_file in

	let fmt = formatter_of_out_channel traces_out in

	Horn_backend.traces_file fmt basename prog machine_code;

	)

      end

    | "lustre" ->