From e6354d8ceea7217e1544606c3c2b79bca4e582fe Mon Sep 17 00:00:00 2001
From: Alex Richardson
Date: Thu, 14 May 2020 18:01:16 +0100
Subject: Add static to more C functions

This allows me to compile sail-riscv64 and sail-riscv128 code in the same
static library.
---
 src/jib/c_backend.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/jib')

diff --git a/src/jib/c_backend.ml b/src/jib/c_backend.ml
index fa4fa802..e5486645 100644
--- a/src/jib/c_backend.ml
+++ b/src/jib/c_backend.ml
@@ -1592,7 +1592,7 @@ let codegen_type_def ctx = function
      in
      let codegen_undefined =
        let name = sgen_id id in
-       string (Printf.sprintf "enum %s UNDEFINED(%s)(unit u) { return %s; }" name name (sgen_id first_id))
+       string (Printf.sprintf "static enum %s UNDEFINED(%s)(unit u) { return %s; }" name name (sgen_id first_id))
      in
      string (Printf.sprintf "// enum %s" (string_of_id id)) ^^ hardline
      ^^ separate space [string "enum"; codegen_id id; lbrace; separate_map (comma ^^ space) codegen_id ids; rbrace ^^ semi]
-- 
cgit v1.2.3