doc-src/IsarAdvanced/Functions/IsaMakefile
author wenzelm
Sat Oct 04 16:05:09 2008 +0200 (2008-10-04 ago)
changeset 28500 4b79e5d3d0aa
parent 21212 547224bf9348
permissions -rw-r--r--
replaced ISATOOL by ISABELLE_TOOL;
krauss@21212
     1
krauss@21212
     2
## targets
krauss@21212
     3
krauss@21212
     4
default: Thy
krauss@21212
     5
images: 
krauss@21212
     6
test: Thy
krauss@21212
     7
krauss@21212
     8
all: images test
krauss@21212
     9
krauss@21212
    10
krauss@21212
    11
## global settings
krauss@21212
    12
krauss@21212
    13
SRC = $(ISABELLE_HOME)/src
krauss@21212
    14
OUT = $(ISABELLE_OUTPUT)
krauss@21212
    15
LOG = $(OUT)/log
krauss@21212
    16
wenzelm@28500
    17
USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d false -C false -D document
krauss@21212
    18
krauss@21212
    19
krauss@21212
    20
## Thy
krauss@21212
    21
krauss@21212
    22
THY = $(LOG)/HOL-Thy.gz
krauss@21212
    23
krauss@21212
    24
Thy: $(THY)
krauss@21212
    25
krauss@21212
    26
$(THY): Thy/ROOT.ML Thy/Functions.thy
krauss@21212
    27
	@$(USEDIR) HOL Thy
krauss@21212
    28
krauss@21212
    29
krauss@21212
    30
## clean
krauss@21212
    31
krauss@21212
    32
clean:
krauss@21212
    33
	@rm -f $(THY)