1 

     2 ## targets

     3 

     4 default: utm

     5 images: utm

     6 test: 

     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 ## utm

    21 

    22 utm: $(OUT)/utm

    23 

    24 $(OUT)/utm: ## ROOT.ML document/root.tex *.thy

    25 	@$(USEDIR) -b HOL utm

    26 

    27 

    28 ## clean

    29 

    30 clean:

    31 	@rm -f $(OUT)/utm