diff --git a/build_cudd.sh b/build_cudd.sh
index f3871df..ae0182e 100755
--- a/build_cudd.sh
+++ b/build_cudd.sh
@@ -3,7 +3,11 @@
 CUDD_VERSION=3.0.0
 INSTALL_DIR="$PWD"
 
+tar -zxvf dist/cudd-$CUDD_VERSION.tar.gz
 cd cudd-$CUDD_VERSION
 ./configure --enable-shared --enable-obj --prefix=$INSTALL_DIR/cudd
-make
+make -j4
 make install
+cd ..
+rm -rf cudd-$CUDD_VERSION
+
diff --git a/dist/cudd-3.0.0.tar.gz b/dist/cudd-3.0.0.tar.gz
new file mode 100644
index 0000000..3e97d2e
Binary files /dev/null and b/dist/cudd-3.0.0.tar.gz differ