[analyzer] SATest: Fix package versions for test dependencies
authorValeriy Savchenko <vsavchenko@apple.com>
Mon, 8 Jun 2020 14:08:01 +0000 (17:08 +0300)
committerValeriy Savchenko <vsavchenko@apple.com>
Thu, 25 Jun 2020 09:28:22 +0000 (12:28 +0300)
Summary:
Another possible difference between various users of the
testing system might be a change in dependencies installed on the
container.  This commit tries to prevent any problem related to
different versions of the libraries/headers used and fixes them to
currently installed versions.

Differential Revision: https://reviews.llvm.org/D81600

clang/utils/analyzer/Dockerfile

index 9c0c891..30fb67c 100644 (file)
@@ -13,34 +13,34 @@ 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 \
-    gettext \
-    python3 \
-    python3-pip \
-    cmake \
-    ninja-build
+    git=1:2.17.1-1ubuntu0.7 \
+    gettext=0.19.8.1-6ubuntu0.3 \
+    python3=3.6.7-1~18.04 \
+    python3-pip=9.0.1-2.3~ubuntu1.18.04.1 \
+    cmake=3.17.3-0kitware1 \
+    ninja-build=1.8.2-1
 
 # box2d dependencies
 RUN apt-get install -y \
-    libx11-dev \
-    libxrandr-dev \
-    libxinerama-dev \
-    libxcursor-dev \
-    libxi-dev
+    libx11-dev=2:1.6.4-3ubuntu0.2 \
+    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 \
-    libgmp-dev
+    libgmp10=2:6.1.2+dfsg-2 \
+    libgmp-dev=2:6.1.2+dfsg-2
 
 # simbody dependencies
 RUN apt-get install -y \
-    liblapack-dev
+    liblapack-dev=3.7.1-4ubuntu1
 
 # drogon dependencies
 RUN apt-get install -y \
-    libjsonrpccpp-dev \
-    uuid-dev
+    libjsonrpccpp-dev=0.7.0-1build2 \
+    uuid-dev=2.31.1-0.4ubuntu3.6
 
 RUN update-alternatives --install /usr/bin/python python /usr/bin/python3 1