Revision ef34b4ae src/backends/C/c_backend_main.ml
src/backends/C/c_backend_main.ml | ||
---|---|---|
112 | 112 |
|
113 | 113 |
let print_main_c main_fmt main_machine basename prog machines dependencies = |
114 | 114 |
print_main_header main_fmt; |
115 |
fprintf main_fmt "#include <stdlib.h>@.#include <assert.h>@.#include \"%s\"@.@." (basename^".h"); |
|
115 |
fprintf main_fmt "#include <stdlib.h>@.#include <assert.h>@."; |
|
116 |
print_import_alloc_prototype main_fmt (true, basename, []); |
|
117 |
pp_print_newline main_fmt (); |
|
118 |
|
|
116 | 119 |
(* Print the svn version number and the supported C standard (C90 or C99) *) |
117 | 120 |
print_version main_fmt; |
118 | 121 |
print_main_fun machines main_machine main_fmt |
Also available in: Unified diff