## targets

default: paper
all: slides paper

## global settings

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


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


## Slides

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

slides: 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     


## Paper

session2: Paper/ROOT.ML \
         Paper/document/root* \
         Paper/Paper.thy
	@$(USEDIR) -D generated -f ROOT.ML HOL Paper

paper: session2 
	rm -f Paper/generated/*.aux # otherwise latex will fall over
	cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex 
	cp Paper/generated/root.pdf Paper/paper.pdf     


## clean

clean:
	rm -rf Slides/generated/*
	rm -rf Paper/generated/*