Mercurial Mercurial > hg > regexp / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
prio/IsaMakefile
author wu
Mon, 13 Aug 2012 12:08:52 +0000
changeset 364 21428f38e506
parent 361 484c7b83f251
permissions -rwxr-xr-x
add comments by christian


## targets

default: itp
all: session itp slides1

## global settings

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


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


## Slides

session1: Slides/ROOT1.ML \
	Slides/document/root* \
	Slides/Slides1.thy
	@$(USEDIR) -D generated -f ROOT1.ML HOL Slides

slides1: session1
	rm -f Slides/generated/*.aux # otherwise latex will fall over
	cd Slides/generated ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex
	cp Slides/generated/root.beamer.pdf Slides/slides.pdf

# main files                        

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


# itp paper

itp: Paper/*.thy Paper/*.ML 
	@$(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 


slides: Slides/ROOT1.ML Slides/*.thy 
	@$(USEDIR) -D generated -f ROOT1.ML Prio Slides
	rm -f Slides/generated/*.aux # otherwise latex will fall over
	cd Slides/generated ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex
	cp Slides/generated/root.beamer.pdf Slides/slides.pdf
regexp