diff options
| author | Alasdair Armstrong | 2018-01-03 15:46:23 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-01-03 15:46:23 +0000 |
| commit | 90ca4e03c240675b1830a5e48cea5f6c9e412b2a (patch) | |
| tree | 55dd4be9239dd78ace165483336c5eee0200a05e /risc-v/Makefile | |
| parent | 4bb1e41bc2a1ae93e26094d827f43d2d21ec8223 (diff) | |
Updates to interpreter
Experimenting with porting riscv model to new typechecker
Diffstat (limited to 'risc-v/Makefile')
| -rw-r--r-- | risc-v/Makefile | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/risc-v/Makefile b/risc-v/Makefile deleted file mode 100644 index bc46e4c2..00000000 --- a/risc-v/Makefile +++ /dev/null @@ -1,22 +0,0 @@ -SAIL:=../src/sail.native -LEM:=../../lem/lem - -SOURCES:=riscv_types.sail riscv.sail ../etc/regfp.sail riscv_regfp.sail - - -all: riscv.lem riscv.ml riscv_embed.lem - -riscv.lem: $(SOURCES) - $(SAIL) -lem_ast -o riscv $(SOURCES) - -riscv.ml: riscv.lem ../src/lem_interp/interp_ast.lem - $(LEM) -ocaml -lib ../src/lem_interp/ $< - - -riscv_embed.lem: $(SOURCES) -# also generates riscv_embed_sequential.lem, riscv_embed_types.lem, riscv_toFromInterp.lem - $(SAIL) -lem -lem_lib Riscv_extras_embed -o riscv $(SOURCES) - -clean: - rm -f riscv.lem riscv.ml - rm -f riscv_embed*.lem riscv_toFromInterp.lem |