Can now compile aarch64/no_vector into C

Now compiles to C and builds a working executable. Just need to
correctly implement all the library builtins (some are still stubs),
and it should work.

1 files changed, 8 insertions, 2 deletions

diff --git a/lib/elf.sail b/lib/elf.sail
index f158fbad..e953839d 100644
--- a/lib/elf.sail
+++ b/lib/elf.sail
@@ -1,8 +1,14 @@
 $ifndef _ELF
 $define _ELF
 
-val elf_entry = "Elf_loader.elf_entry" : unit -> int
+val elf_entry = {
+  ocaml: "Elf_loader.elf_entry",
+  c: "elf_entry"
+} : unit -> int
 
-val elf_tohost = "Elf_loader.elf_tohost" : unit -> int
+val elf_tohost = {
+  ocaml: "Elf_loader.elf_tohost",
+  c: "elf_tohost"
+} : unit -> int
 
 $endif