Project

General

Profile

« Previous | Next » 

Revision fb8b1da7

Added by Xavier Thirioux almost 8 years ago

supports again relative path for lustre source file (regression bug)

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
  let source_name = (*dirname ^ "/" ^*) basename ^ extension in
87
  let source_name = dirname ^ "/" ^ basename ^ extension in
88 88

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

  

Also available in: Unified diff