From 05a4a75d328d3bd8469167f6f23dda918146117a Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Fri, 4 May 2018 19:08:15 +0100
Subject: Bit of hackery to MIPS prelude and Makefiles to get monomorphised
 CHERI

---
 mips/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mips/Makefile')

diff --git a/mips/Makefile b/mips/Makefile
index 00703f62..a6a5bbdf 100644
--- a/mips/Makefile
+++ b/mips/Makefile
@@ -21,7 +21,7 @@ mips_no_tlb_types.lem: mips_no_tlb.lem
 
 # TODO: Use monomorphisation so that we can switch to machine words
 mips.lem: $(MIPS_PRE) $(MIPS_TLB) $(MIPS_SAILS)
-	$(SAIL) -lem -o mips -lem_lib Mips_extras -undefined_gen -memo_z3 $^
+	$(SAIL) -lem -o mips -auto_mono -mono_rewrites -lem_mwords -lem_lib Mips_extras -undefined_gen -memo_z3 $^
 mips_types.lem: mips.lem
 
 M%.thy: m%.lem m%_types.lem mips_extras.lem
-- 
cgit v1.2.3