1FROM ubuntu:bionic 2 3RUN apt-get update && apt-get install -y \ 4 apt-transport-https \ 5 ca-certificates \ 6 gnupg \ 7 software-properties-common \ 8 wget 9 10# newer CMake is required by LLVM 11RUN 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/null 12RUN apt-add-repository -y 'deb https://apt.kitware.com/ubuntu/ bionic main' 13 14# test system dependencies 15RUN apt-get update && apt-get install -y \ 16 git=1:2.17.1-1ubuntu0.7 \ 17 gettext=0.19.8.1-6ubuntu0.3 \ 18 python3=3.6.7-1~18.04 \ 19 python3-pip=9.0.1-2.3~ubuntu1.18.04.1 \ 20 cmake=3.17.3-0kitware1 \ 21 ninja-build=1.8.2-1 22 23# box2d dependencies 24RUN apt-get install -y \ 25 libx11-dev=2:1.6.4-3ubuntu0.2 \ 26 libxrandr-dev=2:1.5.1-1 \ 27 libxinerama-dev=2:1.1.3-1 \ 28 libxcursor-dev=1:1.1.15-1 \ 29 libxi-dev=2:1.7.9-1 30 31# symengine dependencies 32RUN apt-get install -y \ 33 libgmp10=2:6.1.2+dfsg-2 \ 34 libgmp-dev=2:6.1.2+dfsg-2 35 36# simbody dependencies 37RUN apt-get install -y \ 38 liblapack-dev=3.7.1-4ubuntu1 39 40# drogon dependencies 41RUN apt-get install -y \ 42 libjsonrpccpp-dev=0.7.0-1build2 \ 43 uuid-dev=2.31.1-0.4ubuntu3.6 44 45# tmux dependencies 46RUN apt-get install -y \ 47 autotools-dev=20180224.1 \ 48 automake=1:1.15.1-3ubuntu2 \ 49 libncurses5-dev=6.1-1ubuntu1.18.04 \ 50 libevent-dev=2.1.8-stable-4build1 \ 51 pkg-config=0.29.1-0ubuntu2 \ 52 flex=2.6.4-6 \ 53 bison=2:3.0.4.dfsg-1build1 54 55RUN update-alternatives --install /usr/bin/python python /usr/bin/python3 1 56 57VOLUME /analyzer 58VOLUME /projects 59VOLUME /llvm-project 60VOLUME /build 61VOLUME /scripts 62 63ENV PATH="/analyzer/bin:${PATH}" 64 65ADD entrypoint.py /entrypoint.py 66 67ADD requirements.txt /requirements.txt 68RUN pip3 install -r /requirements.txt 69 70ENTRYPOINT ["python", "/entrypoint.py"] 71