doc-src/IsarOverview/IsaMakefile
author wenzelm
Sat Apr 30 20:48:29 2011 +0200 (2011-04-30)
changeset 42506 876887b07e8d
parent 30458 804de935c328
permissions -rw-r--r--
more robust error handling (NB: Source.source requires total scanner or recover);
tuned;
kleing@13999
     1
## targets
kleing@13999
     2
kleing@13999
     3
default: Isar
kleing@13999
     4
kleing@13999
     5
## global settings
kleing@13999
     6
kleing@13999
     7
SRC = $(ISABELLE_HOME)/src
kleing@13999
     8
OUT = $(ISABELLE_OUTPUT)
kleing@13999
     9
LOG = $(OUT)/log
wenzelm@28500
    10
USEDIR = $(ISABELLE_TOOL) usedir -i false -g false -d false -D document -v true
kleing@13999
    11
kleing@13999
    12
kleing@13999
    13
## Isar
kleing@13999
    14
kleing@13999
    15
Isar: $(LOG)/HOL-Isar.gz
kleing@13999
    16
kleing@13999
    17
$(LOG)/HOL-Isar.gz: Isar/ROOT.ML Isar/document/intro.tex \
kleing@13999
    18
  Isar/document/root.tex Isar/document/root.bib Isar/*.thy
kleing@13999
    19
	@$(USEDIR) HOL Isar
wenzelm@30458
    20
	@rm -f Isar/document/isabelle.sty Isar/document/isabellesym.sty \
wenzelm@30458
    21
	 Isar/document/pdfsetup.sty Isar/document/session.tex
kleing@13999
    22
kleing@13999
    23
kleing@13999
    24
## clean
kleing@13999
    25
kleing@13999
    26
clean:
kleing@13999
    27
	@rm -f $(LOG)/HOL-Isar.gz
kleing@13999
    28