1 

     2 ## targets

     3 

     4 default: paper

     5 images: 

     6 

     7 all: defs heap paper

     8 

     9 

    10 ## global settings

    11 

    12 SRC = $(ISABELLE_HOME)/src

    13 OUT = $(ISABELLE_OUTPUT)

    14 LOG = $(OUT)/log

    15 

    16 USEDIR = $(ISABELLE_TOOL) usedir -t true 

    17 

    18 defs: 

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

    20 

    21 heap: 

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

    23 

    24 

    25 session_paper:  ROOT.ML \

    26 	document/root* \

    27 	*.thy

    28 	@$(USEDIR) -D generated -f ROOT2.ML rc7 .

    29 

    30 paper: session_paper

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

    32 	cd generated ; $(ISABELLE_TOOL) latex -o pdf root.tex 

    33 	cd generated ; bibtex root

    34 	cd generated ; $(ISABELLE_TOOL) latex -o pdf root.tex

    35 	cp generated/root.pdf paper.pdf  

    36 

    37 ## clean

    38 

    39 clean:

    40 	@rm -f $(OUT)/rc7

    41 	@rm -f $(OUT)/rc7_defs