blob: 688dfa076c22631a52e81e44fc208bab429edf45 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
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_lemmas.thy State_lemmas.thy Prompt_monad_lemmas.thy
.PHONY: all heap-img clean
all: heap-img
heap-img: $(THYS) $(EXTRA_THYS) ROOT
@echo '*** To build a heap image with the Sail library, please'
@echo '*** add the ROOT file in this directory to your ROOTS file'
@echo '*** (e.g. $$HOME/.isabelle/Isabelle<version>/ROOTS)'
@echo '*** and add the isabelle binary to your PATH.'
isabelle build -b Sail
Sail_instr_kinds.thy: ../../src/lem_interp/sail_instr_kinds.lem
lem -isa -outdir . -lib ../../src/lem_interp -lib ../../src/gen_lib $<
Sail_values.thy: ../../src/gen_lib/sail_values.lem Sail_instr_kinds.thy
lem -isa -outdir . -lib ../../src/lem_interp -lib ../../src/gen_lib $<
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_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 $<
Prompt_monad.thy: ../../src/gen_lib/prompt_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_lemmas.thy
lem -isa -outdir . -lib ../../src/lem_interp -lib ../../src/gen_lib $<
State_monad.thy: ../../src/gen_lib/state_monad.lem Sail_values.thy
lem -isa -outdir . -lib ../../src/lem_interp -lib ../../src/gen_lib $<
State.thy: ../../src/gen_lib/state.lem Prompt.thy State_monad.thy State_monad_lemmas.thy
lem -isa -outdir . -lib ../../src/lem_interp -lib ../../src/gen_lib $<
clean:
-rm $(THYS)
-rm *Auxiliary.thy
|
