doc-src/IsarImplementation/IsaMakefile
author wenzelm
Sat Oct 04 16:05:09 2008 +0200 (2008-10-04 ago)
changeset 28500 4b79e5d3d0aa
parent 21374 27ae6bc4102a
child 29755 d66b34e46bdf
permissions -rw-r--r--
replaced ISATOOL by ISABELLE_TOOL;
wenzelm@18537
     1
wenzelm@18537
     2
## targets
wenzelm@18537
     3
wenzelm@18537
     4
default: Thy
wenzelm@18537
     5
images: 
wenzelm@18537
     6
test: Thy
wenzelm@18537
     7
wenzelm@18537
     8
all: images test
wenzelm@18537
     9
wenzelm@18537
    10
wenzelm@18537
    11
## global settings
wenzelm@18537
    12
wenzelm@18537
    13
SRC = $(ISABELLE_HOME)/src
wenzelm@18537
    14
OUT = $(ISABELLE_OUTPUT)
wenzelm@18537
    15
LOG = $(OUT)/log
wenzelm@18537
    16
wenzelm@28500
    17
USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d false -C false -D document
wenzelm@18537
    18
wenzelm@18537
    19
wenzelm@18537
    20
## Thy
wenzelm@18537
    21
wenzelm@18537
    22
Thy: $(LOG)/Pure-Thy.gz
wenzelm@18537
    23
wenzelm@20472
    24
$(LOG)/Pure-Thy.gz: Thy/ROOT.ML Thy/base.thy Thy/integration.thy Thy/isar.thy \
wenzelm@18537
    25
  Thy/locale.thy Thy/logic.thy Thy/prelim.thy Thy/proof.thy Thy/tactic.thy \
wenzelm@21374
    26
  Thy/ML.thy ../antiquote_setup.ML
wenzelm@18537
    27
	@$(USEDIR) Pure Thy
wenzelm@18537
    28
wenzelm@18537
    29
wenzelm@18537
    30
## clean
wenzelm@18537
    31
wenzelm@18537
    32
clean:
wenzelm@18537
    33
	@rm -f $(LOG)/Pure-Thy.gz