OBJS =  subst.t.o subst.o prefix.o conutil.o unify.o check.o hcheck.o tchk.o
MSRC = subst.t.m subst.m prefix.m check.m unify.m tchk.m hcheck.m conutil.m

LMLC = lmlc
LMLFLAGS = 
.SUFFIXES :
.SUFFIXES : .m .o .t

.m.o :
	${LMLC} -c ${LMLFLAGS} $<

all:	${OBJS}

oosave:
	mv *.o saveoo
unosave:
	mv saveoo/*.o .
unsave:
	mv saveo/*.o .
osave:
	mv *.o saveo

clean:
	rm -f *.o

print:
	@pr -l72 Makefile check.m tchk.m unify.m

countlines:
	wc $(MSRC)

depend:
	../../bin/makedepend ${MSRC}

# DO NOT DELETE THIS LINE

subst.o:  ../expr/ttype.t.t ../expr/ttype.t ../Expr/Expr.t.t ../misc/flags.t subst.t.t unify.t conutil.t
prefix.o:  ../expr/id.t ../expr/id.t.t ../expr/ttype.t ../misc/util.t subst.t
check.o:  ../expr/id.t.t ../expr/constr.t.t ../expr/einfo.t.t ../expr/ttype.t.t ../expr/ttype.t ../expr/id.t ../expr/constrfun.t ../Expr/Expr.t.t ../Expr/Eprint.t ../Expr/Egetid.t ../Expr/unrec.t ../transform/misc.t subst.t.t prefix.t subst.t unify.t
unify.o:  ../expr/ttype.t.t ../expr/ttype.t ../expr/id.t.t ../expr/id.t ../misc/flags.t subst.t.t subst.t conutil.t
tchk.o:  ../expr/ttype.t.t ../expr/id.t.t ../expr/id.t ../expr/ttype.t ../expr/impexp.t.t ../expr/error.t ../Expr/Expr.t.t ../Expr/Eprint.t ../transform/misc.t ../misc/flags.t ../rename/importpre.t subst.t.t check.t hcheck.t prefix.t unify.t subst.t
hcheck.o:  ../expr/id.t.t ../expr/constr.t.t ../expr/einfo.t.t ../expr/ttype.t.t ../expr/ttype.t ../expr/id.t ../expr/idtab.t ../expr/constrfun.t ../Expr/Expr.t.t ../Expr/Eprint.t ../Expr/Egetid.t ../Expr/unrec.t ../transform/misc.t ../misc/misc.t ../misc/util.t ../misc/flags.t subst.t.t prefix.t subst.t unify.t conutil.t check.t
conutil.o:  ../expr/id.t.t ../expr/id.t ../expr/idtab.t ../expr/ttype.t.t ../expr/ttype.t ../Expr/Expr.t.t ../Expr/Eprint.t ../Expr/Eutil.t ../misc/misc.t ../misc/util.t ../misc/flags.t ../transform/hexpr.t subst.t.t subst.t prefix.t
# DEPENDENCIES MUST END AT END OF FILE
# IF YOU PUT STUFF HERE IT WILL GO AWAY
