From 0ca565a91df971fac0f69b28d84def84174e1ccf Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 22 Dec 2015 12:49:32 +0000
Subject: More gluing mips to interpreter

---
 mips/Makefile | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'mips')

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