IsaMakefile
changeset 36 f5cc33a0ba99
parent 31 b6815473ee2e
child 55 d71424eb5d0c
equal deleted inserted replaced
35:d2ddce8b36fd 36:f5cc33a0ba99
    25 	rm -f Slides/generated/*.aux # otherwise latex will fall over
    25 	rm -f Slides/generated/*.aux # otherwise latex will fall over
    26 	cd Slides/generated ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex 
    26 	cd Slides/generated ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex 
    27 	cp Slides/generated/root.beamer.pdf Slides/slides.pdf     
    27 	cp Slides/generated/root.beamer.pdf Slides/slides.pdf     
    28 
    28 
    29 
    29 
    30 ## Paper
    30 ## long paper
    31 
    31 
    32 session2: tphols-2011/ROOT.ML \
    32 session2: tphols-2011/ROOT.ML \
    33          tphols-2011/document/root* \
    33          tphols-2011/document/root* \
    34          *.thy
    34          *.thy
    35 	@$(USEDIR) -D generated -f ROOT.ML ListP tphols-2011 
    35 	@$(USEDIR) -D generated -f ROOT.ML HOL tphols-2011 
    36 
    36 
    37 paper: session2 
    37 paper: session2 
    38 	rm -f tphols-2011/generated/*.aux # otherwise latex will fall over
    38 	rm -f tphols-2011/generated/*.aux # otherwise latex will fall over
    39 	cd tphols-2011/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex 
    39 	cd tphols-2011/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex 
       
    40 	cd tphols-2011/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex 
    40 	cp tphols-2011/generated/root.pdf tphols-2011/myhill.pdf     
    41 	cp tphols-2011/generated/root.pdf tphols-2011/myhill.pdf     
       
    42 
       
    43 
       
    44 ## ITP paper
       
    45 
       
    46 session3: Paper/ROOT.ML \
       
    47 	Paper/document/root* \
       
    48 	Paper/*.thy
       
    49 	@$(USEDIR) -D generated -f ROOT.ML HOL Paper
       
    50 
       
    51 itp: session3
       
    52 	rm -f Paper/generated/*.aux # otherwise latex will fall over      
       
    53 	cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex 
       
    54 	cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex
       
    55 	cp Paper/generated/root.pdf paper.pdf     
    41 
    56 
    42 
    57 
    43 ## clean
    58 ## clean
    44 
    59 
    45 clean:
    60 clean: