Revision 862ccfb1 src/main_lustre_compiler.ml
| 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