diff options
author | Francesco Mazzoli <f@mazzo.li> | 2013-05-22 12:26:59 +0100 |
---|---|---|
committer | Francesco Mazzoli <f@mazzo.li> | 2013-05-22 12:26:59 +0100 |
commit | 0f7b3d5caf45b74d21a2a0042aa73a4112f805df (patch) | |
tree | 3e46b353f1be9227a86784feb5208f204d422b03 /Makefile | |
parent | cee737be953cbcee4d78951ad627c75a39a6ae9e (diff) |
thesis stub
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 22 |
1 files changed, 19 insertions, 3 deletions
@@ -1,8 +1,22 @@ -SOURCES = $(wildcard *.tex) -OBJECTS = $(patsubst %.tex, %.pdf, $(SOURCES)) +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 --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 @@ -15,6 +29,8 @@ idris-proposal.pdf: idris-proposal.tex clean: cleanup rm -f $(OBJECTS) + rm -f thesis.tex agda.sty cleanup: - rm -f *.log *.aux *.nav *.snm *.toc *.vrb *.out *.bbl *.blg + rm -f *.log *.aux *.nav *.snm *.toc *.vrb *.out *.bbl *.blg *.agdai + |