cp Makefile.temp Makefile cd cudd-3.0.0 && aclocal && autoreconf && ./configure CFLAGS="-Wall -Wextra -g -O3 -fPIC" LD="" && cd ..