clang/utils/analyzer/Dockerfile

   1 FROM ubuntu:bionic
   2
   3 RUN 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
  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'
  13
  14 # test system dependencies
  15 RUN 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     ninja-build=1.8.2-1
  22
  23 # box2d dependencies
  24 RUN apt-get install -y \
  25     libx11-dev=2:1.6.4-3* \
  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
  32 RUN 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
  37 RUN apt-get install -y \
  38     liblapack-dev=3.7.1-4*
  39
  40 # drogon dependencies
  41 RUN apt-get install -y \
  42     libjsonrpccpp-dev=0.7.0-1* \
  43     uuid-dev=2.31.1-0.4*
  44
  45 # tmux dependencies
  46 RUN apt-get install -y \
  47     autotools-dev=20180224.1 \
  48     automake=1:1.15.1-3* \
  49     libncurses5-dev=6.1-1* \
  50     libevent-dev=2.1.8* \
  51     pkg-config=0.29.1-0* \
  52     flex=2.6.4-6 \
  53     bison=2:3.0.4.*
  54
  55 RUN update-alternatives --install /usr/bin/python python /usr/bin/python3 1
  56
  57 VOLUME /analyzer
  58 VOLUME /projects
  59 VOLUME /llvm-project
  60 VOLUME /build
  61 VOLUME /scripts
  62
  63 ENV PATH="/analyzer/bin:${PATH}"
  64
  65 ADD entrypoint.py /entrypoint.py
  66
  67 ADD requirements.txt /requirements.txt
  68 RUN pip3 install -r /requirements.txt
  69
  70 ENTRYPOINT ["python", "/entrypoint.py"]