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

SRC +=	src/bdd/dsd/dsdApi.c \
	src/bdd/dsd/dsdCheck.c \
	src/bdd/dsd/dsdLocal.c \
	src/bdd/dsd/dsdMan.c \
	src/bdd/dsd/dsdProc.c \
	src/bdd/dsd/dsdTree.c