
# Definitions #

HOME = /u/usystem/software/concc
TeXLIB = /usr/lib/tex/macros

# Directives #

all : uMonitor.dvi

clean :
	rm -f *.aux *.dvi *.idx *.ilg *.ind *.log *.toc *.blg

# File Dependencies #

uMonitor.dvi : Makefile BoundedBuffer.tex uMonitor.idx uMonitor.bbl uMonitor.tex
	TEXINPUTS=.:${HOME}/TeX:${TeXLIB} && export TEXINPUTS && latex uMonitor.tex
	makeindex uMonitor.idx
	TEXINPUTS=.:${HOME}/TeX:${TeXLIB} && export TEXINPUTS && latex uMonitor.tex
	TEXINPUTS=.:${HOME}/TeX:${TeXLIB} && export TEXINPUTS && latex uMonitor.tex	 % to get index title in toc

uMonitor.bbl :
	TEXINPUTS=.:${HOME}/TeX:${TeXLIB} && export TEXINPUTS && latex uMonitor.tex
	bibtex uMonitor

uMonitor.idx :
	cp /dev/null uMonitor.ind

BoundedBuffer.tex : ../../../examples/Monitor/BoundedBufferPB.c
	tgrind -i -n ../../../examples/Monitor/BoundedBufferPB.c > $@

# Local Variables: #
# compile-command: "make -k" #
# End: #
