regexp: prio/IsaMakefile@4190df6f4488 (annotated)

262 4190df6f4488 initial version of the PIP formalisation urbanc parents: diff changeset	1
4190df6f4488 initial version of the PIP formalisation urbanc parents: diff changeset	2	## targets
4190df6f4488 initial version of the PIP formalisation urbanc parents: diff changeset	3
4190df6f4488 initial version of the PIP formalisation urbanc parents: diff changeset	4	default: paper
4190df6f4488 initial version of the PIP formalisation urbanc parents: diff changeset	5	all: session paper
4190df6f4488 initial version of the PIP formalisation urbanc parents: diff changeset	6
4190df6f4488 initial version of the PIP formalisation urbanc parents: diff changeset	7	## global settings
4190df6f4488 initial version of the PIP formalisation urbanc parents: diff changeset	8
4190df6f4488 initial version of the PIP formalisation urbanc parents: diff changeset	9	SRC = $(ISABELLE_HOME)/src
4190df6f4488 initial version of the PIP formalisation urbanc parents: diff changeset	10	OUT = $(ISABELLE_OUTPUT)
4190df6f4488 initial version of the PIP formalisation urbanc parents: diff changeset	11	LOG = $(OUT)/log
4190df6f4488 initial version of the PIP formalisation urbanc parents: diff changeset	12
4190df6f4488 initial version of the PIP formalisation urbanc parents: diff changeset	13
4190df6f4488 initial version of the PIP formalisation urbanc parents: diff changeset	14	USEDIR = $(ISABELLE_TOOL) usedir -v true -t true
4190df6f4488 initial version of the PIP formalisation urbanc parents: diff changeset	15
4190df6f4488 initial version of the PIP formalisation urbanc parents: diff changeset	16
4190df6f4488 initial version of the PIP formalisation urbanc parents: diff changeset	17	## Slides
4190df6f4488 initial version of the PIP formalisation urbanc parents: diff changeset	18
4190df6f4488 initial version of the PIP formalisation urbanc parents: diff changeset	19	session: ./ROOT.ML ./*.thy
4190df6f4488 initial version of the PIP formalisation urbanc parents: diff changeset	20	@$(USEDIR) -b -D generated -f ROOT.ML HOL Prio
4190df6f4488 initial version of the PIP formalisation urbanc parents: diff changeset	21
4190df6f4488 initial version of the PIP formalisation urbanc parents: diff changeset	22	paper: Paper/ROOT.ML \
4190df6f4488 initial version of the PIP formalisation urbanc parents: diff changeset	23	Paper/*.thy
4190df6f4488 initial version of the PIP formalisation urbanc parents: diff changeset	24	@$(USEDIR) -D generated -f ROOT.ML Prio Paper
4190df6f4488 initial version of the PIP formalisation urbanc parents: diff changeset	25	rm -f Paper/generated/*.aux # otherwise latex will fall over
4190df6f4488 initial version of the PIP formalisation urbanc parents: diff changeset	26	cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex
4190df6f4488 initial version of the PIP formalisation urbanc parents: diff changeset	27	cd Paper/generated ; bibtex root
4190df6f4488 initial version of the PIP formalisation urbanc parents: diff changeset	28	cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex
4190df6f4488 initial version of the PIP formalisation urbanc parents: diff changeset	29	cp Paper/generated/root.pdf paper.pdf

author	urbanc
	Tue, 24 Jan 2012 00:20:09 +0000
changeset 262	4190df6f4488
child 263	f1e6071a4613
permissions	-rwxr-xr-x