diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/isabelle/Makefile | 6 | ||||
| -rw-r--r-- | lib/isabelle/ROOT | 3 |
2 files changed, 7 insertions, 2 deletions
diff --git a/lib/isabelle/Makefile b/lib/isabelle/Makefile index 407e6871..84af5d75 100644 --- a/lib/isabelle/Makefile +++ b/lib/isabelle/Makefile @@ -1,4 +1,5 @@ THYS = Sail_impl_base.thy Sail_values.thy Sail_operators.thy \ + Sail_operators_mwords.thy Sail_operators_bitlists.thy \ State_monad.thy State.thy Prompt_monad.thy Prompt.thy EXTRA_THYS = State_monad_extras.thy Prompt_monad_extras.thy @@ -22,7 +23,10 @@ Sail_values.thy: ../../src/gen_lib/sail_values.lem Sail_impl_base.thy Sail_operators.thy: ../../src/gen_lib/sail_operators.lem Sail_values.thy lem -isa -outdir . -lib ../../src/lem_interp -lib ../../src/gen_lib $< -Sail_operators_mwords.thy: ../../src/gen_lib/sail_operators_mwords.lem Sail_values.thy +Sail_operators_mwords.thy: ../../src/gen_lib/sail_operators_mwords.lem Sail_operators.thy + lem -isa -outdir . -lib ../../src/lem_interp -lib ../../src/gen_lib $< + +Sail_operators_bitlists.thy: ../../src/gen_lib/sail_operators_bitlists.lem Sail_operators.thy lem -isa -outdir . -lib ../../src/lem_interp -lib ../../src/gen_lib $< State_monad.thy: ../../src/gen_lib/state_monad.lem Sail_values.thy diff --git a/lib/isabelle/ROOT b/lib/isabelle/ROOT index 2062b64b..c798447e 100644 --- a/lib/isabelle/ROOT +++ b/lib/isabelle/ROOT @@ -4,7 +4,8 @@ session "Sail" = "LEM" + Sail_values State Prompt - Sail_operators + Sail_operators_mwords + Sail_operators_bitlists (*session "Sail" = "Sail_Base" + options [document = false] |