abcBridge-0.10.0.0: abc-build/src/opt/sfm/module.make

SRC +=	src/opt/sfm/sfmCnf.c \
	src/opt/sfm/sfmCore.c \
	src/opt/sfm/sfmNtk.c \
	src/opt/sfm/sfmSat.c \
	src/opt/sfm/sfmWin.c