diff options
| author | Jon French <jf451@cam.ac.uk> | 2018-07-09 14:24:19 +0100 |
|---|---|---|
| committer | Jon French <jf451@cam.ac.uk> | 2018-07-09 14:24:19 +0100 |
| commit | ba05c8ce9a81c4cb94d501e26e3d3d3dae1400a3 (patch) | |
| tree | 5e336427fb92f4070efc8feaba8db2b03e36cd20 /Makefile | |
| parent | bb6936d0d02d94fb79c2397b9b1ebb5b2aa714ac (diff) | |
| download | sail-riscv-ba05c8ce9a81c4cb94d501e26e3d3d3dae1400a3.zip sail-riscv-ba05c8ce9a81c4cb94d501e26e3d3d3dae1400a3.tar.gz sail-riscv-ba05c8ce9a81c4cb94d501e26e3d3d3dae1400a3.tar.bz2 | |
add riscv_analysis.sail to SAIL_SRCS
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -SAIL_SRCS = prelude.sail riscv_types.sail riscv_sys.sail riscv_platform.sail riscv_mem.sail riscv_vmem.sail riscv.sail riscv_step.sail +SAIL_SRCS = prelude.sail riscv_types.sail riscv_sys.sail riscv_platform.sail riscv_mem.sail riscv_vmem.sail riscv.sail riscv_step.sail riscv_analysis.sail PLATFORM_OCAML_SRCS = platform.ml platform_impl.ml platform_main.ml SAIL_DIR ?= $(realpath ..) SAIL ?= $(SAIL_DIR)/sail |