1 

     2 ## targets

     3 

     4 default: paper

     5 all: session paper

     6 

     7 ## global settings

     8 

     9 SRC = $(ISABELLE_HOME)/src

    10 OUT = $(ISABELLE_OUTPUT)

    11 LOG = $(OUT)/log

    12 

    13 

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

    15 

    16 

    17 ## Slides

    18 

    19 session: ./ROOT.ML ./*.thy

    20 	@$(USEDIR) -b -D generated -f ROOT.ML HOL Prio

    21 	

    22 paper: Paper/ROOT.ML \

    23        Paper/*.thy 

    24 	@$(USEDIR) -D generated -f ROOT.ML Prio Paper

    25 	rm -f Paper/generated/*.aux # otherwise latex will fall over  

    26 	cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex 

    27 	cd Paper/generated ; bibtex root

    28 	cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex

    29 	cp Paper/generated/root.pdf paper.pdf