1 | ## Define the configuration variables. |
---|
2 | |
---|
3 | Build = build |
---|
4 | Figures = figures |
---|
5 | Macros = ../../LaTeXmacros |
---|
6 | TeXLIB = .:style:text:annex:${Macros}:${Build}:../../bibliography: |
---|
7 | LaTeX = TEXINPUTS=${TeXLIB} && export TEXINPUTS && latex -halt-on-error -output-directory=${Build} |
---|
8 | BibTeX = BIBINPUTS=${TeXLIB} && export BIBINPUTS && bibtex -terse |
---|
9 | |
---|
10 | MAKEFLAGS = --no-print-directory --silent # |
---|
11 | VPATH = ${Build} ${Figures} |
---|
12 | |
---|
13 | ## Define the text source files. |
---|
14 | |
---|
15 | SOURCES = ${addsuffix .tex, \ |
---|
16 | thesis \ |
---|
17 | style/style \ |
---|
18 | style/cfa-format \ |
---|
19 | annex/glossary \ |
---|
20 | text/frontpgs \ |
---|
21 | text/intro \ |
---|
22 | text/basics \ |
---|
23 | text/cforall \ |
---|
24 | text/concurrency \ |
---|
25 | text/internals \ |
---|
26 | text/parallelism \ |
---|
27 | text/results \ |
---|
28 | text/together \ |
---|
29 | text/future \ |
---|
30 | } |
---|
31 | |
---|
32 | FIGURES = ${addsuffix .tex, \ |
---|
33 | monitor \ |
---|
34 | ext_monitor \ |
---|
35 | int_monitor \ |
---|
36 | dependency \ |
---|
37 | } |
---|
38 | |
---|
39 | PICTURES = ${addsuffix .pstex, \ |
---|
40 | system \ |
---|
41 | monitor_structs \ |
---|
42 | } |
---|
43 | |
---|
44 | PROGRAMS = ${addsuffix .tex, \ |
---|
45 | } |
---|
46 | |
---|
47 | GRAPHS = ${addsuffix .tex, \ |
---|
48 | } |
---|
49 | |
---|
50 | ## Define the documents that need to be made. |
---|
51 | |
---|
52 | DOCUMENT = thesis.pdf |
---|
53 | BASE = ${basename ${DOCUMENT}} |
---|
54 | |
---|
55 | # Directives # |
---|
56 | |
---|
57 | .PHONY : all clean # not file names |
---|
58 | |
---|
59 | all : ${DOCUMENT} |
---|
60 | |
---|
61 | clean : |
---|
62 | @rm -frv ${DOCUMENT} ${BASE}.ps ${Build} |
---|
63 | |
---|
64 | # File Dependencies # |
---|
65 | |
---|
66 | ${DOCUMENT} : ${BASE}.ps |
---|
67 | ps2pdf $< |
---|
68 | |
---|
69 | ${BASE}.ps : ${BASE}.dvi |
---|
70 | dvips ${Build}/$< -o $@ |
---|
71 | |
---|
72 | ${BASE}.dvi : Makefile ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} \ |
---|
73 | ${Macros}/common.tex ${Macros}/indexstyle annex/local.bib ../../bibliography/pl.bib | ${Build} |
---|
74 | # Must have *.aux file containing citations for bibtex |
---|
75 | if [ ! -r ${basename $@}.aux ] ; then ${LaTeX} ${basename $@}.tex ; fi |
---|
76 | -${BibTeX} ${Build}/${basename $@} |
---|
77 | # Some citations reference others so run again to resolve these citations |
---|
78 | ${LaTeX} ${basename $@}.tex |
---|
79 | -${BibTeX} ${Build}/${basename $@} |
---|
80 | # Make index from *.aux entries and input index at end of document |
---|
81 | makeglossaries -q -s ${Build}/${basename $@}.ist ${Build}/${basename $@} |
---|
82 | -version.sh |
---|
83 | # Run again to finish citations |
---|
84 | ${LaTeX} ${basename $@}.tex |
---|
85 | |
---|
86 | ## Define the default recipes. |
---|
87 | |
---|
88 | ${Build}: |
---|
89 | mkdir -p ${Build} |
---|
90 | |
---|
91 | %.tex : %.fig ${Build} |
---|
92 | fig2dev -L eepic $< > ${Build}/$@ |
---|
93 | |
---|
94 | %.ps : %.fig | ${Build} |
---|
95 | fig2dev -L ps $< > ${Build}/$@ |
---|
96 | |
---|
97 | %.pstex : %.fig | ${Build} |
---|
98 | fig2dev -L pstex $< > ${Build}/$@ |
---|
99 | fig2dev -L pstex_t -p ${Build}/$@ $< > ${Build}/$@_t |
---|
100 | |
---|
101 | #----------------------------------------------------------------------------------- |
---|
102 | # Tools to generate png files |
---|
103 | # to create a png we create a pdf and convert it to png |
---|
104 | %.png : build/%.pstex figures/%.tex ${Build} |
---|
105 | echo ${basename $@} |
---|
106 | ${LaTeX} figures/${basename $@}.tex |
---|
107 | dvips build/${basename $@}.dvi -o build/${basename $@}.ps |
---|
108 | ps2pdf build/${basename $@}.ps |
---|
109 | convert -negate ${basename $@}.pdf $@ |
---|
110 | |
---|
111 | # creating a pdf of a figure requires generating some latex that just includes the figure |
---|
112 | figures/%.tex: build/%.pstex ${Build} |
---|
113 | echo -n "\documentclass[preview]{standalone}\n" \ |
---|
114 | "\usepackage[T1]{fontenc}\n" \ |
---|
115 | "\usepackage[usenames]{color}\n" \ |
---|
116 | "\usepackage{graphicx}\n" \ |
---|
117 | "\usepackage{listings}\n" \ |
---|
118 | "\usepackage{xspace}\n" \ |
---|
119 | "\input{style}\n" \ |
---|
120 | "\\\\begin{document}\n" \ |
---|
121 | "{\\\\resizebox{3\\\\textwidth}{!}{\input{${basename ${notdir $@}}.pstex_t}}}\n" \ |
---|
122 | "\end{document}" > $@ |
---|
123 | |
---|
124 | # Local Variables: # |
---|
125 | # compile-command: "make" # |
---|
126 | # End: # |
---|