equal
deleted
inserted
replaced
4 |
4 |
5 ## targets |
5 ## targets |
6 |
6 |
7 default: HOL-datatype |
7 default: HOL-datatype |
8 images: |
8 images: |
9 test: HOL-datatype |
9 test: HOL-datatype HOL-record |
10 all: images test |
10 all: images test |
11 |
11 |
12 |
12 |
13 ## global settings |
13 ## global settings |
14 |
14 |
27 $(LOG)/HOL-datatype.gz: $(OUT)/HOL HOL-datatype/Brackin.thy \ |
27 $(LOG)/HOL-datatype.gz: $(OUT)/HOL HOL-datatype/Brackin.thy \ |
28 HOL-datatype/Instructions.thy HOL-datatype/SML.thy \ |
28 HOL-datatype/Instructions.thy HOL-datatype/SML.thy \ |
29 HOL-datatype/Verilog.thy |
29 HOL-datatype/Verilog.thy |
30 @$(ISABELLE_TOOL) usedir -s HOL-datatype $(OUT)/HOL HOL-datatype |
30 @$(ISABELLE_TOOL) usedir -s HOL-datatype $(OUT)/HOL HOL-datatype |
31 |
31 |
|
32 HOL-record: HOL $(LOG)/HOL-record.gz |
|
33 |
|
34 $(LOG)/HOL-record.gz: HOL-record/RecordBenchmark.thy |
|
35 @$(ISABELLE_TOOL) usedir -s HOL-record $(OUT)/HOL HOL-record |
32 |
36 |
33 ## clean |
37 ## clean |
34 |
38 |
35 clean: |
39 clean: |
36 @rm -f $(LOG)/HOL-datatype.gz |
40 @rm -f $(LOG)/HOL-datatype.gz $(LOG)/HOL-record.gz |