diff options
author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2020-01-23 12:32:54 -0800 |
---|---|---|
committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2020-01-23 14:17:10 -0800 |
commit | 494a5f45d91cc0d04c89f0457bdcd0af18791c45 (patch) | |
tree | dafd2f0a002a1bf10cb11d0a8e9042549fb68e05 /Makefile | |
parent | 0c19e38b8ea0c3dac1a684c59e6956097bf58dc8 (diff) | |
download | sail-riscv-rsnikhil.zip sail-riscv-rsnikhil.tar.gz sail-riscv-rsnikhil.tar.bz2 |
Add lem stubs for softfloat externs.rsnikhil
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -146,7 +146,7 @@ else C_FLAGS += -O3 -flto endif -RISCV_EXTRAS_LEM_FILES = riscv_extras.lem mem_metadata.lem +RISCV_EXTRAS_LEM_FILES = riscv_extras.lem mem_metadata.lem riscv_extras_fdext.lem # Feature detect if we are on the latest development version of Sail # and use an updated lem file if so. This is just until the opam # version catches up with changes to the barrier type. @@ -274,7 +274,7 @@ endif generated_definitions/lem/$(ARCH)/riscv.lem: $(SAIL_SRCS) Makefile mkdir -p generated_definitions/lem/$(ARCH) generated_definitions/isabelle/$(ARCH) - $(SAIL) $(SAIL_FLAGS) -lem -lem_output_dir generated_definitions/lem/$(ARCH) -isa_output_dir generated_definitions/isabelle/$(ARCH) -o riscv -lem_mwords -lem_lib Riscv_extras -lem_lib Mem_metadata $(SAIL_SRCS) + $(SAIL) $(SAIL_FLAGS) -lem -lem_output_dir generated_definitions/lem/$(ARCH) -isa_output_dir generated_definitions/isabelle/$(ARCH) -o riscv -lem_mwords -lem_lib Riscv_extras -lem_lib Riscv_extras_fdext -lem_lib Mem_metadata $(SAIL_SRCS) echo "declare {isabelle} rename field sync_exception_ext = sync_exception_ext_exception" >> generated_definitions/lem/$(ARCH)/riscv_types.lem generated_definitions/isabelle/$(ARCH)/Riscv.thy: generated_definitions/isabelle/$(ARCH)/ROOT generated_definitions/lem/$(ARCH)/riscv.lem $(RISCV_EXTRAS_LEM) Makefile |