1 files changed, 0 insertions, 87 deletions
diff --git a/mips/Makefile b/mips/Makefile
deleted file mode 100644
index bd1ff306..00000000
--- a/mips/Makefile
+++ /dev/null
@@ -1,87 +0,0 @@
-BITBUCKETDIR= ~/bitbucket
-SAILDIR=$(BITBUCKETDIR)/l2/
-SAIL=$(SAILDIR)/src/_build/sail.native
-BUILDDIR=./build/
-LEMDIR=$(BITBUCKETDIR)/lem/
-LEM=$(LEMDIR)/lem
-
-# we need bash to use PIPESTATUS for the error parsing
-# (if bash is not found the build will still work)
-ifneq ("$(wildcard /bin/bash)","")
-SHELL=/bin/bash
-endif
-
-
-# the order of the files is important
-MIPSSOURCES= mips.sail
-
-all: $(BUILDDIR)mips.ml $(BUILDDIR)mips_extras.ml run_native
-
-run_native: run_with_elf.native
-
-run_byte: run_with_elf.byte
-
-lem: $(BUILDDIR)mips.lem
-
-# this will force build everything, including the tools
-full:
-	$(MAKE) -B
-
-test: $(BUILDDIR)/test.lem
-
-### tools: these will run only if the tools don't already exist or with 'make full'
-
-$(SAIL):
-	$(MAKE) -C $(SAILDIR)
-
-$(LEM):
-	$(MAKE) -C $(LEMDIR)
-
-### tools end
-
-$(BUILDDIR):
-	mkdir -p $@
-
-$(BUILDDIR)mips.lem: $(MIPSSOURCES) $(SAIL) | $(BUILDDIR)
-# if bash is detected we can print nicer errors
-ifeq ($(SHELL),/bin/bash)
-# 	the test at the end is so we return the exit code of sail and not parse_sail.sh
-	$(SAIL) -lem_ast $(MIPSSOURCES) 2>&1 | ./parse_sail.sh; test "$${PIPESTATUS[0]}" -eq 0
-else
-	$(SAIL) -lem_ast $(MIPSSOURCES)
-endif
-#       sail uses the name of the first file on the list
-	@mv $(<:.sail=.lem) $(BUILDDIR)mips.lem
-
-$(BUILDDIR)mips.ml: $(BUILDDIR)mips.lem $(LEM)
-	$(LEM) -ocaml -only_changed_output -lib $(SAILDIR)/src/lem_interp/ $<
-# 	FIXME: lem bug, does not change modification time
-	touch $@
-
-$(BUILDDIR)mips_extras.ml: 
-	cp mips_extras.lem $@
-	$(LEM) -ocaml -only_changed_output -lib $(SAILDIR)/src/lem_interp/ $<
-	touch $@
-
-run_with_elf.ml: $(SAILDIR)/src/lem_interp/run_with_elf.ml
-	cp $< $@
-
-run_with_elf.native: run_with_elf.ml
-	ocamlbuild -use-ocamlfind run_with_elf.native
-
-run_with_elf.byte: run_with_elf.ml
-	ocamlbuild -use-ocamlfind run_with_elf.byte
-
-$(BUILDDIR)/test.lem: test.sail $(SAIL) | $(BUILDDIR)
-# if bash is detected we can print nicer errors
-ifeq ($(SHELL),/bin/bash)
-# 	the test at the end is so we return the exit code of sail and not parse_sail.sh
-	$(SAIL) -lem_ast test.sail 2>&1 | ./parse_sail.sh; test "$${PIPESTATUS[0]}" -eq 0
-else
-	$(SAIL) -lem_ast test.sail
-endif
-
-clean:
-	rm -rf $(BUILDDIR)
-
-.PHONY: all full clean test