diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-05-31 09:37:07 -0700 |
|---|---|---|
| committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-05-31 09:37:07 -0700 |
| commit | 8ae073cd301e1c430729caf6303df88e1ef601ae (patch) | |
| tree | 345efd6199c6f994b3e5589d8c6253276be6a2e9 /Makefile | |
| parent | 9bc6009dd7c0c646d660d34246f4f84a68b9c80c (diff) | |
| download | sail-riscv-8ae073cd301e1c430729caf6303df88e1ef601ae.zip sail-riscv-8ae073cd301e1c430729caf6303df88e1ef601ae.tar.gz sail-riscv-8ae073cd301e1c430729caf6303df88e1ef601ae.tar.bz2 | |
Fix build on MacPorts/MacOS.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -94,8 +94,12 @@ C_WARNINGS ?= C_INCS = $(addprefix c_emulator/,riscv_prelude.h riscv_platform_impl.h riscv_platform.h) C_SRCS = $(addprefix c_emulator/,riscv_prelude.c riscv_platform_impl.c riscv_platform.c riscv_sim.c) -C_FLAGS = -I $(SAIL_LIB_DIR) -I c_emulator -C_LIBS = -lgmp -lz +# portability for MacPorts/MacOS +C_SYS_INCLUDES = -I /opt/local/include +C_SYS_LIBDIRS = -L /opt/local/lib + +C_FLAGS = $(C_SYS_INCLUDES) -I $(SAIL_LIB_DIR) -I c_emulator +C_LIBS = $(C_SYS_LIBDIRS) -lgmp -lz # The C simulator can be built to be linked against Spike for tandem-verification. # This needs the C bindings to Spike from https://github.com/SRI-CSL/l3riscv |