doc-src/IsarImplementation/IsaMakefile
author haftmann
Fri Dec 29 12:11:04 2006 +0100 (2006-12-29)
changeset 21927 9677abe5d374
parent 21374 27ae6bc4102a
child 28500 4b79e5d3d0aa
permissions -rw-r--r--
added handling for explicit classrel witnesses
     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 = $(ISATOOL) usedir -v true -i false -d false -C false -D document
    18 
    19 
    20 ## Thy
    21 
    22 Thy: $(LOG)/Pure-Thy.gz
    23 
    24 $(LOG)/Pure-Thy.gz: Thy/ROOT.ML Thy/base.thy Thy/integration.thy Thy/isar.thy \
    25   Thy/locale.thy Thy/logic.thy Thy/prelim.thy Thy/proof.thy Thy/tactic.thy \
    26   Thy/ML.thy ../antiquote_setup.ML
    27 	@$(USEDIR) Pure Thy
    28 
    29 
    30 ## clean
    31 
    32 clean:
    33 	@rm -f $(LOG)/Pure-Thy.gz