1 

     2 ## targets

     3 

     4 default: cookbook.pdf

     5 images: 

     6 test: CookBook

     7 

     8 all: images test

     9 

    10 TEXFILES = cookbook.tex

    11 

    12 ## global settings

    13 

    14 SRC = $(ISABELLE_HOME)/src

    15 OUT = $(ISABELLE_OUTPUT)

    16 LOG = $(OUT)/log

    17 

    18 USEDIR = $(ISATOOL) usedir -v true -i true -D generated

    19 

    20 

    21 ## CookBook

    22 

    23 CookBook: $(LOG)/HOL-CookBook.gz

    24 

    25 $(LOG)/HOL-CookBook.gz: CookBook/ROOT.ML CookBook/document/root.tex CookBook/*.thy

    26 	@$(USEDIR) HOL CookBook

    27 

    28 cookbook.pdf: $(LOG)/HOL-CookBook.gz $(TEXFILES)

    29 	pdflatex cookbook.tex

    30 	bibtex cookbook

    31 	pdflatex cookbook.tex

    32 	pdflatex cookbook.tex

    33 

    34 

    35 ## clean

    36 

    37 clean:

    38 	@rm -f $(LOG)/HOL-CookBook.gz CookBook/generated/*