1 

     2 ## targets

     3 

     4 default: Nominal2

     5 images: 

     6 

     7 all: Nominal2

     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 -v true -t true ##-D generated

    17 

    18 

    19 ## Nominal2

    20 

    21 Nominal2: $(LOG)/HOL-Nominal2.gz

    22 

    23 $(LOG)/HOL-Nominal2.gz: Nominal/ROOT.ML Nominal/*.thy

    24 	@$(USEDIR) HOL Nominal

    25 

    26 paper: $(LOG)/HOL-Nominal2-Paper.gz

    27 

    28 $(LOG)/HOL-Nominal2-Paper.gz: Paper/ROOT.ML Paper/document/root.tex Paper/*.thy

    29 	@$(USEDIR) -D generated HOL Paper

    30 	$(ISATOOL) document -o pdf  Paper/generated

    31 	@cp Paper/document.pdf paper.pdf

    32 

    33 ## clean

    34 

    35 clean:

    36 	@rm -f $(LOG)/HOL-Nominal2.gz