From 2c533959ae0bc96d5e648497a74a79e430d4feea Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Mon, 4 Jun 2018 16:48:04 +0100
Subject: Add mips.c target in Makefile. Currently triggers assertion failure
 in c_backend. still need to merge changes to prelude.sail.

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

(limited to 'mips/Makefile')

diff --git a/mips/Makefile b/mips/Makefile
index 100687e8..b612c1d0 100644
--- a/mips/Makefile
+++ b/mips/Makefile
@@ -15,6 +15,9 @@ MIPS_MAIN:=$(MIPS_SAIL_DIR)/main.sail
 mips: $(MIPS_PRE) $(MIPS_TLB) $(MIPS_SAILS) $(MIPS_MAIN)
 	$(SAIL) -ocaml -o mips -memo_z3 $^
 
+mips.c: $(MIPS_PRE) $(MIPS_TLB) $(MIPS_SAILS) $(MIPS_MAIN)
+	$(SAIL) -memo_z3 -c $^ 1> $@
+
 mips_no_tlb.lem: $(MIPS_PRE) $(MIPS_TLB_STUB) $(MIPS_SAILS)
 	$(SAIL) -lem -o mips_no_tlb -lem_mwords -lem_lib Mips_extras -undefined_gen -memo_z3 $^
 mips_no_tlb_types.lem: mips_no_tlb.lem
-- 
cgit v1.2.3