SRC += src/opt/nwk/nwkAig.c \ src/opt/nwk/nwkCheck.c \ src/opt/nwk/nwkBidec.c \ src/opt/nwk/nwkDfs.c \ src/opt/nwk/nwkFanio.c \ src/opt/nwk/nwkFlow.c \ src/opt/nwk/nwkMan.c \ src/opt/nwk/nwkMap.c \ src/opt/nwk/nwkMerge.c \ src/opt/nwk/nwkObj.c \ src/opt/nwk/nwkSpeedup.c \ src/opt/nwk/nwkStrash.c \ src/opt/nwk/nwkTiming.c \ src/opt/nwk/nwkUtil.c