equal
deleted
inserted
replaced
1 |
|
2 ## targets |
|
3 |
|
4 default: dvi |
|
5 |
|
6 |
|
7 ## dependencies |
|
8 |
|
9 include ../Makefile.in |
|
10 |
|
11 NAME = codegen |
|
12 |
|
13 FILES = $(NAME).tex Thy/document/*.tex \ |
|
14 style.sty ../iman.sty ../extra.sty ../isar.sty \ |
|
15 ../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty ../pdfsetup.sty \ |
|
16 ../manual.bib ../proof.sty |
|
17 |
|
18 dvi: $(NAME).dvi |
|
19 |
|
20 $(NAME).dvi: $(FILES) isabelle_isar.eps architecture.eps adaptation.eps |
|
21 $(LATEX) $(NAME) |
|
22 $(BIBTEX) $(NAME) |
|
23 $(LATEX) $(NAME) |
|
24 $(LATEX) $(NAME) |
|
25 |
|
26 pdf: $(NAME).pdf |
|
27 |
|
28 $(NAME).pdf: $(FILES) isabelle_isar.pdf architecture.pdf adaptation.pdf |
|
29 $(PDFLATEX) $(NAME) |
|
30 $(BIBTEX) $(NAME) |
|
31 $(PDFLATEX) $(NAME) |
|
32 $(PDFLATEX) $(NAME) |
|
33 $(FIXBOOKMARKS) $(NAME).out |
|
34 $(PDFLATEX) $(NAME) |
|
35 $(PDFLATEX) $(NAME) |
|
36 |
|
37 architecture.dvi: Thy/pictures/architecture.tex |
|
38 latex -output-directory=$(dir $@) $< |
|
39 |
|
40 adaptation.dvi: Thy/pictures/adaptation.tex |
|
41 latex -output-directory=$(dir $@) $< |
|
42 |
|
43 architecture.eps: architecture.dvi |
|
44 dvips -E -o $@ $< |
|
45 |
|
46 adaptation.eps: adaptation.dvi |
|
47 dvips -E -o $@ $< |
|
48 |
|
49 architecture.pdf: architecture.eps |
|
50 epstopdf --outfile=$@ $< |
|
51 |
|
52 adaptation.pdf: adaptation.eps |
|
53 epstopdf --outfile=$@ $< |
|