cmd='/home/ae/Desktop/artifact/storm/resources/3rdparty/cudd-3.0.0/configure;--enable-shared;--enable-obj;--with-pic=yes;--prefix=/home/ae/Desktop/artifact/storm/build/resources/3rdparty/cudd-3.0.0;--libdir=/home/ae/Desktop/artifact/storm/build/resources/3rdparty/cudd-3.0.0/lib;CC=/usr/bin/cc;CXX=/usr/bin/c++'
