/usr/bin/ar qc libcuddobj.a  CMakeFiles/cuddobj.dir/cuddObj.cc.o
/usr/bin/ranlib libcuddobj.a
