From a2ddd7d0fb1f1c3b6ac0d7bd360ff9a6f9d728dc Mon Sep 17 00:00:00 2001
From: Alex Richardson
Date: Fri, 15 May 2020 16:26:37 +0100
Subject: C backend: Only add static to model_{init,fini} if -static is passed

Otherwise the C emulator doesn't build.
---
 src/jib/c_backend.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

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)
-- 
cgit v1.2.3