source: doc/theses/thierry_delisle/Makefile @ d807ca28

## Define the configuration variables.

Build = build
Figures = figures
Macros = ../../LaTeXmacros
TeXLIB = .:style:text:annex:${Macros}:${Build}:../../bibliography:
LaTeX  = TEXINPUTS=${TeXLIB} && export TEXINPUTS && latex -halt-on-error -output-directory=${Build}
BibTeX = BIBINPUTS=${TeXLIB} && export BIBINPUTS && bibtex -terse

MAKEFLAGS = --no-print-directory --silent #
VPATH = ${Build} ${Figures}

## Define the text source files.

SOURCES = ${addsuffix .tex, \
thesis \
style/style \
style/cfa-format \
annex/glossary \
text/frontpgs \
text/intro \
text/basics \
text/cforall \
text/concurrency \
text/internals \
text/parallelism \
text/results \
text/together \
text/future \
}

FIGURES = ${addsuffix .tex, \
monitor \
ext_monitor \
int_monitor \
dependency \
}

PICTURES = ${addsuffix .pstex, \
system \
monitor_structs \
}

PROGRAMS = ${addsuffix .tex, \
}

GRAPHS = ${addsuffix .tex, \
}

## Define the documents that need to be made.

DOCUMENT = thesis.pdf

# Directives #

.PHONY : all clean                                      # not file names

all : ${DOCUMENT}

clean :
        @rm -frv ${DOCUMENT} ${basename ${DOCUMENT}}.ps ${Build}

# File Dependencies #

${DOCUMENT} : ${basename ${DOCUMENT}}.ps
        ps2pdf $<

${basename ${DOCUMENT}}.ps : ${basename ${DOCUMENT}}.dvi
        dvips ${Build}/$< -o $@

${basename ${DOCUMENT}}.dvi : Makefile ${Build} ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} \
                ${Macros}/common.tex ${Macros}/indexstyle annex/local.bib ../../bibliography/pl.bib
        # Must have *.aux file containing citations for bibtex
        if [ ! -r ${basename $@}.aux ] ; then ${LaTeX} ${basename $@}.tex ; fi
        -${BibTeX} ${Build}/${basename $@}
        # Some citations reference others so run again to resolve these citations
        ${LaTeX} ${basename $@}.tex
        -${BibTeX} ${Build}/${basename $@}
        # Make index from *.aux entries and input index at end of document
        makeglossaries -q -s ${Build}/${basename $@}.ist ${Build}/${basename $@}
        -version.sh
        # Run again to finish citations
        ${LaTeX} ${basename $@}.tex

## Define the default recipes.

${Build}:
        mkdir -p ${Build}

%.tex : %.fig
        fig2dev -L eepic $< > ${Build}/$@

%.ps : %.fig
        fig2dev -L ps $< > ${Build}/$@

%.pstex : %.fig
        fig2dev -L pstex $< > ${Build}/$@
        fig2dev -L pstex_t -p ${Build}/$@ $< > ${Build}/$@_t

#-----------------------------------------------------------------------------------
# Tools to generate png files
# to create a png we create a pdf and convert it to png
%.png : build/%.pstex figures/%.tex
        echo ${basename $@}
        ${LaTeX} figures/${basename $@}.tex
        dvips build/${basename $@}.dvi -o build/${basename $@}.ps
        ps2pdf build/${basename $@}.ps
        convert -negate ${basename $@}.pdf $@

# creating a pdf of a figure requires generating some latex that just includes the figure
figures/%.tex: build/%.pstex
        echo -n         "\documentclass[preview]{standalone}\n"         \
                        "\usepackage[T1]{fontenc}\n"                    \
                        "\usepackage[usenames]{color}\n"                \
                        "\usepackage{graphicx}\n"                       \
                        "\usepackage{listings}\n"                       \
                        "\usepackage{xspace}\n"                         \
                        "\input{style}\n"                               \
                        "\\\\begin{document}\n"                         \
                        "{\\\\resizebox{3\\\\textwidth}{!}{\input{${basename ${notdir $@}}.pstex_t}}}\n" \
                        "\end{document}" > $@

# Local Variables: #
# compile-command: "make" #
# End: #