author | haftmann |
Mon, 17 Nov 2008 17:00:26 +0100 | |
changeset 28821 | 78a6ed46ad04 |
parent 28762 | f5d79aeffd81 |
child 28838 | d5db6dfcb34a |
permissions | -rw-r--r-- |
26738
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
1 |
|
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
2 |
## targets |
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
3 |
|
26840 | 4 |
default: HOL-IsarRef HOLCF-IsarRef ZF-IsarRef |
26738
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
5 |
images: |
26840 | 6 |
test: HOL-IsarRef HOLCF-IsarRef ZF-IsarRef |
26738
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
7 |
|
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
8 |
all: images test |
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
9 |
|
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
10 |
|
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
11 |
## global settings |
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
12 |
|
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
13 |
SRC = $(ISABELLE_HOME)/src |
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
14 |
OUT = $(ISABELLE_OUTPUT) |
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
15 |
LOG = $(OUT)/log |
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
16 |
|
28500 | 17 |
USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d false -C false -D document |
26738
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
18 |
|
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
19 |
|
26840 | 20 |
## IsarRef sessions |
21 |
||
22 |
HOL-IsarRef: $(LOG)/HOL-IsarRef.gz |
|
26738
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
23 |
|
27035 | 24 |
$(LOG)/HOL-IsarRef.gz: Thy/ROOT.ML ../antiquote_setup.ML \ |
28762
f5d79aeffd81
separate chapter "Inner syntax --- the term language";
wenzelm
parents:
28500
diff
changeset
|
25 |
Thy/Inner_Syntax.thy Thy/Introduction.thy Thy/Outer_Syntax.thy \ |
f5d79aeffd81
separate chapter "Inner syntax --- the term language";
wenzelm
parents:
28500
diff
changeset
|
26 |
Thy/Spec.thy Thy/Proof.thy Thy/Misc.thy Thy/Document_Preparation.thy \ |
f5d79aeffd81
separate chapter "Inner syntax --- the term language";
wenzelm
parents:
28500
diff
changeset
|
27 |
Thy/Generic.thy Thy/HOL_Specific.thy Thy/Quick_Reference.thy \ |
f5d79aeffd81
separate chapter "Inner syntax --- the term language";
wenzelm
parents:
28500
diff
changeset
|
28 |
Thy/ML_Tactic.thy |
26840 | 29 |
@$(USEDIR) -s IsarRef HOL Thy |
30 |
||
26738
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
31 |
|
26840 | 32 |
HOLCF-IsarRef: $(LOG)/HOLCF-IsarRef.gz |
33 |
||
27035 | 34 |
$(LOG)/HOLCF-IsarRef.gz: Thy/ROOT-HOLCF.ML ../antiquote_setup.ML \ |
35 |
Thy/HOLCF_Specific.thy |
|
26840 | 36 |
@$(USEDIR) -s IsarRef -f ROOT-HOLCF.ML HOLCF Thy |
37 |
||
38 |
||
39 |
ZF-IsarRef: $(LOG)/ZF-IsarRef.gz |
|
40 |
||
27035 | 41 |
$(LOG)/ZF-IsarRef.gz: Thy/ROOT-ZF.ML ../antiquote_setup.ML \ |
42 |
Thy/ZF_Specific.thy |
|
26840 | 43 |
@$(USEDIR) -s IsarRef -f ROOT-ZF.ML ZF Thy |
26738
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
44 |
|
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
45 |
|
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
46 |
## clean |
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
47 |
|
615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff
changeset
|
48 |
clean: |
26840 | 49 |
@rm -f $(LOG)/HOL-IsarRef.gz $(LOG)/HOLCF-IsarRef.gz $(LOG)/ZF-IsarRef.gz |