1 

     2 ## targets

     3 

     4 default: Quot

     5 images: 

     6 test: Quot

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

    21 

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

    23 

    24 $(LOG)/HOL-Quot.gz: Quot/ROOT.ML Quot/*.thy

    25 	@$(USEDIR) HOL Quot

    26 

    27 

    28 ## clean

    29 

    30 clean:

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