Revision f6acf47b
Added by Pierre-Loïc Garoche about 9 years ago
src/backends/C/c_backend_main.ml | ||
---|---|---|
139 | 139 |
print_main_memory_allocation mname main_mem fmt m; |
140 | 140 |
print_main_initialize mname main_mem fmt m; |
141 | 141 |
print_main_loop mname main_mem fmt m; |
142 |
if Scopes.Plugin.is_active () then |
|
143 |
begin |
|
144 |
fprintf fmt "@ %t" Scopes.Plugin.pp |
|
145 |
end; |
|
142 |
|
|
143 |
Plugins.c_backend_main_loop_body_suffix fmt (); |
|
146 | 144 |
fprintf fmt "@]@ }@ @ "; |
147 | 145 |
print_main_clear mname main_mem fmt m; |
148 | 146 |
fprintf fmt "@ return 1;"; |
Also available in: Unified diff
Plugin based framework