Changeset 23c27039 for doc/theses/rob_schluntz

Timestamp:

Feb 1, 2018, 10:03:35 AM (7 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

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

Children:

295e5071

Parents:

281806b

Message:

further harmonize document Makefile and documents

Location:

doc/theses/rob_schluntz

Files:

• .gitignore (modified) (1 diff)
• Makefile (modified) (1 diff)
• intro.tex (modified) (1 diff)
• thesis.tex (modified) (1 diff)

doc/theses/rob_schluntz/.gitignore ¶

@@ -1 +1 @@
 # generated by latex
-*.aux
-*.bbl
-*.blg
-*.brf
-*.dvi
-*.idx
-*.ilg
-*.ind
-*.log
-*.out
+build/*
 *.pdf
 *.ps
-*.toc
-*.lof
-*.lot
-*.synctex.gz
+

doc/theses/rob_schluntz/Makefile ¶

@@ -1 @@
-TeXLIB = .:../LaTeXmacros:../bibliography/:
-LaTeX  = TEXINPUTS=${TeXLIB} && export TEXINPUTS && pdflatex -halt-on-error
+Build = build
+Macros = ../../LaTeXmacros
+TeXLIB = .:${Macros}:${Build}:../../bibliography:
+LaTeX  = TEXINPUTS=${TeXLIB} && export TEXINPUTS && pdflatex -halt-on-error -output-directory=${Build}
 BibTeX = BIBINPUTS=${TeXLIB} && export BIBINPUTS && bibtex
+
+VPATH = ${Build}
 
 all : thesis.pdf
 
-thesis.pdf : Makefile ../LaTeXmacros/common.tex cfa-format.tex thesis.tex intro.tex ctordtor.tex tuples.tex variadic.tex conclusions.tex
+thesis.pdf : Makefile ${Build} ${Macros}/common.tex cfa-format.tex thesis.tex intro.tex ctordtor.tex tuples.tex variadic.tex conclusions.tex
         ${LaTeX} thesis
-        ${BibTeX} thesis
+        ${BibTeX} ${Build}/thesis
         ${LaTeX} thesis
         ${LaTeX} thesis
+        cp -p ${Build}/thesis.pdf .
         pdf2ps thesis.pdf thesis.ps
 
+${Build}:
+        mkdir -p ${Build}
+
 clean :
-        rm -f *.aux *.bbl *.blg *.lof *.log *.lot *.out *.toc
+        @rm -frv ${Build}
 
 spotless : clean

doc/theses/rob_schluntz/intro.tex ¶

@@ -290 +290 @@
 \end{cfacode}
 Every if- and iteration-statement in C compares the condition with @0@, and every increment and decrement operator is semantically equivalent to adding or subtracting the value @1@ and storing the result.
-Due to these rewrite rules, the values @0@ and @1@ have the types \zero and \one in \CFA, which allow for overloading various operations that connect to @0@ and @1@ \footnote{In the original design of \CFA, @0@ and @1@ were overloadable names \cite[p.~7]{cforall}.}.
+Due to these rewrite rules, the values @0@ and @1@ have the types \zero and \one in \CFA, which allow for overloading various operations that connect to @0@ and @1@ \footnote{In the original design of \CFA, @0@ and @1@ were overloadable names \cite[p.~7]{cforall-refrat}.}.
 The types \zero and \one have special built-in implicit conversions to the various integral types, and a conversion to pointer types for @0@, which allows standard C code involving @0@ and @1@ to work as normal.
 \begin{cfacode}

doc/theses/rob_schluntz/thesis.tex ¶

@@ -288 +288 @@
 \addcontentsline{toc}{chapter}{\textbf{References}}
 
-\bibliography{cfa,thesis}
+\bibliography{pl,thesis}
 % Tip 5: You can create multiple .bib files to organize your references.
 % Just list them all in the \bibliogaphy command, separated by commas (no spaces).