doc-src/Locales/IsaMakefile
author hoelzl
Thu, 09 Jun 2011 14:24:34 +0200
changeset 43342 2929f96d3ae7
parent 30458 804de935c328
permissions -rw-r--r--
merged
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
14586
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
     1
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
     2
## targets
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
     3
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
     4
default: Locales
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
     5
images:
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
     6
test: Locales
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
     7
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
     8
all: images test
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
     9
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
    10
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
    11
## global settings
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
    12
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
    13
SRC = $(ISABELLE_HOME)/src
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
    14
OUT = $(ISABELLE_OUTPUT)
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
    15
LOG = $(OUT)/log
28500
4b79e5d3d0aa replaced ISATOOL by ISABELLE_TOOL;
wenzelm
parents: 27063
diff changeset
    16
USEDIR = $(ISABELLE_TOOL) usedir -d false -D document
14586
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
    17
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
    18
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
    19
## Locales
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
    20
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
    21
Locales: $(LOG)/HOL-Locales.gz
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
    22
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
    23
HOL:
28500
4b79e5d3d0aa replaced ISATOOL by ISABELLE_TOOL;
wenzelm
parents: 27063
diff changeset
    24
	@cd $(SRC)/HOL; $(ISABELLE_TOOL) make HOL
14586
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
    25
27063
d1d35284542f New version covering interpretation.
ballarin
parents: 17135
diff changeset
    26
$(LOG)/HOL-Locales.gz: $(OUT)/HOL Locales/ROOT.ML Locales/Examples.thy \
d1d35284542f New version covering interpretation.
ballarin
parents: 17135
diff changeset
    27
  Locales/Examples1.thy Locales/Examples2.thy Locales/Examples3.thy \
17098
dd769bd4d056 usedir: removed option -H;
wenzelm
parents: 16168
diff changeset
    28
  Locales/document/root.tex Locales/document/root.bib
14586
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
    29
	@$(USEDIR) $(OUT)/HOL Locales
30458
804de935c328 delete unused generated files;
wenzelm
parents: 28500
diff changeset
    30
	@rm -f Locales/document/isabelle.sty Locales/document/isabellesym.sty \
804de935c328 delete unused generated files;
wenzelm
parents: 28500
diff changeset
    31
	 Locales/document/pdfsetup.sty
14586
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
    32
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
    33
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
    34
## clean
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
    35
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
    36
clean:
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset
    37
	@rm -f $(LOG)/HOL-Locales.gz