diff options
| author | Robert Norton | 2018-03-08 16:48:02 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-03-08 16:48:02 +0000 |
| commit | 9e48920689ed4290f0bf155d604292143d5f5ffa (patch) | |
| tree | 4a75b96b8ca7d5d0cefbb8ab83b81934cc9ed84c /mips/Makefile | |
| parent | bc2a83a24bda7a56d2dd08ce0bb1593076965513 (diff) | |
Remove files in mips directory prior to copying in files from mips_new_tc. Hopefully thiis will help git to spot the rename and hence preserve history.
Diffstat (limited to 'mips/Makefile')
| -rw-r--r-- | mips/Makefile | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/mips/Makefile b/mips/Makefile deleted file mode 100644 index 03d7ae15..00000000 --- a/mips/Makefile +++ /dev/null @@ -1,23 +0,0 @@ -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 |