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