Dockerfile

FROM --platform=linux/amd64 ubuntu:latest

# https://askubuntu.com/questions/909277/avoiding-user-interaction-with-tzdata-when-installing-certbot-in-a-docker-contai
ARG DEBIAN_FRONTEND=noninteractive

# Load mono keys so we can install PPA to get a recent version (ubuntu ships
# with 4.x; we want 6.x)
RUN apt-get update
RUN apt-get install -y ca-certificates gnupg2
RUN apt-key adv --keyserver keyserver.ubuntu.com --recv-keys A6A19B38D3D831EF

COPY mono-official-stable.list /etc/apt/sources.list.d/

RUN apt-get update
RUN apt-get install -y mono-runtime mono-mcs mono-devel git make wget unzip
RUN apt-get install -y vim emacs
RUN apt-get install -y python3-pip time
RUN apt-get install -y sloccount graphviz

RUN pip3 install toposort
RUN pip3 install pandas
RUN pip3 install numpy
RUN pip3 install matplotlib
RUN pip3 install strbalance

# dependencies for compilation 
# RUN apt-get install -y clang
# RUN apt-get install -y libc++-dev
# RUN apt-get install -y libc++abi-dev
# RUN apt-get install -y libdb5.3-stl-dev
# RUN apt-get install -y libdb-dev libdb++-dev
# RUN apt-get install -y texlive texlive-pictures

# install dafny 3.0 dependencies 
RUN wget http://archive.ubuntu.com/ubuntu/pool/main/o/openssl/libssl1.1_1.1.1-1ubuntu2.1~18.04.21_amd64.deb
RUN dpkg -i libssl1.1_1.1.1-1ubuntu2.1~18.04.21_amd64.deb
RUN wget https://packages.microsoft.com/config/ubuntu/18.04/packages-microsoft-prod.deb -O packages-microsoft-prod.deb
RUN dpkg -i packages-microsoft-prod.deb
RUN rm packages-microsoft-prod.deb
RUN apt-get update; \
apt-get install -y apt-transport-https && \
apt-get update && \
apt-get install -y dotnet-sdk-5.0

COPY veribetrkv-dynamic-frames /root/veribetrkv-dynamic-frames
WORKDIR /root/veribetrkv-dynamic-frames
RUN tools/install-dafny.sh

COPY veribetrkv-linear /root/veribetrkv-linear
WORKDIR /root/veribetrkv-linear
RUN tools/install-linear-dafny.sh

COPY scripts /root/scripts
COPY clean-files /root/clean-files
COPY error-files /root/error-files

WORKDIR /root
RUN /bin/bash