doc-src/Locales/IsaMakefile
author wenzelm
Fri Aug 12 22:10:49 2011 +0200 (2011-08-12)
changeset 44163 32e0c150c010
parent 30458 804de935c328
permissions -rw-r--r--
normalized theory dependencies wrt. file_store;
ballarin@14586
     1
ballarin@14586
     2
## targets
ballarin@14586
     3
ballarin@14586
     4
default: Locales
ballarin@14586
     5
images:
ballarin@14586
     6
test: Locales
ballarin@14586
     7
ballarin@14586
     8
all: images test
ballarin@14586
     9
ballarin@14586
    10
ballarin@14586
    11
## global settings
ballarin@14586
    12
ballarin@14586
    13
SRC = $(ISABELLE_HOME)/src
ballarin@14586
    14
OUT = $(ISABELLE_OUTPUT)
ballarin@14586
    15
LOG = $(OUT)/log
wenzelm@28500
    16
USEDIR = $(ISABELLE_TOOL) usedir -d false -D document
ballarin@14586
    17
ballarin@14586
    18
ballarin@14586
    19
## Locales
ballarin@14586
    20
ballarin@14586
    21
Locales: $(LOG)/HOL-Locales.gz
ballarin@14586
    22
ballarin@14586
    23
HOL:
wenzelm@28500
    24
	@cd $(SRC)/HOL; $(ISABELLE_TOOL) make HOL
ballarin@14586
    25
ballarin@27063
    26
$(LOG)/HOL-Locales.gz: $(OUT)/HOL Locales/ROOT.ML Locales/Examples.thy \
ballarin@27063
    27
  Locales/Examples1.thy Locales/Examples2.thy Locales/Examples3.thy \
wenzelm@17098
    28
  Locales/document/root.tex Locales/document/root.bib
ballarin@14586
    29
	@$(USEDIR) $(OUT)/HOL Locales
wenzelm@30458
    30
	@rm -f Locales/document/isabelle.sty Locales/document/isabellesym.sty \
wenzelm@30458
    31
	 Locales/document/pdfsetup.sty
ballarin@14586
    32
ballarin@14586
    33
ballarin@14586
    34
## clean
ballarin@14586
    35
ballarin@14586
    36
clean:
ballarin@14586
    37
	@rm -f $(LOG)/HOL-Locales.gz