Skip to content

Commit

Permalink
update package list to download in readme
Browse files Browse the repository at this point in the history
  • Loading branch information
@arijitsh
arijitsh committed Jun 1, 2024
1 parent e6885db commit 305c478
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.markdown
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 305c478

Please sign in to comment.