diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2020-01-08 14:54:15 -0800 |
|---|---|---|
| committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2020-01-08 14:54:15 -0800 |
| commit | 14f7b67f05bb8b6587e1394803aa36ff5cfef353 (patch) | |
| tree | 500aa00187f063996284d6bc7406cafbc4a070ec /Makefile | |
| parent | 778301c9a2f483523e83581d7cffb93effb75134 (diff) | |
| download | sail-riscv-14f7b67f05bb8b6587e1394803aa36ff5cfef353.zip sail-riscv-14f7b67f05bb8b6587e1394803aa36ff5cfef353.tar.gz sail-riscv-14f7b67f05bb8b6587e1394803aa36ff5cfef353.tar.bz2 | |
Add softfloat to rvfi build.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -237,7 +237,7 @@ generated_definitions/c/riscv_rvfi_model_$(ARCH).c: $(SAIL_RVFI_SRCS) model/main $(SAIL) $(SAIL_FLAGS) -O -memo_z3 -c -c_include riscv_prelude.h -c_include riscv_platform.h -c_no_main $(SAIL_RVFI_SRCS) model/main.sail -o $(basename $@) sed -i -e '/^[[:space:]]*$$/d' $@ -c_emulator/riscv_rvfi_$(ARCH): generated_definitions/c/riscv_rvfi_model_$(ARCH).c $(C_INCS) $(C_SRCS) Makefile +c_emulator/riscv_rvfi_$(ARCH): generated_definitions/c/riscv_rvfi_model_$(ARCH).c $(C_INCS) $(C_SRCS) $(SOFTFLOAT_LIBS) Makefile gcc -g $(C_WARNINGS) $(C_FLAGS) $< -DRVFI_DII $(C_SRCS) $(SAIL_LIB_DIR)/*.c $(C_LIBS) -o $@ latex: $(SAIL_SRCS) Makefile |