Revision e1f49bdb
Added by Xavier Thirioux about 3 years ago
| src/compiler_stages.ml | ||
|---|---|---|
| 272 | 272 |
(* alloc_header_file source_lib_file source_main_file makefile_file *) |
| 273 | 273 |
basename prog machine_code dependencies |
| 274 | 274 |
end |
| 275 |
(* |
|
| 276 |
| "acsl", ".lus" -> |
|
| 277 |
begin |
|
| 278 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. ACSL annotations generation@,"); |
|
| 279 |
ACSL_backend.translate_to_acsl |
|
| 280 |
(* alloc_header_file source_lib_file source_main_file makefile_file *) |
|
| 281 |
basename prog machine_code dependencies |
|
| 282 |
end |
|
| 283 |
*) |
|
| 275 | 284 |
| "C", _ -> |
| 276 | 285 |
begin |
| 277 | 286 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. no C code generation for lusi@,"); |
Also available in: Unified diff
work in progress for ACSL support