Skip to content

Commit

Permalink
Install python dependencies on buildpack-deps images
Browse files Browse the repository at this point in the history
  • Loading branch information
r0qs committed Apr 26, 2024
1 parent 938c505 commit 15474a5
Show file tree
Hide file tree
Showing 5 changed files with 17 additions and 11 deletions.
3 changes: 2 additions & 1 deletion scripts/docker/buildpack-deps/Dockerfile.emscripten
Expand Up @@ -39,7 +39,8 @@ ADD emscripten.jam /usr/src
RUN set -ex && \
\
apt-get update && \
apt-get install lz4 sudo --no-install-recommends && \
apt-get install lz4 sudo lsof python3 python3-pip --no-install-recommends && \
pip3 install requests && \
\
cd /usr/src && \
git clone https://github.com/Z3Prover/z3.git -b z3-4.12.1 --depth 1 && \
Expand Down
9 changes: 5 additions & 4 deletions scripts/docker/buildpack-deps/Dockerfile.ubuntu.clang.ossfuzz
Expand Up @@ -29,12 +29,13 @@ ARG DEBIAN_FRONTEND=noninteractive
RUN apt-get update; \
apt-get -qqy install --no-install-recommends \
automake libtool bison texinfo \
build-essential sudo \
build-essential sudo lsof \
software-properties-common \
ninja-build git wget \
libbz2-dev zlib1g-dev git curl uuid-dev \
ninja-build git wget python3-pip \
libbz2-dev zlib1g-dev curl uuid-dev \
pkg-config openjdk-8-jdk liblzma-dev unzip mlton m4 jq; \
apt-get install -qy python3-pip;
pip3 install codecov parsec tabulate pylint z3-solver \
pygments-lexer-solidity deepdiff colorama requests;

# Install cmake 3.21.2 (minimum requirement is cmake 3.10)
RUN wget https://github.com/Kitware/CMake/releases/download/v3.21.2/cmake-3.21.2-Linux-x86_64.sh; \
Expand Down
5 changes: 3 additions & 2 deletions scripts/docker/buildpack-deps/Dockerfile.ubuntu2004
Expand Up @@ -34,13 +34,14 @@ RUN set -ex; \
apt-get install -qqy --no-install-recommends \
build-essential sudo \
software-properties-common \
cmake ninja-build \
cmake ninja-build lsof \
libboost-filesystem-dev libboost-test-dev libboost-system-dev \
libboost-program-options-dev \
libcvc4-dev libz3-static-dev z3-static jq \
; \
apt-get install -qy python3-pip python3-sphinx; \
pip3 install codecov;
pip3 install codecov parsec tabulate pylint z3-solver \
pygments-lexer-solidity deepdiff colorama requests;

# Eldarica
RUN set -ex; \
Expand Down
5 changes: 3 additions & 2 deletions scripts/docker/buildpack-deps/Dockerfile.ubuntu2204
Expand Up @@ -34,13 +34,14 @@ RUN set -ex; \
apt-get install -qqy --no-install-recommends \
build-essential sudo \
software-properties-common \
cmake ninja-build \
cmake ninja-build lsof \
libboost-filesystem-dev libboost-test-dev libboost-system-dev \
libboost-program-options-dev \
libcvc4-dev libz3-static-dev z3-static jq \
libcln-dev zip locales-all; \
apt-get install -qy python3-pip python3-sphinx; \
pip3 install codecov;
pip3 install codecov parsec tabulate pylint z3-solver \
pygments-lexer-solidity deepdiff colorama requests;

# Eldarica
RUN set -ex; \
Expand Down
6 changes: 4 additions & 2 deletions scripts/docker/buildpack-deps/Dockerfile.ubuntu2204.clang
Expand Up @@ -34,12 +34,14 @@ RUN set -ex; \
apt-get install -qqy --no-install-recommends \
build-essential sudo \
software-properties-common \
cmake ninja-build \
cmake ninja-build lsof \
libboost-filesystem-dev libboost-test-dev libboost-system-dev \
libboost-program-options-dev \
clang \
libz3-static-dev z3-static jq \
libcln-dev;
libcln-dev python3-pip; \
pip3 install codecov parsec tabulate pylint z3-solver \
pygments-lexer-solidity deepdiff colorama requests;

# Eldarica
RUN set -ex; \
Expand Down

0 comments on commit 15474a5

Please sign in to comment.