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
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