diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-11-14 17:37:16 -0800 |
|---|---|---|
| committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-11-14 17:37:16 -0800 |
| commit | 7066b7c78ce822f0b1c08a53938e92ffd7d126ff (patch) | |
| tree | 65144637a7b36feb4974a68b275ab9439daaae93 /Makefile | |
| parent | d826ba134eaccc7f615d6d906710354c4885f9b7 (diff) | |
| download | sail-riscv-7066b7c78ce822f0b1c08a53938e92ffd7d126ff.zip sail-riscv-7066b7c78ce822f0b1c08a53938e92ffd7d126ff.tar.gz sail-riscv-7066b7c78ce822f0b1c08a53938e92ffd7d126ff.tar.bz2 | |
Create a RISC-V specialization for the default NaN bitpatterns in softfloat.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -115,9 +115,10 @@ C_SYS_LIBDIRS = -L /opt/local/lib SOFTFLOAT_DIR = c_emulator/SoftFloat-3e SOFTFLOAT_INCDIR = $(SOFTFLOAT_DIR)/source/include -SOFTFLOAT_LIBDIR = $(SOFTFLOAT_DIR)/build/Linux-x86_64-GCC +SOFTFLOAT_LIBDIR = $(SOFTFLOAT_DIR)/build/Linux-RISCV-GCC SOFTFLOAT_FLAGS = -I $(SOFTFLOAT_INCDIR) SOFTFLOAT_LIBS = $(SOFTFLOAT_LIBDIR)/softfloat.a +SOFTFLOAT_SPECIALIZE_TYPE = RISCV C_FLAGS = $(C_SYS_INCLUDES) -I $(SAIL_LIB_DIR) -I c_emulator $(SOFTFLOAT_FLAGS) C_LIBS = $(C_SYS_LIBDIRS) -lgmp -lz $(SOFTFLOAT_LIBS) @@ -216,7 +217,7 @@ generated_definitions/c/riscv_model_$(ARCH).c: $(SAIL_SRCS) model/main.sail Make $(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 $@) $(SOFTFLOAT_LIBS): - make -C $(SOFTFLOAT_LIBDIR) + make SPECIALIZE_TYPE=$(SOFTFLOAT_SPECIALIZE_TYPE) -C $(SOFTFLOAT_LIBDIR) c_emulator/riscv_sim_$(ARCH): generated_definitions/c/riscv_model_$(ARCH).c $(C_INCS) $(C_SRCS) $(SOFTFLOAT_LIBS) Makefile gcc -g $(C_WARNINGS) $(C_FLAGS) $< $(C_SRCS) $(SAIL_LIB_DIR)/*.c $(C_LIBS) -o $@ |