equal
deleted
inserted
replaced
6 |
6 |
7 ## targets |
7 ## targets |
8 |
8 |
9 default: HOLCF |
9 default: HOLCF |
10 images: HOLCF IOA |
10 images: HOLCF IOA |
11 test: HOLCF-IMP HOLCF-ex IOA-ABP IOA-NTP |
11 test: HOLCF-IMP HOLCF-ex IOA-ABP IOA-NTP IOA-Storage |
12 all: images test |
12 all: images test |
13 |
13 |
14 |
14 |
15 ## global settings |
15 ## global settings |
16 |
16 |
117 IOA/NTP/Receiver.thy IOA/NTP/Sender.ML IOA/NTP/Sender.thy \ |
117 IOA/NTP/Receiver.thy IOA/NTP/Sender.ML IOA/NTP/Sender.thy \ |
118 IOA/NTP/Spec.thy |
118 IOA/NTP/Spec.thy |
119 @cd IOA; $(ISATOOL) usedir $(OUT)/IOA NTP |
119 @cd IOA; $(ISATOOL) usedir $(OUT)/IOA NTP |
120 |
120 |
121 |
121 |
|
122 ## IOA-Storage |
|
123 |
|
124 IOA-Storage: IOA $(LOG)/IOA-Storage.gz |
|
125 |
|
126 $(LOG)/IOA-Storage.gz: IOA/Storage/Action.ML IOA/Storage/Action.thy \ |
|
127 IOA/Storage/Correctness.ML IOA/Storage/Correctness.thy \ |
|
128 IOA/Storage/Impl.ML IOA/Storage/Impl.thy IOA/Storage/ROOT.ML \ |
|
129 IOA/Storage/Spec.thy |
|
130 @cd IOA; $(ISATOOL) usedir $(OUT)/IOA Storage |
|
131 |
|
132 |
122 ## clean |
133 ## clean |
123 |
134 |
124 clean: |
135 clean: |
125 @rm -f $(OUT)/HOLCF $(LOG)/HOLCF.gz $(LOG)/HOLCF-IMP.gz \ |
136 @rm -f $(OUT)/HOLCF $(LOG)/HOLCF.gz $(LOG)/HOLCF-IMP.gz \ |
126 $(LOG)/HOLCF-ex.gz $(OUT)/IOA $(LOG)/IOA.gz $(LOG)/IOA-ABP.gz \ |
137 $(LOG)/HOLCF-ex.gz $(OUT)/IOA $(LOG)/IOA.gz $(LOG)/IOA-ABP.gz \ |
127 $(LOG)/IOA-NTP.gz |
138 $(LOG)/IOA-NTP.gz $(LOG)/IOA-Storage.gz |