diff options
author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-11-26 12:36:39 -0800 |
---|---|---|
committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-11-26 12:36:39 -0800 |
commit | 00acd94fc619e4189f8b0c9493b04931bb7dfbee (patch) | |
tree | b4700aed0fb9c8baeb84a42bcd4dd703ccb85e5e /Makefile | |
parent | f54837e59da9c73468d97cbb37f565274eb40bd0 (diff) | |
download | sail-riscv-00acd94fc619e4189f8b0c9493b04931bb7dfbee.zip sail-riscv-00acd94fc619e4189f8b0c9493b04931bb7dfbee.tar.gz sail-riscv-00acd94fc619e4189f8b0c9493b04931bb7dfbee.tar.bz2 |
Add individual ocaml stubs for the softfloat functions.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -81,7 +81,7 @@ SAIL_RMEM_SRCS = $(addprefix model/,$(SAIL_ARCH_SRCS) $(SAIL_RMEM_INST_SRCS) $(S SAIL_RVFI_SRCS = $(addprefix model/,$(SAIL_ARCH_RVFI_SRCS) $(SAIL_SEQ_INST_SRCS) $(RVFI_STEP_SRCS)) SAIL_COQ_SRCS = $(addprefix model/,$(SAIL_ARCH_SRCS) $(SAIL_SEQ_INST_SRCS) $(SAIL_OTHER_COQ_SRCS)) -PLATFORM_OCAML_SRCS = $(addprefix ocaml_emulator/,platform.ml platform_impl.ml riscv_ocaml_sim.ml) +PLATFORM_OCAML_SRCS = $(addprefix ocaml_emulator/,platform.ml platform_impl.ml softfloat.ml riscv_ocaml_sim.ml) SAIL_FLAGS += -dno_cast |