From 4a09a35164be81467feea154ef7651ef96eaad88 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 19 Jun 2018 18:40:50 +0100
Subject: Add elf parsing from Alastair

---
 src/c_backend.ml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/c_backend.ml b/src/c_backend.ml
index ae411654..1858ec76 100644
--- a/src/c_backend.ml
+++ b/src/c_backend.ml
@@ -3362,7 +3362,8 @@ let compile_ast ctx (Defs defs) =
 
     let preamble = separate hardline
                      [ string "#include \"sail.h\"";
-                       string "#include \"rts.h\""]
+                       string "#include \"rts.h\"";
+                       string "#include \"elf.h\"" ]
     in
 
     let exn_boilerplate =
@@ -3400,7 +3401,7 @@ let compile_ast ctx (Defs defs) =
     let postamble = separate hardline (List.map string
        ( [ "int main(int argc, char *argv[])";
            "{";
-           "  if (argc > 1) { load_image(argv[1]); }";
+           "  if (argc > 1) { loadELF(argv[1]); }";
            "  setup_rts();" ]
        @ fst exn_boilerplate
        @ startup cdefs
-- 
cgit v1.2.3