1 

     2 ## targets

     3 

     4 default: simple-keyword

     5 images: 

     6 test: simple-keyword

     7 

     8 all: images test

     9 

    10 

    11 ## global settings

    12 

    13 SRC = $(ISABELLE_HOME)/src

    14 OUT = $(ISABELLE_OUTPUT)

    15 LOG = $(OUT)/log

    16 

    17 USEDIR = $(ISABELLE_TOOL) usedir -v true -i true -d pdf  ## -D generated

    18 

    19 

    20 ## simple-keyword

    21 

    22 simple-keyword: $(LOG)/HOL-Nominal-simple-keyword.gz

    23 

    24 $(LOG)/HOL-Nominal-simple-keyword.gz: ## simple-keyword/ROOT.ML simple-keyword/document/root.tex simple-keyword/*.thy

    25 	@$(USEDIR) HOL-Nominal simple-keyword

    26 

    27 

    28 ## clean

    29 

    30 clean:

    31 	@rm -f $(LOG)/HOL-Nominal-simple-keyword.gz