/
Makefile
41 lines (27 loc) · 884 Bytes
/
Makefile
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
36
37
38
39
40
41
#
# REQUIRED TOOLS
#
# * latexmk: http://www.phys.psu.edu/~collins/software/latexmk/
#
.PHONY : thesis.pdf thesis.tex default thesis presentation presentation.pdf presentation.tex
all : thesis presentation
thesis :
lhs2TeX --agda thesis.lhs > thesis.tex
latexmk -pdf thesis.tex
presentation:
lhs2TeX --agda presentation.lhs -o presentation.latex
latexmk -pdf presentation.latex
TARGET := thesis
default : $(TARGET).pdf
$(TARGET).pdf : $(TARGET).bib
#-------------------------------------------------------------------------------
clean :
rm -rf $(TARGET).tex $(TARGET).pdf
rm -rf *.log *.aux *.thm *.toc *.fdb_latexmk *.ptb *.out *.bbl *.blg *.nav *.snm
rm -rf *.pdfsync *.synctex.gz
#-------------------------------------------------------------------------------
%.pdf : %.tex
latexmk -pdf $<
%.tex : %.lhs
lhs2TeX --poly $< > $@
.SECONDARY : $(TARGET).tex