Makefile

.PHONY: FORCE lenny all clean distclean

TARGET=thesis
.SUFFIXES: .pdf .ps .dvi .tex

STY = ndisplay.sty liquidHaskell.sty ngrammar.sty
TEX = theorems.tex grammar.tex typing.tex operational.tex definitions.tex prfLmTransD.tex prfLmTransP.tex proofType.tex
BIB = myrefs
SRCFILES = Makefile ${TEX} ${STY} ${BIB}.bib  

export TEXINPUTS:=${PWD}/Styles//:${TEXINPUTS}
export BSTINPUTS:=${PWD}/Styles//:${BSTINPUTS}
export SHELL := /bin/bash

# make pdf by default
all: ${TARGET}.pdf

${TARGET}.pdf: ${TARGET}.tex FORCE
	latexmk -pdf -f -e '$$pdflatex=q/xelatex %O %S/' $<

count:
	pdftotext $(TARGET).pdf -| tr -d '.' | wc -w

clean:
	$(RM) *.log *.aux *.ps *.dvi *.bbl *.blg *.bak *.fdb_latexmk *~

reallyclean: clean
	$(RM) $(TARGET).ps $(TARGET).pdf

distclean: reallyclean

pdfshow: $(TARGET).pdf
	xpdf $(TARGET).pdf

acroshow: $(TARGET).pdf
	acroread $(TARGET).pdf

pack: reallyclean
	tar cvfz liquidHaskell_tex.tar.gz ${SRCFILES}

PHONY : ps all clean reallyclean distclean