diff options
| author | Alex Richardson | 2020-05-15 16:26:37 +0100 |
|---|---|---|
| committer | Alex Richardson | 2020-05-15 16:29:55 +0100 |
| commit | a2ddd7d0fb1f1c3b6ac0d7bd360ff9a6f9d728dc (patch) | |
| tree | 02554a206214bf29beb6d3c60d8afbe1631204e9 /src | |
| parent | 4d50c7b8601907774da137f4f3609f644f5df20a (diff) | |
C backend: Only add static to model_{init,fini} if -static is passed
Otherwise the C emulator doesn't build.
Diffstat (limited to 'src')
| -rw-r--r-- | src/jib/c_backend.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/jib/c_backend.ml b/src/jib/c_backend.ml index 4527aaa1..b1d6cc40 100644 --- a/src/jib/c_backend.ml +++ b/src/jib/c_backend.ml @@ -2289,7 +2289,7 @@ let compile_ast env output_chan c_includes ast = in let model_init = separate hardline (List.map string - ( [ "static void model_init(void)"; + ( [ Printf.sprintf "%svoid model_init(void)" (static ()); "{"; " setup_rts();" ] @ fst exn_boilerplate @@ -2301,7 +2301,7 @@ let compile_ast env output_chan c_includes ast = in let model_fini = separate hardline (List.map string - ( [ "static void model_fini(void)"; + ( [ Printf.sprintf "%svoid model_fini(void)" (static ()); "{" ] @ letbind_finalizers @ List.concat (List.map (fun r -> snd (register_init_clear r)) regs) |