SRC +=    src/base/abc/abcAig.c \
    src/base/abc/abcBarBuf.c \
    src/base/abc/abcBlifMv.c \
    src/base/abc/abcCheck.c \
    src/base/abc/abcDfs.c \
    src/base/abc/abcFanio.c \
    src/base/abc/abcFanOrder.c \
    src/base/abc/abcFunc.c \
    src/base/abc/abcHie.c \
    src/base/abc/abcHieCec.c \
    src/base/abc/abcHieNew.c \
    src/base/abc/abcLatch.c \
    src/base/abc/abcLib.c \
    src/base/abc/abcMinBase.c \
    src/base/abc/abcNames.c \
    src/base/abc/abcNetlist.c \
    src/base/abc/abcNtk.c \
    src/base/abc/abcObj.c \
    src/base/abc/abcRefs.c \
    src/base/abc/abcShow.c \
    src/base/abc/abcSop.c \
    src/base/abc/abcUtil.c
