1 

     2 ## targets

     3 

     4 default: itp

     5 all: session itp slides1

     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 session1: Slides/ROOT1.ML \

    20 	Slides/document/root* \

    21 	Slides/Slides1.thy

    22 	@$(USEDIR) -D generated -f ROOT1.ML HOL Slides

    23 

    24 slides1: session1

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

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

    27 	cp Slides/generated/root.beamer.pdf Slides/slides.pdf

    28 

    29 # main files                        

    30 

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

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

    33 

    34 

    35 # itp paper

    36 

    37 itp: Paper/*.thy Paper/*.ML 

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

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

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

    41 	cd Paper/generated ; bibtex root

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

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

    44 

    45 

    46 slides: Slides/ROOT1.ML Slides/*.thy 

    47 	@$(USEDIR) -D generated -f ROOT1.ML Prio Slides

    48 	rm -f Slides/generated/*.aux # otherwise latex will fall over

    49 	cd Slides/generated ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex

    50 	cp Slides/generated/root.beamer.pdf Slides/slides.pdf

    51