## targets

default: paper
images: 

all: defs heap paper


## global settings

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

USEDIR = $(ISABELLE_TOOL) usedir -t true 

defs: 
	@$(USEDIR) -f ROOT1.ML -b HOL rc7_defs

heap: 
	@$(USEDIR) -f ROOT3.ML -b rc7_defs rc7


session_paper:  ROOT.ML \
	document/root* \
	*.thy
	@$(USEDIR) -D generated -f ROOT2.ML rc7 .

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

## clean

clean:
	@rm -f $(OUT)/rc7
	@rm -f $(OUT)/rc7_defs