1 

     2 ## targets

     3 

     4 default: Command

     5 images: 

     6 test: Command

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

    21 

    22 Command: $(LOG)/HOL-Command.gz

    23 

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

    25 	@$(USEDIR) HOL Command

    26 

    27 

    28 ## clean

    29 

    30 clean:

    31 	@rm -f $(LOG)/HOL-Command.gz