doc-src/IsarImplementation/IsaMakefile
author wenzelm
Fri Aug 12 22:10:49 2011 +0200 (2011-08-12)
changeset 44163 32e0c150c010
parent 39884 a16b18fd6299
child 46295 2548a85b0e02
permissions -rw-r--r--
normalized theory dependencies wrt. file_store;
     1 
     2 ## targets
     3 
     4 default: Thy
     5 images: 
     6 test: Thy
     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 false -d false -C false -D document
    18 
    19 
    20 ## sessions
    21 
    22 Thy: $(LOG)/HOL-Thy.gz
    23 
    24 $(LOG)/HOL-Thy.gz: Thy/ROOT.ML Thy/Base.thy Thy/Integration.thy		\
    25   Thy/Isar.thy Thy/Local_Theory.thy Thy/Logic.thy Thy/Prelim.thy	\
    26   Thy/Proof.thy Thy/Syntax.thy Thy/Tactic.thy Thy/ML.thy		\
    27   ../antiquote_setup.ML
    28 	@$(USEDIR) HOL Thy
    29 	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
    30 	 Thy/document/pdfsetup.sty Thy/document/session.tex
    31 
    32 
    33 ## clean
    34 
    35 clean:
    36 	@rm -f $(LOG)/HOL-Thy.gz