doc-src/Locales/IsaMakefile
author ballarin
Fri Apr 16 11:35:44 2004 +0200 (2004-04-16)
changeset 14586 7b8d56b4ac60
child 16168 adb83939177f
permissions -rw-r--r--
Added Locales Tutorial.
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
ballarin@14586
    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
ballarin@14586
    26
$(LOG)/HOL-Locales.gz: $(OUT)/HOL Locales/ROOT.ML Locales/Locales.thy
ballarin@14586
    27
	@$(USEDIR) $(OUT)/HOL Locales
ballarin@14586
    28
ballarin@14586
    29
ballarin@14586
    30
## clean
ballarin@14586
    31
ballarin@14586
    32
clean:
ballarin@14586
    33
	@rm -f $(LOG)/HOL-Locales.gz