From 9e48920689ed4290f0bf155d604292143d5f5ffa Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Thu, 8 Mar 2018 16:48:02 +0000
Subject: 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.

---
 mips/Makefile | 23 -----------------------
 1 file changed, 23 deletions(-)
 delete mode 100644 mips/Makefile

(limited to 'mips/Makefile')

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
-- 
cgit v1.2.3