doc-src/IsarTut/IsaMakefile
author kleing
Mon, 29 Dec 2003 06:49:26 +0100
changeset 14333 14f29eb097a3
parent 13202 53022e5f73ff
permissions -rw-r--r--
\<^bsub> .. \<^esub>
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
13202
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
     1
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
     2
## targets
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
     3
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
     4
default: Tutorial
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
     5
images:
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
     6
test: Tutorial
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
     7
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
     8
all: images test
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
     9
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
    10
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
    11
## global settings
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
    12
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
    13
SRC = $(ISABELLE_HOME)/src
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
    14
OUT = $(ISABELLE_OUTPUT)
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
    15
LOG = $(OUT)/log
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
    16
USEDIR = $(ISATOOL) usedir -i true -d "" -D ../generated
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
    17
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
    18
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
    19
## Tutorial
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
    20
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
    21
Tutorial: HOL $(LOG)/HOL-Tutorial.gz
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
    22
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
    23
HOL:
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
    24
	@cd $(SRC)/HOL; $(ISATOOL) make HOL
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
    25
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
    26
$(LOG)/HOL-Tutorial.gz: $(OUT)/HOL Tutorial/ROOT.ML Tutorial/Tutorial.thy
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
    27
	@$(USEDIR) $(OUT)/HOL Tutorial
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
    28
	@rm -f generated/pdfsetup.sty generated/session.tex
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
    29
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
    30
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
    31
## clean
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
    32
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
    33
clean:
53022e5f73ff initial setup;
wenzelm
parents:
diff changeset
    34
	@rm -f $(LOG)/HOL-Tutorial.gz