moving to master yices2 (removing cudd)

SRI-CSL · May 20, 2018 · d1b9fb9 · d1b9fb9
1 parent 0d8ca45
commit d1b9fb9
Showing 1 changed file with 0 additions and 11 deletions.
diff --git a/contrib/install_yices2.sh b/contrib/install_yices2.sh
@@ -10,21 +10,10 @@ make
 sudo make install
 popd 
 
-# cudd
-pushd .
-git clone https://github.com/ivmai/cudd.git
-cd cudd
-git checkout tags/cudd-3.0.0
-./configure --enable-shared
-make
-sudo make install
-popd
-
 # yices2
 pushd .
 git clone https://github.com/SRI-CSL/yices2.git
 cd yices2
-git checkout mcsat-bv
 autoconf
 ./configure --enable-mcsat 
 make