Revision efcc8d7f
Added by Lélio Brun over 3 years ago
| src/compiler_stages.ml | ||
|---|---|---|
| 11 | 11 |
| _ -> false |
| 12 | 12 |
|
| 13 | 13 |
|
| 14 |
let generate_c_header = ref false |
|
| 15 |
|
|
| 14 | 16 |
(* check whether a source file has a compiled header, if not, generate the |
| 15 | 17 |
compiled header *) |
| 16 | 18 |
let compile_source_to_header prog computed_types_env computed_clocks_env dirname basename extension = |
| ... | ... | |
| 36 | 38 |
(if from_lusi then prog else Lusic.extract_header dirname basename prog) |
| 37 | 39 |
destname |
| 38 | 40 |
lusic_ext; |
| 39 |
if !Options.output = "C" |
|
| 40 |
then C_backend_lusic.print_lusic_to_h destname lusic_ext |
|
| 41 |
generate_c_header := !Options.output = "C"; |
|
| 41 | 42 |
end |
| 42 | 43 |
else (* Lusic exists and is usable. Checking compatibility *) |
| 43 | 44 |
begin |
| ... | ... | |
| 280 | 281 |
"C", ".lus" -> |
| 281 | 282 |
begin |
| 282 | 283 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. C code generation@,"); |
| 283 |
C_backend.translate_to_c |
|
| 284 |
C_backend.translate_to_c !generate_c_header
|
|
| 284 | 285 |
(* alloc_header_file source_lib_file source_main_file makefile_file *) |
| 285 | 286 |
basename prog machine_code dependencies |
| 286 | 287 |
end |
| ... | ... | |
| 295 | 296 |
*) |
| 296 | 297 |
| "C", _ -> |
| 297 | 298 |
begin |
| 299 |
C_backend.print_c_header basename; |
|
| 298 | 300 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. no C code generation for lusi@,"); |
| 299 | 301 |
end |
| 300 | 302 |
| "java", _ -> |
Also available in: Unified diff
move arrow spec in its own header