8 -@$(ISABELLE_TOOL) build -a -n -c |
8 -@$(ISABELLE_TOOL) build -a -n -c |
9 |
9 |
10 all: |
10 all: |
11 @$(ISABELLE_TOOL) build -a |
11 @$(ISABELLE_TOOL) build -a |
12 |
12 |
13 Pure: |
13 |
|
14 Pure: $(ISABELLE_OUTPUT)/Pure |
|
15 |
|
16 $(ISABELLE_OUTPUT)/Pure: |
14 @$(ISABELLE_TOOL) build -b Pure |
17 @$(ISABELLE_TOOL) build -b Pure |
15 |
18 |
16 HOL: |
19 |
|
20 HOL: $(ISABELLE_OUTPUT)/HOL |
|
21 |
|
22 $(ISABELLE_OUTPUT)/HOL: |
17 @$(ISABELLE_TOOL) build -b HOL |
23 @$(ISABELLE_TOOL) build -b HOL |
18 |
24 |
19 HOL-Library: |
25 |
|
26 HOL-Library: $(ISABELLE_OUTPUT)/HOL-Library |
|
27 |
|
28 $(ISABELLE_OUTPUT)/HOL-Library: |
20 @$(ISABELLE_TOOL) build -b HOL-Library |
29 @$(ISABELLE_TOOL) build -b HOL-Library |
21 |
30 |
22 HOL-IMP: |
31 |
|
32 HOL-IMP: $(ISABELLE_OUTPUT)/HOL-IMP |
|
33 |
|
34 $(ISABELLE_OUTPUT)/HOL-IMP: |
23 @$(ISABELLE_TOOL) build -b HOL-IMP |
35 @$(ISABELLE_TOOL) build -b HOL-IMP |
24 |
36 |
25 HOL-Multivariate_Analysis: |
37 |
|
38 HOL-Multivariate_Analysis: $(ISABELLE_OUTPUT)/HOL-Multivariate_Analysis |
|
39 |
|
40 $(ISABELLE_OUTPUT)/HOL-Multivariate_Analysis: |
26 @$(ISABELLE_TOOL) build -b HOL-Multivariate_Analysis |
41 @$(ISABELLE_TOOL) build -b HOL-Multivariate_Analysis |
27 |
42 |
28 HOL-Nominal: |
43 |
|
44 HOL-Nominal: $(ISABELLE_OUTPUT)/HOL-Nominal |
|
45 |
|
46 $(ISABELLE_OUTPUT)/HOL-Nominal: |
29 @$(ISABELLE_TOOL) build -b HOL-Nominal |
47 @$(ISABELLE_TOOL) build -b HOL-Nominal |
30 |
48 |
31 HOL-Word: |
49 |
|
50 HOL-Word: $(ISABELLE_OUTPUT)/HOL-Word |
|
51 |
|
52 $(ISABELLE_OUTPUT)/HOL-Word: |
32 @$(ISABELLE_TOOL) build -b HOL-Word |
53 @$(ISABELLE_TOOL) build -b HOL-Word |
33 |
54 |
34 HOLCF: |
55 |
|
56 HOLCF: $(ISABELLE_OUTPUT)/HOLCF |
|
57 |
|
58 $(ISABELLE_OUTPUT)/HOLCF: |
35 @$(ISABELLE_TOOL) build -b HOLCF |
59 @$(ISABELLE_TOOL) build -b HOLCF |
36 |
60 |