Please make sure your issue is not addressed in the FAQ.

Please include the following information:

[ ] The version of infer from infer --version. I am trying to install V1.1.0 on Docker
[ ] Your operating system and version, for example "Debian 9", "MacOS High Sierra", whether you are using Docker, etc.We are using Docker(Docker version 20.10.7, build f0df350) on linux OS 3.10.0-957.el7.x86_64
[ ] Which command you ran, for example infer -- make. I have downloaded Docker file and run.sh as mentioned below
[ ] wget -O Dockerfile https://raw.githubusercontent.com/facebook/infer/master/docker/1.1.0/Dockerfile wget -O run.sh https://raw.githubusercontent.com/facebook/infer/master/docker/1.1.0/run.sh sh run.sh Due to SSL secrtificate issue, inside the docker file i have commented the curl command to download the infer-linux64-v1.1.0.tar.xz and sdk-tools-linux-3859397.zip and mentioned the path of these files as current working directory.
[ ] The full output in a paste, for instance a gist.

Dockerfile what i am using: Here i have commented out the curl command.

FROM debian:stretch-slim

LABEL maintainer "Infer team"

mkdir the man/man1 directory due to Debian bug #863199

RUN apt-get update && \ mkdir -p /usr/share/man/man1 && \ apt-get install --yes --no-install-recommends \ autoconf \ automake \ cmake \ curl \ git \ libc6-dev \ libsqlite3-dev \ opam \ openjdk-8-jdk-headless \ pkg-config \ python2.7 \ zlib1g-dev && \ rm -rf /var/lib/apt/lists/*

Download the latest Infer release

RUN INFER_VERSION=v1.1.0; \ cd /opt && \

curl -sL \

https://github.com/facebook/infer/releases/download/${INFER_VERSION}/infer-linux64-${INFER_VERSION}.tar.xz | \

tar xJ && \

rm -f /infer && \
ln -s ${PWD}/infer-linux64-${INFER_VERSION} /infer

Compile Infer

RUN OCAML_VERSION=4.06.1+flambda; \ cd /infer && \ ./build-infer.sh --opam-switch $OCAML_VERSION && rm -rf /root/.opam

Install Infer

ENV INFER_HOME /infer/infer ENV PATH ${INFER_HOME}/bin:${PATH}

ENV ANDROID_HOME /opt/android-sdk-linux WORKDIR $ANDROID_HOME

RUN curl -o sdk-tools-linux.zip \

https://dl.google.com/android/repository/sdk-tools-linux-3859397.zip && \

RUN unzip sdk-tools-linux.zip && \ rm sdk-tools-linux.zip ENV PATH ${ANDROID_HOME}/tools/bin:${PATH} RUN echo "sdk.dir=${ANDROID_HOME}" > /infer/examples/android_hello/local.properties

run.sh: Not modified anything here

!/bin/sh

Copyright (c) Facebook, Inc. and its affiliates.

This source code is licensed under the MIT license found in the

LICENSE file in the root directory of this source tree.

EXEC_NAME="$0"

show_usage() { echo "Usage: $EXEC_NAME [-h]" echo "" echo "Build and run the docker image. See infer/docker/README.md for more" echo "information." echo "" echo "Options:" echo " -h, --help Show this message and exit" }

while [ -n "$1" ]; do arg="$1" case $arg in "-h" | "--help" ) show_usage; exit 0; ;; *) echo "unknown argument $1" show_usage; exit 1; ;; esac done

if ! docker --version > /dev/null; then echo "docker install not working" exit 1 fi

if [ ! -f Dockerfile ]; then echo "Dockerfile not found. Are you in the right directory?" echo "Please see infer/docker/README.md for more information." exit 1 fi

NAME="infer"

docker build -t $NAME . && \ echo "" && \ echo "To build the Android example, you must accept the Android SDK" && \ echo "licenses by running 'sdkmanager --licenses' first." && \ echo "" && \ docker run -it $NAME /bin/bash -c 'cd /infer/examples/; exec /bin/bash'

After executing the run.sh file at the end of the output getting an error saying that "/bin/sh: 1: cd: can't cd to /infer"

output and error of run.sh command:

[automationuser@rtxvatlp19 inferonetesting]$ sudo sh run.sh Sending build context to Docker daemon 2.304GB Step 1/12 : FROM debian:stretch-slim ---> eda1325acaaa Step 2/12 : LABEL maintainer "Infer team" ---> Running in 4158d601a3be Removing intermediate container 4158d601a3be ---> 52a8fb2e99c8 Step 3/12 : RUN apt-get update && mkdir -p /usr/share/man/man1 && apt-get install --yes --no-install-recommends autoconf automake cmake curl git libc6-dev libsqlite3-dev opam openjdk-8-jdk-headless pkg-config python2.7 zlib1g-dev && rm -rf /var/lib/apt/lists/* ---> Running in 37cd5b370f8e Get:1 http://security.debian.org/debian-security stretch/updates InRelease [53.0 kB] Ign:2 http://deb.debian.org/debian stretch InRelease Get:3 http://deb.debian.org/debian stretch-updates InRelease [93.6 kB] Get:4 http://deb.debian.org/debian stretch Release [118 kB] Get:5 http://deb.debian.org/debian stretch Release.gpg [2410 B] Get:6 http://security.debian.org/debian-security stretch/updates/main amd64 Packages [696 kB] Get:7 http://deb.debian.org/debian stretch/main amd64 Packages [7080 kB] Fetched 8042 kB in 2s (3702 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: autotools-dev binutils build-essential bzip2 ca-certificates ca-certificates-java cmake-data cpp cpp-6 dpkg-dev fontconfig-config fonts-dejavu-core g++ g++-6 gcc gcc-6 git-man java-common libarchive13 libasan3 libatomic1 libavahi-client3 libavahi-common-data libavahi-common3 libbsd0 libc-dev-bin libcc1-0 libcilkrts5 libcups2 libcurl3 libcurl3-gnutls libdbus-1-3 libdpkg-perl liberror-perl libexpat1 libffi6 libfontconfig1 libfreetype6 libgcc-6-dev libgdbm3 libglib2.0-0 libgmp10 libgnutls30 libgomp1 libgssapi-krb5-2 libhogweed4 libicu57 libidn11 libidn2-0 libisl15 libitm1 libjpeg62-turbo libjsoncpp1 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblcms2-2 libldap-2.4-2 libldap-common liblsan0 liblzo2-2 libmpc3 libmpfr4 libmpx2 libncurses5 libnettle6 libnghttp2-14 libnspr4 libnss3 libp11-kit0 libpcsclite1 libperl5.24 libpng16-16 libprocps6 libpsl5 libpython2.7-minimal libpython2.7-stdlib libquadmath0 libreadline7 librtmp1 libsasl2-2 libsasl2-modules-db libsigsegv2 libsqlite3-0 libssh2-1 libssl1.0.2 libssl1.1 libstdc++-6-dev libtasn1-6 libtsan0 libubsan0 libunistring0 libuv1 libx11-6 libx11-data libxau6 libxcb1 libxdmcp6 libxext6 libxi6 libxml2 libxrender1 libxtst6 linux-libc-dev m4 make mime-support opam-docs openjdk-8-jre-headless openssl patch perl perl-modules-5.24 procps python2.7-minimal readline-common ucf unzip x11-common xz-utils Suggested packages: autoconf-archive gnu-standards autoconf-doc libtool gettext binutils-doc bzip2-doc codeblocks eclipse ninja-build cpp-doc gcc-6-locales debian-keyring g++-multilib g++-6-multilib gcc-6-doc libstdc++6-6-dbg gcc-multilib manpages-dev flex bison gdb gcc-doc gcc-6-multilib libgcc1-dbg libgomp1-dbg libitm1-dbg libatomic1-dbg libasan3-dbg liblsan0-dbg libtsan0-dbg libubsan0-dbg libcilkrts5-dbg libmpx2-dbg libquadmath0-dbg gettext-base git-daemon-run | git-daemon-sysvinit git-doc git-el git-email git-gui gitk gitweb git-arch git-cvs git-mediawiki git-svn default-jre lrzip glibc-doc cups-common gnupg | gnupg2 gnutls-bin krb5-doc krb5-user liblcms2-utils pcscd sqlite3-doc libstdc++-6-doc m4-doc make-doc openjdk-8-demo openjdk-8-source libnss-mdns fonts-dejavu-extra fonts-ipafont-gothic fonts-ipafont-mincho fonts-wqy-microhei fonts-wqy-zenhei fonts-indic ed diffutils-doc perl-doc libterm-readline-gnu-perl | libterm-readline-perl-perl python2.7-doc binfmt-support readline-doc zip Recommended packages: fakeroot gnupg | gnupg2 libalgorithm-merge-perl less rsync ssh-client manpages manpages-dev dbus libfile-fcntllock-perl liblocale-gettext-perl libglib2.0-data shared-mime-info xdg-user-dirs krb5-locales libgpm2 publicsuffix libsasl2-modules xml-core file aspcud ocaml darcs mercurial netbase rename psmisc The following NEW packages will be installed: autoconf automake autotools-dev binutils build-essential bzip2 ca-certificates ca-certificates-java cmake cmake-data cpp cpp-6 curl dpkg-dev fontconfig-config fonts-dejavu-core g++ g++-6 gcc gcc-6 git git-man java-common libarchive13 libasan3 libatomic1 libavahi-client3 libavahi-common-data libavahi-common3 libbsd0 libc-dev-bin libc6-dev libcc1-0 libcilkrts5 libcups2 libcurl3 libcurl3-gnutls libdbus-1-3 libdpkg-perl liberror-perl libexpat1 libffi6 libfontconfig1 libfreetype6 libgcc-6-dev libgdbm3 libglib2.0-0 libgmp10 libgnutls30 libgomp1 libgssapi-krb5-2 libhogweed4 libicu57 libidn11 libidn2-0 libisl15 libitm1 libjpeg62-turbo libjsoncpp1 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblcms2-2 libldap-2.4-2 libldap-common liblsan0 liblzo2-2 libmpc3 libmpfr4 libmpx2 libncurses5 libnettle6 libnghttp2-14 libnspr4 libnss3 libp11-kit0 libpcsclite1 libperl5.24 libpng16-16 libprocps6 libpsl5 libpython2.7-minimal libpython2.7-stdlib libquadmath0 libreadline7 librtmp1 libsasl2-2 libsasl2-modules-db libsigsegv2 libsqlite3-0 libsqlite3-dev libssh2-1 libssl1.0.2 libssl1.1 libstdc++-6-dev libtasn1-6 libtsan0 libubsan0 libunistring0 libuv1 libx11-6 libx11-data libxau6 libxcb1 libxdmcp6 libxext6 libxi6 libxml2 libxrender1 libxtst6 linux-libc-dev m4 make mime-support opam opam-docs openjdk-8-jdk-headless openjdk-8-jre-headless openssl patch perl perl-modules-5.24 pkg-config procps python2.7 python2.7-minimal readline-common ucf unzip x11-common xz-utils zlib1g-dev 0 upgraded, 133 newly installed, 0 to remove and 0 not upgraded. Need to get 127 MB of archives. After this operation, 515 MB of additional disk space will be used. Get:1 http://deb.debian.org/debian stretch/main amd64 perl-modules-5.24 all 5.24.1-3+deb9u7 [2723 kB] Get:2 http://security.debian.org/debian-security stretch/updates/main amd64 libxml2 amd64 2.9.4+dfsg1-2.2+deb9u5 [922 kB] Get:3 http://security.debian.org/debian-security stretch/updates/main amd64 libkrb5support0 amd64 1.15-1+deb9u2 [62.1 kB] Get:4 http://security.debian.org/debian-security stretch/updates/main amd64 libk5crypto3 amd64 1.15-1+deb9u2 [119 kB] Get:5 http://deb.debian.org/debian stretch/main amd64 libgdbm3 amd64 1.8.3-14 [30.0 kB] Get:6 http://deb.debian.org/debian stretch/main amd64 libperl5.24 amd64 5.24.1-3+deb9u7 [3527 kB] Get:7 http://deb.debian.org/debian stretch/main amd64 perl amd64 5.24.1-3+deb9u7 [218 kB] Get:8 http://deb.debian.org/debian stretch/main amd64 cmake-data all 3.7.2-1 [1216 kB] Get:9 http://deb.debian.org/debian stretch/main amd64 libncurses5 amd64 6.0+20161126-1+deb9u2 [93.4 kB] Get:10 http://deb.debian.org/debian stretch/main amd64 libprocps6 amd64 2:3.3.12-3+deb9u1 [58.5 kB] Get:11 http://deb.debian.org/debian stretch/main amd64 procps amd64 2:3.3.12-3+deb9u1 [250 kB] Get:12 http://deb.debian.org/debian stretch/main amd64 liblzo2-2 amd64 2.08-1.2+b2 [55.0 kB] Get:13 http://deb.debian.org/debian stretch/main amd64 libnettle6 amd64 3.3-1+b2 [192 kB] Get:14 http://deb.debian.org/debian stretch/main amd64 libicu57 amd64 57.1-6+deb9u4 [7699 kB] Get:15 http://security.debian.org/debian-security stretch/updates/main amd64 libkrb5-3 amd64 1.15-1+deb9u2 [312 kB] Get:16 http://security.debian.org/debian-security stretch/updates/main amd64 libgssapi-krb5-2 amd64 1.15-1+deb9u2 [155 kB] Get:17 http://security.debian.org/debian-security stretch/updates/main amd64 libp11-kit0 amd64 0.23.3-2+deb9u1 [112 kB] Get:18 http://security.debian.org/debian-security stretch/updates/main amd64 libldap-common all 2.4.44+dfsg-5+deb9u8 [86.2 kB] Get:19 http://security.debian.org/debian-security stretch/updates/main amd64 libldap-2.4-2 amd64 2.4.44+dfsg-5+deb9u8 [220 kB] Get:20 http://deb.debian.org/debian stretch/main amd64 libarchive13 amd64 3.2.2-2+deb9u2 [294 kB] Get:21 http://security.debian.org/debian-security stretch/updates/main amd64 libssl1.0.2 amd64 1.0.2u-1~deb9u4 [1306 kB] Get:22 http://deb.debian.org/debian stretch/main amd64 libkeyutils1 amd64 1.5.9-9 [12.4 kB] Get:23 http://deb.debian.org/debian stretch/main amd64 libunistring0 amd64 0.9.6+really0.9.3-0.1 [279 kB] Get:24 http://deb.debian.org/debian stretch/main amd64 libidn2-0 amd64 0.16-1+deb9u1 [60.7 kB] Get:25 http://security.debian.org/debian-security stretch/updates/main amd64 libcurl3 amd64 7.52.1-5+deb9u14 [298 kB] Get:26 http://deb.debian.org/debian stretch/main amd64 libgmp10 amd64 2:6.1.2+dfsg-1 [253 kB] Get:27 http://deb.debian.org/debian stretch/main amd64 libhogweed4 amd64 3.3-1+b2 [136 kB] Get:28 http://deb.debian.org/debian stretch/main amd64 libidn11 amd64 1.33-1+deb9u1 [115 kB] Get:29 http://deb.debian.org/debian stretch/main amd64 libffi6 amd64 3.2.1-6 [20.4 kB] Get:30 http://deb.debian.org/debian stretch/main amd64 libtasn1-6 amd64 4.10-1.1+deb9u1 [50.6 kB] Get:31 http://deb.debian.org/debian stretch/main amd64 libgnutls30 amd64 3.5.8-5+deb9u5 [896 kB] Get:32 http://security.debian.org/debian-security stretch/updates/main amd64 libcurl3-gnutls amd64 7.52.1-5+deb9u14 [296 kB] Get:33 http://deb.debian.org/debian stretch/main amd64 libsasl2-modules-db amd64 2.1.27~101-g0780600+dfsg-3+deb9u1 [68.4 kB] Get:34 http://deb.debian.org/debian stretch/main amd64 libsasl2-2 amd64 2.1.27~101-g0780600+dfsg-3+deb9u1 [105 kB] Get:35 http://deb.debian.org/debian stretch/main amd64 libnghttp2-14 amd64 1.18.1-1+deb9u1 [79.2 kB] Get:36 http://deb.debian.org/debian stretch/main amd64 libpsl5 amd64 0.17.0-3 [41.8 kB] Get:37 http://deb.debian.org/debian stretch/main amd64 librtmp1 amd64 2.4+20151223.gitfa8646d.1-1+b1 [60.4 kB] Get:38 http://deb.debian.org/debian stretch/main amd64 libssh2-1 amd64 1.7.0-1+deb9u1 [139 kB] Get:39 http://deb.debian.org/debian stretch/main amd64 libexpat1 amd64 2.2.0-2+deb9u3 [83.7 kB] Get:40 http://deb.debian.org/debian stretch/main amd64 libjsoncpp1 amd64 1.7.4-3 [75.6 kB] Get:41 http://deb.debian.org/debian stretch/main amd64 libuv1 amd64 1.9.1-3 [84.4 kB] Get:42 http://security.debian.org/debian-security stretch/updates/main amd64 libpython2.7-minimal amd64 2.7.13-2+deb9u5 [390 kB] Get:43 http://deb.debian.org/debian stretch/main amd64 cmake amd64 3.7.2-1 [3038 kB] Get:44 http://security.debian.org/debian-security stretch/updates/main amd64 python2.7-minimal amd64 2.7.13-2+deb9u5 [1382 kB] Get:45 http://deb.debian.org/debian stretch/main amd64 liberror-perl all 0.17024-1 [26.9 kB] Get:46 http://deb.debian.org/debian stretch/main amd64 git-man all 1:2.11.0-3+deb9u7 [1436 kB] Get:47 http://deb.debian.org/debian stretch/main amd64 git amd64 1:2.11.0-3+deb9u7 [4170 kB] Get:48 http://security.debian.org/debian-security stretch/updates/main amd64 libssl1.1 amd64 1.1.0l-1~deb9u3 [1359 kB] Get:49 http://security.debian.org/debian-security stretch/updates/main amd64 libsqlite3-0 amd64 3.16.2-5+deb9u3 [574 kB] Get:50 http://security.debian.org/debian-security stretch/updates/main amd64 libpython2.7-stdlib amd64 2.7.13-2+deb9u5 [1898 kB] Get:51 http://deb.debian.org/debian stretch/main amd64 libxau6 amd64 1:1.0.8-1 [20.7 kB] Get:52 http://deb.debian.org/debian stretch/main amd64 readline-common all 7.0-3 [70.4 kB] Get:53 http://deb.debian.org/debian stretch/main amd64 libreadline7 amd64 7.0-3 [151 kB] Get:54 http://deb.debian.org/debian stretch/main amd64 bzip2 amd64 1.0.6-8.1 [47.5 kB] Get:55 http://deb.debian.org/debian stretch/main amd64 mime-support all 3.60 [36.7 kB] Get:56 http://deb.debian.org/debian stretch/main amd64 ucf all 3.0036 [70.2 kB] Get:57 http://deb.debian.org/debian stretch/main amd64 xz-utils amd64 5.2.2-1.2+b1 [266 kB] Get:58 http://deb.debian.org/debian stretch/main amd64 libsigsegv2 amd64 2.10-5 [28.9 kB] Get:59 http://deb.debian.org/debian stretch/main amd64 m4 amd64 1.4.18-1 [202 kB] Get:60 http://deb.debian.org/debian stretch/main amd64 autoconf all 2.69-10 [338 kB] Get:61 http://deb.debian.org/debian stretch/main amd64 autotools-dev all 20161112.1 [73.4 kB] Get:62 http://deb.debian.org/debian stretch/main amd64 automake all 1:1.15-6 [733 kB] Get:63 http://deb.debian.org/debian stretch/main amd64 binutils amd64 2.28-5 [3770 kB] Get:64 http://deb.debian.org/debian stretch/main amd64 libc-dev-bin amd64 2.24-11+deb9u4 [259 kB] Get:65 http://deb.debian.org/debian stretch/main amd64 libc6-dev amd64 2.24-11+deb9u4 [2364 kB] Get:66 http://security.debian.org/debian-security stretch/updates/main amd64 python2.7 amd64 2.7.13-2+deb9u5 [286 kB] Get:67 http://security.debian.org/debian-security stretch/updates/main amd64 linux-libc-dev amd64 4.9.272-1 [1589 kB] Get:68 http://deb.debian.org/debian stretch/main amd64 libisl15 amd64 0.18-1 [564 kB] Get:69 http://deb.debian.org/debian stretch/main amd64 libmpfr4 amd64 3.1.5-1 [556 kB] Get:70 http://deb.debian.org/debian stretch/main amd64 libmpc3 amd64 1.0.3-1+b2 [39.9 kB] Get:71 http://deb.debian.org/debian stretch/main amd64 cpp-6 amd64 6.3.0-18+deb9u1 [6584 kB] Get:72 http://security.debian.org/debian-security stretch/updates/main amd64 openssl amd64 1.1.0l-1~deb9u3 [749 kB] Get:73 http://deb.debian.org/debian stretch/main amd64 cpp amd64 4:6.3.0-4 [18.7 kB] Get:74 http://deb.debian.org/debian stretch/main amd64 libcc1-0 amd64 6.3.0-18+deb9u1 [30.6 kB] Get:75 http://deb.debian.org/debian stretch/main amd64 libgomp1 amd64 6.3.0-18+deb9u1 [73.3 kB] Get:76 http://deb.debian.org/debian stretch/main amd64 libitm1 amd64 6.3.0-18+deb9u1 [27.3 kB] Get:77 http://deb.debian.org/debian stretch/main amd64 libatomic1 amd64 6.3.0-18+deb9u1 [8966 B] Get:78 http://deb.debian.org/debian stretch/main amd64 libasan3 amd64 6.3.0-18+deb9u1 [311 kB] Get:79 http://deb.debian.org/debian stretch/main amd64 liblsan0 amd64 6.3.0-18+deb9u1 [115 kB] Get:80 http://deb.debian.org/debian stretch/main amd64 libtsan0 amd64 6.3.0-18+deb9u1 [257 kB] Get:81 http://deb.debian.org/debian stretch/main amd64 libubsan0 amd64 6.3.0-18+deb9u1 [107 kB] Get:82 http://deb.debian.org/debian stretch/main amd64 libcilkrts5 amd64 6.3.0-18+deb9u1 [40.5 kB] Get:83 http://deb.debian.org/debian stretch/main amd64 libmpx2 amd64 6.3.0-18+deb9u1 [11.2 kB] Get:84 http://deb.debian.org/debian stretch/main amd64 libquadmath0 amd64 6.3.0-18+deb9u1 [131 kB] Get:85 http://deb.debian.org/debian stretch/main amd64 libgcc-6-dev amd64 6.3.0-18+deb9u1 [2296 kB] Get:86 http://security.debian.org/debian-security stretch/updates/main amd64 ca-certificates all 20200601~deb9u2 [168 kB] Get:87 http://security.debian.org/debian-security stretch/updates/main amd64 libjpeg62-turbo amd64 1:1.5.1-2+deb9u1 [134 kB] Get:88 http://security.debian.org/debian-security stretch/updates/main amd64 libfreetype6 amd64 2.6.3-3.2+deb9u2 [438 kB] Get:89 http://deb.debian.org/debian stretch/main amd64 gcc-6 amd64 6.3.0-18+deb9u1 [6900 kB] Get:90 http://security.debian.org/debian-security stretch/updates/main amd64 libnss3 amd64 2:3.26.2-1.1+deb9u2 [1245 kB] Get:91 http://security.debian.org/debian-security stretch/updates/main amd64 libbsd0 amd64 0.8.3-1+deb9u1 [82.9 kB] Get:92 http://security.debian.org/debian-security stretch/updates/main amd64 libx11-data all 2:1.6.4-3+deb9u4 [291 kB] Get:93 http://security.debian.org/debian-security stretch/updates/main amd64 libx11-6 amd64 2:1.6.4-3+deb9u4 [748 kB] Get:94 http://security.debian.org/debian-security stretch/updates/main amd64 openjdk-8-jre-headless amd64 8u292-b10-0+deb9u1 [28.1 MB] Get:95 http://deb.debian.org/debian stretch/main amd64 gcc amd64 4:6.3.0-4 [5196 B] Get:96 http://deb.debian.org/debian stretch/main amd64 libstdc++-6-dev amd64 6.3.0-18+deb9u1 [1420 kB] Get:97 http://deb.debian.org/debian stretch/main amd64 g++-6 amd64 6.3.0-18+deb9u1 [7094 kB] Get:98 http://deb.debian.org/debian stretch/main amd64 g++ amd64 4:6.3.0-4 [1546 B] Get:99 http://deb.debian.org/debian stretch/main amd64 make amd64 4.1-9.1 [302 kB] Get:100 http://deb.debian.org/debian stretch/main amd64 libdpkg-perl all 1.18.25 [1287 kB] Get:101 http://deb.debian.org/debian stretch/main amd64 patch amd64 2.7.5-1+deb9u2 [112 kB] Get:102 http://deb.debian.org/debian stretch/main amd64 dpkg-dev all 1.18.25 [1595 kB] Get:103 http://deb.debian.org/debian stretch/main amd64 build-essential amd64 12.3 [7346 B] Get:104 http://deb.debian.org/debian stretch/main amd64 java-common all 0.58+deb9u1 [13.6 kB] Get:105 http://deb.debian.org/debian stretch/main amd64 libavahi-common-data amd64 0.6.32-2 [118 kB] Get:106 http://deb.debian.org/debian stretch/main amd64 libavahi-common3 amd64 0.6.32-2 [52.0 kB] Get:107 http://deb.debian.org/debian stretch/main amd64 libdbus-1-3 amd64 1.10.32-0+deb9u1 [196 kB] Get:108 http://deb.debian.org/debian stretch/main amd64 libavahi-client3 amd64 0.6.32-2 [55.3 kB] Get:109 http://deb.debian.org/debian stretch/main amd64 libcups2 amd64 2.2.1-8+deb9u6 [307 kB] Get:110 http://deb.debian.org/debian stretch/main amd64 liblcms2-2 amd64 2.8-4+deb9u1 [143 kB] Get:111 http://deb.debian.org/debian stretch/main amd64 libpng16-16 amd64 1.6.28-1+deb9u1 [280 kB] Get:112 http://deb.debian.org/debian stretch/main amd64 fonts-dejavu-core all 2.37-1 [1068 kB] Get:113 http://deb.debian.org/debian stretch/main amd64 fontconfig-config all 2.11.0-6.7 [271 kB] Get:114 http://deb.debian.org/debian stretch/main amd64 libfontconfig1 amd64 2.11.0-6.7+b1 [331 kB] Get:115 http://deb.debian.org/debian stretch/main amd64 libnspr4 amd64 2:4.12-6 [117 kB] Get:116 http://deb.debian.org/debian stretch/main amd64 libpcsclite1 amd64 1.8.20-1 [56.5 kB] Get:117 http://deb.debian.org/debian stretch/main amd64 libxdmcp6 amd64 1:1.1.2-3 [26.3 kB] Get:118 http://deb.debian.org/debian stretch/main amd64 libxcb1 amd64 1.12-1 [133 kB] Get:119 http://deb.debian.org/debian stretch/main amd64 libxext6 amd64 2:1.3.3-1+b2 [52.5 kB] Get:120 http://deb.debian.org/debian stretch/main amd64 libxi6 amd64 2:1.7.9-1 [82.6 kB] Get:121 http://deb.debian.org/debian stretch/main amd64 libxrender1 amd64 1:0.9.10-1 [33.0 kB] Get:122 http://deb.debian.org/debian stretch/main amd64 x11-common all 1:7.7+19 [251 kB] Get:123 http://deb.debian.org/debian stretch/main amd64 libxtst6 amd64 2:1.2.3-1 [27.8 kB] Get:124 http://deb.debian.org/debian stretch/main amd64 ca-certificates-java all 20170929~deb9u3 [15.1 kB] Get:125 http://deb.debian.org/debian stretch/main amd64 libglib2.0-0 amd64 2.50.3-2+deb9u2 [2692 kB] Get:126 http://deb.debian.org/debian stretch/main amd64 opam-docs all 1.2.2-5 [319 kB] Get:127 http://deb.debian.org/debian stretch/main amd64 unzip amd64 6.0-21+deb9u2 [172 kB] Get:128 http://deb.debian.org/debian stretch/main amd64 opam amd64 1.2.2-5+b7 [1819 kB] Get:129 http://deb.debian.org/debian stretch/main amd64 pkg-config amd64 0.29-4+b1 [63.3 kB] Get:130 http://deb.debian.org/debian stretch/main amd64 zlib1g-dev amd64 1:1.2.8.dfsg-5 [205 kB] Get:131 http://security.debian.org/debian-security stretch/updates/main amd64 curl amd64 7.52.1-5+deb9u14 [228 kB] Get:132 http://security.debian.org/debian-security stretch/updates/main amd64 libsqlite3-dev amd64 3.16.2-5+deb9u3 [705 kB] Get:133 http://security.debian.org/debian-security stretch/updates/main amd64 openjdk-8-jdk-headless amd64 8u292-b10-0+deb9u1 [8215 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 127 MB in 2s (50.1 MB/s) Selecting previously unselected package perl-modules-5.24. (Reading database ... 6319 files and directories currently installed.) Preparing to unpack .../000-perl-modules-5.24_5.24.1-3+deb9u7_all.deb ... Unpacking perl-modules-5.24 (5.24.1-3+deb9u7) ... Selecting previously unselected package libgdbm3:amd64. Preparing to unpack .../001-libgdbm3_1.8.3-14_amd64.deb ... Unpacking libgdbm3:amd64 (1.8.3-14) ... Selecting previously unselected package libperl5.24:amd64. Preparing to unpack .../002-libperl5.24_5.24.1-3+deb9u7_amd64.deb ... Unpacking libperl5.24:amd64 (5.24.1-3+deb9u7) ... Selecting previously unselected package perl. Preparing to unpack .../003-perl_5.24.1-3+deb9u7_amd64.deb ... Unpacking perl (5.24.1-3+deb9u7) ... Selecting previously unselected package cmake-data. Preparing to unpack .../004-cmake-data_3.7.2-1_all.deb ... Unpacking cmake-data (3.7.2-1) ... Selecting previously unselected package libncurses5:amd64. Preparing to unpack .../005-libncurses5_6.0+20161126-1+deb9u2_amd64.deb ... Unpacking libncurses5:amd64 (6.0+20161126-1+deb9u2) ... Selecting previously unselected package libprocps6:amd64. Preparing to unpack .../006-libprocps6_2%3a3.3.12-3+deb9u1_amd64.deb ... Unpacking libprocps6:amd64 (2:3.3.12-3+deb9u1) ... Selecting previously unselected package procps. Preparing to unpack .../007-procps_2%3a3.3.12-3+deb9u1_amd64.deb ... Unpacking procps (2:3.3.12-3+deb9u1) ... Selecting previously unselected package liblzo2-2:amd64. Preparing to unpack .../008-liblzo2-2_2.08-1.2+b2_amd64.deb ... Unpacking liblzo2-2:amd64 (2.08-1.2+b2) ... Selecting previously unselected package libnettle6:amd64. Preparing to unpack .../009-libnettle6_3.3-1+b2_amd64.deb ... Unpacking libnettle6:amd64 (3.3-1+b2) ... Selecting previously unselected package libicu57:amd64. Preparing to unpack .../010-libicu57_57.1-6+deb9u4_amd64.deb ... Unpacking libicu57:amd64 (57.1-6+deb9u4) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../011-libxml2_2.9.4+dfsg1-2.2+deb9u5_amd64.deb ... Unpacking libxml2:amd64 (2.9.4+dfsg1-2.2+deb9u5) ... Selecting previously unselected package libarchive13:amd64. Preparing to unpack .../012-libarchive13_3.2.2-2+deb9u2_amd64.deb ... Unpacking libarchive13:amd64 (3.2.2-2+deb9u2) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../013-libkeyutils1_1.5.9-9_amd64.deb ... Unpacking libkeyutils1:amd64 (1.5.9-9) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../014-libkrb5support0_1.15-1+deb9u2_amd64.deb ... Unpacking libkrb5support0:amd64 (1.15-1+deb9u2) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../015-libk5crypto3_1.15-1+deb9u2_amd64.deb ... Unpacking libk5crypto3:amd64 (1.15-1+deb9u2) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../016-libkrb5-3_1.15-1+deb9u2_amd64.deb ... Unpacking libkrb5-3:amd64 (1.15-1+deb9u2) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Preparing to unpack .../017-libgssapi-krb5-2_1.15-1+deb9u2_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.15-1+deb9u2) ... Selecting previously unselected package libunistring0:amd64. Preparing to unpack .../018-libunistring0_0.9.6+really0.9.3-0.1_amd64.deb ... Unpacking libunistring0:amd64 (0.9.6+really0.9.3-0.1) ... Selecting previously unselected package libidn2-0:amd64. Preparing to unpack .../019-libidn2-0_0.16-1+deb9u1_amd64.deb ... Unpacking libidn2-0:amd64 (0.16-1+deb9u1) ... Selecting previously unselected package libgmp10:amd64. Preparing to unpack .../020-libgmp10_2%3a6.1.2+dfsg-1_amd64.deb ... Unpacking libgmp10:amd64 (2:6.1.2+dfsg-1) ... Selecting previously unselected package libhogweed4:amd64. Preparing to unpack .../021-libhogweed4_3.3-1+b2_amd64.deb ... Unpacking libhogweed4:amd64 (3.3-1+b2) ... Selecting previously unselected package libidn11:amd64. Preparing to unpack .../022-libidn11_1.33-1+deb9u1_amd64.deb ... Unpacking libidn11:amd64 (1.33-1+deb9u1) ... Selecting previously unselected package libffi6:amd64. Preparing to unpack .../023-libffi6_3.2.1-6_amd64.deb ... Unpacking libffi6:amd64 (3.2.1-6) ... Selecting previously unselected package libp11-kit0:amd64. Preparing to unpack .../024-libp11-kit0_0.23.3-2+deb9u1_amd64.deb ... Unpacking libp11-kit0:amd64 (0.23.3-2+deb9u1) ... Selecting previously unselected package libtasn1-6:amd64. Preparing to unpack .../025-libtasn1-6_4.10-1.1+deb9u1_amd64.deb ... Unpacking libtasn1-6:amd64 (4.10-1.1+deb9u1) ... Selecting previously unselected package libgnutls30:amd64. Preparing to unpack .../026-libgnutls30_3.5.8-5+deb9u5_amd64.deb ... Unpacking libgnutls30:amd64 (3.5.8-5+deb9u5) ... Selecting previously unselected package libsasl2-modules-db:amd64. Preparing to unpack .../027-libsasl2-modules-db_2.1.27~101-g0780600+dfsg-3+deb9u1_amd64.deb ... Unpacking libsasl2-modules-db:amd64 (2.1.27~101-g0780600+dfsg-3+deb9u1) ... Selecting previously unselected package libsasl2-2:amd64. Preparing to unpack .../028-libsasl2-2_2.1.27~101-g0780600+dfsg-3+deb9u1_amd64.deb ... Unpacking libsasl2-2:amd64 (2.1.27~101-g0780600+dfsg-3+deb9u1) ... Selecting previously unselected package libldap-common. Preparing to unpack .../029-libldap-common_2.4.44+dfsg-5+deb9u8_all.deb ... Unpacking libldap-common (2.4.44+dfsg-5+deb9u8) ... Selecting previously unselected package libldap-2.4-2:amd64. Preparing to unpack .../030-libldap-2.4-2_2.4.44+dfsg-5+deb9u8_amd64.deb ... Unpacking libldap-2.4-2:amd64 (2.4.44+dfsg-5+deb9u8) ... Selecting previously unselected package libnghttp2-14:amd64. Preparing to unpack .../031-libnghttp2-14_1.18.1-1+deb9u1_amd64.deb ... Unpacking libnghttp2-14:amd64 (1.18.1-1+deb9u1) ... Selecting previously unselected package libpsl5:amd64. Preparing to unpack .../032-libpsl5_0.17.0-3_amd64.deb ... Unpacking libpsl5:amd64 (0.17.0-3) ... Selecting previously unselected package librtmp1:amd64. Preparing to unpack .../033-librtmp1_2.4+20151223.gitfa8646d.1-1+b1_amd64.deb ... Unpacking librtmp1:amd64 (2.4+20151223.gitfa8646d.1-1+b1) ... Selecting previously unselected package libssh2-1:amd64. Preparing to unpack .../034-libssh2-1_1.7.0-1+deb9u1_amd64.deb ... Unpacking libssh2-1:amd64 (1.7.0-1+deb9u1) ... Selecting previously unselected package libssl1.0.2:amd64. Preparing to unpack .../035-libssl1.0.2_1.0.2u-1~deb9u4_amd64.deb ... Unpacking libssl1.0.2:amd64 (1.0.2u-1~deb9u4) ... Selecting previously unselected package libcurl3:amd64. Preparing to unpack .../036-libcurl3_7.52.1-5+deb9u14_amd64.deb ... Unpacking libcurl3:amd64 (7.52.1-5+deb9u14) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../037-libexpat1_2.2.0-2+deb9u3_amd64.deb ... Unpacking libexpat1:amd64 (2.2.0-2+deb9u3) ... Selecting previously unselected package libjsoncpp1:amd64. Preparing to unpack .../038-libjsoncpp1_1.7.4-3_amd64.deb ... Unpacking libjsoncpp1:amd64 (1.7.4-3) ... Selecting previously unselected package libuv1:amd64. Preparing to unpack .../039-libuv1_1.9.1-3_amd64.deb ... Unpacking libuv1:amd64 (1.9.1-3) ... Selecting previously unselected package cmake. Preparing to unpack .../040-cmake_3.7.2-1_amd64.deb ... Unpacking cmake (3.7.2-1) ... Selecting previously unselected package libcurl3-gnutls:amd64. Preparing to unpack .../041-libcurl3-gnutls_7.52.1-5+deb9u14_amd64.deb ... Unpacking libcurl3-gnutls:amd64 (7.52.1-5+deb9u14) ... Selecting previously unselected package liberror-perl. Preparing to unpack .../042-liberror-perl_0.17024-1_all.deb ... Unpacking liberror-perl (0.17024-1) ... Selecting previously unselected package git-man. Preparing to unpack .../043-git-man_1%3a2.11.0-3+deb9u7_all.deb ... Unpacking git-man (1:2.11.0-3+deb9u7) ... Selecting previously unselected package git. Preparing to unpack .../044-git_1%3a2.11.0-3+deb9u7_amd64.deb ... Unpacking git (1:2.11.0-3+deb9u7) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../045-libxau6_1%3a1.0.8-1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.8-1) ... Selecting previously unselected package libpython2.7-minimal:amd64. Preparing to unpack .../046-libpython2.7-minimal_2.7.13-2+deb9u5_amd64.deb ... Unpacking libpython2.7-minimal:amd64 (2.7.13-2+deb9u5) ... Selecting previously unselected package python2.7-minimal. Preparing to unpack .../047-python2.7-minimal_2.7.13-2+deb9u5_amd64.deb ... Unpacking python2.7-minimal (2.7.13-2+deb9u5) ... Selecting previously unselected package readline-common. Preparing to unpack .../048-readline-common_7.0-3_all.deb ... Unpacking readline-common (7.0-3) ... Selecting previously unselected package libreadline7:amd64. Preparing to unpack .../049-libreadline7_7.0-3_amd64.deb ... Unpacking libreadline7:amd64 (7.0-3) ... Selecting previously unselected package libssl1.1:amd64. Preparing to unpack .../050-libssl1.1_1.1.0l-1~deb9u3_amd64.deb ... Unpacking libssl1.1:amd64 (1.1.0l-1~deb9u3) ... Selecting previously unselected package bzip2. Preparing to unpack .../051-bzip2_1.0.6-8.1_amd64.deb ... Unpacking bzip2 (1.0.6-8.1) ... Selecting previously unselected package libsqlite3-0:amd64. Preparing to unpack .../052-libsqlite3-0_3.16.2-5+deb9u3_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.16.2-5+deb9u3) ... Selecting previously unselected package mime-support. Preparing to unpack .../053-mime-support_3.60_all.deb ... Unpacking mime-support (3.60) ... Selecting previously unselected package libpython2.7-stdlib:amd64. Preparing to unpack .../054-libpython2.7-stdlib_2.7.13-2+deb9u5_amd64.deb ... Unpacking libpython2.7-stdlib:amd64 (2.7.13-2+deb9u5) ... Selecting previously unselected package python2.7. Preparing to unpack .../055-python2.7_2.7.13-2+deb9u5_amd64.deb ... Unpacking python2.7 (2.7.13-2+deb9u5) ... Selecting previously unselected package ucf. Preparing to unpack .../056-ucf_3.0036_all.deb ... Moving old data out of the way Unpacking ucf (3.0036) ... Selecting previously unselected package xz-utils. Preparing to unpack .../057-xz-utils_5.2.2-1.2+b1_amd64.deb ... Unpacking xz-utils (5.2.2-1.2+b1) ... Selecting previously unselected package libsigsegv2:amd64. Preparing to unpack .../058-libsigsegv2_2.10-5_amd64.deb ... Unpacking libsigsegv2:amd64 (2.10-5) ... Selecting previously unselected package m4. Preparing to unpack .../059-m4_1.4.18-1_amd64.deb ... Unpacking m4 (1.4.18-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../060-autoconf_2.69-10_all.deb ... Unpacking autoconf (2.69-10) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../061-autotools-dev_20161112.1_all.deb ... Unpacking autotools-dev (20161112.1) ... Selecting previously unselected package automake. Preparing to unpack .../062-automake_1%3a1.15-6_all.deb ... Unpacking automake (1:1.15-6) ... Selecting previously unselected package binutils. Preparing to unpack .../063-binutils_2.28-5_amd64.deb ... Unpacking binutils (2.28-5) ... Selecting previously unselected package libc-dev-bin. Preparing to unpack .../064-libc-dev-bin_2.24-11+deb9u4_amd64.deb ... Unpacking libc-dev-bin (2.24-11+deb9u4) ... Selecting previously unselected package linux-libc-dev:amd64. Preparing to unpack .../065-linux-libc-dev_4.9.272-1_amd64.deb ... Unpacking linux-libc-dev:amd64 (4.9.272-1) ... Selecting previously unselected package libc6-dev:amd64. Preparing to unpack .../066-libc6-dev_2.24-11+deb9u4_amd64.deb ... Unpacking libc6-dev:amd64 (2.24-11+deb9u4) ... Selecting previously unselected package libisl15:amd64. Preparing to unpack .../067-libisl15_0.18-1_amd64.deb ... Unpacking libisl15:amd64 (0.18-1) ... Selecting previously unselected package libmpfr4:amd64. Preparing to unpack .../068-libmpfr4_3.1.5-1_amd64.deb ... Unpacking libmpfr4:amd64 (3.1.5-1) ... Selecting previously unselected package libmpc3:amd64. Preparing to unpack .../069-libmpc3_1.0.3-1+b2_amd64.deb ... Unpacking libmpc3:amd64 (1.0.3-1+b2) ... Selecting previously unselected package cpp-6. Preparing to unpack .../070-cpp-6_6.3.0-18+deb9u1_amd64.deb ... Unpacking cpp-6 (6.3.0-18+deb9u1) ... Selecting previously unselected package cpp. Preparing to unpack .../071-cpp_4%3a6.3.0-4_amd64.deb ... Unpacking cpp (4:6.3.0-4) ... Selecting previously unselected package libcc1-0:amd64. Preparing to unpack .../072-libcc1-0_6.3.0-18+deb9u1_amd64.deb ... Unpacking libcc1-0:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libgomp1:amd64. Preparing to unpack .../073-libgomp1_6.3.0-18+deb9u1_amd64.deb ... Unpacking libgomp1:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libitm1:amd64. Preparing to unpack .../074-libitm1_6.3.0-18+deb9u1_amd64.deb ... Unpacking libitm1:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libatomic1:amd64. Preparing to unpack .../075-libatomic1_6.3.0-18+deb9u1_amd64.deb ... Unpacking libatomic1:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libasan3:amd64. Preparing to unpack .../076-libasan3_6.3.0-18+deb9u1_amd64.deb ... Unpacking libasan3:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package liblsan0:amd64. Preparing to unpack .../077-liblsan0_6.3.0-18+deb9u1_amd64.deb ... Unpacking liblsan0:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libtsan0:amd64. Preparing to unpack .../078-libtsan0_6.3.0-18+deb9u1_amd64.deb ... Unpacking libtsan0:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libubsan0:amd64. Preparing to unpack .../079-libubsan0_6.3.0-18+deb9u1_amd64.deb ... Unpacking libubsan0:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libcilkrts5:amd64. Preparing to unpack .../080-libcilkrts5_6.3.0-18+deb9u1_amd64.deb ... Unpacking libcilkrts5:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libmpx2:amd64. Preparing to unpack .../081-libmpx2_6.3.0-18+deb9u1_amd64.deb ... Unpacking libmpx2:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libquadmath0:amd64. Preparing to unpack .../082-libquadmath0_6.3.0-18+deb9u1_amd64.deb ... Unpacking libquadmath0:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libgcc-6-dev:amd64. Preparing to unpack .../083-libgcc-6-dev_6.3.0-18+deb9u1_amd64.deb ... Unpacking libgcc-6-dev:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package gcc-6. Preparing to unpack .../084-gcc-6_6.3.0-18+deb9u1_amd64.deb ... Unpacking gcc-6 (6.3.0-18+deb9u1) ... Selecting previously unselected package gcc. Preparing to unpack .../085-gcc_4%3a6.3.0-4_amd64.deb ... Unpacking gcc (4:6.3.0-4) ... Selecting previously unselected package libstdc++-6-dev:amd64. Preparing to unpack .../086-libstdc++-6-dev_6.3.0-18+deb9u1_amd64.deb ... Unpacking libstdc++-6-dev:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package g++-6. Preparing to unpack .../087-g++-6_6.3.0-18+deb9u1_amd64.deb ... Unpacking g++-6 (6.3.0-18+deb9u1) ... Selecting previously unselected package g++. Preparing to unpack .../088-g++_4%3a6.3.0-4_amd64.deb ... Unpacking g++ (4:6.3.0-4) ... Selecting previously unselected package make. Preparing to unpack .../089-make_4.1-9.1_amd64.deb ... Unpacking make (4.1-9.1) ... Selecting previously unselected package libdpkg-perl. Preparing to unpack .../090-libdpkg-perl_1.18.25_all.deb ... Unpacking libdpkg-perl (1.18.25) ... Selecting previously unselected package patch. Preparing to unpack .../091-patch_2.7.5-1+deb9u2_amd64.deb ... Unpacking patch (2.7.5-1+deb9u2) ... Selecting previously unselected package dpkg-dev. Preparing to unpack .../092-dpkg-dev_1.18.25_all.deb ... Unpacking dpkg-dev (1.18.25) ... Selecting previously unselected package build-essential. Preparing to unpack .../093-build-essential_12.3_amd64.deb ... Unpacking build-essential (12.3) ... Selecting previously unselected package openssl. Preparing to unpack .../094-openssl_1.1.0l-1~deb9u3_amd64.deb ... Unpacking openssl (1.1.0l-1~deb9u3) ... Selecting previously unselected package ca-certificates. Preparing to unpack .../095-ca-certificates_20200601~deb9u2_all.deb ... Unpacking ca-certificates (20200601~deb9u2) ... Selecting previously unselected package java-common. Preparing to unpack .../096-java-common_0.58+deb9u1_all.deb ... Unpacking java-common (0.58+deb9u1) ... Selecting previously unselected package libavahi-common-data:amd64. Preparing to unpack .../097-libavahi-common-data_0.6.32-2_amd64.deb ... Unpacking libavahi-common-data:amd64 (0.6.32-2) ... Selecting previously unselected package libavahi-common3:amd64. Preparing to unpack .../098-libavahi-common3_0.6.32-2_amd64.deb ... Unpacking libavahi-common3:amd64 (0.6.32-2) ... Selecting previously unselected package libdbus-1-3:amd64. Preparing to unpack .../099-libdbus-1-3_1.10.32-0+deb9u1_amd64.deb ... Unpacking libdbus-1-3:amd64 (1.10.32-0+deb9u1) ... Selecting previously unselected package libavahi-client3:amd64. Preparing to unpack .../100-libavahi-client3_0.6.32-2_amd64.deb ... Unpacking libavahi-client3:amd64 (0.6.32-2) ... Selecting previously unselected package libcups2:amd64. Preparing to unpack .../101-libcups2_2.2.1-8+deb9u6_amd64.deb ... Unpacking libcups2:amd64 (2.2.1-8+deb9u6) ... Selecting previously unselected package liblcms2-2:amd64. Preparing to unpack .../102-liblcms2-2_2.8-4+deb9u1_amd64.deb ... Unpacking liblcms2-2:amd64 (2.8-4+deb9u1) ... Selecting previously unselected package libjpeg62-turbo:amd64. Preparing to unpack .../103-libjpeg62-turbo_1%3a1.5.1-2+deb9u1_amd64.deb ... Unpacking libjpeg62-turbo:amd64 (1:1.5.1-2+deb9u1) ... Selecting previously unselected package libpng16-16:amd64. Preparing to unpack .../104-libpng16-16_1.6.28-1+deb9u1_amd64.deb ... Unpacking libpng16-16:amd64 (1.6.28-1+deb9u1) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../105-libfreetype6_2.6.3-3.2+deb9u2_amd64.deb ... Unpacking libfreetype6:amd64 (2.6.3-3.2+deb9u2) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../106-fonts-dejavu-core_2.37-1_all.deb ... Unpacking fonts-dejavu-core (2.37-1) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../107-fontconfig-config_2.11.0-6.7_all.deb ... Unpacking fontconfig-config (2.11.0-6.7) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../108-libfontconfig1_2.11.0-6.7+b1_amd64.deb ... Unpacking libfontconfig1:amd64 (2.11.0-6.7+b1) ... Selecting previously unselected package libnspr4:amd64. Preparing to unpack .../109-libnspr4_2%3a4.12-6_amd64.deb ... Unpacking libnspr4:amd64 (2:4.12-6) ... Selecting previously unselected package libnss3:amd64. Preparing to unpack .../110-libnss3_2%3a3.26.2-1.1+deb9u2_amd64.deb ... Unpacking libnss3:amd64 (2:3.26.2-1.1+deb9u2) ... Selecting previously unselected package libpcsclite1:amd64. Preparing to unpack .../111-libpcsclite1_1.8.20-1_amd64.deb ... Unpacking libpcsclite1:amd64 (1.8.20-1) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../112-libbsd0_0.8.3-1+deb9u1_amd64.deb ... Unpacking libbsd0:amd64 (0.8.3-1+deb9u1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../113-libxdmcp6_1%3a1.1.2-3_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.2-3) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../114-libxcb1_1.12-1_amd64.deb ... Unpacking libxcb1:amd64 (1.12-1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../115-libx11-data_2%3a1.6.4-3+deb9u4_all.deb ... Unpacking libx11-data (2:1.6.4-3+deb9u4) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../116-libx11-6_2%3a1.6.4-3+deb9u4_amd64.deb ... Unpacking libx11-6:amd64 (2:1.6.4-3+deb9u4) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../117-libxext6_2%3a1.3.3-1+b2_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.3-1+b2) ... Selecting previously unselected package libxi6:amd64. Preparing to unpack .../118-libxi6_2%3a1.7.9-1_amd64.deb ... Unpacking libxi6:amd64 (2:1.7.9-1) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../119-libxrender1_1%3a0.9.10-1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.10-1) ... Selecting previously unselected package x11-common. Preparing to unpack .../120-x11-common_1%3a7.7+19_all.deb ... Unpacking x11-common (1:7.7+19) ... Selecting previously unselected package libxtst6:amd64. Preparing to unpack .../121-libxtst6_2%3a1.2.3-1_amd64.deb ... Unpacking libxtst6:amd64 (2:1.2.3-1) ... Selecting previously unselected package openjdk-8-jre-headless:amd64. Preparing to unpack .../122-openjdk-8-jre-headless_8u292-b10-0+deb9u1_amd64.deb ... Unpacking openjdk-8-jre-headless:amd64 (8u292-b10-0+deb9u1) ... Selecting previously unselected package ca-certificates-java. Preparing to unpack .../123-ca-certificates-java_20170929~deb9u3_all.deb ... Unpacking ca-certificates-java (20170929~deb9u3) ... Selecting previously unselected package curl. Preparing to unpack .../124-curl_7.52.1-5+deb9u14_amd64.deb ... Unpacking curl (7.52.1-5+deb9u14) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../125-libglib2.0-0_2.50.3-2+deb9u2_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.50.3-2+deb9u2) ... Selecting previously unselected package libsqlite3-dev:amd64. Preparing to unpack .../126-libsqlite3-dev_3.16.2-5+deb9u3_amd64.deb ... Unpacking libsqlite3-dev:amd64 (3.16.2-5+deb9u3) ... Selecting previously unselected package opam-docs. Preparing to unpack .../127-opam-docs_1.2.2-5_all.deb ... Unpacking opam-docs (1.2.2-5) ... Selecting previously unselected package unzip. Preparing to unpack .../128-unzip_6.0-21+deb9u2_amd64.deb ... Unpacking unzip (6.0-21+deb9u2) ... Selecting previously unselected package opam. Preparing to unpack .../129-opam_1.2.2-5+b7_amd64.deb ... Unpacking opam (1.2.2-5+b7) ... Selecting previously unselected package openjdk-8-jdk-headless:amd64. Preparing to unpack .../130-openjdk-8-jdk-headless_8u292-b10-0+deb9u1_amd64.deb ... Unpacking openjdk-8-jdk-headless:amd64 (8u292-b10-0+deb9u1) ... Selecting previously unselected package pkg-config. Preparing to unpack .../131-pkg-config_0.29-4+b1_amd64.deb ... Unpacking pkg-config (0.29-4+b1) ... Selecting previously unselected package zlib1g-dev:amd64. Preparing to unpack .../132-zlib1g-dev_1%3a1.2.8.dfsg-5_amd64.deb ... Unpacking zlib1g-dev:amd64 (1:1.2.8.dfsg-5) ... Setting up libquadmath0:amd64 (6.3.0-18+deb9u1) ... Setting up opam-docs (1.2.2-5) ... Setting up libncurses5:amd64 (6.0+20161126-1+deb9u2) ... Setting up libgomp1:amd64 (6.3.0-18+deb9u1) ... Setting up libatomic1:amd64 (6.3.0-18+deb9u1) ... Setting up readline-common (7.0-3) ... Setting up perl-modules-5.24 (5.24.1-3+deb9u7) ... Setting up libgdbm3:amd64 (1.8.3-14) ... Setting up libperl5.24:amd64 (5.24.1-3+deb9u7) ... Setting up libnettle6:amd64 (3.3-1+b2) ... Setting up git-man (1:2.11.0-3+deb9u7) ... Setting up libexpat1:amd64 (2.2.0-2+deb9u3) ... Setting up libcc1-0:amd64 (6.3.0-18+deb9u1) ... Setting up make (4.1-9.1) ... Setting up libasan3:amd64 (6.3.0-18+deb9u1) ... Setting up libjpeg62-turbo:amd64 (1:1.5.1-2+deb9u1) ... Setting up libnghttp2-14:amd64 (1.18.1-1+deb9u1) ... Setting up mime-support (3.60) ... Setting up libpng16-16:amd64 (1.6.28-1+deb9u1) ... Setting up liblcms2-2:amd64 (2.8-4+deb9u1) ... Setting up libpcsclite1:amd64 (1.8.20-1) ... Setting up libsigsegv2:amd64 (2.10-5) ... Setting up libldap-common (2.4.44+dfsg-5+deb9u8) ... Setting up fonts-dejavu-core (2.37-1) ... Setting up libcilkrts5:amd64 (6.3.0-18+deb9u1) ... Setting up libuv1:amd64 (1.9.1-3) ... Setting up libreadline7:amd64 (7.0-3) ... Setting up libubsan0:amd64 (6.3.0-18+deb9u1) ... Setting up libtsan0:amd64 (6.3.0-18+deb9u1) ... Setting up libsasl2-modules-db:amd64 (2.1.27~101-g0780600+dfsg-3+deb9u1) ... Setting up unzip (6.0-21+deb9u2) ... Setting up linux-libc-dev:amd64 (4.9.272-1) ... Setting up java-common (0.58+deb9u1) ... Setting up libsasl2-2:amd64 (2.1.27~101-g0780600+dfsg-3+deb9u1) ... Setting up cmake-data (3.7.2-1) ... Setting up m4 (1.4.18-1) ... Setting up libicu57:amd64 (57.1-6+deb9u4) ... Setting up libbsd0:amd64 (0.8.3-1+deb9u1) ... Setting up libprocps6:amd64 (2:3.3.12-3+deb9u1) ... Setting up libnspr4:amd64 (2:4.12-6) ... Setting up ucf (3.0036) ... debconf: unable to initialize frontend: Dialog debconf: (TERM is not set, so the dialog frontend is not usable.) debconf: falling back to frontend: Readline Setting up libxml2:amd64 (2.9.4+dfsg1-2.2+deb9u5) ... Setting up libfreetype6:amd64 (2.6.3-3.2+deb9u2) ... Setting up libtasn1-6:amd64 (4.10-1.1+deb9u1) ... Setting up bzip2 (1.0.6-8.1) ... Setting up liblsan0:amd64 (6.3.0-18+deb9u1) ... Setting up procps (2:3.3.12-3+deb9u1) ... update-alternatives: using /usr/bin/w.procps to provide /usr/bin/w (w) in auto mode update-alternatives: warning: skip creation of /usr/share/man/man1/w.1.gz because associated file /usr/share/man/man1/w.procps.1.gz (of link group w) doesn't exist Setting up perl (5.24.1-3+deb9u7) ... update-alternatives: using /usr/bin/prename to provide /usr/bin/rename (rename) in auto mode update-alternatives: warning: skip creation of /usr/share/man/man1/rename.1.gz because associated file /usr/share/man/man1/prename.1.gz (of link group rename) doesn't exist Setting up libssl1.0.2:amd64 (1.0.2u-1~deb9u4) ... debconf: unable to initialize frontend: Dialog debconf: (TERM is not set, so the dialog frontend is not usable.) debconf: falling back to frontend: Readline Setting up libmpx2:amd64 (6.3.0-18+deb9u1) ... Setting up libgmp10:amd64 (2:6.1.2+dfsg-1) ... Setting up libssh2-1:amd64 (1.7.0-1+deb9u1) ... Setting up patch (2.7.5-1+deb9u2) ... Processing triggers for libc-bin (2.24-11+deb9u4) ... Setting up autotools-dev (20161112.1) ... Setting up libunistring0:amd64 (0.9.6+really0.9.3-0.1) ... Setting up libssl1.1:amd64 (1.1.0l-1~deb9u3) ... debconf: unable to initialize frontend: Dialog debconf: (TERM is not set, so the dialog frontend is not usable.) debconf: falling back to frontend: Readline Setting up xz-utils (5.2.2-1.2+b1) ... update-alternatives: using /usr/bin/xz to provide /usr/bin/lzma (lzma) in auto mode update-alternatives: warning: skip creation of /usr/share/man/man1/lzma.1.gz because associated file /usr/share/man/man1/xz.1.gz (of link group lzma) doesn't exist update-alternatives: warning: skip creation of /usr/share/man/man1/unlzma.1.gz because associated file /usr/share/man/man1/unxz.1.gz (of link group lzma) doesn't exist update-alternatives: warning: skip creation of /usr/share/man/man1/lzcat.1.gz because associated file /usr/share/man/man1/xzcat.1.gz (of link group lzma) doesn't exist update-alternatives: warning: skip creation of /usr/share/man/man1/lzmore.1.gz because associated file /usr/share/man/man1/xzmore.1.gz (of link group lzma) doesn't exist update-alternatives: warning: skip creation of /usr/share/man/man1/lzless.1.gz because associated file /usr/share/man/man1/xzless.1.gz (of link group lzma) doesn't exist update-alternatives: warning: skip creation of /usr/share/man/man1/lzdiff.1.gz because associated file /usr/share/man/man1/xzdiff.1.gz (of link group lzma) doesn't exist update-alternatives: warning: skip creation of /usr/share/man/man1/lzcmp.1.gz because associated file /usr/share/man/man1/xzcmp.1.gz (of link group lzma) doesn't exist update-alternatives: warning: skip creation of /usr/share/man/man1/lzgrep.1.gz because associated file /usr/share/man/man1/xzgrep.1.gz (of link group lzma) doesn't exist update-alternatives: warning: skip creation of /usr/share/man/man1/lzegrep.1.gz because associated file /usr/share/man/man1/xzegrep.1.gz (of link group lzma) doesn't exist update-alternatives: warning: skip creation of /usr/share/man/man1/lzfgrep.1.gz because associated file /usr/share/man/man1/xzfgrep.1.gz (of link group lzma) doesn't exist Setting up openssl (1.1.0l-1~deb9u3) ... Setting up libsqlite3-0:amd64 (3.16.2-5+deb9u3) ... Setting up libmpfr4:amd64 (3.1.5-1) ... Setting up libmpc3:amd64 (1.0.3-1+b2) ... Setting up binutils (2.28-5) ... Setting up libffi6:amd64 (3.2.1-6) ... Setting up libc-dev-bin (2.24-11+deb9u4) ... Setting up libxdmcp6:amd64 (1:1.1.2-3) ... Setting up libkeyutils1:amd64 (1.5.9-9) ... Setting up libpython2.7-minimal:amd64 (2.7.13-2+deb9u5) ... Setting up x11-common (1:7.7+19) ... debconf: unable to initialize frontend: Dialog debconf: (TERM is not set, so the dialog frontend is not usable.) debconf: falling back to frontend: Readline update-rc.d: warning: start and stop actions are no longer supported; falling back to defaults invoke-rc.d: could not determine current runlevel invoke-rc.d: policy-rc.d denied execution of start. Setting up ca-certificates (20200601~deb9u2) ... debconf: unable to initialize frontend: Dialog debconf: (TERM is not set, so the dialog frontend is not usable.) debconf: falling back to frontend: Readline Updating certificates in /etc/ssl/certs... 137 added, 0 removed; done. Setting up libc6-dev:amd64 (2.24-11+deb9u4) ... Setting up libitm1:amd64 (6.3.0-18+deb9u1) ... Setting up libx11-data (2:1.6.4-3+deb9u4) ... Setting up libpython2.7-stdlib:amd64 (2.7.13-2+deb9u5) ... Setting up libxau6:amd64 (1:1.0.8-1) ... Setting up libidn11:amd64 (1.33-1+deb9u1) ... Setting up libdbus-1-3:amd64 (1.10.32-0+deb9u1) ... Setting up liblzo2-2:amd64 (2.08-1.2+b2) ... Setting up python2.7-minimal (2.7.13-2+deb9u5) ... Linking and byte-compiling packages for runtime python2.7... Setting up libavahi-common-data:amd64 (0.6.32-2) ... Setting up zlib1g-dev:amd64 (1:1.2.8.dfsg-5) ... Setting up libjsoncpp1:amd64 (1.7.4-3) ... Setting up fontconfig-config (2.11.0-6.7) ... debconf: unable to initialize frontend: Dialog debconf: (TERM is not set, so the dialog frontend is not usable.) debconf: falling back to frontend: Readline Setting up libidn2-0:amd64 (0.16-1+deb9u1) ... Setting up libgcc-6-dev:amd64 (6.3.0-18+deb9u1) ... Setting up libstdc++-6-dev:amd64 (6.3.0-18+deb9u1) ... Setting up liberror-perl (0.17024-1) ... Setting up libsqlite3-dev:amd64 (3.16.2-5+deb9u3) ... Setting up libarchive13:amd64 (3.2.2-2+deb9u2) ... Setting up libpsl5:amd64 (0.17.0-3) ... Setting up libglib2.0-0:amd64 (2.50.3-2+deb9u2) ... No schema files found: doing nothing. Setting up libdpkg-perl (1.18.25) ... Setting up python2.7 (2.7.13-2+deb9u5) ... Setting up libnss3:amd64 (2:3.26.2-1.1+deb9u2) ... Setting up autoconf (2.69-10) ... Setting up libkrb5support0:amd64 (1.15-1+deb9u2) ... Setting up libhogweed4:amd64 (3.3-1+b2) ... Setting up pkg-config (0.29-4+b1) ... Setting up libisl15:amd64 (0.18-1) ... Setting up dpkg-dev (1.18.25) ... Setting up libp11-kit0:amd64 (0.23.3-2+deb9u1) ... Setting up automake (1:1.15-6) ... update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode update-alternatives: warning: skip creation of /usr/share/man/man1/automake.1.gz because associated file /usr/share/man/man1/automake-1.15.1.gz (of link group automake) doesn't exist update-alternatives: warning: skip creation of /usr/share/man/man1/aclocal.1.gz because associated file /usr/share/man/man1/aclocal-1.15.1.gz (of link group automake) doesn't exist Setting up cpp-6 (6.3.0-18+deb9u1) ... Setting up libavahi-common3:amd64 (0.6.32-2) ... Setting up libxcb1:amd64 (1.12-1) ... Setting up cpp (4:6.3.0-4) ... Setting up libfontconfig1:amd64 (2.11.0-6.7+b1) ... Setting up libk5crypto3:amd64 (1.15-1+deb9u2) ... Setting up libgnutls30:amd64 (3.5.8-5+deb9u5) ... Setting up libx11-6:amd64 (2:1.6.4-3+deb9u4) ... Setting up librtmp1:amd64 (2.4+20151223.gitfa8646d.1-1+b1) ... Setting up gcc-6 (6.3.0-18+deb9u1) ... Setting up g++-6 (6.3.0-18+deb9u1) ... Setting up libldap-2.4-2:amd64 (2.4.44+dfsg-5+deb9u8) ... Setting up libxrender1:amd64 (1:0.9.10-1) ... Setting up libavahi-client3:amd64 (0.6.32-2) ... Setting up libkrb5-3:amd64 (1.15-1+deb9u2) ... Setting up libxext6:amd64 (2:1.3.3-1+b2) ... Setting up gcc (4:6.3.0-4) ... Setting up libgssapi-krb5-2:amd64 (1.15-1+deb9u2) ... Setting up g++ (4:6.3.0-4) ... update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode Setting up libcups2:amd64 (2.2.1-8+deb9u6) ... Setting up libxi6:amd64 (2:1.7.9-1) ... Setting up build-essential (12.3) ... Setting up libcurl3:amd64 (7.52.1-5+deb9u14) ... Setting up libcurl3-gnutls:amd64 (7.52.1-5+deb9u14) ... Setting up libxtst6:amd64 (2:1.2.3-1) ... Setting up cmake (3.7.2-1) ... Setting up git (1:2.11.0-3+deb9u7) ... Setting up curl (7.52.1-5+deb9u14) ... Setting up opam (1.2.2-5+b7) ... Setting up ca-certificates-java (20170929~deb9u3) ... Adding debian:SZAFIR_ROOT_CA2.pem Adding debian:ACCVRAIZ1.pem Adding debian:AC_RAIZ_FNMT-RCM.pem Adding debian:Actalis_Authentication_Root_CA.pem Adding debian:AffirmTrust_Commercial.pem Adding debian:AffirmTrust_Networking.pem Adding debian:AffirmTrust_Premium.pem Adding debian:AffirmTrust_Premium_ECC.pem Adding debian:Amazon_Root_CA_1.pem Adding debian:Amazon_Root_CA_2.pem Adding debian:Amazon_Root_CA_3.pem Adding debian:Amazon_Root_CA_4.pem Adding debian:Atos_TrustedRoot_2011.pem Adding debian:Autoridad_de_Certificacion_Firmaprofesional_CIF_A62634068.pem Adding debian:Baltimore_CyberTrust_Root.pem Adding debian:Buypass_Class_2_Root_CA.pem Adding debian:Buypass_Class_3_Root_CA.pem Adding debian:CA_Disig_Root_R2.pem Adding debian:CFCA_EV_ROOT.pem Adding debian:COMODO_Certification_Authority.pem Adding debian:COMODO_ECC_Certification_Authority.pem Adding debian:COMODO_RSA_Certification_Authority.pem Adding debian:Certigna.pem Adding debian:Certigna_Root_CA.pem Adding debian:Certum_Trusted_Network_CA.pem Adding debian:Certum_Trusted_Network_CA_2.pem Adding debian:Chambers_of_CommerceRoot-_2008.pem Adding debian:Comodo_AAA_Services_root.pem Adding debian:Cybertrust_Global_Root.pem Adding debian:D-TRUST_Root_Class_3_CA_2_2009.pem Adding debian:D-TRUST_Root_Class_3_CA_2_EV_2009.pem Adding debian:DST_Root_CA_X3.pem Adding debian:DigiCert_Assured_ID_Root_CA.pem Adding debian:DigiCert_Assured_ID_Root_G2.pem Adding debian:DigiCert_Assured_ID_Root_G3.pem Adding debian:DigiCert_Global_Root_CA.pem Adding debian:DigiCert_Global_Root_G2.pem Adding debian:DigiCert_Global_Root_G3.pem Adding debian:DigiCert_High_Assurance_EV_Root_CA.pem Adding debian:DigiCert_Trusted_Root_G4.pem Adding debian:E-Tugra_Certification_Authority.pem Adding debian:EC-ACC.pem Adding debian:EE_Certification_Centre_Root_CA.pem Adding debian:Entrust.net_Premium_2048_Secure_Server_CA.pem Adding debian:Entrust_Root_Certification_Authority.pem Adding debian:Entrust_Root_CertificationAuthority-_EC1.pem Adding debian:Entrust_Root_CertificationAuthority-_G2.pem Adding debian:Entrust_Root_CertificationAuthority-_G4.pem Adding debian:GDCA_TrustAUTH_R5_ROOT.pem Adding debian:GTS_Root_R1.pem Adding debian:GTS_Root_R2.pem Adding debian:GTS_Root_R3.pem Adding debian:GTS_Root_R4.pem Adding debian:GeoTrust_Global_CA.pem Adding debian:GeoTrust_Primary_Certification_Authority.pem Adding debian:GeoTrust_Primary_CertificationAuthority-_G2.pem Adding debian:GeoTrust_Primary_CertificationAuthority-_G3.pem Adding debian:GeoTrust_Universal_CA.pem Adding debian:GeoTrust_Universal_CA_2.pem Adding debian:GlobalSign_ECC_RootCA-_R4.pem Adding debian:GlobalSign_ECC_RootCA-_R5.pem Adding debian:GlobalSign_Root_CA.pem Adding debian:GlobalSign_RootCA-_R2.pem Adding debian:GlobalSign_RootCA-_R3.pem Adding debian:GlobalSign_RootCA-_R6.pem Adding debian:Global_ChambersignRoot-_2008.pem Adding debian:Go_Daddy_Class_2_CA.pem Adding debian:Go_Daddy_Root_CertificateAuthority-_G2.pem Adding debian:Hellenic_Academic_and_Research_Institutions_ECC_RootCA_2015.pem Adding debian:Hellenic_Academic_and_Research_Institutions_RootCA_2011.pem Adding debian:Hellenic_Academic_and_Research_Institutions_RootCA_2015.pem Adding debian:Hongkong_Post_Root_CA_1.pem Adding debian:Hongkong_Post_Root_CA_3.pem Adding debian:ISRG_Root_X1.pem Adding debian:IdenTrust_Commercial_Root_CA_1.pem Adding debian:IdenTrust_Public_Sector_Root_CA_1.pem Adding debian:Izenpe.com.pem Adding debian:LuxTrust_Global_Root_2.pem Adding debian:Microsec_e-Szigno_Root_CA_2009.pem Adding debian:NetLockArany=Class_Gold=_Főtanúsítvány.pem Adding debian:Network_Solutions_Certificate_Authority.pem Adding debian:OISTE_WISeKey_Global_Root_GA_CA.pem Adding debian:OISTE_WISeKey_Global_Root_GB_CA.pem Adding debian:OISTE_WISeKey_Global_Root_GC_CA.pem Adding debian:QuoVadis_Root_CA.pem Adding debian:QuoVadis_Root_CA_1_G3.pem Adding debian:QuoVadis_Root_CA_2.pem Adding debian:QuoVadis_Root_CA_2_G3.pem Adding debian:QuoVadis_Root_CA_3.pem Adding debian:QuoVadis_Root_CA_3_G3.pem Adding debian:SSL.com_EV_Root_Certification_Authority_ECC.pem Adding debian:SSL.com_EV_Root_Certification_Authority_RSA_R2.pem Adding debian:SSL.com_Root_Certification_Authority_ECC.pem Adding debian:SSL.com_Root_Certification_Authority_RSA.pem Adding debian:SecureSign_RootCA11.pem Adding debian:SecureTrust_CA.pem Adding debian:Secure_Global_CA.pem Adding debian:Security_Communication_RootCA2.pem Adding debian:Security_Communication_Root_CA.pem Adding debian:Sonera_Class_2_Root_CA.pem Adding debian:Staat_der_Nederlanden_EV_Root_CA.pem Adding debian:Staat_der_Nederlanden_RootCA-_G2.pem Adding debian:Staat_der_Nederlanden_RootCA-_G3.pem Adding debian:Starfield_Class_2_CA.pem Adding debian:Starfield_Root_CertificateAuthority-_G2.pem Adding debian:Starfield_Services_Root_CertificateAuthority-_G2.pem Adding debian:SwissSign_GoldCA-_G2.pem Adding debian:SwissSign_SilverCA-_G2.pem Adding debian:T-TeleSec_GlobalRoot_Class_2.pem Adding debian:T-TeleSec_GlobalRoot_Class_3.pem Adding debian:TUBITAK_Kamu_SM_SSL_KokSertifikasi-_Surum_1.pem Adding debian:TWCA_Global_Root_CA.pem Adding debian:TWCA_Root_Certification_Authority.pem Adding debian:Taiwan_GRCA.pem Adding debian:TeliaSonera_Root_CA_v1.pem Adding debian:TrustCor_ECA-1.pem Adding debian:TrustCor_RootCert_CA-1.pem Adding debian:TrustCor_RootCert_CA-2.pem Adding debian:Trustis_FPS_Root_CA.pem Adding debian:UCA_Extended_Validation_Root.pem Adding debian:UCA_Global_G2_Root.pem Adding debian:USERTrust_ECC_Certification_Authority.pem Adding debian:USERTrust_RSA_Certification_Authority.pem Adding debian:VeriSign_Class_3_Public_Primary_CertificationAuthority-_G4.pem Adding debian:VeriSign_Class_3_Public_Primary_CertificationAuthority-_G5.pem Adding debian:VeriSign_Universal_Root_Certification_Authority.pem Adding debian:Verisign_Class_3_Public_Primary_CertificationAuthority-_G3.pem Adding debian:XRamp_Global_CA_Root.pem Adding debian:certSIGN_ROOT_CA.pem Adding debian:ePKI_Root_Certification_Authority.pem Adding debian:emSign_ECC_RootCA-_C3.pem Adding debian:emSign_ECC_RootCA-_G3.pem Adding debian:emSign_RootCA-_C1.pem Adding debian:emSign_RootCA-_G1.pem Adding debian:thawte_Primary_Root_CA.pem Adding debian:thawte_Primary_RootCA-_G2.pem Adding debian:thawte_Primary_RootCA-_G3.pem done. Processing triggers for ca-certificates (20200601~deb9u2) ... Updating certificates in /etc/ssl/certs... 0 added, 0 removed; done. Running hooks in /etc/ca-certificates/update.d...

done. done. Setting up openjdk-8-jre-headless:amd64 (8u292-b10-0+deb9u1) ... update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/rmid to provide /usr/bin/rmid (rmid) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/java to provide /usr/bin/java (java) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/keytool to provide /usr/bin/keytool (keytool) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/jjs to provide /usr/bin/jjs (jjs) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/pack200 to provide /usr/bin/pack200 (pack200) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/rmiregistry to provide /usr/bin/rmiregistry (rmiregistry) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/unpack200 to provide /usr/bin/unpack200 (unpack200) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/orbd to provide /usr/bin/orbd (orbd) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/servertool to provide /usr/bin/servertool (servertool) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/tnameserv to provide /usr/bin/tnameserv (tnameserv) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/jre/lib/jexec to provide /usr/bin/jexec (jexec) in auto mode Setting up openjdk-8-jdk-headless:amd64 (8u292-b10-0+deb9u1) ... update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/idlj to provide /usr/bin/idlj (idlj) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jdeps to provide /usr/bin/jdeps (jdeps) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/wsimport to provide /usr/bin/wsimport (wsimport) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/rmic to provide /usr/bin/rmic (rmic) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jinfo to provide /usr/bin/jinfo (jinfo) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jsadebugd to provide /usr/bin/jsadebugd (jsadebugd) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/native2ascii to provide /usr/bin/native2ascii (native2ascii) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jstat to provide /usr/bin/jstat (jstat) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/javac to provide /usr/bin/javac (javac) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/javah to provide /usr/bin/javah (javah) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/hsdb to provide /usr/bin/hsdb (hsdb) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/clhsdb to provide /usr/bin/clhsdb (clhsdb) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jstack to provide /usr/bin/jstack (jstack) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jrunscript to provide /usr/bin/jrunscript (jrunscript) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/javadoc to provide /usr/bin/javadoc (javadoc) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jhat to provide /usr/bin/jhat (jhat) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/javap to provide /usr/bin/javap (javap) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jar to provide /usr/bin/jar (jar) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/xjc to provide /usr/bin/xjc (xjc) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/schemagen to provide /usr/bin/schemagen (schemagen) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jps to provide /usr/bin/jps (jps) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/extcheck to provide /usr/bin/extcheck (extcheck) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jmap to provide /usr/bin/jmap (jmap) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jstatd to provide /usr/bin/jstatd (jstatd) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jdb to provide /usr/bin/jdb (jdb) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/serialver to provide /usr/bin/serialver (serialver) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jfr to provide /usr/bin/jfr (jfr) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/wsgen to provide /usr/bin/wsgen (wsgen) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jcmd to provide /usr/bin/jcmd (jcmd) in auto mode update-alternatives: using /usr/lib/jvm/java-8-openjdk-amd64/bin/jarsigner to provide /usr/bin/jarsigner (jarsigner) in auto mode Processing triggers for libc-bin (2.24-11+deb9u4) ... Removing intermediate container 37cd5b370f8e ---> d677f8a3e856 Step 4/12 : RUN INFER_VERSION=v1.1.0; cd /opt && rm -f /infer && ln -s ${PWD}/infer-linux64-${INFER_VERSION} /infer ---> Running in a47f0d01b718 Removing intermediate container a47f0d01b718 ---> 345c8877c32e Step 5/12 : RUN OCAML_VERSION=4.06.1+flambda; cd /infer && \ ./build-infer.sh --opam-switch $OCAML_VERSION && rm -rf /root/.opam ---> Running in dc9c2e883880 /bin/sh: 1: cd: can't cd to /infer The command '/bin/sh -c OCAML_VERSION=4.06.1+flambda; cd /infer && \ ./build-infer.sh --opam-switch $OCAML_VERSION && rm -rf /root/.opam' returned a non-zero code: 2 [automationuser@rtxvatlp19 inferonetesting]$

[ ] If possible, a minimal example to reproduce your problem (for instance, some code where infer reports incorrectly, together with the way you run infer to reproduce the incorrect report).

Could you please help me on this.

Thanks Venkat

facebook / infer

Trying to install infer with Docker #1460