doc-src/Locales/IsaMakefile
author wenzelm
Thu Aug 18 11:17:33 2005 +0200 (2005-08-18)
changeset 17098 dd769bd4d056
parent 16168 adb83939177f
child 17135 58f044289dca
permissions -rw-r--r--
usedir: removed option -H;
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@17098
    16
USEDIR = $(ISATOOL) usedir -i true -d "" -D generated
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:
ballarin@14586
    24
	@cd $(SRC)/HOL; $(ISATOOL) make HOL
ballarin@14586
    25
wenzelm@17098
    26
$(LOG)/HOL-Locales.gz: $(OUT)/HOL Locales/ROOT.ML Locales/Locales.thy \
wenzelm@17098
    27
  Locales/document/root.tex Locales/document/root.bib
ballarin@14586
    28
	@$(USEDIR) $(OUT)/HOL Locales
ballarin@14586
    29
ballarin@14586
    30
ballarin@14586
    31
## clean
ballarin@14586
    32
ballarin@14586
    33
clean:
ballarin@14586
    34
	@rm -f $(LOG)/HOL-Locales.gz