version=veri2
CC=gcc

tfiles= termrw.o termcopy.o termsubs.o termassi.o
ffiles= formula.o formular.o formulal.o formulae.o
sfiles=	sentelem.o sentence.o sentproc.o sentloop.o sentcall.o
afiles=	assumpti.o assumpel.o assumpca.o
pfiles=	proof.o proofset.o proofpre.o proofrul.o proofeva.o prooffun.o \
	proofrew.o
wfiles=	wsentenc.o wselect.o wstart.o \
	waskinv.o wpost.o wutilpos.o wexpand.o wassump.o wpopup.o wdialog.o \
	wmainbox.o wutil.o wcreate.o winit.o wmain.o

ofiles=	$(tfiles) \
	$(sfiles) \
	$(afiles) \
	$(ffiles) \
	$(pfiles) \
	$(wfiles) \
	testutil.o testlog.o proof2.o

.c.o:	n0.h
	$(CC) -c -g $< -I/usr/local/include
#	$(CC) -c -g $@ $< -I/usr/local/include

all:	veri vrun
#	rm *.o

veri:	$(ofiles)
	$(CC) -o $(version) $(ofiles) \
	-L/local/lib -lXaw \
	-lXmu \
	-lXt \
	-lXext \
	-lX11 \
	-L/local/IXImotif/lib -lXm

iclean:
	rm LogFile
	rm *.o
	rm ?

vrun:
	echo "#!/bin/csh" > vrun
	echo -n "setenv LD_LIBRARY_PATH " >> vrun
	echo -n "/home/xyz/other/X11R5/mit/lib/X:" >> vrun
	echo -n "/home/xyz/other/X11R5/mit/lib/Xt:" >> vrun
	echo -n "/home/xyz/other/X11R5/mit/lib/Xaw:" >> vrun
	echo "/home/xyz/other/X11R5/mit/lib/Xmu" >> vrun
	echo -n `pwd` >> vrun
	echo -n "/$(version) $$" >> vrun
	echo -n "1 $$" >> vrun
	echo "2" >> vrun
	chmod +x vrun
