Add a C header containing declarations needed by RISC-V.

1 files changed, 3 insertions, 3 deletions

diff --git a/riscv/Makefile b/riscv/Makefile
index e5e21709..20ff8160 100644
--- a/riscv/Makefile
+++ b/riscv/Makefile
@@ -32,10 +32,10 @@ coverage: _sbuild/coverage.native
 	mkdir bisect && mv bisect*.out bisect/
 	mkdir coverage && bisect-ppx-report -html coverage/ -I _sbuild/ bisect/bisect*.out
 
-riscv.c: $(SAIL_SRCS) main.sail Makefile
-	$(SAIL) -O -memo_z3 -c $(SAIL_SRCS) main.sail 1> $@
+riscv.c: $(SAIL_SRCS) main.sail Makefile riscv_prelude.h
+	$(SAIL) -O -memo_z3 -c -c_include "riscv_prelude.h" $(SAIL_SRCS) main.sail 1> $@
 
-riscv_c: riscv.c
+riscv_c: riscv.c Makefile
 	gcc -O2 riscv.c ../lib/*.c -lgmp -lz -I ../lib -o riscv_c
 
 latex: $(SAIL_SRCS) Makefile