Skip to content

Instantly share code, notes, and snippets.

@jac18281828

jac18281828/Dockerfile

Created August 3, 2024 00:36
Show Gist options
  • Save jac18281828/93222112d2745676d2988d75e694c520 to your computer and use it in GitHub Desktop.
Save jac18281828/93222112d2745676d2988d75e694c520 to your computer and use it in GitHub Desktop.
Download ZIP
Certora Dockerfile
Raw
Dockerfile
FROM debian:stable-slim
RUN export DEBIAN_FRONTEND=noninteractive && \
apt update && \
apt install -y -q --no-install-recommends \
ca-certificates apt-transport-https \
curl sudo \
python3-pip python3-venv python3 \
default-jre && \
apt clean && \
rm -rf /var/lib/apt/lists/*
RUN useradd --create-home -s /bin/bash -u 1001 -U alice
RUN usermod -a -G sudo alice
RUN echo '%alice ALL=(ALL) NOPASSWD:ALL' >> /etc/sudoers
WORKDIR /workspaces/eigenlayer-contracts
COPY . .
RUN pip3 install --break-system-packages -r certora/requirements.txt && \
solc-select use 0.8.12 --always-install && \
bash certora/scripts/core/verifyDelegationManager.sh
Raw
requirements.txt
certora-cli
solc-select
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment