SRC +=    src/bdd/dsd/dsdApi.c \
    src/bdd/dsd/dsdCheck.c \
    src/bdd/dsd/dsdLocal.c \
    src/bdd/dsd/dsdMan.c \
    src/bdd/dsd/dsdProc.c \
    src/bdd/dsd/dsdTree.c