diff options
Diffstat (limited to 'lib/isabelle/Makefile')
| -rw-r--r-- | lib/isabelle/Makefile | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/lib/isabelle/Makefile b/lib/isabelle/Makefile index 50e6d471..1cff8f61 100644 --- a/lib/isabelle/Makefile +++ b/lib/isabelle/Makefile @@ -1,7 +1,7 @@ THYS = Sail_instr_kinds.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 +EXTRA_THYS = State_monad_extras.thy State_extras.thy Prompt_monad_extras.thy .PHONY: all heap-img clean @@ -29,16 +29,16 @@ Sail_operators_mwords.thy: ../../src/gen_lib/sail_operators_mwords.lem Sail_oper 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 +Prompt_monad.thy: ../../src/gen_lib/prompt_monad.lem Sail_values.thy lem -isa -outdir . -lib ../../src/lem_interp -lib ../../src/gen_lib $< -State.thy: ../../src/gen_lib/state.lem State_monad.thy State_monad_extras.thy +Prompt.thy: ../../src/gen_lib/prompt.lem Prompt_monad.thy Prompt_monad_extras.thy lem -isa -outdir . -lib ../../src/lem_interp -lib ../../src/gen_lib $< -Prompt_monad.thy: ../../src/gen_lib/prompt_monad.lem Sail_values.thy +State_monad.thy: ../../src/gen_lib/state_monad.lem Sail_values.thy lem -isa -outdir . -lib ../../src/lem_interp -lib ../../src/gen_lib $< -Prompt.thy: ../../src/gen_lib/prompt.lem Prompt_monad.thy Prompt_monad_extras.thy +State.thy: ../../src/gen_lib/state.lem Prompt.thy State_monad.thy State_monad_extras.thy lem -isa -outdir . -lib ../../src/lem_interp -lib ../../src/gen_lib $< clean: |