Changeset 9507ce3 for doc/theses/aaron_moss_PhD/phd/Makefile

Timestamp:

Oct 11, 2018, 2:48:48 PM (7 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, no_list, persistent-indexer, pthread-emulation, qualifiedEnum

Children:

cdc02f2

Parents:

2a75572 (diff), 1f690b3 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' into shared_library

File:

• doc/theses/aaron_moss_PhD/phd/Makefile (modified) (4 diffs)

doc/theses/aaron_moss_PhD/phd/Makefile

@@ -1 +1 @@
 BUILD = build
 BIBDIR = ../../../bibliography
+EVALDIR = evaluation
 TEXLIB = .:${BUILD}:${BIBDIR}:
 
-LATEX = TEXINPUTS=${TEXLIB} && export TEXINPUTS && pdflatex -interaction= -output-directory=${BUILD}
+# 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
@@ -17 +21 @@
 introduction \
 background \
+generic-types \
 type-environment \
 resolution-heuristics \
 conclusion \
+}
+
+GRAPHS = ${addsuffix .tex, \
+generic-timing \
 }
 
@@ -32 +41 @@
         wc ${SOURCES}
 
-${DOCUMENT} : ${SOURCES} ${BUILD}
-        ${LATEX} ${BASE}
-        ${LATEX} ${BASE}
+${DOCUMENT} : ${BASE}.ps
+        ps2pdf ${BUILD}/$<
 
-rebuild-refs : ${SOURCES} ${BIBFILE} ${BUILD}
+${BASE}.ps : ${BASE}.dvi
+        dvips ${BUILD}/$< -o ${BUILD}/$@
+
+${BASE}.dvi : Makefile ${SOURCES} ${GRAPHS} ${BIBFILE} ${BUILD}
         ${LATEX} ${BASE}
         ${BIBTEX} ${BUILD}/${BASE}
@@ -42 +53 @@
         ${LATEX} ${BASE}
 
+${GRAPHS} : generic-timing.gp generic-timing.dat ${BUILD}
+        gnuplot -e BUILD="'${BUILD}/'" ${EVALDIR}/generic-timing.gp
+
 ${BUILD}: 
         mkdir -p ${BUILD}