From 07e3591e2427db2d9407d554ac57984ca566c6ed Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Wed, 29 Aug 2018 15:35:44 +0100
Subject: Updated snapshots for Isabelle 2018

---
 lib/isabelle/Makefile          | 2 +-
 lib/isabelle/manual/Manual.thy | 8 ++++----
 lib/isabelle/manual/ROOT       | 7 +------
 3 files changed, 6 insertions(+), 11 deletions(-)

(limited to 'lib')

diff --git a/lib/isabelle/Makefile b/lib/isabelle/Makefile
index 56591140..57459b82 100644
--- a/lib/isabelle/Makefile
+++ b/lib/isabelle/Makefile
@@ -25,7 +25,7 @@ heap-img: thys $(EXTRA_THYS) ROOT
 manual: heap-img manual/Manual.thy manual/ROOT manual/document/root.tex
 	cp output/document/session_graph.pdf manual/document/Sail_session_graph.pdf
 	make -C $(RISCV_DIR) Riscv_duopod.thy
-	isabelle build -d manual Sail-Manual
+	isabelle build -d manual -d $(RISCV_DIR) Sail-Manual
 
 Sail2_instr_kinds.thy: ../../src/lem_interp/sail2_instr_kinds.lem
 	lem -isa -outdir . -auxiliary_level none -lib ../../src/lem_interp -lib ../../src/gen_lib $<
diff --git a/lib/isabelle/manual/Manual.thy b/lib/isabelle/manual/Manual.thy
index 1ac300b4..f151072a 100644
--- a/lib/isabelle/manual/Manual.thy
+++ b/lib/isabelle/manual/Manual.thy
@@ -1,10 +1,10 @@
 (*<*)
 theory Manual
   imports
-    Sail.Sail2_state_lemmas
-    Sail.Sail2_operators_mwords_lemmas
-    Sail.Hoare
-    Riscv_duopod.Riscv_duopod_lemmas
+    "Sail.Sail2_state_lemmas"
+    "Sail.Sail2_operators_mwords_lemmas"
+    "Sail.Hoare"
+    "Sail-RISC-V-Duopod.Riscv_duopod_lemmas"
 begin
 
 declare [[show_question_marks = false]]
diff --git a/lib/isabelle/manual/ROOT b/lib/isabelle/manual/ROOT
index a5923f26..aae60daa 100644
--- a/lib/isabelle/manual/ROOT
+++ b/lib/isabelle/manual/ROOT
@@ -1,9 +1,4 @@
-session "Riscv_duopod" in "../../../riscv" = "Sail" +
-  options [document = false]
-  theories
-    Riscv_duopod_lemmas
-
-session "Sail-Manual" = "Riscv_duopod" +
+session "Sail-Manual" = "Sail-RISC-V-Duopod" +
   options [document = pdf, document_output = "output"]
   theories
     Manual
-- 
cgit v1.2.3