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