diff --git a/README.markdown b/README.markdown index 73972e96..92df6906 100644 --- a/README.markdown +++ b/README.markdown @@ -16,8 +16,8 @@ CSB uses [STP](https://github.com/stp/stp) as its frontend and is built on top o For a quick install: ``` -sudo apt-get install git cmake bison flex libboost-all-dev python2 perl build-essential -sudo apt-get install zlib1g-dev libboost-program-options-dev libboost-serialization-dev libgmp-dev +sudo apt install git cmake bison flex libboost-all-dev python3 perl build-essential python3-distutils-extra +sudo apt install zlib1g-dev libboost-program-options-dev libboost-serialization-dev libgmp-dev libmpfr-dev git clone https://github.com/meelgroup/csb cd csb git submodule init && git submodule update