From 9232814ed220cff16e6cac808f327b326f2e2f2c Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Tue, 28 Aug 2018 17:31:43 +0100
Subject: Adapt theory imports for Isabelle 2018

Requires a recent Lem version that supports generating session-qualified
imports, e.g. revision rems-project/lem@d92b077f1781765a65082c815ff363ef79499860
---
 mips/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mips/Makefile')

diff --git a/mips/Makefile b/mips/Makefile
index 03144f50..a156428a 100644
--- a/mips/Makefile
+++ b/mips/Makefile
@@ -55,7 +55,7 @@ COQ_LIBS = -R ../../bbv/theories bbv -R ../lib/coq Sail
 mips.vo: mips_types.vo mips_extras.vo
 
 M%.thy: m%.lem m%_types.lem mips_extras.lem
-	lem -isa -outdir . -lib $(SAIL_DIR)/src/gen_lib -lib $(SAIL_DIR)/src/lem_interp $^
+	lem -isa -outdir . -lib Sail=$(SAIL_DIR)/src/gen_lib -lib Sail=$(SAIL_DIR)/src/lem_interp $^
 	sed -i 's/datatype ast/datatype (plugins only: size) ast/' M$*_types.thy
 
 %Script.sml: %.lem %_types.lem $(MIPS_SAIL_DIR)/mips_extras.lem
-- 
cgit v1.2.3