1
2
## targets
3
4
default: Locales
5
images:
6
test: Locales
7
8
all: images test
9
10
11
## global settings
12
13
SRC = $(ISABELLE_HOME)/src
14
OUT = $(ISABELLE_OUTPUT)
15
LOG = $(OUT)/log
16
USEDIR = $(ISATOOL) usedir -i true -d "" -D generated
17
18
19
## Locales
20
21
Locales: $(LOG)/HOL-Locales.gz
22
23
HOL:
24
@cd $(SRC)/HOL; $(ISATOOL) make HOL
25
26
$(LOG)/HOL-Locales.gz: $(OUT)/HOL Locales/ROOT.ML Locales/Locales.thy
27
@$(USEDIR) $(OUT)/HOL Locales
28
29
30
## clean
31
32
clean:
33
@rm -f $(LOG)/HOL-Locales.gz