author | wenzelm |
Sat, 21 Jul 2012 22:13:50 +0200 | |
changeset 48421 | c4d337782de4 |
parent 47825 | 4f25960417ae |
child 48578 | 21361b6189a6 |
permissions | -rw-r--r-- |
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 | 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 | 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 | 24 |
$(LOG)/Pure-System.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/Base.thy \ |
25 |
Thy/Basics.thy Thy/Misc.thy Thy/Interfaces.thy Thy/Presentation.thy \ |
|
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 | 28 |
@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \ |
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 |