doc-src/IsarOverview/IsaMakefile
author haftmann
Mon, 05 Jul 2010 15:12:20 +0200
changeset 37715 44b27ea94a16
parent 30458 804de935c328
permissions -rw-r--r--
tuned proof
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
13999
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     1
## targets
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     2
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     3
default: Isar
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     4
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     5
## global settings
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     6
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     7
SRC = $(ISABELLE_HOME)/src
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     8
OUT = $(ISABELLE_OUTPUT)
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
     9
LOG = $(OUT)/log
28500
4b79e5d3d0aa replaced ISATOOL by ISABELLE_TOOL;
wenzelm
parents: 17124
diff changeset
    10
USEDIR = $(ISABELLE_TOOL) usedir -i false -g false -d false -D document -v true
13999
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
    11
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
    12
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
    13
## Isar
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
    14
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
    15
Isar: $(LOG)/HOL-Isar.gz
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
    16
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
    17
$(LOG)/HOL-Isar.gz: Isar/ROOT.ML Isar/document/intro.tex \
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
    18
  Isar/document/root.tex Isar/document/root.bib Isar/*.thy
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
    19
	@$(USEDIR) HOL Isar
30458
804de935c328 delete unused generated files;
wenzelm
parents: 28500
diff changeset
    20
	@rm -f Isar/document/isabelle.sty Isar/document/isabellesym.sty \
804de935c328 delete unused generated files;
wenzelm
parents: 28500
diff changeset
    21
	 Isar/document/pdfsetup.sty Isar/document/session.tex
13999
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
    22
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
    23
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
    24
## clean
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
    25
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
    26
clean:
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
    27
	@rm -f $(LOG)/HOL-Isar.gz
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
    28