Makefile

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