equal
deleted
inserted
replaced
11 ## global settings |
11 ## global settings |
12 |
12 |
13 SRC = $(ISABELLE_HOME)/src |
13 SRC = $(ISABELLE_HOME)/src |
14 OUT = $(ISABELLE_OUTPUT) |
14 OUT = $(ISABELLE_OUTPUT) |
15 LOG = $(OUT)/log |
15 LOG = $(OUT)/log |
16 USEDIR = $(ISATOOL) usedir -i true -d dvi -D ../generated |
16 USEDIR = $(ISATOOL) usedir -d "" -D ../generated |
17 |
17 |
18 |
18 |
19 ## Group |
19 ## Group |
20 |
20 |
21 Group: HOL $(LOG)/HOL-Group.gz |
21 Group: HOL $(LOG)/HOL-Group.gz |
22 |
22 |
23 HOL: |
23 HOL: |
24 @cd $(SRC)/HOL; $(ISATOOL) make HOL |
24 @cd $(SRC)/HOL; $(ISATOOL) make HOL |
25 |
25 |
26 $(LOG)/HOL-Group.gz: $(OUT)/HOL Group/ROOT.ML Group/document/root.tex \ |
26 $(LOG)/HOL-Group.gz: $(OUT)/HOL Group/ROOT.ML Group/Group.thy \ |
27 Group/Group.thy Group/Product.thy Group/Semigroups.thy |
27 Group/Product.thy Group/Semigroups.thy |
28 @$(USEDIR) $(OUT)/HOL Group |
28 @$(USEDIR) $(OUT)/HOL Group |
29 @rm -f generated/pdfsetup.sty generated/session.tex |
29 @rm -f generated/pdfsetup.sty generated/session.tex |
30 |
30 |
31 |
31 |
32 ## Nat |
32 ## Nat |
34 Nat: FOL $(LOG)/FOL-Nat.gz |
34 Nat: FOL $(LOG)/FOL-Nat.gz |
35 |
35 |
36 FOL: |
36 FOL: |
37 @cd $(SRC)/FOL; $(ISATOOL) make FOL |
37 @cd $(SRC)/FOL; $(ISATOOL) make FOL |
38 |
38 |
39 $(LOG)/FOL-Nat.gz: $(OUT)/FOL Nat/ROOT.ML Nat/document/root.tex \ |
39 $(LOG)/FOL-Nat.gz: $(OUT)/FOL Nat/ROOT.ML Nat/NatClass.ML Nat/NatClass.thy |
40 Nat/NatClass.ML Nat/NatClass.thy |
|
41 @$(USEDIR) $(OUT)/FOL Nat |
40 @$(USEDIR) $(OUT)/FOL Nat |
42 @rm -f generated/pdfsetup.sty generated/session.tex |
41 @rm -f generated/pdfsetup.sty generated/session.tex |
43 |
42 |
44 |
43 |
45 ## clean |
44 ## clean |