packages feed

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

SRC +=	src/opt/cgt/cgtAig.c \
	src/opt/cgt/cgtCore.c \
	src/opt/cgt/cgtDecide.c \
	src/opt/cgt/cgtMan.c \
	src/opt/cgt/cgtSat.c