diff -r 1b9163229f3f -r 66e0ec8acedc prio/IsaMakefile --- a/prio/IsaMakefile Thu Jun 21 15:04:48 2012 +0000 +++ b/prio/IsaMakefile Thu Jun 28 11:25:26 2012 +0000 @@ -2,7 +2,7 @@ ## targets default: itp -all: session itp +all: session itp slides1 ## global settings @@ -16,9 +16,24 @@ ## 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