doc-src/System/IsaMakefile
author wenzelm
Sat, 21 Jul 2012 22:13:50 +0200
changeset 48421 c4d337782de4
parent 47825 4f25960417ae
child 48578 21361b6189a6
permissions -rw-r--r--
propagate defined options; misc tuning;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
28220
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
     1
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
     2
## targets
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
     3
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
     4
default: Pure-System
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
     5
images: 
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
     6
test: Pure-System
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
     7
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
     8
all: images test
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
     9
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    10
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    11
## global settings
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    12
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    13
SRC = $(ISABELLE_HOME)/src
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    14
OUT = $(ISABELLE_OUTPUT)
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    15
LOG = $(OUT)/log
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    16
28500
4b79e5d3d0aa replaced ISATOOL by ISABELLE_TOOL;
wenzelm
parents: 28226
diff changeset
    17
USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d false -C false -D document
28220
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    18
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    19
30456
wenzelm
parents: 28916
diff changeset
    20
## sessions
28220
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    21
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    22
Pure-System: $(LOG)/Pure-System.gz
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    23
47825
4f25960417ae some coverage of Isabelle/Scala tools;
wenzelm
parents: 43564
diff changeset
    24
$(LOG)/Pure-System.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/Base.thy	\
4f25960417ae some coverage of Isabelle/Scala tools;
wenzelm
parents: 43564
diff changeset
    25
  Thy/Basics.thy Thy/Misc.thy Thy/Interfaces.thy Thy/Presentation.thy	\
4f25960417ae some coverage of Isabelle/Scala tools;
wenzelm
parents: 43564
diff changeset
    26
  Thy/Scala.thy
28220
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    27
	@$(USEDIR) -s System Pure Thy
30458
804de935c328 delete unused generated files;
wenzelm
parents: 30456
diff changeset
    28
	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
804de935c328 delete unused generated files;
wenzelm
parents: 30456
diff changeset
    29
	 Thy/document/pdfsetup.sty Thy/document/session.tex
28220
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    30
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    31
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    32
## clean
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    33
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    34
clean:
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    35
	@rm -f $(LOG)/Pure-System.gz