diff options
| author | Prashanth Mundkur | 2018-05-21 15:33:02 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-05-21 18:00:03 -0700 |
| commit | 715edc44ce58bd2d4f3b2206623fe89f65118ad5 (patch) | |
| tree | 04b76c2fa0f399446abe2a8a584e04302213cc9c /riscv/Makefile | |
| parent | b55481d0bafff8520ff6872dbca4ca616bce41ac (diff) | |
Add in the platform files and update the ocaml build. Disable the isabelle build until we add suitable platform definitions/stubs.
The platform bits are not yet hooked into the model, but only into the build, so are untested.
Diffstat (limited to 'riscv/Makefile')
| -rw-r--r-- | riscv/Makefile | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/riscv/Makefile b/riscv/Makefile index 436fa0dc..c80c0758 100644 --- a/riscv/Makefile +++ b/riscv/Makefile @@ -1,15 +1,21 @@ -SAIL_SRCS = prelude.sail riscv_types.sail riscv_sys.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 SAIL_DIR ?= $(realpath ..) export SAIL_DIR -all: riscv Riscv.thy +all: riscv.ml platform # Riscv.thy check: $(SAIL_SRCS) main.sail Makefile $(SAIL_DIR)/sail $(SAIL_SRCS) main.sail -riscv: $(SAIL_SRCS) main.sail Makefile - $(SAIL_DIR)/sail -ocaml -o riscv $(SAIL_SRCS) main.sail +riscv.ml: $(SAIL_SRCS) Makefile main.sail + $(SAIL_DIR)/sail -ocaml -ocaml-nobuild -o riscv $(SAIL_SRCS) + +platform_main.native: riscv.ml platform.ml platform_main.ml Makefile _tags + ocamlbuild -use-ocamlfind $@ + +platform: platform_main.native + rm -f $@ && ln -s $^ $@ riscv_duopod_ocaml: prelude.sail riscv_duopod.sail $(SAIL_DIR)/sail -ocaml -o $@ $^ @@ -58,3 +64,4 @@ clean: -rm -f Riscv_duopod.thy Riscv_duopod_types.thy riscv_duopod.lem riscv_duopod_types.lem -rm -f riscvScript.sml riscv_typesScript.sml riscv_extrasScript.sml -Holmake cleanAll + ocamlbuild -clean |