Changeset 6a8208cb

Timestamp:

Apr 20, 2021, 3:03:36 PM (4 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

59f3f61

Parents:

f17fb7d

Message:

Andrew MMath: Changed driver: pdflatex to latex.

Location:

doc/theses/andrew_beach_MMath

Files:

• Makefile (modified) (5 diffs)
• exception-hierarchy.fig (added)
• features.tex (modified) (2 diffs)
• stack-marking.fig (added)
• uw-ethesis.tex (modified) (2 diffs)

doc/theses/andrew_beach_MMath/Makefile

@@ -4 +4 @@
 BUILD=out
 TEXSRC=$(wildcard *.tex)
+FIGSRC=$(wildcard *.fig)
 BIBSRC=$(wildcard *.bib)
 STYSRC=$(wildcard *.sty)
@@ -13 +14 @@
 BASE= ${DOC:%.pdf=%}
 
+RAWSRC=${TEXSRC} ${BIBSRC} ${STYSRC} ${CLSSRC}
+FIGTEX=${FIGSRC:%.fig=${BUILD}/%.tex}
+
 ### Special Rules:
 
@@ -18 +22 @@
 
 ### Commands:
-LATEX=TEXINPUTS=${TEXLIB} pdflatex -halt-on-error -output-directory=${BUILD}
+LATEX=TEXINPUTS=${TEXLIB} latex -halt-on-error -output-directory=${BUILD}
 BIBTEX=BIBINPUTS=${BIBLIB} bibtex
 GLOSSARY=INDEXSTYLE=${BUILD} makeglossaries-lite
@@ -26 +30 @@
 all: ${DOC}
 
-${BUILD}/${DOC}: ${TEXSRC} ${BIBSRC} ${STYSRC} ${CLSSRC} Makefile | ${BUILD}
+# The main rule, it does all the tex/latex processing.
+${BUILD}/${BASE}.dvi: ${RAWSRC} ${FIGTEX} Makefile | ${BUILD}
         ${LATEX} ${BASE}
         ${BIBTEX} ${BUILD}/${BASE}
@@ -33 +38 @@
         ${LATEX} ${BASE}
 
-${DOC}: ${BUILD}/${DOC}
-        cp $< $@
+# Convert xfig output to tex. (Generates \special declarations.)
+${FIGTEX}: ${BUILD}/%.tex: %.fig | ${BUILD}
+        fig2dev -L eepic $< > $@
+
+# Step through dvi & postscript to handle xfig specials.
+%.pdf : ${BUILD}/%.dvi
+        dvipdf $^ $@
 
 ${BUILD}:

doc/theses/andrew_beach_MMath/features.tex

@@ -88 +88 @@
 Consider the following hierarchy of exceptions:
 \begin{center}
-\setlength{\unitlength}{4000sp}%
-\begin{picture}(1605,612)(2011,-1951)
-\put(2100,-1411){\vector(1, 0){225}}
-\put(3450,-1411){\vector(1, 0){225}}
-\put(3550,-1411){\line(0,-1){225}}
-\put(3550,-1636){\vector(1, 0){150}}
-\put(3550,-1636){\line(0,-1){225}}
-\put(3550,-1861){\vector(1, 0){150}}
-\put(2025,-1490){\makebox(0,0)[rb]{\LstBasicStyle{exception}}}
-\put(2400,-1460){\makebox(0,0)[lb]{\LstBasicStyle{arithmetic}}}
-\put(3750,-1460){\makebox(0,0)[lb]{\LstBasicStyle{underflow}}}
-\put(3750,-1690){\makebox(0,0)[lb]{\LstBasicStyle{overflow}}}
-\put(3750,-1920){\makebox(0,0)[lb]{\LstBasicStyle{zerodivide}}}
-\end{picture}%
+\input{exception-hierarchy}
 \end{center}
 
@@ -471 +458 @@
 skipping over it to the next try statement.
 
-% This might need a diagram. But it is an important part of the justification
-% of the design of the traversal order.
-\begin{verbatim}
-       throwResume2 ----------.
-            |                 |
- generated from handler       |
-            |                 |
-         handler              |
-            |                 |
-        throwResume1 -----.   :
-            |             |   :
-           try            |   : search skip
-            |             |   :
-        catchResume  <----'   :
-            |                 |
-\end{verbatim}
+\begin{center}
+\input{stack-marking}
+\end{center}
 
 These rules mirror what happens with termination.

doc/theses/andrew_beach_MMath/uw-ethesis.tex

@@ -100 +100 @@
 % Lots of math symbols and environments
 \usepackage{amsmath,amssymb,amstext}
-% For including graphics N.B. pdftex graphics driver
-\usepackage[pdftex]{graphicx}
+% For including graphics (must match graphics driver)
+\usepackage{epic,eepic}
+\usepackage{graphicx}
 % Removes large sections of the document.
 \usepackage{comment}
@@ -112 +113 @@
 % Use the "hyperref" package
 % N.B. HYPERREF MUST BE THE LAST PACKAGE LOADED; ADD ADDITIONAL PKGS ABOVE
-\usepackage[pdftex,pagebackref=true]{hyperref}
+\usepackage[pagebackref=true]{hyperref}
 % N.B. pagebackref=true provides links back from the References to the body
 % text. This can cause trouble for printing.