Revision b9c40119
Added by Pierre-Loïc Garoche over 8 years ago
| 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
revert back to previous expression for path
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@424 041b043f-8d7c-46b2-b46e-ef0dd855326e