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 351a910
Show file tree
Hide file tree
Showing 5 changed files with 22 additions and 16 deletions.
5 changes: 3 additions & 2 deletions scripts/docker/buildpack-deps/Dockerfile.emscripten
Original file line number Diff line number Diff line change
Expand Up @@ -33,13 +33,14 @@
# Using $(em-config CACHE)/sysroot/usr seems to work, though, and still has cmake find the
# dependencies automatically.
FROM emscripten/emsdk:3.1.19 AS base
LABEL version="16"
LABEL version="17"

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
11 changes: 6 additions & 5 deletions scripts/docker/buildpack-deps/Dockerfile.ubuntu.clang.ossfuzz
Original file line number Diff line number Diff line change
Expand Up @@ -22,19 +22,20 @@
# (c) 2016-2021 solidity contributors.
#------------------------------------------------------------------------------
FROM gcr.io/oss-fuzz-base/base-clang:latest as base
LABEL version="5"
LABEL version="6"

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
7 changes: 4 additions & 3 deletions scripts/docker/buildpack-deps/Dockerfile.ubuntu2004
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@
# (c) 2016-2019 solidity contributors.
#------------------------------------------------------------------------------
FROM buildpack-deps:focal AS base
LABEL version="22"
LABEL version="23"

ARG DEBIAN_FRONTEND=noninteractive

Expand All @@ -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
7 changes: 4 additions & 3 deletions scripts/docker/buildpack-deps/Dockerfile.ubuntu2204
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@
# (c) 2016-2019 solidity contributors.
#------------------------------------------------------------------------------
FROM buildpack-deps:jammy AS base
LABEL version="7"
LABEL version="8"

ARG DEBIAN_FRONTEND=noninteractive

Expand All @@ -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
8 changes: 5 additions & 3 deletions scripts/docker/buildpack-deps/Dockerfile.ubuntu2204.clang
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@
# (c) 2016-2019 solidity contributors.
#------------------------------------------------------------------------------
FROM buildpack-deps:jammy AS base
LABEL version="6"
LABEL version="7"

ARG DEBIAN_FRONTEND=noninteractive

Expand All @@ -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 351a910

Please sign in to comment.