diff options
| author | Alasdair Armstrong | 2018-02-05 23:00:58 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-02-05 23:00:58 +0000 |
| commit | fc5ad2e3930b06a8bd382639361b31bd7407f395 (patch) | |
| tree | 9c4b5064cde7fa7fa0027c090e6b654549fbdb63 /riscv/Makefile | |
| parent | 17265a95407c62e78bb850c0e6ffb0876c85c5cb (diff) | |
| parent | bdfcb327ccf23982ae74549fc56ec3451c493ed5 (diff) | |
Merge changes to type_check.ml
Diffstat (limited to 'riscv/Makefile')
| -rw-r--r-- | riscv/Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/riscv/Makefile b/riscv/Makefile index 7f52dde7..aeba80ef 100644 --- a/riscv/Makefile +++ b/riscv/Makefile @@ -11,6 +11,19 @@ check: $(SAIL_SRCS) main.sail riscv: $(SAIL_SRCS) main.sail $(SAIL_DIR)/sail -ocaml -o riscv $^ +riscv_duopod_ocaml: prelude.sail riscv_duopod.sail + $(SAIL_DIR)/sail -ocaml -o $@ $^ + +riscv_duopod_embed_sequential.lem: prelude.sail riscv_duopod.sail + $(SAIL_DIR)/sail -lem -lem_sequential -lem_mwords -lem_lib Riscv_extras_embed -o riscv_duopod $^ +Riscv_duopod_embed_sequential.thy: riscv_duopod_embed_sequential.lem riscv_extras_embed_sequential.lem + lem -isa -outdir . -lib ../src/lem_interp -lib ../src/gen_lib \ + riscv_extras_embed_sequential.lem \ + riscv_duopod_embed_types_sequential.lem \ + riscv_duopod_embed_sequential.lem + +riscv_duopod: riscv_duopod_ocaml Riscv_duopod_embed_sequential.thy + Riscv_embed_sequential.thy: riscv_embed_sequential.lem riscv_extras_embed_sequential.lem lem -isa -outdir . -lib ../src/lem_interp -lib ../src/gen_lib \ riscv_extras_embed_sequential.lem \ @@ -25,3 +38,4 @@ clean: -rm -f riscv_embed_sequential.lem riscv_embed_types_sequential.lem -rm -f Riscv_embed_sequential.thy Riscv_embed_types_sequential.thy \ Riscv_extras_embed_sequential.thy + -rm -f Riscv_duopod_embed_sequential.thy Riscv_duopod_embed_types_sequential.thy riscv_duopod_embed_sequential.lem riscv_duopod_embed_types_sequential.lem |