diff options
| author | Kathy Gray | 2015-12-22 12:49:32 +0000 |
|---|---|---|
| committer | Kathy Gray | 2015-12-22 12:50:31 +0000 |
| commit | 0ca565a91df971fac0f69b28d84def84174e1ccf (patch) | |
| tree | eb2d333d0dd57c59afed30eff7523afcf50ec7ed /mips | |
| parent | cb3bac47cecff155d88b93e840e20edb448afd65 (diff) | |
More gluing mips to interpreter
Diffstat (limited to 'mips')
| -rw-r--r-- | mips/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/mips/Makefile b/mips/Makefile index 7bd20737..3042d331 100644 --- a/mips/Makefile +++ b/mips/Makefile @@ -59,6 +59,9 @@ $(BUILDDIR)mips_extras.ml: $(LEM) -ocaml -only_changed_output -lib $(SAILDIR)/src/lem_interp/ $< touch $@ +$(BUILDDIR)run_with_elf.ml: + cp $(SAILDIR)/src/lem_interp/run_with_elf.ml $@ + $(BUILDDIR)/test.lem: test.sail $(SAIL) | $(BUILDDIR) # if bash is detected we can print nicer errors ifeq ($(SHELL),/bin/bash) |