SRC +=    src/base/wlc/wlcAbs.c \
    src/base/wlc/wlcAbc.c \
    src/base/wlc/wlcBlast.c \
    src/base/wlc/wlcCom.c \
    src/base/wlc/wlcNtk.c \
    src/base/wlc/wlcReadSmt.c \
    src/base/wlc/wlcReadVer.c \
    src/base/wlc/wlcSim.c \
    src/base/wlc/wlcStdin.c \
    src/base/wlc/wlcWriteVer.c