equal
deleted
inserted
replaced
16 |
16 |
17 SRC = $(ISABELLE_HOME)/src |
17 SRC = $(ISABELLE_HOME)/src |
18 OUT = $(ISABELLE_OUTPUT) |
18 OUT = $(ISABELLE_OUTPUT) |
19 LOG = $(OUT)/log |
19 LOG = $(OUT)/log |
20 OPTIONS = -m brackets -i true -d "" -D document |
20 OPTIONS = -m brackets -i true -d "" -D document |
21 USEDIR = @$(ISATOOL) usedir $(OPTIONS) $(OUT)/HOL |
21 USEDIR = @$(ISABELLE_TOOL) usedir $(OPTIONS) $(OUT)/HOL |
22 |
22 |
23 |
23 |
24 ## HOL |
24 ## HOL |
25 |
25 |
26 HOL: |
26 HOL: |
27 @cd $(SRC)/HOL; $(ISATOOL) make HOL |
27 @cd $(SRC)/HOL; $(ISABELLE_TOOL) make HOL |
28 |
28 |
29 styles: |
29 styles: |
30 @rm -f isabelle.sty |
30 @rm -f isabelle.sty |
31 @rm -f isabellesym.sty |
31 @rm -f isabellesym.sty |
32 @rm -f pdfsetup.sty |
32 @rm -f pdfsetup.sty |
33 @$(ISATOOL) latex -o sty >/dev/null |
33 @$(ISABELLE_TOOL) latex -o sty >/dev/null |
34 @rm -f pdfsetup.sty |
34 @rm -f pdfsetup.sty |
35 @rm -f */document/isabelle.sty |
35 @rm -f */document/isabelle.sty |
36 @rm -f */document/isabellesym.sty |
36 @rm -f */document/isabellesym.sty |
37 @rm -f */document/pdfsetup.sty |
37 @rm -f */document/pdfsetup.sty |
38 @rm -f */document/session.tex |
38 @rm -f */document/session.tex |