Project

General

Profile

« Previous | Next » 

Revision f6acf47b

Added by Pierre-Loïc Garoche about 9 years ago

Plugin based framework

View differences:

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