# Settings
TARGET=main
BIBTEX=pbibtex
BB=extractbb

vpath pdf fig
FIGURES=$(wildcard fig/*.pdf)
FIGURES_FOR_TEX=$(subst .pdf,.xbb,$(FIGURES))

vpath agda src
SOURCES=$(wildcard src/*agda)
SOURCES_FOR_TEX=$(subst .agda,.agda.replaced,$(SOURCES))

# dependencies
$(TARGET).pdf : $(TARGET).dvi
	dvipdfmx $<

$(TARGET).dvi : $(wildcard *.tex) $(FIGURES_FOR_TEX) $(SOURCES_FOR_TEX)
	platex  $(TARGET).tex
	$(BIBTEX) $(TARGET)
	platex  $(TARGET).tex
	platex  $(TARGET).tex

%.xbb: %.pdf
	$(BB) $<

%.agda.replaced: %.agda
	ruby escape_agda.rb $<


# commands
.PHONY : clean all open remake

clean:
	rm -f *.dvi *.aux *.log *.pdf *.ps *.gz *.bbl *.blg *.toc *~ *.core *.cpt *.lof *.lot *.lol *.bbl *.blg

all: $(TARGET).pdf

open: $(TARGET).pdf
	open $(TARGET).pdf

remake:
	make clean
	make all