From a4b802e4e00b7e7520b581308bdbfee140954d01 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= Date: Mon, 7 Jun 2021 12:03:47 +0100 Subject: [PATCH] Draft compilation --- Makefile | 6 ++++++ thesis.tex | 7 ++++++- 2 files changed, 12 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index b4b6959..eac1319 100644 --- a/Makefile +++ b/Makefile @@ -3,8 +3,10 @@ CFLAGS=-interaction=nonstopmode -halt-on-error -file-line-error BIBC=bibtex PAPER=thesis BIBLIO=$(PAPER) +LATEST_COMMIT=$(shell git log --format="%h" -n 1) all: $(PAPER).pdf +draft: $(PAPER).pdf-draft $(PAPER).aux: $(PAPER).tex $(TEXC) $(CFLAGS) $(PAPER) @@ -16,6 +18,10 @@ $(PAPER).pdf: $(PAPER).aux $(BIBLIO).bbl $(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: rm -f *.log *.aux *.toc *.out rm -f *.bbl *.blg *.fls *.xml diff --git a/thesis.tex b/thesis.tex index 14397dd..8fc7be7 100644 --- a/thesis.tex +++ b/thesis.tex @@ -144,7 +144,12 @@ % \title{Handling Computational Effects} % \title{Programming Computable Effectful Functions} % \title{Handling Effectful Computations} -\title{Foundations for Programming and Implementing Effect Handlers} +\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} +\fi %\title{Foundations for Programming with Control via Effect Handlers} \author{Daniel Hillerström}