From 5ebfb4532b163aa560e2a1855b117e926e33f2d8 Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Sat, 2 Sep 2017 19:57:27 +0100
Subject: Add command line flags to toggle sequential monad and native machine
 words

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

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index 4147b10c..6cfcf874 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -173,7 +173,7 @@ _build/cheri_notlb.lem: $(CHERI_NOTLB_SAILS) ./sail.native
 _build/cheri_embed_types_sequential.lem: $(CHERI_SAILS) ./sail.native
 	mkdir -p _build
 	cd _build ;\
-	../sail.native -lem_lib "Mips_extras_embed" -lem -o cheri $(CHERI_SAILS)
+	../sail.native -lem_lib "Mips_extras_embed" -lem -lem_sequential -lem_mwords -o cheri $(CHERI_SAILS)
 
 _build/Cheri_embed_sequential.thy: _build/cheri_embed_types_sequential.lem
 	cd _build ;\
-- 
cgit v1.2.3