BUILD = build BIBDIR = ../../../bibliography EVALDIR = evaluation TEXLIB = .:${BUILD}:${BIBDIR}: # LATEX = TEXINPUTS=${TEXLIB} && export TEXINPUTS && pdflatex -interaction=nonstopmode -halt-on-error -output-directory=${BUILD} LATEX = TEXINPUTS=${TEXLIB} && export TEXINPUTS && latex -halt-on-error -output-directory=${BUILD} BIBTEX = BIBINPUTS=${TEXLIB} && export BIBINPUTS && bibtex VPATH = ${EVALDIR} BASE = thesis DOCUMENT = ${BASE}.pdf BIBFILE = ${BIBDIR}/pl.bib SOURCES = ${addsuffix .tex, \ thesis \ macros \ cfa-macros \ frontpgs \ introduction \ background \ generic-types \ type-environment \ resolution-heuristics \ conclusion \ } GRAPHS = ${addsuffix .tex, \ generic-timing \ } .PHONY : all rebuild-refs clean wc all : ${DOCUMENT} clean : @rm -fv ${BUILD}/* wc : wc ${SOURCES} ${DOCUMENT} : ${BASE}.ps ps2pdf ${BUILD}/$< ${BASE}.ps : ${BASE}.dvi dvips ${BUILD}/$< -o ${BUILD}/$@ ${BASE}.dvi : Makefile ${SOURCES} ${GRAPHS} ${BIBFILE} ${BUILD} ${LATEX} ${BASE} ${BIBTEX} ${BUILD}/${BASE} ${LATEX} ${BASE} ${LATEX} ${BASE} ${GRAPHS} : generic-timing.gp generic-timing.dat ${BUILD} gnuplot -e BUILD="'${BUILD}/'" ${EVALDIR}/generic-timing.gp ${BUILD}: mkdir -p ${BUILD}