equal
deleted
inserted
replaced
1 # |
|
2 # $Id$ |
|
3 # |
|
4 |
1 |
5 ## targets |
2 ## targets |
6 |
3 |
7 default: HOL-datatype |
4 default: all |
8 images: |
5 images: |
9 test: HOL-datatype HOL-record |
6 test: HOL-datatype HOL-record |
10 all: images test |
7 all: images test |
11 |
8 |
12 |
9 |
20 ## HOL-datatype |
17 ## HOL-datatype |
21 |
18 |
22 HOL: |
19 HOL: |
23 @cd $(SRC)/HOL; $(ISABELLE_TOOL) make HOL |
20 @cd $(SRC)/HOL; $(ISABELLE_TOOL) make HOL |
24 |
21 |
|
22 |
25 HOL-datatype: HOL $(LOG)/HOL-datatype.gz |
23 HOL-datatype: HOL $(LOG)/HOL-datatype.gz |
26 |
24 |
27 $(LOG)/HOL-datatype.gz: $(OUT)/HOL HOL-datatype/Brackin.thy \ |
25 $(LOG)/HOL-datatype.gz: $(OUT)/HOL HOL-datatype/ROOT.ML \ |
28 HOL-datatype/Instructions.thy HOL-datatype/SML.thy \ |
26 HOL-datatype/Brackin.thy HOL-datatype/Instructions.thy \ |
29 HOL-datatype/Verilog.thy |
27 HOL-datatype/SML.thy HOL-datatype/Verilog.thy |
30 @$(ISABELLE_TOOL) usedir -s HOL-datatype $(OUT)/HOL HOL-datatype |
28 @$(ISABELLE_TOOL) usedir -s datatype $(OUT)/HOL HOL-datatype |
|
29 |
|
30 |
|
31 ## HOL-record |
31 |
32 |
32 HOL-record: HOL $(LOG)/HOL-record.gz |
33 HOL-record: HOL $(LOG)/HOL-record.gz |
33 |
34 |
34 $(LOG)/HOL-record.gz: HOL-record/RecordBenchmark.thy |
35 $(LOG)/HOL-record.gz: $(OUT)/HOL HOL-record/ROOT.ML \ |
35 @$(ISABELLE_TOOL) usedir -s HOL-record $(OUT)/HOL HOL-record |
36 HOL-record/RecordBenchmark.thy |
|
37 @$(ISABELLE_TOOL) usedir -s record $(OUT)/HOL HOL-record |
|
38 |
36 |
39 |
37 ## clean |
40 ## clean |
38 |
41 |
39 clean: |
42 clean: |
40 @rm -f $(LOG)/HOL-datatype.gz $(LOG)/HOL-record.gz |
43 @rm -f $(LOG)/HOL-datatype.gz $(LOG)/HOL-record.gz |