/usr/bin/c++   -Wall -Wall  -O3 -DNDEBUG -Wl,-search_paths_first -Wl,-headerpad_max_install_names  CMakeFiles/testobj.dir/testobj.cc.o  -o testobj  libcuddobj.a ../cudd/libcudd.a ../mtr/libmtr.a ../util/libutil.a ../epd/libepd.a ../st/libst.a 
