blob: d807c24992537679a5ee4a2add20e12df99bdb1c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
SOURCEST = $(wildcard *.tex)
OBJECTST = $(patsubst %.tex, %.pdf, $(SOURCEST))
SOURCESA = $(wildcard *.lagda)
OBJECTSA = $(patsubst %.lagda, %.pdf, $(SOURCESA))
OBJECTS = $(OBJECTST) $(OBJECTSA)
all: $(OBJECTS)
thesis.pdf: thesis.tex thesis.bib agda.sty
pdflatex -halt-on-error $< -o $@
bibtex thesis
pdflatex -halt-on-error $< -o $@
pdflatex -halt-on-error $< -o $@
agda.sty: thesis.tex
thesis.tex: thesis.lagda
agda --allow-unsolved-metas --latex --latex-dir . -i . -i ~/src/agda-lib/src/ thesis.lagda
InterimReport.pdf: InterimReport.tex InterimReport.bib InterimReport.agda
xelatex -halt-on-error $< -o $@
bibtex InterimReport
xelatex -halt-on-error $< -o $@
xelatex -halt-on-error $< -o $@
idris-proposal.pdf: idris-proposal.tex
xelatex -halt-on-error $< -o $@
xelatex -halt-on-error $< -o $@
clean: cleanup
rm -f $(OBJECTS)
rm -f thesis.tex agda.sty
cleanup:
rm -f *.log *.aux *.nav *.snm *.toc *.vrb *.out *.bbl *.blg *.agdai
|