diff options
author | Christopher Pulte <cp526@cam.ac.uk> | 2020-06-15 09:49:24 +0100 |
---|---|---|
committer | Christopher Pulte <cp526@cam.ac.uk> | 2020-06-15 09:49:24 +0100 |
commit | ffea7a39c32a210a446379aeda0eabcec4918ed6 (patch) | |
tree | 9e335e128e678ff3f624c9aa5211467b37a48c19 /Makefile | |
parent | 86bd287af50d296f3c83b7d0b524e3aaee073f78 (diff) | |
download | sail-riscv-ffea7a39c32a210a446379aeda0eabcec4918ed6.zip sail-riscv-ffea7a39c32a210a446379aeda0eabcec4918ed6.tar.gz sail-riscv-ffea7a39c32a210a446379aeda0eabcec4918ed6.tar.bz2 |
c emulator makefile tweak, as suggested by Thibaut
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -123,7 +123,7 @@ 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_FLAGS = $(C_SYS_INCLUDES) -I $(SAIL_LIB_DIR) -I c_emulator $(SOFTFLOAT_FLAGS) -fcommon C_LIBS = $(C_SYS_LIBDIRS) -lgmp -lz $(SOFTFLOAT_LIBS) # The C simulator can be built to be linked against Spike for tandem-verification. |