prio/IsaMakefile
author urbanc
Tue, 24 Jan 2012 00:34:52 +0000
changeset 263 f1e6071a4613
parent 262 4190df6f4488
child 264 24199eb2c423
permissions -rwxr-xr-x
minor edit


## targets

default: paper
all: session paper

## global settings

SRC = $(ISABELLE_HOME)/src
OUT = $(ISABELLE_OUTPUT)
LOG = $(OUT)/log


USEDIR = $(ISABELLE_TOOL) usedir -v true -t true 


## Slides

session: ./ROOT.ML ./*.thy
	@$(USEDIR) -b -D generated -f ROOT.ML HOL Prio

paper: Paper/ROOT.ML \
       Paper/*.thy 
	@$(USEDIR) -D generated -f ROOT.ML Prio Paper
	rm -f Paper/generated/*.aux # otherwise latex will fall over  
	cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex 
	cd Paper/generated ; bibtex root
	cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex
	cp Paper/generated/root.pdf paper.pdf