doc-src/Functions/IsaMakefile
author wenzelm
Tue, 22 May 2012 19:02:17 +0200
changeset 47885 b987aa8b9310
parent 39753 ec6dfd9ce573
permissions -rw-r--r--
Added tag Isabelle2012 for changeset 21c42b095c84
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
21212
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
     1
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
     2
## targets
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
     3
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
     4
default: Thy
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
     5
images: 
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
     6
test: Thy
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
     7
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
     8
all: images test
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
     9
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    10
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    11
## global settings
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    12
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    13
SRC = $(ISABELLE_HOME)/src
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    14
OUT = $(ISABELLE_OUTPUT)
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    15
LOG = $(OUT)/log
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    16
28500
4b79e5d3d0aa replaced ISATOOL by ISABELLE_TOOL;
wenzelm
parents: 21212
diff changeset
    17
USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d false -C false -D document
21212
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    18
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    19
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    20
## Thy
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    21
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    22
THY = $(LOG)/HOL-Thy.gz
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    23
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    24
Thy: $(THY)
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    25
39753
ec6dfd9ce573 added dependency to base images to ensure that the doc test actually rebuilds the tutorials
krauss
parents: 30458
diff changeset
    26
$(THY): $(OUT)/HOL Thy/ROOT.ML Thy/Functions.thy
21212
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    27
	@$(USEDIR) HOL Thy
30458
804de935c328 delete unused generated files;
wenzelm
parents: 30226
diff changeset
    28
	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
804de935c328 delete unused generated files;
wenzelm
parents: 30226
diff changeset
    29
	 Thy/document/pdfsetup.sty Thy/document/session.tex
21212
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    30
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    31
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    32
## clean
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    33
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    34
clean:
547224bf9348 Added a (stub of a) function tutorial
krauss
parents:
diff changeset
    35
	@rm -f $(THY)