diff options
| author | Thomas Bauereiss | 2018-07-11 13:42:01 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-07-11 13:42:01 +0100 |
| commit | 10ff48091a2bc49756fa48daff82170f907878fe (patch) | |
| tree | f06f421f756b59e6760d10c1f811a4acd8e3f7e9 /snapshots | |
| parent | e2289d8a86ff57881e1008b42a11409974254b69 (diff) | |
Add ROOTS file to Isabelle snapshot
Diffstat (limited to 'snapshots')
| -rw-r--r-- | snapshots/isabelle/README.md | 7 | ||||
| -rw-r--r-- | snapshots/isabelle/ROOTS | 5 |
2 files changed, 9 insertions, 3 deletions
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 |