diff options
| author | Prashanth Mundkur | 2018-09-10 12:16:42 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-10-23 15:32:15 -0700 |
| commit | 2cef8d0c31a09ea4fac9a48faff882dde4e98641 (patch) | |
| tree | a69ee2f3f27742cb971fadad6b29feb0700835ad /riscv/Makefile | |
| parent | e489f2d37efa4c320004d35c3025c77e0a0c60d0 (diff) | |
RISC-V: Refactor c platform bits.
Diffstat (limited to 'riscv/Makefile')
| -rw-r--r-- | riscv/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/riscv/Makefile b/riscv/Makefile index 80b3ebf7..5b615971 100644 --- a/riscv/Makefile +++ b/riscv/Makefile @@ -4,7 +4,8 @@ SAIL_DIR ?= $(realpath ..) SAIL ?= $(SAIL_DIR)/sail C_WARNINGS ?= #-Wall -Wextra -Wno-unused-label -Wno-unused-parameter -Wno-unused-but-set-variable -Wno-unused-function -C_SRCS = riscv_prelude.c riscv_platform.c +C_INCS = riscv_prelude.h riscv_platform_impl.h riscv_platform.h +C_SRCS = riscv_prelude.c riscv_platform_impl.c riscv_platform.c export SAIL_DIR @@ -38,7 +39,7 @@ coverage: _sbuild/coverage.native riscv.c: $(SAIL_SRCS) main.sail Makefile $(SAIL) -O -memo_z3 -c -c_include riscv_prelude.h -c_include riscv_platform.h $(SAIL_SRCS) main.sail 1> $@ -riscv_c: riscv.c riscv_prelude.h $(C_SRCS) Makefile +riscv_c: riscv.c $(C_INCS) $(C_SRCS) Makefile gcc $(C_WARNINGS) -O2 riscv.c $(C_SRCS) ../lib/*.c -lgmp -lz -I ../lib -o riscv_c latex: $(SAIL_SRCS) Makefile |