tm: IsaMakefile@26b17f2d583e (annotated)

0 aa8656a8dbef initial setup Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	1
aa8656a8dbef initial setup Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	2	## targets
aa8656a8dbef initial setup Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	3
aa8656a8dbef initial setup Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	4	default: utm
aa8656a8dbef initial setup Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	5	images: utm
aa8656a8dbef initial setup Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	6	test:
aa8656a8dbef initial setup Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	7
aa8656a8dbef initial setup Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	8	all: images test
aa8656a8dbef initial setup Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	9
aa8656a8dbef initial setup Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	10
aa8656a8dbef initial setup Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	11	## global settings
aa8656a8dbef initial setup Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	12
aa8656a8dbef initial setup Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	13	SRC = $(ISABELLE_HOME)/src
aa8656a8dbef initial setup Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	14	OUT = $(ISABELLE_OUTPUT)
aa8656a8dbef initial setup Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	15	LOG = $(OUT)/log
aa8656a8dbef initial setup Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	16
2 26b17f2d583e updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 1 diff changeset	17	USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -D generated
0 aa8656a8dbef initial setup Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	18
aa8656a8dbef initial setup Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	19
aa8656a8dbef initial setup Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	20	## utm
aa8656a8dbef initial setup Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	21
aa8656a8dbef initial setup Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	22	utm: $(OUT)/utm
aa8656a8dbef initial setup Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	23
1 4b9aa15ff713 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 0 diff changeset	24	$(OUT)/utm: *.thy
2 26b17f2d583e updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 1 diff changeset	25	@$(USEDIR) -f ROOT.ML -b HOL UTM
1 4b9aa15ff713 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 0 diff changeset	26
2 26b17f2d583e updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 1 diff changeset	27	paper: ROOT.ML \
1 4b9aa15ff713 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 0 diff changeset	28	document/root* \
4b9aa15ff713 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 0 diff changeset	29	*.thy
2 26b17f2d583e updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 1 diff changeset	30	rm -rf generated # otherwise latex will fall over
26b17f2d583e updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 1 diff changeset	31	@$(USEDIR) -f ROOT1.ML UTM .
26b17f2d583e updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 1 diff changeset	32	$(ISABELLE_TOOL) document -o pdf generated
1 4b9aa15ff713 added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 0 diff changeset	33	cp generated/root.pdf paper.pdf
0 aa8656a8dbef initial setup Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	34
aa8656a8dbef initial setup Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	35
aa8656a8dbef initial setup Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	36	## clean
aa8656a8dbef initial setup Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	37
aa8656a8dbef initial setup Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	38	clean:
aa8656a8dbef initial setup Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	39	@rm -f $(OUT)/utm

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Wed, 26 Dec 2012 19:03:06 +0000
changeset 2	26b17f2d583e
parent 1	4b9aa15ff713
child 48	559e5c6e5113
permissions	-rw-r--r--