Skip to content

Commit

Permalink
Avoid installing Python 2
Browse files Browse the repository at this point in the history
  • Loading branch information
MartinNowack authored and ccadar committed Mar 30, 2022
1 parent 29144f9 commit c22c7d5
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions scripts/build/p-klee-linux-ubuntu.inc
Original file line number Diff line number Diff line change
Expand Up @@ -24,9 +24,6 @@ install_build_dependencies_klee() {
build-essential
gcc-multilib # to generate 32bit
cmake
python-pip #for lit
python-setuptools #for lit
python-wheel #for lit
zlib1g-dev
python3
python3-setuptools
Expand Down

0 comments on commit c22c7d5

Please sign in to comment.