equal
deleted
inserted
replaced
2 # IsaMakefile for Tutorial |
2 # IsaMakefile for Tutorial |
3 # |
3 # |
4 |
4 |
5 ## targets |
5 ## targets |
6 |
6 |
7 default: styles HOL-ToyList HOL-Ifexpr HOL-CodeGen HOL-Trie HOL-Datatype HOL-Recdef HOL-Misc |
7 default: HOL-ToyList HOL-Ifexpr HOL-CodeGen HOL-Trie HOL-Datatype HOL-Recdef HOL-Misc styles |
8 |
8 |
9 |
9 |
10 ## global settings |
10 ## global settings |
11 |
11 |
12 SRC = $(ISABELLE_HOME)/src |
12 SRC = $(ISABELLE_HOME)/src |
17 ## HOL |
17 ## HOL |
18 |
18 |
19 HOL: |
19 HOL: |
20 @cd $(SRC)/HOL; $(ISATOOL) make HOL |
20 @cd $(SRC)/HOL; $(ISATOOL) make HOL |
21 |
21 |
22 styles: isabelle.sty isabellesym.sty pdfsetup.sty |
22 styles: |
23 |
23 @$(ISATOOL) latex -o sty |
24 isabelle.sty: $(ISABELLE_HOME)/lib/texinputs/isabelle.sty |
24 @rm -f */document/isabelle.sty |
25 cp $(ISABELLE_HOME)/lib/texinputs/isabelle.sty . |
25 @rm -f */document/isabellesym.sty |
26 |
26 @rm -f */document/pdfsetup.sty |
27 isabellesym.sty: $(ISABELLE_HOME)/lib/texinputs/isabellesym.sty |
|
28 cp $(ISABELLE_HOME)/lib/texinputs/isabellesym.sty . |
|
29 |
|
30 pdfsetup.sty: $(ISABELLE_HOME)/lib/texinputs/pdfsetup.sty |
|
31 cp $(ISABELLE_HOME)/lib/texinputs/pdfsetup.sty . |
|
32 |
27 |
33 |
28 |
34 ## HOL-Ifexpr |
29 ## HOL-Ifexpr |
35 |
30 |
36 HOL-Ifexpr: HOL $(LOG)/HOL-Ifexpr.gz |
31 HOL-Ifexpr: HOL $(LOG)/HOL-Ifexpr.gz |