
OPERATORS = ops.pl

PROGRAM   = pleuk

PROLOGOBJS = auxpreds.ql parser.ql printer.ql \
		 psprinter.ql reader.ql

#prolog_objects: 
#	${MAKE} ${MFLAGS} -f ../Makefile.defs ${PROLOGOBJS} OPERATORS=ops.pl
