abcBridge-0.10.0.0: abc-build/src/bdd/cas/module.make

SRC +=	src/bdd/cas/casCore.c \
	src/bdd/cas/casDec.c