doc-src/Codegen/IsaMakefile
author boehmes
Tue, 07 Dec 2010 15:44:38 +0100
changeset 41064 0c447a17770a
parent 39753 ec6dfd9ce573
permissions -rw-r--r--
updated SMT certificates
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
20948
9b9910b82645 initial draft
haftmann
parents:
diff changeset
     1
9b9910b82645 initial draft
haftmann
parents:
diff changeset
     2
## targets
9b9910b82645 initial draft
haftmann
parents:
diff changeset
     3
9b9910b82645 initial draft
haftmann
parents:
diff changeset
     4
default: Thy
9b9910b82645 initial draft
haftmann
parents:
diff changeset
     5
images: 
9b9910b82645 initial draft
haftmann
parents:
diff changeset
     6
test: Thy
9b9910b82645 initial draft
haftmann
parents:
diff changeset
     7
9b9910b82645 initial draft
haftmann
parents:
diff changeset
     8
all: images test
9b9910b82645 initial draft
haftmann
parents:
diff changeset
     9
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    10
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    11
## global settings
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    12
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    13
SRC = $(ISABELLE_HOME)/src
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    14
OUT = $(ISABELLE_OUTPUT)
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    15
LOG = $(OUT)/log
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    16
28500
4b79e5d3d0aa replaced ISATOOL by ISABELLE_TOOL;
wenzelm
parents: 28213
diff changeset
    17
USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d false -C false -D document
20948
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    18
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    19
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    20
## Thy
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    21
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    22
THY = $(LOG)/HOL-Thy.gz
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    23
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    24
Thy: $(THY)
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    25
39753
ec6dfd9ce573 added dependency to base images to ensure that the doc test actually rebuilds the tutorials
krauss
parents: 39603
diff changeset
    26
$(THY): $(OUT)/HOL-Library Thy/ROOT.ML Thy/*.thy ../antiquote_setup.ML ../more_antiquote.ML
38501
cb92559d7554 base on HOL-Library
haftmann
parents: 38441
diff changeset
    27
	@$(USEDIR) -m no_brackets -m iff HOL-Library Thy
30458
804de935c328 delete unused generated files;
wenzelm
parents: 30226
diff changeset
    28
	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
39603
eb0a51312752 tuned whitespace
haftmann
parents: 38501
diff changeset
    29
	  Thy/document/pdfsetup.sty Thy/document/session.tex
20948
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    30
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    31
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    32
## clean
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    33
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    34
clean:
9b9910b82645 initial draft
haftmann
parents:
diff changeset
    35
	@rm -f $(THY)