75 lines · plain
1FROM docker.io/ubuntu:bionic2 3RUN apt-get update && apt-get install -y \4 apt-transport-https \5 ca-certificates \6 gnupg \7 software-properties-common \8 wget9 10# newer CMake is required by LLVM11RUN wget -O - https://apt.kitware.com/keys/kitware-archive-latest.asc 2>/dev/null | gpg --dearmor - | tee /etc/apt/trusted.gpg.d/kitware.gpg >/dev/null12RUN apt-add-repository -y 'deb https://apt.kitware.com/ubuntu/ bionic main'13 14# test system dependencies15RUN apt-get update && apt-get install -y \16 git=1:2.17.1* \17 gettext=0.19.8.1* \18 python3=3.6.7-1~18.04 \19 python3-pip=9.0.1-2.3* \20 cmake=3.20.5* \21 cmake-data=3.20.5* \22 ninja-build=1.8.2-123 24# box2d dependencies25RUN apt-get install -y \26 libx11-dev=2:1.6.4-3* \27 libxrandr-dev=2:1.5.1-1 \28 libxinerama-dev=2:1.1.3-1 \29 libxcursor-dev=1:1.1.15-1 \30 libxi-dev=2:1.7.9-131 32# symengine dependencies33RUN apt-get install -y \34 libgmp10=2:6.1.2+dfsg-2ubuntu0.1 \35 libgmp-dev=2:6.1.2+dfsg-2ubuntu0.136 37# simbody dependencies38RUN apt-get install -y \39 liblapack-dev=3.7.1-4*40 41# drogon dependencies42RUN apt-get install -y \43 libjsonrpccpp-dev=0.7.0-1* \44 uuid-dev=2.31.1-0.4*45 46# tmux dependencies47RUN apt-get install -y \48 autotools-dev=20180224.1 \49 automake=1:1.15.1-3* \50 libncurses5-dev=6.1-1* \51 libevent-dev=2.1.8* \52 pkg-config=0.29.1-0* \53 flex=2.6.4-6 \54 bison=2:3.0.4.*55 56RUN apt-get install -y \57 libjpeg-dev58 59RUN update-alternatives --install /usr/bin/python python /usr/bin/python3 160 61VOLUME /analyzer62VOLUME /projects63VOLUME /llvm-project64VOLUME /build65VOLUME /scripts66 67ENV PATH="/analyzer/bin:${PATH}"68 69ADD entrypoint.py /entrypoint.py70 71ADD requirements.txt /requirements.txt72RUN pip3 install -r /requirements.txt73 74ENTRYPOINT ["python", "/entrypoint.py"]75