Makefile

PAPER=paper
TALK=talk

all: latex/$(PAPER).pdf latex/$(TALK).pdf

MODULES:= \
  Language \
  Inverses \
  Calculus \
  Decidability \
  Reflections \
  Symbolic \
  Automatic \
  SizedAutomatic \
  Predicate \
  Existential \
  Transport

LAGDAS:=$(patsubst %,%.lagda,$(MODULES))

AGDA_DEPENDENCIES:=$(patsubst %,latex/%.tex,$(MODULES))
.SECONDARY: $(AGDA_DEPENDENCIES)

LATEX_DEPENDENCIES:= \
  latex/bib.bib \
  latex/macros.tex \
  latex/unicode.tex \
  latex/commands.tex \
  $(AGDA_DEPENDENCIES)

test :
	echo $(LATEX_DEPENDENCIES)

AGDA=agda

# AGDA-EXTRAS=--only-scope-checking

PRECIOUS: $(LATEX_DEPENDENCIES) latex/$(PAPER).tex latex/$(TALK).tex

latex/%.tex: %.lagda
	@mkdir -p $(dir $@)
	${AGDA} -i . --latex --latex-dir=latex $(AGDA-EXTRAS) $<

#  > $(basename $@).log

latex/%: %
	@mkdir -p $(dir $@)
	cp $< $@

latex/%.pdf: $(LATEX_DEPENDENCIES) latex/%.tex
	cd latex && latexmk -xelatex -bibtex $*.tex
	@touch $@

# The touch is in case latexmk decides not to update the pdf.

SHOWPDF=skim

see: $(PAPER).see

%.see: latex/%.pdf
	${SHOWPDF} $<

SOURCES=$(shell find . -name '*.*agda' | grep -v Junk | grep -v _build) 

source.zip: $(SOURCES) ld.agda-lib
	zip $@ $^

clean:
	rm -r latex

tags: $(SOURCES) paper.tex talk.tex
	etags $^

web: .paper-token .talk-token

.paper-token: latex/$(PAPER).pdf
	scp $< conal@conal.net:/home/conal/domains/conal/htdocs/papers/language-derivatives/
	@touch $@

.talk-token: latex/$(TALK).pdf
	scp $< conal@conal.net:/home/conal/domains/conal/htdocs/talks/language-derivatives.pdf
	@touch $@