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 final.pdf: final.tex final.bib agda.sty
  10         pdflatex -halt-on-error $< -o $@
  11         bibtex final
  12         pdflatex -halt-on-error $< -o $@
  13         pdflatex -halt-on-error $< -o $@
  14
  15 presentation.pdf: presentation.tex
  16         pdflatex -halt-on-error $< -o $@
  17
  18 agda.sty: final.tex
  19
  20 final.tex: final.lagda
  21         agda --allow-unsolved-metas --latex --latex-dir . -i . -i ~/src/agda-lib/src/ final.lagda
  22
  23 InterimReport.pdf: InterimReport.tex InterimReport.bib InterimReport.agda
  24         xelatex -halt-on-error $< -o $@
  25         bibtex InterimReport
  26         xelatex -halt-on-error $< -o $@
  27         xelatex -halt-on-error $< -o $@
  28
  29 idris-proposal.pdf: idris-proposal.tex
  30         xelatex -halt-on-error $< -o $@
  31         xelatex -halt-on-error $< -o $@
  32
  33 clean: cleanup
  34         rm -f $(OBJECTS)
  35         rm -f final.tex
  36
  37 cleanup:
  38         rm -f *.log *.aux *.nav *.snm *.toc *.vrb *.out *.bbl *.blg *.agdai