Ignore:
Timestamp:
Feb 1, 2018, 10:03:35 AM (6 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:
4 edited

Legend:

Unmodified
Added
Removed
  • doc/theses/rob_schluntz/.gitignore

    r281806b r23c27039  
    11# generated by latex
    2 *.aux
    3 *.bbl
    4 *.blg
    5 *.brf
    6 *.dvi
    7 *.idx
    8 *.ilg
    9 *.ind
    10 *.log
    11 *.out
     2build/*
    123*.pdf
    134*.ps
    14 *.toc
    15 *.lof
    16 *.lot
    17 *.synctex.gz
     5
  • doc/theses/rob_schluntz/Makefile

    r281806b r23c27039  
    1 TeXLIB = .:../LaTeXmacros:../bibliography/:
    2 LaTeX  = TEXINPUTS=${TeXLIB} && export TEXINPUTS && pdflatex -halt-on-error
     1Build = build
     2Macros = ../../LaTeXmacros
     3TeXLIB = .:${Macros}:${Build}:../../bibliography:
     4LaTeX  = TEXINPUTS=${TeXLIB} && export TEXINPUTS && pdflatex -halt-on-error -output-directory=${Build}
    35BibTeX = BIBINPUTS=${TeXLIB} && export BIBINPUTS && bibtex
     6
     7VPATH = ${Build}
    48
    59all : thesis.pdf
    610
    7 thesis.pdf : Makefile ../LaTeXmacros/common.tex cfa-format.tex thesis.tex intro.tex ctordtor.tex tuples.tex variadic.tex conclusions.tex
     11thesis.pdf : Makefile ${Build} ${Macros}/common.tex cfa-format.tex thesis.tex intro.tex ctordtor.tex tuples.tex variadic.tex conclusions.tex
    812        ${LaTeX} thesis
    9         ${BibTeX} thesis
     13        ${BibTeX} ${Build}/thesis
    1014        ${LaTeX} thesis
    1115        ${LaTeX} thesis
     16        cp -p ${Build}/thesis.pdf .
    1217        pdf2ps thesis.pdf thesis.ps
    1318
     19${Build}:
     20        mkdir -p ${Build}
     21
    1422clean :
    15         rm -f *.aux *.bbl *.blg *.lof *.log *.lot *.out *.toc
     23        @rm -frv ${Build}
    1624
    1725spotless : clean
  • doc/theses/rob_schluntz/intro.tex

    r281806b r23c27039  
    290290\end{cfacode}
    291291Every 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.
    292 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}.}.
     292Due 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}.}.
    293293The 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.
    294294\begin{cfacode}
  • doc/theses/rob_schluntz/thesis.tex

    r281806b r23c27039  
    288288\addcontentsline{toc}{chapter}{\textbf{References}}
    289289
    290 \bibliography{cfa,thesis}
     290\bibliography{pl,thesis}
    291291% Tip 5: You can create multiple .bib files to organize your references.
    292292% Just list them all in the \bibliogaphy command, separated by commas (no spaces).
Note: See TracChangeset for help on using the changeset viewer.