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