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 -d "" -D ../generated |
16 USEDIR = $(ISATOOL) usedir -d false -D document |
17 |
17 |
18 |
18 |
19 ## Group |
19 ## Group |
20 |
20 |
21 Group: HOL $(LOG)/HOL-Group.gz |
21 Group: HOL $(LOG)/HOL-Group.gz |
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/Group.thy \ |
26 $(LOG)/HOL-Group.gz: $(OUT)/HOL Group/ROOT.ML Group/Group.thy \ |
27 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 Group/document/pdfsetup.sty Group/document/session.tex |
30 |
30 |
31 |
31 |
32 ## Nat |
32 ## Nat |
33 |
33 |
34 Nat: FOL $(LOG)/FOL-Nat.gz |
34 Nat: FOL $(LOG)/FOL-Nat.gz |
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/NatClass.ML Nat/NatClass.thy |
39 $(LOG)/FOL-Nat.gz: $(OUT)/FOL Nat/ROOT.ML Nat/NatClass.ML Nat/NatClass.thy |
40 @$(USEDIR) $(OUT)/FOL Nat |
40 @$(USEDIR) $(OUT)/FOL Nat |
41 @rm -f generated/pdfsetup.sty generated/session.tex |
41 @rm -f Nat/document/*.sty Nat/document/session.tex |
42 |
42 |
43 |
43 |
44 ## clean |
44 ## clean |
45 |
45 |
46 clean: |
46 clean: |