equal
deleted
inserted
replaced
2 # IsaMakefile for Tutorial |
2 # IsaMakefile for Tutorial |
3 # |
3 # |
4 |
4 |
5 ## targets |
5 ## targets |
6 |
6 |
7 default: HOL-ToyList HOL-Ifexpr HOL-CodeGen HOL-Trie HOL-Datatype HOL-Recdef HOL-Advanced HOL-Misc styles |
7 default: HOL-ToyList HOL-Ifexpr HOL-CodeGen HOL-Trie HOL-Datatype HOL-Recdef HOL-Advanced HOL-CTL HOL-Misc styles |
8 images: |
8 images: |
9 test: |
9 test: |
10 all: default |
10 all: default |
11 |
11 |
12 |
12 |
99 |
99 |
100 $(LOG)/HOL-Advanced.gz: $(OUT)/HOL Advanced/simp.thy Advanced/ROOT.ML |
100 $(LOG)/HOL-Advanced.gz: $(OUT)/HOL Advanced/simp.thy Advanced/ROOT.ML |
101 @$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Advanced |
101 @$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Advanced |
102 @rm -f tutorial.dvi |
102 @rm -f tutorial.dvi |
103 |
103 |
|
104 ## HOL-CTL |
|
105 |
|
106 HOL-CTL: HOL $(LOG)/HOL-CTL.gz |
|
107 |
|
108 $(LOG)/HOL-CTL.gz: $(OUT)/HOL CTL/PDL.thy CTL/CTL.thy CTL/ROOT.ML |
|
109 @$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL CTL |
|
110 @rm -f tutorial.dvi |
|
111 |
104 ## HOL-Misc |
112 ## HOL-Misc |
105 |
113 |
106 HOL-Misc: HOL $(LOG)/HOL-Misc.gz |
114 HOL-Misc: HOL $(LOG)/HOL-Misc.gz |
107 |
115 |
108 $(LOG)/HOL-Misc.gz: $(OUT)/HOL Misc/ROOT.ML Misc/Tree.thy Misc/Tree2.thy \ |
116 $(LOG)/HOL-Misc.gz: $(OUT)/HOL Misc/ROOT.ML Misc/Tree.thy Misc/Tree2.thy \ |
115 |
123 |
116 |
124 |
117 ## clean |
125 ## clean |
118 |
126 |
119 clean: |
127 clean: |
120 @rm -f tutorial.dvi $(LOG)/HOL-Ifexpr.gz $(LOG)/HOL-CodeGen.gz $(LOG)/HOL-Misc.gz $(LOG)/HOL-ToyList.gz $(LOG)/HOL-ToyList2.gz $(LOG)/HOL-Trie.gz $(LOG)/HOL-Datatype.gz $(LOG)/HOL-Recdef.gz $(LOG)/HOL-Advanced.gz |
128 @rm -f tutorial.dvi $(LOG)/HOL-Ifexpr.gz $(LOG)/HOL-CodeGen.gz $(LOG)/HOL-Misc.gz $(LOG)/HOL-ToyList.gz $(LOG)/HOL-ToyList2.gz $(LOG)/HOL-Trie.gz $(LOG)/HOL-Datatype.gz $(LOG)/HOL-Recdef.gz $(LOG)/HOL-Advanced.gz $(LOG)/HOL-CTL.gz |