doc-src/IsarOverview/IsaMakefile
author kleing
Mon, 12 May 2003 11:33:55 +0200
changeset 13999 454a2ad0c381
child 14002 a36681758881
permissions -rw-r--r--
IsarOverview moved one level up
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
454a2ad0c381 IsarOverview moved one level up
kleing
parents:
diff changeset
    10
USEDIR = $(ISATOOL) usedir -i true -d ps -D document -v true
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