From 305c47854b660c98dd471df99a2dab609edae941 Mon Sep 17 00:00:00 2001 From: Arijit Shaw Date: Fri, 31 May 2024 21:17:56 -0400 Subject: [PATCH] update package list to download in readme --- README.markdown | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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