From 10ff48091a2bc49756fa48daff82170f907878fe Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Wed, 11 Jul 2018 13:42:01 +0100
Subject: Add ROOTS file to Isabelle snapshot

---
 snapshots/isabelle/README.md | 7 ++++---
 snapshots/isabelle/ROOTS     | 5 +++++
 2 files changed, 9 insertions(+), 3 deletions(-)
 create mode 100644 snapshots/isabelle/ROOTS

diff --git a/snapshots/isabelle/README.md b/snapshots/isabelle/README.md
index cabf4fc0..d2b4fe71 100644
--- a/snapshots/isabelle/README.md
+++ b/snapshots/isabelle/README.md
@@ -9,11 +9,12 @@ up-to-date.
 In order to open a theory of one of the specifications in Isabelle, use the `-l
 Sail` command-line flag to load the session containing the Sail library.
 Snapshots of the Sail and Lem libraries are in the [lib/sail](lib/sail/) and
-[lib/lem](lib/lem/) directories, respectively.  You can tell Isabelle where to
-find them using the `-d` flag, as in
+[lib/lem](lib/lem/) directories, respectively.  The ROOTS file in this directory
+contains pointers to them; you can tell Isabelle to use it with the `-d` flag,
+as in
 
 ```
-isabelle jedit -l Sail -d lib/lem -d lib/sail riscv/Riscv.thy
+isabelle jedit -l Sail -d . riscv/Riscv.thy
 ```
 
 This will open the RISC-V specification.
diff --git a/snapshots/isabelle/ROOTS b/snapshots/isabelle/ROOTS
new file mode 100644
index 00000000..40dc0aef
--- /dev/null
+++ b/snapshots/isabelle/ROOTS
@@ -0,0 +1,5 @@
+aarch64
+cheri
+lib/lem
+lib/sail
+riscv
-- 
cgit v1.2.3