dhil/phd-dissertation
1
0
Fork 0
mirror of https://github.com/dhil/phd-dissertation synced 2026-03-13 02:58:26 +00:00
Code Issues Releases Wiki Activity

Draft compilation

Browse Source
This commit is contained in:
Daniel Hillerström
2021-06-07 12:03:47 +01:00
parent 3b7dd13e3d
commit a4b802e4e0
2 changed files with 12 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
Makefile
View File

@@ -3,8 +3,10 @@ CFLAGS=-interaction=nonstopmode -halt-on-error -file-line-error
BIBC=bibtex BIBC=bibtex
PAPER=thesis PAPER=thesis
BIBLIO=$(PAPER) BIBLIO=$(PAPER)
LATEST_COMMIT=$(shell git log --format="%h" -n 1)
all: $(PAPER).pdf all: $(PAPER).pdf
draft: $(PAPER).pdf-draft
$(PAPER).aux: $(PAPER).tex $(PAPER).aux: $(PAPER).tex
$(TEXC) $(CFLAGS) $(PAPER) $(TEXC) $(CFLAGS) $(PAPER)
@@ -16,6 +18,10 @@ $(PAPER).pdf: $(PAPER).aux $(BIBLIO).bbl
$(TEXC) $(CFLAGS) $(PAPER) $(TEXC) $(CFLAGS) $(PAPER)
$(TEXC) $(CFLAGS) $(PAPER) $(TEXC) $(CFLAGS) $(PAPER)
$(PAPER).pdf-draft: CFLAGS:=$(CFLAGS) "\def\DRAFT{$(LATEST_COMMIT)}\input{$(PAPER)}"
$(PAPER).pdf-draft: all
mv $(PAPER).pdf $(PAPER)-draft.pdf
clean: clean:
rm -f *.log *.aux *.toc *.out rm -f *.log *.aux *.toc *.out
rm -f *.bbl *.blg *.fls *.xml rm -f *.bbl *.blg *.fls *.xml

5
thesis.tex
View File

@@ -144,7 +144,12 @@
% \title{Handling Computational Effects} % \title{Handling Computational Effects}
% \title{Programming Computable Effectful Functions} % \title{Programming Computable Effectful Functions}
% \title{Handling Effectful Computations} % \title{Handling Effectful Computations}
\ifdefined\DRAFT
\title{Foundations for Programming and Implementing Effect Handlers\\
(DRAFT \href{https://github.com/dhil/phd-dissertation/commit/\DRAFT}{\DRAFT})}
\else
\title{Foundations for Programming and Implementing Effect Handlers} \title{Foundations for Programming and Implementing Effect Handlers}
\fi
%\title{Foundations for Programming with Control via Effect Handlers} %\title{Foundations for Programming with Control via Effect Handlers}
\author{Daniel Hillerström} \author{Daniel Hillerström}