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