| author | wenzelm |
| Wed, 11 Mar 2009 20:36:20 +0100 | |
| changeset 30458 | 804de935c328 |
| parent 30456 | d21bc48823b7 |
| child 43564 | 9864182c6bad |
| 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 |
|
| 28226 | 24 |
$(LOG)/Pure-System.gz: Thy/ROOT.ML ../antiquote_setup.ML \ |
|
28916
0a802cdda340
removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting;
wenzelm
parents:
28838
diff
changeset
|
25 |
Thy/Basics.thy Thy/Misc.thy Thy/Interfaces.thy Thy/Presentation.thy |
|
28220
889e5b7e006c
basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff
changeset
|
26 |
@$(USEDIR) -s System Pure Thy |
| 30458 | 27 |
@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \ |
28 |
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
|
29 |
|
|
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 |
|
|
889e5b7e006c
basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff
changeset
|
33 |
clean: |
|
889e5b7e006c
basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff
changeset
|
34 |
@rm -f $(LOG)/Pure-System.gz |