diff options
| author | Shaked Flur | 2017-11-30 15:40:43 +0000 |
|---|---|---|
| committer | Shaked Flur | 2017-11-30 15:40:43 +0000 |
| commit | 9e1309ab7c1a137324c88c272c5a76c4c8bce016 (patch) | |
| tree | 854889fe87e8f443d4e0aafa26b970a88faf61bb /mips/Makefile | |
| parent | 16c269d6f26fd69d8788c448b87f4bb479a6ef66 (diff) | |
match what rmem (ppcmem2) expects from ISA Makefiles
Diffstat (limited to 'mips/Makefile')
| -rw-r--r-- | mips/Makefile | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/mips/Makefile b/mips/Makefile new file mode 100644 index 00000000..03d7ae15 --- /dev/null +++ b/mips/Makefile @@ -0,0 +1,23 @@ +SAIL:=../src/sail.native +LEM:=../../lem/lem + +# SOURCES:=mips_prelude.sail mips_tlb.sail mips_wrappers.sail mips_insts.sail mips_ri.sail mips_epilogue.sail ../etc/regfp.sail mips_regfp.sail +SOURCES:=mips_prelude.sail mips_tlb_stub.sail mips_wrappers.sail mips_insts.sail mips_epilogue.sail ../etc/regfp.sail mips_regfp.sail + + +all: mips.lem mips.ml mips_embed.lem + +mips.lem: $(SOURCES) + $(SAIL) -lem_ast -o $(BUILD)/mips $(SOURCES) + +mips.ml: mips.lem ../src/lem_interp/interp_ast.lem + $(LEM) -ocaml -lib ../src/lem_interp/ $< + + +mips_embed.lem: $(SOURCES) +# also generates mips_embed_sequential.lem, mips_embed_types.lem, mips_toFromInterp.lem + $(SAIL) -lem -lem_lib Mips_extras_embed -o mips $(SOURCES) + +clean: + rm -f mips.lem mips.ml + rm -f mips_embed*.lem mips_toFromInterp.lem |