Revision 5fccce23 src/backends/C/c_backend_main.ml
| src/backends/C/c_backend_main.ml | ||
|---|---|---|
| 164 | 164 |
let print_main_c main_fmt main_machine basename prog machines _ (*dependencies*) = |
| 165 | 165 |
print_main_header main_fmt; |
| 166 | 166 |
fprintf main_fmt "#include <stdlib.h>@.#include <assert.h>@."; |
| 167 |
print_import_alloc_prototype main_fmt (Dep (true, basename, [], true (* assuming it is stateful*) ));
|
|
| 167 |
print_import_alloc_prototype main_fmt {local=true; name=basename; content=[]; is_stateful=true} (* assuming it is stateful*) ;
|
|
| 168 | 168 |
pp_print_newline main_fmt (); |
| 169 | 169 |
|
| 170 | 170 |
(* Print the svn version number and the supported C standard (C90 or C99) *) |
Also available in: Unified diff