UTILS=build/llncs.cls build/lazylist.sty build/polytable.sty build/mainsty.sty build/tfp07symp.cls build/gadt-paper.bib
LHS2TEX=/home/arie/lhs2tex-install/bin/lhs2TeX
RULER=/home/arie/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

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 > 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 > 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/llncs.cls: llncs.cls
	cp llncs.cls build/llncs.cls

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/tfp07symp.cls: tfp07symp.cls
	cp tfp07symp.cls build/tfp07symp.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