3 RUN apt-get update && apt-get install -y \
7 software-properties-common \
10 # newer CMake is required by LLVM
11 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
12 RUN apt-add-repository -y 'deb https://apt.kitware.com/ubuntu/ bionic main'
14 # test system dependencies
15 RUN apt-get update && apt-get install -y \
18 python3=3.6.7-1~18.04 \
19 python3-pip=9.0.1-2.3* \
25 RUN 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 \
32 # symengine dependencies
33 RUN apt-get install -y \
34 libgmp10=2:6.1.2+dfsg-2ubuntu0.1 \
35 libgmp-dev=2:6.1.2+dfsg-2ubuntu0.1
37 # simbody dependencies
38 RUN apt-get install -y \
39 liblapack-dev=3.7.1-4*
42 RUN apt-get install -y \
43 libjsonrpccpp-dev=0.7.0-1* \
47 RUN apt-get install -y \
48 autotools-dev=20180224.1 \
49 automake=1:1.15.1-3* \
50 libncurses5-dev=6.1-1* \
52 pkg-config=0.29.1-0* \
56 RUN apt-get install -y \
59 RUN update-alternatives --install /usr/bin/python python /usr/bin/python3 1
67 ENV PATH="/analyzer/bin:${PATH}"
69 ADD entrypoint.py /entrypoint.py
71 ADD requirements.txt /requirements.txt
72 RUN pip3 install -r /requirements.txt
74 ENTRYPOINT ["python", "/entrypoint.py"]