
# Definitions #

HOME = /u3/usystem
# SHELL variable needed only on sysV to ensure usage of sh by make
SHELL = /bin/sh
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

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

uMonitor.idx :
	cp /dev/null uMonitor.ind
	TEXINPUTS=.:${HOME}/TeX:${TeXLIB} && export TEXINPUTS && latex uMonitor.tex

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

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