From 822fc696bb9b72a30b4711d15ecca61b666e3a93 Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Wed, 10 May 2017 11:34:00 +0100
Subject: Build Cheri_embed_types.thy together with Cheri_embed_sequential.thy

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

(limited to 'src')

diff --git a/src/Makefile b/src/Makefile
index 732c9688..be1eb9e5 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -176,7 +176,7 @@ _build/cheri_embed_types.lem: $(CHERI_SAILS) ./sail.native
 
 _build/Cheri_embed_sequential.thy: _build/cheri_embed_types.lem
 	cd _build ;\
-	lem -isa -outdir . ../lem_interp/sail_impl_base.lem ../gen_lib/state.lem ../../mips/mips_extras_embed_sequential.lem cheri_embed_sequential.lem
+	lem -isa -outdir . ../lem_interp/sail_impl_base.lem ../gen_lib/state.lem ../../mips/mips_extras_embed_sequential.lem cheri_embed_types.lem cheri_embed_sequential.lem
 
 _build/mips_all.sail: $(MIPS_SAILS)
 	cat $(MIPS_SAILS) > $@
-- 
cgit v1.2.3