diff options
| author | Alasdair Armstrong | 2018-06-19 18:40:50 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-06-19 18:40:50 +0100 |
| commit | 4a09a35164be81467feea154ef7651ef96eaad88 (patch) | |
| tree | f63a1b118a1a3f9b099a34bae89a707a81341ba9 /src | |
| parent | 0dd140219040664000573cbcf8c8a4d26629feeb (diff) | |
Add elf parsing from Alastair
Diffstat (limited to 'src')
| -rw-r--r-- | src/c_backend.ml | 5 |
1 files changed, 3 insertions, 2 deletions
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 |