UTILS=build/mainsty.sty build/svglov3.clo build/svjour3.cls build/gadt-paper.bib build/mathpartir.sty build/spbasic.bst
LHS2TEX=lhs2TeX
RULER=~/Work/EHC/bin/ruler
SOURCES=build/gadt-paper.lhs build/scratch.lhs build/format.lhs build/introduction.lhs build/typesystem.lhs build/translation.lhs build/implementation.lhs build/related-work.lhs build/conclusion.lhs build/rules.lhs build/appendices.lhs build/motivation.lhs build/algorithm.lhs

all: paper.pdf

view: paper.pdf
	evince paper.pdf

scratch: scratch.pdf
	evince scratch.pdf

clean:
	rm build/*

dist: clean build/gadt-paper.pdf build/gadt-paper.bbl
	cd build; pdflatex gadt-paper.tex
	cd build; pdflatex gadt-paper.tex
	cd build; pdflatex gadt-paper.tex
	cp build/gadt-paper.pdf paper.pdf
	echo "Produced gadt-paper.pdf"

paper.pdf: build/gadt-paper.pdf build/gadt-paper.bbl
	cp build/gadt-paper.pdf paper.pdf

scratch.pdf: build/scratch.pdf
	cp build/scratch.pdf scratch.pdf

build/gadt-paper.pdf: build/gadt-paper.tex $(UTILS)
	cd build; pdflatex gadt-paper.tex

build/gadt-paper.tex: $(SOURCES)
	cd build; $(LHS2TEX) --poly gadt-paper.lhs -o gadt-paper.tex

build/gadt-paper.lhs: gadt-paper.lhs
	cp gadt-paper.lhs build/gadt-paper.lhs

build/scratch.pdf: build/scratch.tex $(UTILS)
	cd build; pdflatex scratch.tex

build/scratch.tex: $(SOURCES)
	cd build; $(LHS2TEX) --poly ../scratch.lhs -o scratch.tex

build/scratch.lhs: scratch.lhs
	cp scratch.lhs build/scratch.lhs

build/rules.lhs: Rules.rul
	cd build; $(RULER) --selrule="(*).(*).(*)" --lhs2tex --copyelim=no ../Rules.rul > /tmp/rules.lhs
	mv /tmp/rules.lhs build/rules.lhs

build/format.lhs: format.lhs
	cp format.lhs build/format.lhs

build/algorithm.lhs: algorithm.lhs
	cp algorithm.lhs build/algorithm.lhs

build/lazylist.sty: lazylist.sty
	cp lazylist.sty build/lazylist.sty

build/polytable.sty: polytable.sty
	cp polytable.sty build/polytable.sty

build/mainsty.sty: mainsty.sty
	cp mainsty.sty build/mainsty.sty

build/mathpartir.sty: mathpartir.sty
	cp mathpartir.sty build/mathpartir.sty

build/tfp07symp.cls: tfp07symp.cls
	cp tfp07symp.cls build/tfp07symp.cls
	
build/svglov3.clo: svglov3.clo
	cp svglov3.clo build/svglov3.clo

build/svjour3.cls: svjour3.cls
	cp svjour3.cls build/svjour3.cls

build/gadt-paper.bib: gadt-paper.bib
	cp gadt-paper.bib build/gadt-paper.bib

build/gadt-paper.bbl: build/gadt-paper.pdf
	cd build; bibtex gadt-paper
	cd build; pdflatex gadt-paper.tex
	cd build; pdflatex gadt-paper.tex

build/introduction.lhs: introduction.lhs
	cp introduction.lhs build/introduction.lhs

build/motivation.lhs: motivation.lhs
	cp motivation.lhs build/motivation.lhs

build/typesystem.lhs: typesystem.lhs
	cp typesystem.lhs build/typesystem.lhs

build/translation.lhs: translation.lhs
	cp translation.lhs build/translation.lhs

build/implementation.lhs: implementation.lhs
	cp implementation.lhs build/implementation.lhs

build/related-work.lhs: related-work.lhs
	cp related-work.lhs build/related-work.lhs

build/conclusion.lhs: conclusion.lhs
	cp conclusion.lhs build/conclusion.lhs

build/appendices.lhs: appendices.lhs
	cp appendices.lhs build/appendices.lhs

build/spbasic.bst: spbasic.bst
	cp spbasic.bst build/spbasic.bst