equal
deleted
inserted
replaced
1 |
1 |
2 ## targets |
2 ## targets |
3 |
3 |
4 default: Quot |
4 default: Quot |
5 images: |
5 images: |
6 test: Quot |
|
7 |
6 |
8 all: images test |
7 all: Quot |
9 |
8 |
10 |
9 |
11 ## global settings |
10 ## global settings |
12 |
11 |
13 SRC = $(ISABELLE_HOME)/src |
12 SRC = $(ISABELLE_HOME)/src |
14 OUT = $(ISABELLE_OUTPUT) |
13 OUT = $(ISABELLE_OUTPUT) |
15 LOG = $(OUT)/log |
14 LOG = $(OUT)/log |
16 |
15 |
17 USEDIR = $(ISABELLE_TOOL) usedir -v true -i true -d pdf ## -D generated |
16 USEDIR = $(ISABELLE_TOOL) usedir -v true -i true -d pdf ## -D generated |
18 |
17 |
19 |
|
20 ## Quot |
18 ## Quot |
21 |
19 |
22 Quot: $(LOG)/HOL-Quot.gz |
20 Quot: $(LOG)/HOL-Quot.gz |
23 |
21 |
24 $(LOG)/HOL-Quot.gz: Quot/ROOT.ML Quot/*.thy |
22 $(LOG)/HOL-Quot.gz: Quot/ROOT.ML Quot/*.thy |
25 @$(USEDIR) HOL Quot |
23 @$(USEDIR) HOL-Nominal Quot |
26 |
24 |
27 |
25 |
28 ## clean |
26 ## clean |
29 |
27 |
30 clean: |
28 clean: |