| author | wenzelm |
| Sat, 04 Oct 2008 14:29:43 +0200 | |
| changeset 28496 | 4cff10648928 |
| parent 28226 | 97c530dc8aca |
| child 28500 | 4b79e5d3d0aa |
| 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 |
|
|
889e5b7e006c
basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff
changeset
|
17 |
USEDIR = $(ISATOOL) usedir -v true -i false -d false -C false -D document |
|
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 |
|
|
889e5b7e006c
basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff
changeset
|
20 |
## IsarRef sessions |
|
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 |
|
| 28226 | 24 |
$(LOG)/Pure-System.gz: Thy/ROOT.ML ../antiquote_setup.ML \ |
25 |
Thy/Basics.thy Thy/Misc.thy Thy/Presentation.thy Thy/Symbols.thy |
|
|
28220
889e5b7e006c
basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff
changeset
|
26 |
@$(USEDIR) -s System Pure Thy |
|
889e5b7e006c
basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff
changeset
|
27 |
|
|
889e5b7e006c
basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff
changeset
|
28 |
|
|
889e5b7e006c
basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff
changeset
|
29 |
## clean |
|
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 |
clean: |
|
889e5b7e006c
basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff
changeset
|
32 |
@rm -f $(LOG)/Pure-System.gz |