projects
/
bitonic-mengthesis.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
...
[bitonic-mengthesis.git]
/
Makefile
diff --git
a/Makefile
b/Makefile
index a5e8cc68ae0549670fbabfce16724677363d55b7..3fd7f1daf22b6ef19ddb800b6214f01ad5a41583 100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-6,16
+6,19
@@
OBJECTS = $(OBJECTST) $(OBJECTSA)
all: $(OBJECTS)
all: $(OBJECTS)
-
thesis.pdf: thesis.tex thesis
.bib agda.sty
+
final.pdf: final.tex final
.bib agda.sty
pdflatex -halt-on-error $< -o $@
pdflatex -halt-on-error $< -o $@
- bibtex
thesis
+ bibtex
final
pdflatex -halt-on-error $< -o $@
pdflatex -halt-on-error $< -o $@
pdflatex -halt-on-error $< -o $@
pdflatex -halt-on-error $< -o $@
-agda.sty: thesis.tex
+presentation.pdf: presentation.tex
+ pdflatex -halt-on-error $< -o $@
+
+agda.sty: final.tex
-
thesis.tex: thesis
.lagda
- agda --
latex --latex-dir . -i . -i ~/src/agda-lib/src/ thesis
.lagda
+
final.tex: final
.lagda
+ agda --
allow-unsolved-metas --latex --latex-dir . -i . -i ~/src/agda-lib/src/ final
.lagda
InterimReport.pdf: InterimReport.tex InterimReport.bib InterimReport.agda
xelatex -halt-on-error $< -o $@
InterimReport.pdf: InterimReport.tex InterimReport.bib InterimReport.agda
xelatex -halt-on-error $< -o $@
@@
-29,7
+32,7
@@
idris-proposal.pdf: idris-proposal.tex
clean: cleanup
rm -f $(OBJECTS)
clean: cleanup
rm -f $(OBJECTS)
- rm -f
thesis.tex agda.sty
+ rm -f
final.tex
cleanup:
rm -f *.log *.aux *.nav *.snm *.toc *.vrb *.out *.bbl *.blg *.agdai
cleanup:
rm -f *.log *.aux *.nav *.snm *.toc *.vrb *.out *.bbl *.blg *.agdai