CSRC += bmcUtil.c bmcCmd.c bmcBmc.c bmcCirCUsUtil.c bmcCirCUs.c bmcAutSat.c bmcAutUtil.c 
HEADERS += bmc.h bmcInt.h

DEPENDENCYFILES = $(CSRC)