diff options
author | Scott Johnson <scott.johnson@arilinc.com> | 2019-09-17 15:24:06 -0700 |
---|---|---|
committer | Scott Johnson <scott.johnson@arilinc.com> | 2019-09-17 15:24:06 -0700 |
commit | 2e433dd1003626b90a5c71695815d2a9daf93bfe (patch) | |
tree | 09381435c33dd1652ef1551f9120c18465c1cdc9 | |
parent | 86ff4e00905f1202bffb7e2be3709030d2cba1c2 (diff) | |
download | sail-riscv-2e433dd1003626b90a5c71695815d2a9daf93bfe.zip sail-riscv-2e433dd1003626b90a5c71695815d2a9daf93bfe.tar.gz sail-riscv-2e433dd1003626b90a5c71695815d2a9daf93bfe.tar.bz2 |
Run Sail with -dno_cast even when it comes from opam package
-rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -76,10 +76,12 @@ SAIL_COQ_SRCS = $(addprefix model/,$(SAIL_ARCH_SRCS) $(SAIL_SEQ_INST_SRCS) $(SA PLATFORM_OCAML_SRCS = $(addprefix ocaml_emulator/,platform.ml platform_impl.ml riscv_ocaml_sim.ml) +SAIL_FLAGS += -dno_cast + # Attempt to work with either sail from opam or built from repo in SAIL_DIR ifneq ($(SAIL_DIR),) # Use sail repo in SAIL_DIR -SAIL:=$(SAIL_DIR)/sail -dno_cast +SAIL:=$(SAIL_DIR)/sail export SAIL_DIR else # Use sail from opam package |