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