doc-src/IsarOverview/IsaMakefile
author wenzelm
Sat, 04 Oct 2008 16:05:09 +0200
changeset 28500 4b79e5d3d0aa
parent 17124 19ea4a0f4ec9
child 30458 804de935c328
permissions -rw-r--r--
replaced ISATOOL by ISABELLE_TOOL;
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
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
    20
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
    21
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
    22
## clean
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
	@rm -f $(LOG)/HOL-Isar.gz
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
    26