CC	= gcc
DEPEND = makedepend
TCL_DIR	= /software/tcl-7.4
TK_DIR	= /software/tk-4.0

INCS = -I$(TCL_DIR)/include -I$(TK_DIR)/include -I/software/x11r5_dev/Include
LIBS	= -L/software/x11r5_dev/lib -L$(TCL_DIR)/lib -L$(TK_DIR)/lib
CCFLAGS= $(INCS) $(LIBS) -g -Wall
LFLAGS	=  -ltk -ltcl -lX11 -lsocket -lm
ALLDEFINES = -DDEBUG

.SUFFIXES: .c .o .cpp
.c.o:
	$(CC) $(CCFLAGS) $(ALLDEFINES) -c $<
.cpp.o:
	g++ -g -Wall $(ALLDEFINES) -c $*.cpp

PROOF_C = proof.c
PROOF_O = proof.o

all: proof

proof: $(PROOF_O)
	$(CC) $(CCFLAGS) $(ALLDEFINES) -o $@ $(PROOF_O) $(LFLAGS)

clean:
	rm -f *.o proof core

depend::
	$(DEPEND) -s "# DO NOT DELETE" -- $(ALLDEFINES) -- $(PROOF_C)

# DO NOT DELETE THIS LINE

proof.o: /usr/include/stdio.h /usr/include/sys/feature_tests.h
proof.o: /usr/include/stdlib.h /usr/include/string.h /usr/include/tcl.h
proof.o: /usr/include/tk.h /usr/include/stddef.h /usr/include/sys/types.h
proof.o: /usr/include/sys/isa_defs.h /usr/include/sys/machtypes.h
proof.o: /usr/include/unistd.h /usr/include/sys/unistd.h ../pbx2.h
proof.o: /usr/include/sys/ipc.h /usr/include/sys/msg.h /usr/include/sys/shm.h
proof.o: /usr/include/sys/time.h /usr/include/errno.h
proof.o: /usr/include/sys/errno.h /usr/include/signal.h
proof.o: /usr/include/sys/signal.h ../he2.h