equal
deleted
inserted
replaced
11 ## global settings |
11 ## global settings |
12 |
12 |
13 SRC = $(ISABELLE_HOME)/src |
13 SRC = $(ISABELLE_HOME)/src |
14 OUT = $(ISABELLE_OUTPUT) |
14 OUT = $(ISABELLE_OUTPUT) |
15 LOG = $(OUT)/log |
15 LOG = $(OUT)/log |
16 USEDIR = $(ISATOOL) usedir -i true -d "" -H false -D generated |
16 USEDIR = $(ISATOOL) usedir -i true -d "" -D generated |
17 |
17 |
18 |
18 |
19 ## Locales |
19 ## Locales |
20 |
20 |
21 Locales: $(LOG)/HOL-Locales.gz |
21 Locales: $(LOG)/HOL-Locales.gz |
22 |
22 |
23 HOL: |
23 HOL: |
24 @cd $(SRC)/HOL; $(ISATOOL) make HOL |
24 @cd $(SRC)/HOL; $(ISATOOL) make HOL |
25 |
25 |
26 $(LOG)/HOL-Locales.gz: $(OUT)/HOL Locales/ROOT.ML Locales/Locales.thy Locales/document/root.tex Locales/document/root.bib |
26 $(LOG)/HOL-Locales.gz: $(OUT)/HOL Locales/ROOT.ML Locales/Locales.thy \ |
|
27 Locales/document/root.tex Locales/document/root.bib |
27 @$(USEDIR) $(OUT)/HOL Locales |
28 @$(USEDIR) $(OUT)/HOL Locales |
28 |
29 |
29 |
30 |
30 ## clean |
31 ## clean |
31 |
32 |