diff options
| -rw-r--r-- | mips/Makefile | 87 |
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 |