diff options
| author | Alasdair Armstrong | 2017-12-04 15:29:38 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-12-04 15:29:38 +0000 |
| commit | a8940494d24f1315852e45632e968d1cfdbb132a (patch) | |
| tree | 696901b1b5ac9562dc88cf948bd0acc79683dc06 /mips/Makefile | |
| parent | ff514f618bc64980e08d201ec971ccf38421e586 (diff) | |
| parent | 489eafc6c3c8191e2a8c1eb1386749f5e440eceb (diff) | |
Merge remote-tracking branch 'origin/master' into experiments
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 |