sail/lib/isabelle/Makefile, branch sail2

Update location of sail2_instr_kinds.lem

2019-11-14T17:06:57+00:00

Perform isabelle check only when heap-img rule is used to avoid calling opam (which might not be present).

2019-11-14T17:01:57+00:00

Build Isabelle heap image instead of just running session

2019-01-31T14:42:29+00:00

Don't let "make" fail unnecessarily in lib/isabelle

2019-01-23T16:29:49+00:00

Only check for availability of Lem library if actually trying to build
an Isabelle heap image.

The RISCV environment variable collides with common usage by the RISC-V toolchain; use SAIL_RISCV instead to refer to sail-riscv.

2019-01-22T02:42:12+00:00

Pass Lem library path to Isabelle

2019-01-21T23:16:47+00:00

Don't require manual set up of Isabelle session directories

2019-01-21T20:07:20+00:00

Since Isabelle 2018, specifying the same directory both on the command
line and persistently in the user's ROOTS file is allowed, so we don't
have to choose between one or the other any more.

Fix build of Isabelle documentation

2019-01-21T18:53:20+00:00

Updated snapshots for Isabelle 2018

2018-08-29T14:35:44+00:00

Follow Sail2 renaming in Isabelle library

2018-06-21T16:54:17+00:00