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* \ 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-1 23 24# box2d dependencies 25RUN 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-1 31 32# symengine dependencies 33RUN apt-get install -y \ 34 libgmp10=2:6.1.2+dfsg-2ubuntu0.1 \ 35 libgmp-dev=2:6.1.2+dfsg-2ubuntu0.1 36 37# simbody dependencies 38RUN apt-get install -y \ 39 liblapack-dev=3.7.1-4* 40 41# drogon dependencies 42RUN apt-get install -y \ 43 libjsonrpccpp-dev=0.7.0-1* \ 44 uuid-dev=2.31.1-0.4* 45 46# tmux dependencies 47RUN 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-dev 58 59RUN update-alternatives --install /usr/bin/python python /usr/bin/python3 1 60 61VOLUME /analyzer 62VOLUME /projects 63VOLUME /llvm-project 64VOLUME /build 65VOLUME /scripts 66 67ENV PATH="/analyzer/bin:${PATH}" 68 69ADD entrypoint.py /entrypoint.py 70 71ADD requirements.txt /requirements.txt 72RUN pip3 install -r /requirements.txt 73 74ENTRYPOINT ["python", "/entrypoint.py"] 75