Update README.md

Author: msoos

README.md

@@ -78,17 +78,22 @@ cd cryptominisat
 mkdir build && cd build
 cmake ..
 make
-sudo make install
-sudo ldconfig
+cd ..
+
+git clone https://github.com/meelgroup/sbva
+cd sbva
+mkdir build && cd build
+cmake ..
+make
+cd ..
 
 cd ../..
 git clone https://github.com/meelgroup/arjun
 cd arjun
 mkdir build && cd build
 cmake ..
 make
-sudo make install
-sudo ldconfig
+cd ..
 
 cd ../..
 git clone https://github.com/meelgroup/approxmc