diff options
author | Alasdair <alasdair.armstrong@cl.cam.ac.uk> | 2020-05-22 15:53:25 +0100 |
---|---|---|
committer | Alasdair <alasdair.armstrong@cl.cam.ac.uk> | 2020-05-22 15:53:25 +0100 |
commit | 1da45aef22b7a5b9a66a92cd089e1795e4353ac3 (patch) | |
tree | 14c7953f2fe481da2be91893c96f4f0dfa00d767 /Makefile | |
parent | a91392657fc0534ce803237e714da0e346a638b6 (diff) | |
download | sail-riscv-1da45aef22b7a5b9a66a92cd089e1795e4353ac3.zip sail-riscv-1da45aef22b7a5b9a66a92cd089e1795e4353ac3.tar.gz sail-riscv-1da45aef22b7a5b9a66a92cd089e1795e4353ac3.tar.bz2 |
Add a Makefile target for new Sail->C backend
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -220,6 +220,10 @@ generated_definitions/c/riscv_model_$(ARCH).c: $(SAIL_SRCS) model/main.sail Make mkdir -p generated_definitions/c $(SAIL) $(SAIL_FLAGS) -O -Oconstant_fold -memo_z3 -c -c_include riscv_prelude.h -c_include riscv_platform.h -c_no_main $(SAIL_SRCS) model/main.sail -o $(basename $@) +generated_definitions/c2/riscv_model_$(ARCH).c: $(SAIL_SRCS) model/main.sail Makefile + mkdir -p generated_definitions/c2 + $(SAIL) $(SAIL_FLAGS) -no_warn -memo_z3 -config c_emulator/config.json -c2 $(SAIL_SRCS) -o $(basename $@) + $(SOFTFLOAT_LIBS): $(MAKE) SPECIALIZE_TYPE=$(SOFTFLOAT_SPECIALIZE_TYPE) -C $(SOFTFLOAT_LIBDIR) |