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 -d false -D document |
16 USEDIR = $(ISABELLE_TOOL) usedir -d false -D document |
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; $(ISABELLE_TOOL) make HOL |
25 |
25 |
26 $(LOG)/HOL-Locales.gz: $(OUT)/HOL Locales/ROOT.ML Locales/Examples.thy \ |
26 $(LOG)/HOL-Locales.gz: $(OUT)/HOL Locales/ROOT.ML Locales/Examples.thy \ |
27 Locales/Examples1.thy Locales/Examples2.thy Locales/Examples3.thy \ |
27 Locales/Examples1.thy Locales/Examples2.thy Locales/Examples3.thy \ |
28 Locales/document/root.tex Locales/document/root.bib |
28 Locales/document/root.tex Locales/document/root.bib |
29 @$(USEDIR) $(OUT)/HOL Locales |
29 @$(USEDIR) $(OUT)/HOL Locales |