DC-Build-Header: cvc3 2.4.1-5 / 2015-03-26 13:02:00 +0000 DC-Task: source:cvc3 version:2.4.1-5 architecture:any chroot:unstable esttime:2632 logfile:/tmp/cvc3_2.4.1-5_unstable_clang.log modes:binary-only:parallel:clang DC-Sbuild-call: su user -c 'sbuild -n --apt-update -d unstable -v --chroot-setup-commands=/tmp/clang cvc3_2.4.1-5' sbuild (Debian sbuild) 0.63.2 (18 Aug 2012) on ip-172-31-9-76.us-west-2.compute.internal ╔══════════════════════════════════════════════════════════════════════════════╗ ║ cvc3 2.4.1-5 (amd64) 26 Mar 2015 13:02 ║ ╚══════════════════════════════════════════════════════════════════════════════╝ Package: cvc3 Version: 2.4.1-5 Source Version: 2.4.1-5 Distribution: unstable Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 I: NOTICE: Log filtering will replace 'build/cvc3-4CnzDY/cvc3-2.4.1' with '«PKGBUILDDIR»' I: NOTICE: Log filtering will replace 'build/cvc3-4CnzDY' with '«BUILDDIR»' I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/unstable-amd64-sbuild-2e51d832-3bd9-421e-871b-e0ea6675ddb3' with '«CHROOT»' ┌──────────────────────────────────────────────────────────────────────────────┐ │ Update chroot │ └──────────────────────────────────────────────────────────────────────────────┘ Get:1 http://localhost:9999 unstable InRelease [257 kB] Get:2 http://localhost:9999 unstable/main Sources/DiffIndex [7876 B] Get:3 http://localhost:9999 unstable/main amd64 Packages/DiffIndex [7876 B] Get:4 http://localhost:9999 unstable/main Translation-en/DiffIndex [7876 B] Get:5 http://localhost:9999 unstable/main 2015-03-25-1448.37.pdiff [3021 B] Get:6 http://localhost:9999 unstable/main 2015-03-25-2049.47.pdiff [5545 B] Get:7 http://localhost:9999 unstable/main 2015-03-26-0248.39.pdiff [3389 B] Get:8 http://localhost:9999 unstable/main 2015-03-26-0844.35.pdiff [2242 B] Get:9 http://localhost:9999 unstable/main 2015-03-26-0844.35.pdiff [2242 B] Get:10 http://localhost:9999 unstable/main amd64 2015-03-25-1448.37.pdiff [4095 B] Get:11 http://localhost:9999 unstable/main amd64 2015-03-25-2049.47.pdiff [4595 B] Get:12 http://localhost:9999 unstable/main amd64 2015-03-26-0248.39.pdiff [3173 B] Get:13 http://localhost:9999 unstable/main amd64 2015-03-26-0844.35.pdiff [1129 B] Get:14 http://localhost:9999 unstable/main 2015-03-25-2049.47.pdiff [2032 B] Get:15 http://localhost:9999 unstable/main 2015-03-26-0844.35.pdiff [464 B] Get:16 http://localhost:9999 unstable/main amd64 2015-03-26-0844.35.pdiff [1129 B] Get:17 http://localhost:9999 unstable/main 2015-03-26-0844.35.pdiff [464 B] Fetched 310 kB in 4s (68.0 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. ┌──────────────────────────────────────────────────────────────────────────────┐ │ Fetch source files │ └──────────────────────────────────────────────────────────────────────────────┘ Check APT ───────── Checking available source versions... Download source files with APT ────────────────────────────── Reading package lists... Building dependency tree... Reading state information... Need to get 1188 kB of source archives. Get:1 http://localhost:9999/debian/ unstable/main cvc3 2.4.1-5 (dsc) [2081 B] Get:2 http://localhost:9999/debian/ unstable/main cvc3 2.4.1-5 (tar) [1176 kB] Get:3 http://localhost:9999/debian/ unstable/main cvc3 2.4.1-5 (diff) [10.1 kB] Fetched 1188 kB in 0s (4340 kB/s) Download complete and in download only mode Check arch ────────── ┌──────────────────────────────────────────────────────────────────────────────┐ │ Chroot Setup Commands │ └──────────────────────────────────────────────────────────────────────────────┘ /tmp/clang ────────── + echo 'Entering customization script...' Entering customization script... + CLANG_VERSION=3.6 + echo 'Install of clang-3.6' Install of clang-3.6 + apt-get update Hit http://localhost:9999 unstable InRelease Get:1 http://localhost:9999 unstable/main Sources/DiffIndex [7876 B] Get:2 http://localhost:9999 unstable/main amd64 Packages/DiffIndex [7876 B] Get:3 http://localhost:9999 unstable/main Translation-en/DiffIndex [7876 B] Fetched 23.6 kB in 1s (13.2 kB/s) Reading package lists... + apt-get install --yes --no-install-recommends --force-yes clang-3.6 Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: libbsd0 libclang-common-3.6-dev libclang1-3.6 libedit2 libffi6 libllvm3.6 libobjc-4.9-dev libobjc4 Suggested packages: gnustep gnustep-devel clang-3.6-doc Recommended packages: llvm-3.6-dev python The following NEW packages will be installed: clang-3.6 libbsd0 libclang-common-3.6-dev libclang1-3.6 libedit2 libffi6 libllvm3.6 libobjc-4.9-dev libobjc4 0 upgraded, 9 newly installed, 0 to remove and 0 not upgraded. Need to get 39.2 MB of archives. After this operation, 153 MB of additional disk space will be used. Get:1 http://localhost:9999/debian/ unstable/main libbsd0 amd64 0.7.0-2 [67.9 kB] Get:2 http://localhost:9999/debian/ unstable/main libedit2 amd64 3.1-20140620-2 [85.1 kB] Get:3 http://localhost:9999/debian/ unstable/main libffi6 amd64 3.1-2+b2 [20.1 kB] Get:4 http://localhost:9999/debian/ unstable/main libllvm3.6 amd64 1:3.6-2 [8137 kB] Get:5 http://localhost:9999/debian/ unstable/main libobjc4 amd64 4.9.2-10 [112 kB] Get:6 http://localhost:9999/debian/ unstable/main libobjc-4.9-dev amd64 4.9.2-10 [372 kB] Get:7 http://localhost:9999/debian/ unstable/main libclang1-3.6 amd64 1:3.6-2 [3839 kB] Get:8 http://localhost:9999/debian/ unstable/main libclang-common-3.6-dev amd64 1:3.6-2 [706 kB] Get:9 http://localhost:9999/debian/ unstable/main clang-3.6 amd64 1:3.6-2 [25.8 MB] debconf: unable to initialize frontend: Dialog debconf: (Dialog frontend will not work on a dumb terminal, an emacs shell buffer, or without a controlling terminal.) debconf: falling back to frontend: Readline debconf: unable to initialize frontend: Readline debconf: (This frontend requires a controlling tty.) debconf: falling back to frontend: Teletype dpkg-preconfigure: unable to re-open stdin: Fetched 39.2 MB in 1s (37.9 MB/s) Selecting previously unselected package libbsd0:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 11980 files and directories currently installed.) Preparing to unpack .../libbsd0_0.7.0-2_amd64.deb ... Unpacking libbsd0:amd64 (0.7.0-2) ... Selecting previously unselected package libedit2:amd64. Preparing to unpack .../libedit2_3.1-20140620-2_amd64.deb ... Unpacking libedit2:amd64 (3.1-20140620-2) ... Selecting previously unselected package libffi6:amd64. Preparing to unpack .../libffi6_3.1-2+b2_amd64.deb ... Unpacking libffi6:amd64 (3.1-2+b2) ... Selecting previously unselected package libllvm3.6:amd64. Preparing to unpack .../libllvm3.6_1%3a3.6-2_amd64.deb ... Unpacking libllvm3.6:amd64 (1:3.6-2) ... Selecting previously unselected package libobjc4:amd64. Preparing to unpack .../libobjc4_4.9.2-10_amd64.deb ... Unpacking libobjc4:amd64 (4.9.2-10) ... Selecting previously unselected package libobjc-4.9-dev:amd64. Preparing to unpack .../libobjc-4.9-dev_4.9.2-10_amd64.deb ... Unpacking libobjc-4.9-dev:amd64 (4.9.2-10) ... Selecting previously unselected package libclang1-3.6:amd64. Preparing to unpack .../libclang1-3.6_1%3a3.6-2_amd64.deb ... Unpacking libclang1-3.6:amd64 (1:3.6-2) ... Selecting previously unselected package libclang-common-3.6-dev. Preparing to unpack .../libclang-common-3.6-dev_1%3a3.6-2_amd64.deb ... Unpacking libclang-common-3.6-dev (1:3.6-2) ... Selecting previously unselected package clang-3.6. Preparing to unpack .../clang-3.6_1%3a3.6-2_amd64.deb ... Unpacking clang-3.6 (1:3.6-2) ... Setting up libbsd0:amd64 (0.7.0-2) ... Setting up libedit2:amd64 (3.1-20140620-2) ... Setting up libffi6:amd64 (3.1-2+b2) ... Setting up libllvm3.6:amd64 (1:3.6-2) ... Setting up libobjc4:amd64 (4.9.2-10) ... Setting up libobjc-4.9-dev:amd64 (4.9.2-10) ... Setting up libclang1-3.6:amd64 (1:3.6-2) ... Setting up libclang-common-3.6-dev (1:3.6-2) ... Setting up clang-3.6 (1:3.6-2) ... Processing triggers for libc-bin (2.19-17) ... + echo 'Replace gcc, g++ & cpp by clang' Replace gcc, g++ & cpp by clang + VERSIONS='4.6 4.7 4.8 4.9 5' + cd /usr/bin + for VERSION in '$VERSIONS' + rm -f g++-4.6 gcc-4.6 cpp-4.6 gcc + ln -s clang++-3.6 g++-4.6 + ln -s clang-3.6 gcc-4.6 + ln -s clang-3.6 cpp-4.6 + ln -s clang-3.6 gcc + echo 'gcc-4.6 hold' + dpkg --set-selections + echo 'g++-4.6 hold' + dpkg --set-selections + for VERSION in '$VERSIONS' + rm -f g++-4.7 gcc-4.7 cpp-4.7 gcc + ln -s clang++-3.6 g++-4.7 + ln -s clang-3.6 gcc-4.7 + ln -s clang-3.6 cpp-4.7 + ln -s clang-3.6 gcc + echo 'gcc-4.7 hold' + dpkg --set-selections + echo 'g++-4.7 hold' + dpkg --set-selections + for VERSION in '$VERSIONS' + rm -f g++-4.8 gcc-4.8 cpp-4.8 gcc + ln -s clang++-3.6 g++-4.8 + ln -s clang-3.6 gcc-4.8 + ln -s clang-3.6 cpp-4.8 + ln -s clang-3.6 gcc + echo 'gcc-4.8 hold' + dpkg --set-selections dpkg: warning: package not in database at line 1: gcc-4.8 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method + echo 'g++-4.8 hold' + dpkg --set-selections dpkg: warning: package not in database at line 1: g++-4.8 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method + for VERSION in '$VERSIONS' + rm -f g++-4.9 gcc-4.9 cpp-4.9 gcc + ln -s clang++-3.6 g++-4.9 + ln -s clang-3.6 gcc-4.9 + ln -s clang-3.6 cpp-4.9 + ln -s clang-3.6 gcc + echo 'gcc-4.9 hold' + dpkg --set-selections + echo 'g++-4.9 hold' + dpkg --set-selections + for VERSION in '$VERSIONS' + rm -f g++-5 gcc-5 cpp-5 gcc + ln -s clang++-3.6 g++-5 + ln -s clang-3.6 gcc-5 + ln -s clang-3.6 cpp-5 + ln -s clang-3.6 gcc + echo 'gcc-5 hold' + dpkg --set-selections dpkg: warning: package not in database at line 1: gcc-5 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method + echo 'g++-5 hold' + dpkg --set-selections dpkg: warning: package not in database at line 1: g++-5 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method + cd - /«BUILDDIR» + echo 'Check if gcc, g++ & cpp are actually clang' Check if gcc, g++ & cpp are actually clang + gcc --version + grep clang + cpp --version + grep clang + g++ --version + grep clang I: Finished running '/tmp/clang'. Finished processing commands. ──────────────────────────────────────────────────────────────────────────────── Merged Build-Depends: build-essential, fakeroot Filtered Build-Depends: build-essential, fakeroot dpkg-deb: building package `sbuild-build-depends-core-dummy' in `/«BUILDDIR»/resolver-vyVyWZ/apt_archive/sbuild-build-depends-core-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install core build dependencies (apt-based resolver) │ └──────────────────────────────────────────────────────────────────────────────┘ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: sbuild-build-depends-core-dummy 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 0 B/816 B of archives. After this operation, 0 B of additional disk space will be used. Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12200 files and directories currently installed.) Preparing to unpack .../sbuild-build-depends-core-dummy.deb ... Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... Merged Build-Depends: base-files, base-passwd, bash, bsdutils, coreutils, dash, debianutils, diffutils, dpkg, e2fsprogs, findutils, grep, gzip, hostname, init, libc-bin, login, mount, ncurses-base, ncurses-bin, perl-base, sed, sysvinit-utils, tar, util-linux, libc6-dev | libc-dev, gcc (>= 4:4.9.1), g++ (>= 4:4.9.1), make, dpkg-dev (>= 1.17.11), cdbs, debhelper (>= 7), autoconf, autotools-dev, bison, default-jdk, flex, libgmp-dev | libgmp3-dev, patchutils, python Filtered Build-Depends: base-files, base-passwd, bash, bsdutils, coreutils, dash, debianutils, diffutils, dpkg, e2fsprogs, findutils, grep, gzip, hostname, init, libc-bin, login, mount, ncurses-base, ncurses-bin, perl-base, sed, sysvinit-utils, tar, util-linux, libc6-dev, gcc (>= 4:4.9.1), g++ (>= 4:4.9.1), make, dpkg-dev (>= 1.17.11), cdbs, debhelper (>= 7), autoconf, autotools-dev, bison, default-jdk, flex, libgmp-dev, patchutils, python dpkg-deb: building package `sbuild-build-depends-cvc3-dummy' in `/«BUILDDIR»/resolver-DSSgbA/apt_archive/sbuild-build-depends-cvc3-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install cvc3 build dependencies (apt-based resolver) │ └──────────────────────────────────────────────────────────────────────────────┘ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: autoconf autotools-dev bison bsdmainutils ca-certificates ca-certificates-java cdbs debhelper default-jdk default-jre default-jre-headless file flex fontconfig fontconfig-config fonts-dejavu-core gettext gettext-base groff-base intltool-debian java-common libasound2 libasound2-data libasprintf0c2 libasyncns0 libatk-wrapper-java libatk-wrapper-java-jni libatk1.0-0 libatk1.0-data libavahi-client3 libavahi-common-data libavahi-common3 libbison-dev libcairo2 libcroco3 libcups2 libdatrie1 libdbus-1-3 libdrm2 libexpat1 libfl-dev libflac8 libfontconfig1 libfreetype6 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgif4 libgl1-mesa-glx libglapi-mesa libglib2.0-0 libgmp-dev libgmpxx4ldbl libgnutls-deb0-28 libgraphite2-3 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common libharfbuzz0b libhogweed2 libice6 libicu52 libjasper1 libjbig0 libjpeg62-turbo libjson-c2 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblcms2-2 libmagic1 libnettle4 libnspr4 libnss3 libogg0 libp11-kit0 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpcsclite1 libpipeline1 libpixman-1-0 libpng12-0 libpulse0 libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libsigsegv2 libsm6 libsndfile1 libsqlite3-0 libssl1.0.0 libtasn1-6 libthai-data libthai0 libtiff5 libunistring0 libvorbis0a libvorbisenc2 libwrap0 libx11-6 libx11-data libx11-xcb1 libxau6 libxcb-dri2-0 libxcb-dri3-0 libxcb-glx0 libxcb-present0 libxcb-render0 libxcb-shm0 libxcb-sync1 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxi6 libxinerama1 libxml2 libxrandr2 libxrender1 libxshmfence1 libxtst6 libxxf86vm1 m4 man-db mime-support openjdk-7-jdk openjdk-7-jre openjdk-7-jre-headless openssl patchutils po-debconf python python-minimal python2.7 python2.7-minimal shared-mime-info tzdata-java ucf x11-common Suggested packages: autoconf-archive gnu-standards autoconf-doc libtool bison-doc wamerican wordlist whois vacation devscripts dh-make gettext-doc groff equivs libasound2-plugins alsa-utils cups-common libgmp10-doc libmpfr-dev gnutls-bin krb5-doc krb5-user librsvg2-common gvfs libjasper-runtime liblcms2-utils pcscd pulseaudio www-browser openjdk-7-demo openjdk-7-source visualvm icedtea-7-plugin icedtea-7-jre-jamvm libnss-mdns sun-java6-fonts fonts-ipafont-gothic fonts-ipafont-mincho ttf-wqy-microhei ttf-wqy-zenhei fonts-indic libmail-box-perl python-doc python-tk python2.7-doc binfmt-support Recommended packages: automake automaken curl wget lynx-cur autopoint libasprintf-dev libgettextpo-dev dbus libgl1-mesa-dri libglib2.0-data xdg-user-dirs hicolor-icon-theme libgtk2.0-bin krb5-locales tcpd xml-core libxt-dev libgnome2-0 libgnomevfs2-0 libgconf2-4 fonts-dejavu-extra libmail-sendmail-perl The following NEW packages will be installed: autoconf autotools-dev bison bsdmainutils ca-certificates ca-certificates-java cdbs debhelper default-jdk default-jre default-jre-headless file flex fontconfig fontconfig-config fonts-dejavu-core gettext gettext-base groff-base intltool-debian java-common libasound2 libasound2-data libasprintf0c2 libasyncns0 libatk-wrapper-java libatk-wrapper-java-jni libatk1.0-0 libatk1.0-data libavahi-client3 libavahi-common-data libavahi-common3 libbison-dev libcairo2 libcroco3 libcups2 libdatrie1 libdbus-1-3 libdrm2 libexpat1 libfl-dev libflac8 libfontconfig1 libfreetype6 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgif4 libgl1-mesa-glx libglapi-mesa libglib2.0-0 libgmp-dev libgmpxx4ldbl libgnutls-deb0-28 libgraphite2-3 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common libharfbuzz0b libhogweed2 libice6 libicu52 libjasper1 libjbig0 libjpeg62-turbo libjson-c2 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblcms2-2 libmagic1 libnettle4 libnspr4 libnss3 libogg0 libp11-kit0 libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpcsclite1 libpipeline1 libpixman-1-0 libpng12-0 libpulse0 libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libsigsegv2 libsm6 libsndfile1 libsqlite3-0 libssl1.0.0 libtasn1-6 libthai-data libthai0 libtiff5 libunistring0 libvorbis0a libvorbisenc2 libwrap0 libx11-6 libx11-data libx11-xcb1 libxau6 libxcb-dri2-0 libxcb-dri3-0 libxcb-glx0 libxcb-present0 libxcb-render0 libxcb-shm0 libxcb-sync1 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxi6 libxinerama1 libxml2 libxrandr2 libxrender1 libxshmfence1 libxtst6 libxxf86vm1 m4 man-db mime-support openjdk-7-jdk openjdk-7-jre openjdk-7-jre-headless openssl patchutils po-debconf python python-minimal python2.7 python2.7-minimal sbuild-build-depends-cvc3-dummy shared-mime-info tzdata-java ucf x11-common 0 upgraded, 144 newly installed, 0 to remove and 0 not upgraded. Need to get 102 MB/102 MB of archives. After this operation, 239 MB of additional disk space will be used. Get:1 http://localhost:9999/debian/ unstable/main libjson-c2 amd64 0.11-4 [24.8 kB] Get:2 http://localhost:9999/debian/ unstable/main libpipeline1 amd64 1.4.0-1 [27.9 kB] Get:3 http://localhost:9999/debian/ unstable/main libssl1.0.0 amd64 1.0.1k-3 [1037 kB] Get:4 http://localhost:9999/debian/ unstable/main groff-base amd64 1.22.3-1 [1205 kB] Get:5 http://localhost:9999/debian/ unstable/main bsdmainutils amd64 9.0.6 [183 kB] Get:6 http://localhost:9999/debian/ unstable/main man-db amd64 2.7.0.2-5 [1000 kB] Get:7 http://localhost:9999/debian/ unstable/main libasprintf0c2 amd64 0.19.3-2 [31.3 kB] Get:8 http://localhost:9999/debian/ unstable/main libnettle4 amd64 2.7.1-5 [176 kB] Get:9 http://localhost:9999/debian/ unstable/main libhogweed2 amd64 2.7.1-5 [125 kB] Get:10 http://localhost:9999/debian/ unstable/main libp11-kit0 amd64 0.20.7-1 [81.2 kB] Get:11 http://localhost:9999/debian/ unstable/main libtasn1-6 amd64 4.2-2 [48.6 kB] Get:12 http://localhost:9999/debian/ unstable/main libgnutls-deb0-28 amd64 3.3.8-6 [694 kB] Get:13 http://localhost:9999/debian/ unstable/main libkeyutils1 amd64 1.5.9-5+b1 [12.0 kB] Get:14 http://localhost:9999/debian/ unstable/main libkrb5support0 amd64 1.12.1+dfsg-19 [58.5 kB] Get:15 http://localhost:9999/debian/ unstable/main libk5crypto3 amd64 1.12.1+dfsg-19 [115 kB] Get:16 http://localhost:9999/debian/ unstable/main libkrb5-3 amd64 1.12.1+dfsg-19 [303 kB] Get:17 http://localhost:9999/debian/ unstable/main libgssapi-krb5-2 amd64 1.12.1+dfsg-19 [150 kB] Get:18 http://localhost:9999/debian/ unstable/main libmagic1 amd64 1:5.22+15-2 [249 kB] Get:19 http://localhost:9999/debian/ unstable/main libsqlite3-0 amd64 3.8.7.4-1 [439 kB] Get:20 http://localhost:9999/debian/ unstable/main libwrap0 amd64 7.6.q-25 [58.5 kB] Get:21 http://localhost:9999/debian/ unstable/main libicu52 amd64 52.1-8 [6780 kB] Get:22 http://localhost:9999/debian/ unstable/main libxml2 amd64 2.9.2+dfsg1-3 [934 kB] Get:23 http://localhost:9999/debian/ unstable/main libpython2.7-minimal amd64 2.7.9-2 [376 kB] Get:24 http://localhost:9999/debian/ unstable/main python2.7-minimal amd64 2.7.9-2 [1401 kB] Get:25 http://localhost:9999/debian/ unstable/main python-minimal amd64 2.7.9-1 [40.3 kB] Get:26 http://localhost:9999/debian/ unstable/main mime-support all 3.58 [36.0 kB] Get:27 http://localhost:9999/debian/ unstable/main libexpat1 amd64 2.1.0-6+b3 [80.3 kB] Get:28 http://localhost:9999/debian/ unstable/main libpython2.7-stdlib amd64 2.7.9-2 [1844 kB] Get:29 http://localhost:9999/debian/ unstable/main python2.7 amd64 2.7.9-2 [251 kB] Get:30 http://localhost:9999/debian/ unstable/main libpython-stdlib amd64 2.7.9-1 [19.5 kB] Get:31 http://localhost:9999/debian/ unstable/main python amd64 2.7.9-1 [151 kB] Get:32 http://localhost:9999/debian/ unstable/main libsigsegv2 amd64 2.10-4+b1 [29.2 kB] Get:33 http://localhost:9999/debian/ unstable/main m4 amd64 1.4.17-4 [254 kB] Get:34 http://localhost:9999/debian/ unstable/main libfl-dev amd64 2.5.39-8+b1 [75.4 kB] Get:35 http://localhost:9999/debian/ unstable/main flex amd64 2.5.39-8+b1 [422 kB] Get:36 http://localhost:9999/debian/ unstable/main libpng12-0 amd64 1.2.50-2+b2 [172 kB] Get:37 http://localhost:9999/debian/ unstable/main libfreetype6 amd64 2.5.2-4 [466 kB] Get:38 http://localhost:9999/debian/ unstable/main ucf all 3.0030 [69.7 kB] Get:39 http://localhost:9999/debian/ unstable/main fonts-dejavu-core all 2.34-1 [1047 kB] Get:40 http://localhost:9999/debian/ unstable/main fontconfig-config all 2.11.0-6.3 [273 kB] Get:41 http://localhost:9999/debian/ unstable/main libfontconfig1 amd64 2.11.0-6.3 [329 kB] Get:42 http://localhost:9999/debian/ unstable/main fontconfig amd64 2.11.0-6.3 [402 kB] Get:43 http://localhost:9999/debian/ unstable/main libasound2-data all 1.0.28-1 [64.8 kB] Get:44 http://localhost:9999/debian/ unstable/main libasound2 amd64 1.0.28-1 [374 kB] Get:45 http://localhost:9999/debian/ unstable/main libasyncns0 amd64 0.8-5 [12.5 kB] Get:46 http://localhost:9999/debian/ unstable/main libglib2.0-0 amd64 2.42.1-1 [2401 kB] Get:47 http://localhost:9999/debian/ unstable/main libatk1.0-data all 2.14.0-1 [181 kB] Get:48 http://localhost:9999/debian/ unstable/main libatk1.0-0 amd64 2.14.0-1 [92.0 kB] Get:49 http://localhost:9999/debian/ unstable/main libpixman-1-0 amd64 0.32.6-3 [507 kB] Get:50 http://localhost:9999/debian/ unstable/main libxau6 amd64 1:1.0.8-1 [20.7 kB] Get:51 http://localhost:9999/debian/ unstable/main libxdmcp6 amd64 1:1.1.1-1+b1 [24.9 kB] Get:52 http://localhost:9999/debian/ unstable/main libxcb1 amd64 1.10-3+b1 [44.4 kB] Get:53 http://localhost:9999/debian/ unstable/main libx11-data all 2:1.6.2-3 [126 kB] Get:54 http://localhost:9999/debian/ unstable/main libx11-6 amd64 2:1.6.2-3 [729 kB] Get:55 http://localhost:9999/debian/ unstable/main libxcb-render0 amd64 1.10-3+b1 [17.5 kB] Get:56 http://localhost:9999/debian/ unstable/main libxcb-shm0 amd64 1.10-3+b1 [11.5 kB] Get:57 http://localhost:9999/debian/ unstable/main libxext6 amd64 2:1.3.3-1 [52.7 kB] Get:58 http://localhost:9999/debian/ unstable/main libxrender1 amd64 1:0.9.8-1+b1 [31.4 kB] Get:59 http://localhost:9999/debian/ unstable/main libcairo2 amd64 1.14.0-2.1 [742 kB] Get:60 http://localhost:9999/debian/ unstable/main libjpeg62-turbo amd64 1:1.3.1-12 [116 kB] Get:61 http://localhost:9999/debian/ unstable/main libjasper1 amd64 1.900.1-debian1-2.4 [133 kB] Get:62 http://localhost:9999/debian/ unstable/main libjbig0 amd64 2.1-3.1 [30.7 kB] Get:63 http://localhost:9999/debian/ unstable/main libtiff5 amd64 4.0.3-12.3 [217 kB] Get:64 http://localhost:9999/debian/ unstable/main libgdk-pixbuf2.0-common all 2.31.1-2 [293 kB] Get:65 http://localhost:9999/debian/ unstable/main libgdk-pixbuf2.0-0 amd64 2.31.1-2+b1 [166 kB] Get:66 http://localhost:9999/debian/ unstable/main libgtk2.0-common all 2.24.25-3 [3123 kB] Get:67 http://localhost:9999/debian/ unstable/main libavahi-common-data amd64 0.6.31-4+b2 [98.7 kB] Get:68 http://localhost:9999/debian/ unstable/main libavahi-common3 amd64 0.6.31-4+b2 [51.2 kB] Get:69 http://localhost:9999/debian/ unstable/main libdbus-1-3 amd64 1.8.16-1 [169 kB] Get:70 http://localhost:9999/debian/ unstable/main libavahi-client3 amd64 0.6.31-4+b2 [54.5 kB] Get:71 http://localhost:9999/debian/ unstable/main libcups2 amd64 1.7.5-11 [283 kB] Get:72 http://localhost:9999/debian/ unstable/main libthai-data all 0.1.21-1 [159 kB] Get:73 http://localhost:9999/debian/ unstable/main libdatrie1 amd64 0.2.8-1 [32.6 kB] Get:74 http://localhost:9999/debian/ unstable/main libthai0 amd64 0.1.21-1 [46.1 kB] Get:75 http://localhost:9999/debian/ unstable/main libpango-1.0-0 amd64 1.36.8-3 [291 kB] Get:76 http://localhost:9999/debian/ unstable/main libgraphite2-3 amd64 1.2.4-3 [57.4 kB] Get:77 http://localhost:9999/debian/ unstable/main libharfbuzz0b amd64 0.9.35-2 [485 kB] Get:78 http://localhost:9999/debian/ unstable/main libpangoft2-1.0-0 amd64 1.36.8-3 [213 kB] Get:79 http://localhost:9999/debian/ unstable/main libpangocairo-1.0-0 amd64 1.36.8-3 [200 kB] Get:80 http://localhost:9999/debian/ unstable/main libxcomposite1 amd64 1:0.4.4-1 [17.4 kB] Get:81 http://localhost:9999/debian/ unstable/main libxfixes3 amd64 1:5.0.1-2+b2 [21.3 kB] Get:82 http://localhost:9999/debian/ unstable/main libxcursor1 amd64 1:1.1.14-1+b1 [35.1 kB] Get:83 http://localhost:9999/debian/ unstable/main libxdamage1 amd64 1:1.1.4-2+b1 [14.7 kB] Get:84 http://localhost:9999/debian/ unstable/main libxi6 amd64 2:1.7.4-1+b2 [79.7 kB] Get:85 http://localhost:9999/debian/ unstable/main libxinerama1 amd64 2:1.1.3-1+b1 [16.9 kB] Get:86 http://localhost:9999/debian/ unstable/main libxrandr2 amd64 2:1.4.2-1+b1 [35.5 kB] Get:87 http://localhost:9999/debian/ unstable/main shared-mime-info amd64 1.3-1 [634 kB] Get:88 http://localhost:9999/debian/ unstable/main libgtk2.0-0 amd64 2.24.25-3 [2301 kB] Get:89 http://localhost:9999/debian/ unstable/main libatk-wrapper-java all 0.30.5-1 [30.3 kB] Get:90 http://localhost:9999/debian/ unstable/main libatk-wrapper-java-jni amd64 0.30.5-1 [24.8 kB] Get:91 http://localhost:9999/debian/ unstable/main libcroco3 amd64 0.6.8-3+b1 [135 kB] Get:92 http://localhost:9999/debian/ unstable/main libdrm2 amd64 2.4.58-2 [29.9 kB] Get:93 http://localhost:9999/debian/ unstable/main libogg0 amd64 1.3.2-1 [19.9 kB] Get:94 http://localhost:9999/debian/ unstable/main libflac8 amd64 1.3.0-3 [89.3 kB] Get:95 http://localhost:9999/debian/ unstable/main libgif4 amd64 4.1.6-11 [39.8 kB] Get:96 http://localhost:9999/debian/ unstable/main libglapi-mesa amd64 10.4.2-2 [54.3 kB] Get:97 http://localhost:9999/debian/ unstable/main libx11-xcb1 amd64 2:1.6.2-3 [163 kB] Get:98 http://localhost:9999/debian/ unstable/main libxcb-dri2-0 amd64 1.10-3+b1 [12.9 kB] Get:99 http://localhost:9999/debian/ unstable/main libxcb-dri3-0 amd64 1.10-3+b1 [11.1 kB] Get:100 http://localhost:9999/debian/ unstable/main libxcb-glx0 amd64 1.10-3+b1 [27.4 kB] Get:101 http://localhost:9999/debian/ unstable/main libxcb-present0 amd64 1.10-3+b1 [11.1 kB] Get:102 http://localhost:9999/debian/ unstable/main libxcb-sync1 amd64 1.10-3+b1 [14.4 kB] Get:103 http://localhost:9999/debian/ unstable/main libxshmfence1 amd64 1.1-4 [6736 B] Get:104 http://localhost:9999/debian/ unstable/main libxxf86vm1 amd64 1:1.1.3-1+b1 [19.6 kB] Get:105 http://localhost:9999/debian/ unstable/main libgl1-mesa-glx amd64 10.4.2-2 [181 kB] Get:106 http://localhost:9999/debian/ unstable/main libgmpxx4ldbl amd64 2:6.0.0+dfsg-6 [22.1 kB] Get:107 http://localhost:9999/debian/ unstable/main x11-common all 1:7.7+7 [287 kB] Get:108 http://localhost:9999/debian/ unstable/main libice6 amd64 2:1.0.9-1+b1 [58.8 kB] Get:109 http://localhost:9999/debian/ unstable/main liblcms2-2 amd64 2.6-3+b3 [141 kB] Get:110 http://localhost:9999/debian/ unstable/main libnspr4 amd64 2:4.10.7-1 [116 kB] Get:111 http://localhost:9999/debian/ unstable/main libnss3 amd64 2:3.17.2-1.1 [1130 kB] Get:112 http://localhost:9999/debian/ unstable/main libpcsclite1 amd64 1.8.13-1 [56.2 kB] Get:113 http://localhost:9999/debian/ unstable/main libsm6 amd64 2:1.2.2-1+b1 [33.6 kB] Get:114 http://localhost:9999/debian/ unstable/main libvorbis0a amd64 1.3.4-2 [92.9 kB] Get:115 http://localhost:9999/debian/ unstable/main libvorbisenc2 amd64 1.3.4-2 [77.9 kB] Get:116 http://localhost:9999/debian/ unstable/main libsndfile1 amd64 1.0.25-9.1 [214 kB] Get:117 http://localhost:9999/debian/ unstable/main libxtst6 amd64 2:1.2.2-1+b1 [27.3 kB] Get:118 http://localhost:9999/debian/ unstable/main libpulse0 amd64 5.0-13 [255 kB] Get:119 http://localhost:9999/debian/ unstable/main libunistring0 amd64 0.9.3-5.2+b1 [288 kB] Get:120 http://localhost:9999/debian/ unstable/main openssl amd64 1.0.1k-3 [677 kB] Get:121 http://localhost:9999/debian/ unstable/main ca-certificates all 20141019 [200 kB] Get:122 http://localhost:9999/debian/ unstable/main java-common all 0.52 [136 kB] Get:123 http://localhost:9999/debian/ unstable/main default-jre-headless amd64 2:1.7-52 [9072 B] Get:124 http://localhost:9999/debian/ unstable/main ca-certificates-java all 20140324 [13.7 kB] Get:125 http://localhost:9999/debian/ unstable/main tzdata-java all 2015b-1 [80.6 kB] Get:126 http://localhost:9999/debian/ unstable/main openjdk-7-jre-headless amd64 7u75-2.5.4-3 [39.7 MB] Get:127 http://localhost:9999/debian/ unstable/main file amd64 1:5.22+15-2 [60.1 kB] Get:128 http://localhost:9999/debian/ unstable/main gettext-base amd64 0.19.3-2 [121 kB] Get:129 http://localhost:9999/debian/ unstable/main autoconf all 2.69-8 [340 kB] Get:130 http://localhost:9999/debian/ unstable/main autotools-dev all 20140911.1 [70.5 kB] Get:131 http://localhost:9999/debian/ unstable/main libbison-dev amd64 2:3.0.2.dfsg-2 [426 kB] Get:132 http://localhost:9999/debian/ unstable/main bison amd64 2:3.0.2.dfsg-2 [765 kB] Get:133 http://localhost:9999/debian/ unstable/main cdbs all 0.4.129 [76.3 kB] Get:134 http://localhost:9999/debian/ unstable/main gettext amd64 0.19.3-2 [1240 kB] Get:135 http://localhost:9999/debian/ unstable/main intltool-debian all 0.35.0+20060710.1 [30.8 kB] Get:136 http://localhost:9999/debian/ unstable/main po-debconf all 1.0.16+nmu3 [220 kB] Get:137 http://localhost:9999/debian/ unstable/main debhelper all 9.20150101 [813 kB] Get:138 http://localhost:9999/debian/ unstable/main openjdk-7-jre amd64 7u75-2.5.4-3 [176 kB] Get:139 http://localhost:9999/debian/ unstable/main default-jre amd64 2:1.7-52 [968 B] Get:140 http://localhost:9999/debian/ unstable/main openjdk-7-jdk amd64 7u75-2.5.4-3 [16.1 MB] Get:141 http://localhost:9999/debian/ unstable/main default-jdk amd64 2:1.7-52 [962 B] Get:142 http://localhost:9999/debian/ unstable/main libgmp-dev amd64 2:6.0.0+dfsg-6 [621 kB] Get:143 http://localhost:9999/debian/ unstable/main patchutils amd64 0.3.3-1 [87.0 kB] Extracting templates from packages: 20% Extracting templates from packages: 41% Extracting templates from packages: 62% Extracting templates from packages: 83% Extracting templates from packages: 100% Preconfiguring packages ... Fetched 102 MB in 3s (28.9 MB/s) Selecting previously unselected package libjson-c2:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12200 files and directories currently installed.) Preparing to unpack .../libjson-c2_0.11-4_amd64.deb ... Unpacking libjson-c2:amd64 (0.11-4) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../libpipeline1_1.4.0-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.4.0-1) ... Selecting previously unselected package libssl1.0.0:amd64. Preparing to unpack .../libssl1.0.0_1.0.1k-3_amd64.deb ... Unpacking libssl1.0.0:amd64 (1.0.1k-3) ... Selecting previously unselected package groff-base. Preparing to unpack .../groff-base_1.22.3-1_amd64.deb ... Unpacking groff-base (1.22.3-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../bsdmainutils_9.0.6_amd64.deb ... Unpacking bsdmainutils (9.0.6) ... Selecting previously unselected package man-db. Preparing to unpack .../man-db_2.7.0.2-5_amd64.deb ... Unpacking man-db (2.7.0.2-5) ... Selecting previously unselected package libasprintf0c2:amd64. Preparing to unpack .../libasprintf0c2_0.19.3-2_amd64.deb ... Unpacking libasprintf0c2:amd64 (0.19.3-2) ... Selecting previously unselected package libnettle4:amd64. Preparing to unpack .../libnettle4_2.7.1-5_amd64.deb ... Unpacking libnettle4:amd64 (2.7.1-5) ... Selecting previously unselected package libhogweed2:amd64. Preparing to unpack .../libhogweed2_2.7.1-5_amd64.deb ... Unpacking libhogweed2:amd64 (2.7.1-5) ... Selecting previously unselected package libp11-kit0:amd64. Preparing to unpack .../libp11-kit0_0.20.7-1_amd64.deb ... Unpacking libp11-kit0:amd64 (0.20.7-1) ... Selecting previously unselected package libtasn1-6:amd64. Preparing to unpack .../libtasn1-6_4.2-2_amd64.deb ... Unpacking libtasn1-6:amd64 (4.2-2) ... Selecting previously unselected package libgnutls-deb0-28:amd64. Preparing to unpack .../libgnutls-deb0-28_3.3.8-6_amd64.deb ... Unpacking libgnutls-deb0-28:amd64 (3.3.8-6) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../libkeyutils1_1.5.9-5+b1_amd64.deb ... Unpacking libkeyutils1:amd64 (1.5.9-5+b1) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../libkrb5support0_1.12.1+dfsg-19_amd64.deb ... Unpacking libkrb5support0:amd64 (1.12.1+dfsg-19) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../libk5crypto3_1.12.1+dfsg-19_amd64.deb ... Unpacking libk5crypto3:amd64 (1.12.1+dfsg-19) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../libkrb5-3_1.12.1+dfsg-19_amd64.deb ... Unpacking libkrb5-3:amd64 (1.12.1+dfsg-19) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Preparing to unpack .../libgssapi-krb5-2_1.12.1+dfsg-19_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.12.1+dfsg-19) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../libmagic1_1%3a5.22+15-2_amd64.deb ... Unpacking libmagic1:amd64 (1:5.22+15-2) ... Selecting previously unselected package libsqlite3-0:amd64. Preparing to unpack .../libsqlite3-0_3.8.7.4-1_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.8.7.4-1) ... Selecting previously unselected package libwrap0:amd64. Preparing to unpack .../libwrap0_7.6.q-25_amd64.deb ... Unpacking libwrap0:amd64 (7.6.q-25) ... Selecting previously unselected package libicu52:amd64. Preparing to unpack .../libicu52_52.1-8_amd64.deb ... Unpacking libicu52:amd64 (52.1-8) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../libxml2_2.9.2+dfsg1-3_amd64.deb ... Unpacking libxml2:amd64 (2.9.2+dfsg1-3) ... Selecting previously unselected package libpython2.7-minimal:amd64. Preparing to unpack .../libpython2.7-minimal_2.7.9-2_amd64.deb ... Unpacking libpython2.7-minimal:amd64 (2.7.9-2) ... Selecting previously unselected package python2.7-minimal. Preparing to unpack .../python2.7-minimal_2.7.9-2_amd64.deb ... Unpacking python2.7-minimal (2.7.9-2) ... Selecting previously unselected package python-minimal. Preparing to unpack .../python-minimal_2.7.9-1_amd64.deb ... Unpacking python-minimal (2.7.9-1) ... Selecting previously unselected package mime-support. Preparing to unpack .../mime-support_3.58_all.deb ... Unpacking mime-support (3.58) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../libexpat1_2.1.0-6+b3_amd64.deb ... Unpacking libexpat1:amd64 (2.1.0-6+b3) ... Selecting previously unselected package libpython2.7-stdlib:amd64. Preparing to unpack .../libpython2.7-stdlib_2.7.9-2_amd64.deb ... Unpacking libpython2.7-stdlib:amd64 (2.7.9-2) ... Selecting previously unselected package python2.7. Preparing to unpack .../python2.7_2.7.9-2_amd64.deb ... Unpacking python2.7 (2.7.9-2) ... Selecting previously unselected package libpython-stdlib:amd64. Preparing to unpack .../libpython-stdlib_2.7.9-1_amd64.deb ... Unpacking libpython-stdlib:amd64 (2.7.9-1) ... Setting up libpython2.7-minimal:amd64 (2.7.9-2) ... Setting up python2.7-minimal (2.7.9-2) ... Setting up python-minimal (2.7.9-1) ... Selecting previously unselected package python. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13728 files and directories currently installed.) Preparing to unpack .../python_2.7.9-1_amd64.deb ... Unpacking python (2.7.9-1) ... Selecting previously unselected package libsigsegv2:amd64. Preparing to unpack .../libsigsegv2_2.10-4+b1_amd64.deb ... Unpacking libsigsegv2:amd64 (2.10-4+b1) ... Selecting previously unselected package m4. Preparing to unpack .../archives/m4_1.4.17-4_amd64.deb ... Unpacking m4 (1.4.17-4) ... Selecting previously unselected package libfl-dev:amd64. Preparing to unpack .../libfl-dev_2.5.39-8+b1_amd64.deb ... Unpacking libfl-dev:amd64 (2.5.39-8+b1) ... Selecting previously unselected package flex. Preparing to unpack .../flex_2.5.39-8+b1_amd64.deb ... Unpacking flex (2.5.39-8+b1) ... Selecting previously unselected package libpng12-0:amd64. Preparing to unpack .../libpng12-0_1.2.50-2+b2_amd64.deb ... Unpacking libpng12-0:amd64 (1.2.50-2+b2) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../libfreetype6_2.5.2-4_amd64.deb ... Unpacking libfreetype6:amd64 (2.5.2-4) ... Selecting previously unselected package ucf. Preparing to unpack .../archives/ucf_3.0030_all.deb ... Moving old data out of the way Unpacking ucf (3.0030) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../fonts-dejavu-core_2.34-1_all.deb ... Unpacking fonts-dejavu-core (2.34-1) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../fontconfig-config_2.11.0-6.3_all.deb ... Unpacking fontconfig-config (2.11.0-6.3) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../libfontconfig1_2.11.0-6.3_amd64.deb ... Unpacking libfontconfig1:amd64 (2.11.0-6.3) ... Selecting previously unselected package fontconfig. Preparing to unpack .../fontconfig_2.11.0-6.3_amd64.deb ... Unpacking fontconfig (2.11.0-6.3) ... Selecting previously unselected package libasound2-data. Preparing to unpack .../libasound2-data_1.0.28-1_all.deb ... Unpacking libasound2-data (1.0.28-1) ... Selecting previously unselected package libasound2:amd64. Preparing to unpack .../libasound2_1.0.28-1_amd64.deb ... Unpacking libasound2:amd64 (1.0.28-1) ... Selecting previously unselected package libasyncns0:amd64. Preparing to unpack .../libasyncns0_0.8-5_amd64.deb ... Unpacking libasyncns0:amd64 (0.8-5) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../libglib2.0-0_2.42.1-1_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.42.1-1) ... Selecting previously unselected package libatk1.0-data. Preparing to unpack .../libatk1.0-data_2.14.0-1_all.deb ... Unpacking libatk1.0-data (2.14.0-1) ... Selecting previously unselected package libatk1.0-0:amd64. Preparing to unpack .../libatk1.0-0_2.14.0-1_amd64.deb ... Unpacking libatk1.0-0:amd64 (2.14.0-1) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../libpixman-1-0_0.32.6-3_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.32.6-3) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../libxau6_1%3a1.0.8-1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.8-1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../libxdmcp6_1%3a1.1.1-1+b1_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.1-1+b1) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../libxcb1_1.10-3+b1_amd64.deb ... Unpacking libxcb1:amd64 (1.10-3+b1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../libx11-data_2%3a1.6.2-3_all.deb ... Unpacking libx11-data (2:1.6.2-3) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../libx11-6_2%3a1.6.2-3_amd64.deb ... Unpacking libx11-6:amd64 (2:1.6.2-3) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../libxcb-render0_1.10-3+b1_amd64.deb ... Unpacking libxcb-render0:amd64 (1.10-3+b1) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../libxcb-shm0_1.10-3+b1_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.10-3+b1) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../libxext6_2%3a1.3.3-1_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.3-1) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../libxrender1_1%3a0.9.8-1+b1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.8-1+b1) ... Selecting previously unselected package libcairo2:amd64. Preparing to unpack .../libcairo2_1.14.0-2.1_amd64.deb ... Unpacking libcairo2:amd64 (1.14.0-2.1) ... Selecting previously unselected package libjpeg62-turbo:amd64. Preparing to unpack .../libjpeg62-turbo_1%3a1.3.1-12_amd64.deb ... Unpacking libjpeg62-turbo:amd64 (1:1.3.1-12) ... Selecting previously unselected package libjasper1:amd64. Preparing to unpack .../libjasper1_1.900.1-debian1-2.4_amd64.deb ... Unpacking libjasper1:amd64 (1.900.1-debian1-2.4) ... Selecting previously unselected package libjbig0:amd64. Preparing to unpack .../libjbig0_2.1-3.1_amd64.deb ... Unpacking libjbig0:amd64 (2.1-3.1) ... Selecting previously unselected package libtiff5:amd64. Preparing to unpack .../libtiff5_4.0.3-12.3_amd64.deb ... Unpacking libtiff5:amd64 (4.0.3-12.3) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Preparing to unpack .../libgdk-pixbuf2.0-common_2.31.1-2_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.31.1-2) ... Selecting previously unselected package libgdk-pixbuf2.0-0:amd64. Preparing to unpack .../libgdk-pixbuf2.0-0_2.31.1-2+b1_amd64.deb ... Unpacking libgdk-pixbuf2.0-0:amd64 (2.31.1-2+b1) ... Selecting previously unselected package libgtk2.0-common. Preparing to unpack .../libgtk2.0-common_2.24.25-3_all.deb ... Unpacking libgtk2.0-common (2.24.25-3) ... Selecting previously unselected package libavahi-common-data:amd64. Preparing to unpack .../libavahi-common-data_0.6.31-4+b2_amd64.deb ... Unpacking libavahi-common-data:amd64 (0.6.31-4+b2) ... Selecting previously unselected package libavahi-common3:amd64. Preparing to unpack .../libavahi-common3_0.6.31-4+b2_amd64.deb ... Unpacking libavahi-common3:amd64 (0.6.31-4+b2) ... Selecting previously unselected package libdbus-1-3:amd64. Preparing to unpack .../libdbus-1-3_1.8.16-1_amd64.deb ... Unpacking libdbus-1-3:amd64 (1.8.16-1) ... Selecting previously unselected package libavahi-client3:amd64. Preparing to unpack .../libavahi-client3_0.6.31-4+b2_amd64.deb ... Unpacking libavahi-client3:amd64 (0.6.31-4+b2) ... Selecting previously unselected package libcups2:amd64. Preparing to unpack .../libcups2_1.7.5-11_amd64.deb ... Unpacking libcups2:amd64 (1.7.5-11) ... Selecting previously unselected package libthai-data. Preparing to unpack .../libthai-data_0.1.21-1_all.deb ... Unpacking libthai-data (0.1.21-1) ... Selecting previously unselected package libdatrie1:amd64. Preparing to unpack .../libdatrie1_0.2.8-1_amd64.deb ... Unpacking libdatrie1:amd64 (0.2.8-1) ... Selecting previously unselected package libthai0:amd64. Preparing to unpack .../libthai0_0.1.21-1_amd64.deb ... Unpacking libthai0:amd64 (0.1.21-1) ... Selecting previously unselected package libpango-1.0-0:amd64. Preparing to unpack .../libpango-1.0-0_1.36.8-3_amd64.deb ... Unpacking libpango-1.0-0:amd64 (1.36.8-3) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../libgraphite2-3_1.2.4-3_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.2.4-3) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../libharfbuzz0b_0.9.35-2_amd64.deb ... Unpacking libharfbuzz0b:amd64 (0.9.35-2) ... Selecting previously unselected package libpangoft2-1.0-0:amd64. Preparing to unpack .../libpangoft2-1.0-0_1.36.8-3_amd64.deb ... Unpacking libpangoft2-1.0-0:amd64 (1.36.8-3) ... Selecting previously unselected package libpangocairo-1.0-0:amd64. Preparing to unpack .../libpangocairo-1.0-0_1.36.8-3_amd64.deb ... Unpacking libpangocairo-1.0-0:amd64 (1.36.8-3) ... Selecting previously unselected package libxcomposite1:amd64. Preparing to unpack .../libxcomposite1_1%3a0.4.4-1_amd64.deb ... Unpacking libxcomposite1:amd64 (1:0.4.4-1) ... Selecting previously unselected package libxfixes3:amd64. Preparing to unpack .../libxfixes3_1%3a5.0.1-2+b2_amd64.deb ... Unpacking libxfixes3:amd64 (1:5.0.1-2+b2) ... Selecting previously unselected package libxcursor1:amd64. Preparing to unpack .../libxcursor1_1%3a1.1.14-1+b1_amd64.deb ... Unpacking libxcursor1:amd64 (1:1.1.14-1+b1) ... Selecting previously unselected package libxdamage1:amd64. Preparing to unpack .../libxdamage1_1%3a1.1.4-2+b1_amd64.deb ... Unpacking libxdamage1:amd64 (1:1.1.4-2+b1) ... Selecting previously unselected package libxi6:amd64. Preparing to unpack .../libxi6_2%3a1.7.4-1+b2_amd64.deb ... Unpacking libxi6:amd64 (2:1.7.4-1+b2) ... Selecting previously unselected package libxinerama1:amd64. Preparing to unpack .../libxinerama1_2%3a1.1.3-1+b1_amd64.deb ... Unpacking libxinerama1:amd64 (2:1.1.3-1+b1) ... Selecting previously unselected package libxrandr2:amd64. Preparing to unpack .../libxrandr2_2%3a1.4.2-1+b1_amd64.deb ... Unpacking libxrandr2:amd64 (2:1.4.2-1+b1) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../shared-mime-info_1.3-1_amd64.deb ... Unpacking shared-mime-info (1.3-1) ... Selecting previously unselected package libgtk2.0-0:amd64. Preparing to unpack .../libgtk2.0-0_2.24.25-3_amd64.deb ... Unpacking libgtk2.0-0:amd64 (2.24.25-3) ... Selecting previously unselected package libatk-wrapper-java. Preparing to unpack .../libatk-wrapper-java_0.30.5-1_all.deb ... Unpacking libatk-wrapper-java (0.30.5-1) ... Selecting previously unselected package libatk-wrapper-java-jni:amd64. Preparing to unpack .../libatk-wrapper-java-jni_0.30.5-1_amd64.deb ... Unpacking libatk-wrapper-java-jni:amd64 (0.30.5-1) ... Selecting previously unselected package libcroco3:amd64. Preparing to unpack .../libcroco3_0.6.8-3+b1_amd64.deb ... Unpacking libcroco3:amd64 (0.6.8-3+b1) ... Selecting previously unselected package libdrm2:amd64. Preparing to unpack .../libdrm2_2.4.58-2_amd64.deb ... Unpacking libdrm2:amd64 (2.4.58-2) ... Selecting previously unselected package libogg0:amd64. Preparing to unpack .../libogg0_1.3.2-1_amd64.deb ... Unpacking libogg0:amd64 (1.3.2-1) ... Selecting previously unselected package libflac8:amd64. Preparing to unpack .../libflac8_1.3.0-3_amd64.deb ... Unpacking libflac8:amd64 (1.3.0-3) ... Selecting previously unselected package libgif4:amd64. Preparing to unpack .../libgif4_4.1.6-11_amd64.deb ... Unpacking libgif4:amd64 (4.1.6-11) ... Selecting previously unselected package libglapi-mesa:amd64. Preparing to unpack .../libglapi-mesa_10.4.2-2_amd64.deb ... Unpacking libglapi-mesa:amd64 (10.4.2-2) ... Selecting previously unselected package libx11-xcb1:amd64. Preparing to unpack .../libx11-xcb1_2%3a1.6.2-3_amd64.deb ... Unpacking libx11-xcb1:amd64 (2:1.6.2-3) ... Selecting previously unselected package libxcb-dri2-0:amd64. Preparing to unpack .../libxcb-dri2-0_1.10-3+b1_amd64.deb ... Unpacking libxcb-dri2-0:amd64 (1.10-3+b1) ... Selecting previously unselected package libxcb-dri3-0:amd64. Preparing to unpack .../libxcb-dri3-0_1.10-3+b1_amd64.deb ... Unpacking libxcb-dri3-0:amd64 (1.10-3+b1) ... Selecting previously unselected package libxcb-glx0:amd64. Preparing to unpack .../libxcb-glx0_1.10-3+b1_amd64.deb ... Unpacking libxcb-glx0:amd64 (1.10-3+b1) ... Selecting previously unselected package libxcb-present0:amd64. Preparing to unpack .../libxcb-present0_1.10-3+b1_amd64.deb ... Unpacking libxcb-present0:amd64 (1.10-3+b1) ... Selecting previously unselected package libxcb-sync1:amd64. Preparing to unpack .../libxcb-sync1_1.10-3+b1_amd64.deb ... Unpacking libxcb-sync1:amd64 (1.10-3+b1) ... Selecting previously unselected package libxshmfence1:amd64. Preparing to unpack .../libxshmfence1_1.1-4_amd64.deb ... Unpacking libxshmfence1:amd64 (1.1-4) ... Selecting previously unselected package libxxf86vm1:amd64. Preparing to unpack .../libxxf86vm1_1%3a1.1.3-1+b1_amd64.deb ... Unpacking libxxf86vm1:amd64 (1:1.1.3-1+b1) ... Selecting previously unselected package libgl1-mesa-glx:amd64. Preparing to unpack .../libgl1-mesa-glx_10.4.2-2_amd64.deb ... Unpacking libgl1-mesa-glx:amd64 (10.4.2-2) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Preparing to unpack .../libgmpxx4ldbl_2%3a6.0.0+dfsg-6_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.0.0+dfsg-6) ... Selecting previously unselected package x11-common. Preparing to unpack .../x11-common_1%3a7.7+7_all.deb ... Unpacking x11-common (1:7.7+7) ... Selecting previously unselected package libice6:amd64. Preparing to unpack .../libice6_2%3a1.0.9-1+b1_amd64.deb ... Unpacking libice6:amd64 (2:1.0.9-1+b1) ... Selecting previously unselected package liblcms2-2:amd64. Preparing to unpack .../liblcms2-2_2.6-3+b3_amd64.deb ... Unpacking liblcms2-2:amd64 (2.6-3+b3) ... Selecting previously unselected package libnspr4:amd64. Preparing to unpack .../libnspr4_2%3a4.10.7-1_amd64.deb ... Unpacking libnspr4:amd64 (2:4.10.7-1) ... Selecting previously unselected package libnss3:amd64. Preparing to unpack .../libnss3_2%3a3.17.2-1.1_amd64.deb ... Unpacking libnss3:amd64 (2:3.17.2-1.1) ... Selecting previously unselected package libpcsclite1:amd64. Preparing to unpack .../libpcsclite1_1.8.13-1_amd64.deb ... Unpacking libpcsclite1:amd64 (1.8.13-1) ... Selecting previously unselected package libsm6:amd64. Preparing to unpack .../libsm6_2%3a1.2.2-1+b1_amd64.deb ... Unpacking libsm6:amd64 (2:1.2.2-1+b1) ... Selecting previously unselected package libvorbis0a:amd64. Preparing to unpack .../libvorbis0a_1.3.4-2_amd64.deb ... Unpacking libvorbis0a:amd64 (1.3.4-2) ... Selecting previously unselected package libvorbisenc2:amd64. Preparing to unpack .../libvorbisenc2_1.3.4-2_amd64.deb ... Unpacking libvorbisenc2:amd64 (1.3.4-2) ... Selecting previously unselected package libsndfile1:amd64. Preparing to unpack .../libsndfile1_1.0.25-9.1_amd64.deb ... Unpacking libsndfile1:amd64 (1.0.25-9.1) ... Selecting previously unselected package libxtst6:amd64. Preparing to unpack .../libxtst6_2%3a1.2.2-1+b1_amd64.deb ... Unpacking libxtst6:amd64 (2:1.2.2-1+b1) ... Selecting previously unselected package libpulse0:amd64. Preparing to unpack .../libpulse0_5.0-13_amd64.deb ... Unpacking libpulse0:amd64 (5.0-13) ... Selecting previously unselected package libunistring0:amd64. Preparing to unpack .../libunistring0_0.9.3-5.2+b1_amd64.deb ... Unpacking libunistring0:amd64 (0.9.3-5.2+b1) ... Selecting previously unselected package openssl. Preparing to unpack .../openssl_1.0.1k-3_amd64.deb ... Unpacking openssl (1.0.1k-3) ... Selecting previously unselected package ca-certificates. Preparing to unpack .../ca-certificates_20141019_all.deb ... Unpacking ca-certificates (20141019) ... Selecting previously unselected package java-common. Preparing to unpack .../java-common_0.52_all.deb ... Unpacking java-common (0.52) ... Selecting previously unselected package default-jre-headless. Preparing to unpack .../default-jre-headless_2%3a1.7-52_amd64.deb ... Unpacking default-jre-headless (2:1.7-52) ... Selecting previously unselected package ca-certificates-java. Preparing to unpack .../ca-certificates-java_20140324_all.deb ... Unpacking ca-certificates-java (20140324) ... Selecting previously unselected package tzdata-java. Preparing to unpack .../tzdata-java_2015b-1_all.deb ... Unpacking tzdata-java (2015b-1) ... Selecting previously unselected package openjdk-7-jre-headless:amd64. Preparing to unpack .../openjdk-7-jre-headless_7u75-2.5.4-3_amd64.deb ... Unpacking openjdk-7-jre-headless:amd64 (7u75-2.5.4-3) ... Selecting previously unselected package file. Preparing to unpack .../file_1%3a5.22+15-2_amd64.deb ... Unpacking file (1:5.22+15-2) ... Selecting previously unselected package gettext-base. Preparing to unpack .../gettext-base_0.19.3-2_amd64.deb ... Unpacking gettext-base (0.19.3-2) ... Selecting previously unselected package autoconf. Preparing to unpack .../autoconf_2.69-8_all.deb ... Unpacking autoconf (2.69-8) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../autotools-dev_20140911.1_all.deb ... Unpacking autotools-dev (20140911.1) ... Selecting previously unselected package libbison-dev:amd64. Preparing to unpack .../libbison-dev_2%3a3.0.2.dfsg-2_amd64.deb ... Unpacking libbison-dev:amd64 (2:3.0.2.dfsg-2) ... Selecting previously unselected package bison. Preparing to unpack .../bison_2%3a3.0.2.dfsg-2_amd64.deb ... Unpacking bison (2:3.0.2.dfsg-2) ... Selecting previously unselected package cdbs. Preparing to unpack .../archives/cdbs_0.4.129_all.deb ... Unpacking cdbs (0.4.129) ... Selecting previously unselected package gettext. Preparing to unpack .../gettext_0.19.3-2_amd64.deb ... Unpacking gettext (0.19.3-2) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../intltool-debian_0.35.0+20060710.1_all.deb ... Unpacking intltool-debian (0.35.0+20060710.1) ... Selecting previously unselected package po-debconf. Preparing to unpack .../po-debconf_1.0.16+nmu3_all.deb ... Unpacking po-debconf (1.0.16+nmu3) ... Selecting previously unselected package debhelper. Preparing to unpack .../debhelper_9.20150101_all.deb ... Unpacking debhelper (9.20150101) ... Selecting previously unselected package openjdk-7-jre:amd64. Preparing to unpack .../openjdk-7-jre_7u75-2.5.4-3_amd64.deb ... Unpacking openjdk-7-jre:amd64 (7u75-2.5.4-3) ... Selecting previously unselected package default-jre. Preparing to unpack .../default-jre_2%3a1.7-52_amd64.deb ... Unpacking default-jre (2:1.7-52) ... Selecting previously unselected package openjdk-7-jdk:amd64. Preparing to unpack .../openjdk-7-jdk_7u75-2.5.4-3_amd64.deb ... Unpacking openjdk-7-jdk:amd64 (7u75-2.5.4-3) ... Selecting previously unselected package default-jdk. Preparing to unpack .../default-jdk_2%3a1.7-52_amd64.deb ... Unpacking default-jdk (2:1.7-52) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../libgmp-dev_2%3a6.0.0+dfsg-6_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.0.0+dfsg-6) ... Selecting previously unselected package patchutils. Preparing to unpack .../patchutils_0.3.3-1_amd64.deb ... Unpacking patchutils (0.3.3-1) ... Selecting previously unselected package sbuild-build-depends-cvc3-dummy. Preparing to unpack .../sbuild-build-depends-cvc3-dummy.deb ... Unpacking sbuild-build-depends-cvc3-dummy (0.invalid.0) ... Setting up libjson-c2:amd64 (0.11-4) ... Setting up libpipeline1:amd64 (1.4.0-1) ... Setting up libssl1.0.0:amd64 (1.0.1k-3) ... Setting up groff-base (1.22.3-1) ... Setting up bsdmainutils (9.0.6) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up man-db (2.7.0.2-5) ... Not building database; man-db/auto-update is not 'true'. Setting up libasprintf0c2:amd64 (0.19.3-2) ... Setting up libnettle4:amd64 (2.7.1-5) ... Setting up libhogweed2:amd64 (2.7.1-5) ... Setting up libp11-kit0:amd64 (0.20.7-1) ... Setting up libtasn1-6:amd64 (4.2-2) ... Setting up libgnutls-deb0-28:amd64 (3.3.8-6) ... Setting up libkeyutils1:amd64 (1.5.9-5+b1) ... Setting up libkrb5support0:amd64 (1.12.1+dfsg-19) ... Setting up libk5crypto3:amd64 (1.12.1+dfsg-19) ... Setting up libkrb5-3:amd64 (1.12.1+dfsg-19) ... Setting up libgssapi-krb5-2:amd64 (1.12.1+dfsg-19) ... Setting up libmagic1:amd64 (1:5.22+15-2) ... Setting up libsqlite3-0:amd64 (3.8.7.4-1) ... Setting up libwrap0:amd64 (7.6.q-25) ... Setting up libicu52:amd64 (52.1-8) ... Setting up libxml2:amd64 (2.9.2+dfsg1-3) ... Setting up mime-support (3.58) ... Setting up libexpat1:amd64 (2.1.0-6+b3) ... Setting up libpython2.7-stdlib:amd64 (2.7.9-2) ... Setting up python2.7 (2.7.9-2) ... Setting up libpython-stdlib:amd64 (2.7.9-1) ... Setting up python (2.7.9-1) ... Setting up libsigsegv2:amd64 (2.10-4+b1) ... Setting up m4 (1.4.17-4) ... Setting up libfl-dev:amd64 (2.5.39-8+b1) ... Setting up flex (2.5.39-8+b1) ... Setting up libpng12-0:amd64 (1.2.50-2+b2) ... Setting up libfreetype6:amd64 (2.5.2-4) ... Setting up ucf (3.0030) ... Setting up fonts-dejavu-core (2.34-1) ... Setting up fontconfig-config (2.11.0-6.3) ... Setting up libfontconfig1:amd64 (2.11.0-6.3) ... Setting up fontconfig (2.11.0-6.3) ... Regenerating fonts cache... done. Setting up libasound2-data (1.0.28-1) ... Setting up libasound2:amd64 (1.0.28-1) ... Setting up libasyncns0:amd64 (0.8-5) ... Setting up libglib2.0-0:amd64 (2.42.1-1) ... No schema files found: doing nothing. Setting up libatk1.0-data (2.14.0-1) ... Setting up libatk1.0-0:amd64 (2.14.0-1) ... Setting up libpixman-1-0:amd64 (0.32.6-3) ... Setting up libxau6:amd64 (1:1.0.8-1) ... Setting up libxdmcp6:amd64 (1:1.1.1-1+b1) ... Setting up libxcb1:amd64 (1.10-3+b1) ... Setting up libx11-data (2:1.6.2-3) ... Setting up libx11-6:amd64 (2:1.6.2-3) ... Setting up libxcb-render0:amd64 (1.10-3+b1) ... Setting up libxcb-shm0:amd64 (1.10-3+b1) ... Setting up libxext6:amd64 (2:1.3.3-1) ... Setting up libxrender1:amd64 (1:0.9.8-1+b1) ... Setting up libcairo2:amd64 (1.14.0-2.1) ... Setting up libjpeg62-turbo:amd64 (1:1.3.1-12) ... Setting up libjasper1:amd64 (1.900.1-debian1-2.4) ... Setting up libjbig0:amd64 (2.1-3.1) ... Setting up libtiff5:amd64 (4.0.3-12.3) ... Setting up libgdk-pixbuf2.0-common (2.31.1-2) ... Setting up libgdk-pixbuf2.0-0:amd64 (2.31.1-2+b1) ... Setting up libgtk2.0-common (2.24.25-3) ... Setting up libavahi-common-data:amd64 (0.6.31-4+b2) ... Setting up libavahi-common3:amd64 (0.6.31-4+b2) ... Setting up libdbus-1-3:amd64 (1.8.16-1) ... Setting up libavahi-client3:amd64 (0.6.31-4+b2) ... Setting up libcups2:amd64 (1.7.5-11) ... Setting up libthai-data (0.1.21-1) ... Setting up libdatrie1:amd64 (0.2.8-1) ... Setting up libthai0:amd64 (0.1.21-1) ... Setting up libpango-1.0-0:amd64 (1.36.8-3) ... Setting up libgraphite2-3:amd64 (1.2.4-3) ... Setting up libharfbuzz0b:amd64 (0.9.35-2) ... Setting up libpangoft2-1.0-0:amd64 (1.36.8-3) ... Setting up libpangocairo-1.0-0:amd64 (1.36.8-3) ... Setting up libxcomposite1:amd64 (1:0.4.4-1) ... Setting up libxfixes3:amd64 (1:5.0.1-2+b2) ... Setting up libxcursor1:amd64 (1:1.1.14-1+b1) ... Setting up libxdamage1:amd64 (1:1.1.4-2+b1) ... Setting up libxi6:amd64 (2:1.7.4-1+b2) ... Setting up libxinerama1:amd64 (2:1.1.3-1+b1) ... Setting up libxrandr2:amd64 (2:1.4.2-1+b1) ... Setting up shared-mime-info (1.3-1) ... Setting up libgtk2.0-0:amd64 (2.24.25-3) ... Setting up libatk-wrapper-java (0.30.5-1) ... Setting up libatk-wrapper-java-jni:amd64 (0.30.5-1) ... Setting up libcroco3:amd64 (0.6.8-3+b1) ... Setting up libdrm2:amd64 (2.4.58-2) ... Setting up libogg0:amd64 (1.3.2-1) ... Setting up libflac8:amd64 (1.3.0-3) ... Setting up libgif4:amd64 (4.1.6-11) ... Setting up libglapi-mesa:amd64 (10.4.2-2) ... Setting up libx11-xcb1:amd64 (2:1.6.2-3) ... Setting up libxcb-dri2-0:amd64 (1.10-3+b1) ... Setting up libxcb-dri3-0:amd64 (1.10-3+b1) ... Setting up libxcb-glx0:amd64 (1.10-3+b1) ... Setting up libxcb-present0:amd64 (1.10-3+b1) ... Setting up libxcb-sync1:amd64 (1.10-3+b1) ... Setting up libxshmfence1:amd64 (1.1-4) ... Setting up libxxf86vm1:amd64 (1:1.1.3-1+b1) ... Setting up libgl1-mesa-glx:amd64 (10.4.2-2) ... Setting up libgmpxx4ldbl:amd64 (2:6.0.0+dfsg-6) ... Setting up x11-common (1:7.7+7) ... update-rc.d: warning: start and stop actions are no longer supported; falling back to defaults All runlevel operations denied by policy invoke-rc.d: policy-rc.d denied execution of start. Setting up libice6:amd64 (2:1.0.9-1+b1) ... Setting up liblcms2-2:amd64 (2.6-3+b3) ... Setting up libnspr4:amd64 (2:4.10.7-1) ... Setting up libnss3:amd64 (2:3.17.2-1.1) ... Setting up libpcsclite1:amd64 (1.8.13-1) ... Setting up libsm6:amd64 (2:1.2.2-1+b1) ... Setting up libvorbis0a:amd64 (1.3.4-2) ... Setting up libvorbisenc2:amd64 (1.3.4-2) ... Setting up libsndfile1:amd64 (1.0.25-9.1) ... Setting up libxtst6:amd64 (2:1.2.2-1+b1) ... Setting up libpulse0:amd64 (5.0-13) ... Setting up libunistring0:amd64 (0.9.3-5.2+b1) ... Setting up openssl (1.0.1k-3) ... Setting up ca-certificates (20141019) ... Setting up java-common (0.52) ... Setting up tzdata-java (2015b-1) ... Setting up file (1:5.22+15-2) ... Setting up gettext-base (0.19.3-2) ... Setting up autoconf (2.69-8) ... Setting up autotools-dev (20140911.1) ... Setting up libbison-dev:amd64 (2:3.0.2.dfsg-2) ... Setting up bison (2:3.0.2.dfsg-2) ... update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode Setting up cdbs (0.4.129) ... Setting up gettext (0.19.3-2) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu3) ... Setting up debhelper (9.20150101) ... Setting up libgmp-dev:amd64 (2:6.0.0+dfsg-6) ... Setting up patchutils (0.3.3-1) ... Setting up ca-certificates-java (20140324) ... done. Setting up default-jre-headless (2:1.7-52) ... Processing triggers for ca-certificates (20141019) ... Updating certificates in /etc/ssl/certs... 173 added, 0 removed; done. Running hooks in /etc/ca-certificates/update.d.... Adding debian:A-Trust-nQual-03.pem Adding debian:ACCVRAIZ1.pem Adding debian:ACEDICOM_Root.pem Adding debian:AC_Raíz_Certicámara_S.A..pem Adding debian:Actalis_Authentication_Root_CA.pem Adding debian:AddTrust_External_Root.pem Adding debian:AddTrust_Low-Value_Services_Root.pem Adding debian:AddTrust_Public_Services_Root.pem Adding debian:AddTrust_Qualified_Certificates_Root.pem Adding debian:AffirmTrust_Commercial.pem Adding debian:AffirmTrust_Networking.pem Adding debian:AffirmTrust_Premium.pem Adding debian:AffirmTrust_Premium_ECC.pem Adding debian:America_Online_Root_Certification_Authority_1.pem Adding debian:America_Online_Root_Certification_Authority_2.pem Adding debian:ApplicationCA_-_Japanese_Government.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_CA_1.pem Adding debian:Buypass_Class_2_Root_CA.pem Adding debian:Buypass_Class_3_CA_1.pem Adding debian:Buypass_Class_3_Root_CA.pem Adding debian:CA_Disig.pem Adding debian:CA_Disig_Root_R1.pem Adding debian:CA_Disig_Root_R2.pem Adding debian:CNNIC_ROOT.pem Adding debian:COMODO_Certification_Authority.pem Adding debian:COMODO_ECC_Certification_Authority.pem Adding debian:Camerfirma_Chambers_of_Commerce_Root.pem Adding debian:Camerfirma_Global_Chambersign_Root.pem Adding debian:Certigna.pem Adding debian:Certinomis_-_Autorité_Racine.pem Adding debian:Certplus_Class_2_Primary_CA.pem Adding debian:Certum_Root_CA.pem Adding debian:Certum_Trusted_Network_CA.pem Adding debian:Chambers_of_Commerce_Root_-_2008.pem Adding debian:China_Internet_Network_Information_Center_EV_Certificates_Root.pem Adding debian:ComSign_CA.pem Adding debian:ComSign_Secured_CA.pem Adding debian:Comodo_AAA_Services_root.pem Adding debian:Comodo_Secure_Services_root.pem Adding debian:Comodo_Trusted_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_ACES_CA_X6.pem Adding debian:DST_Root_CA_X3.pem Adding debian:Deutsche_Telekom_Root_CA_2.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:Digital_Signature_Trust_Co._Global_CA_1.pem Adding debian:Digital_Signature_Trust_Co._Global_CA_3.pem Adding debian:E-Guven_Kok_Elektronik_Sertifika_Hizmet_Saglayicisi.pem Adding debian:E-Tugra_Certification_Authority.pem Adding debian:EBG_Elektronik_Sertifika_Hizmet_Sağlayıcısı.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:Equifax_Secure_CA.pem Adding debian:Equifax_Secure_Global_eBusiness_CA.pem Adding debian:Equifax_Secure_eBusiness_CA_1.pem Adding debian:GTE_CyberTrust_Global_Root.pem Adding debian:GeoTrust_Global_CA.pem Adding debian:GeoTrust_Global_CA_2.pem Adding debian:GeoTrust_Primary_Certification_Authority.pem Adding debian:GeoTrust_Primary_Certification_Authority_-_G2.pem Adding debian:GeoTrust_Primary_Certification_Authority_-_G3.pem Adding debian:GeoTrust_Universal_CA.pem Adding debian:GeoTrust_Universal_CA_2.pem Adding debian:GlobalSign_Root_CA.pem Adding debian:GlobalSign_Root_CA_-_R2.pem Adding debian:GlobalSign_Root_CA_-_R3.pem Adding debian:Global_Chambersign_Root_-_2008.pem Adding debian:Go_Daddy_Class_2_CA.pem Adding debian:Go_Daddy_Root_Certificate_Authority_-_G2.pem Adding debian:Hellenic_Academic_and_Research_Institutions_RootCA_2011.pem Adding debian:Hongkong_Post_Root_CA_1.pem Adding debian:IGC_A.pem Adding debian:Izenpe.com.pem Adding debian:Juur-SK.pem Adding debian:Microsec_e-Szigno_Root_CA.pem Adding debian:Microsec_e-Szigno_Root_CA_2009.pem Adding debian:NetLock_Arany_=Class_Gold=_Főtanúsítvány.pem Adding debian:NetLock_Business_=Class_B=_Root.pem Adding debian:NetLock_Express_=Class_C=_Root.pem Adding debian:NetLock_Notary_=Class_A=_Root.pem Adding debian:NetLock_Qualified_=Class_QA=_Root.pem Adding debian:Network_Solutions_Certificate_Authority.pem Adding debian:OISTE_WISeKey_Global_Root_GA_CA.pem Adding debian:PSCProcert.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:RSA_Security_2048_v3.pem Adding debian:Root_CA_Generalitat_Valenciana.pem Adding debian:S-TRUST_Authentication_and_Encryption_Root_CA_2005_PN.pem Adding debian:SG_TRUST_SERVICES_RACINE.pem Adding debian:SecureSign_RootCA11.pem Adding debian:SecureTrust_CA.pem Adding debian:Secure_Global_CA.pem Adding debian:Security_Communication_EV_RootCA1.pem Adding debian:Security_Communication_RootCA2.pem Adding debian:Security_Communication_Root_CA.pem Adding debian:Sonera_Class_1_Root_CA.pem Adding debian:Sonera_Class_2_Root_CA.pem Adding debian:Staat_der_Nederlanden_Root_CA.pem Adding debian:Staat_der_Nederlanden_Root_CA_-_G2.pem Adding debian:Starfield_Class_2_CA.pem Adding debian:Starfield_Root_Certificate_Authority_-_G2.pem Adding debian:Starfield_Services_Root_Certificate_Authority_-_G2.pem Adding debian:StartCom_Certification_Authority.pem Adding debian:StartCom_Certification_Authority_2.pem Adding debian:StartCom_Certification_Authority_G2.pem Adding debian:SwissSign_Gold_CA_-_G2.pem Adding debian:SwissSign_Platinum_CA_-_G2.pem Adding debian:SwissSign_Silver_CA_-_G2.pem Adding debian:Swisscom_Root_CA_1.pem Adding debian:Swisscom_Root_CA_2.pem Adding debian:Swisscom_Root_EV_CA_2.pem Adding debian:T-TeleSec_GlobalRoot_Class_2.pem Adding debian:T-TeleSec_GlobalRoot_Class_3.pem Adding debian:TC_TrustCenter_Class_2_CA_II.pem Adding debian:TC_TrustCenter_Class_3_CA_II.pem Adding debian:TC_TrustCenter_Universal_CA_I.pem Adding debian:TURKTRUST_Certificate_Services_Provider_Root_1.pem Adding debian:TURKTRUST_Certificate_Services_Provider_Root_2.pem Adding debian:TURKTRUST_Certificate_Services_Provider_Root_2007.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:Thawte_Premium_Server_CA.pem Adding debian:Thawte_Server_CA.pem Adding debian:Trustis_FPS_Root_CA.pem Adding debian:TÜBİTAK_UEKAE_Kök_Sertifika_Hizmet_Sağlayıcısı_-_Sürüm_3.pem Adding debian:UTN_DATACorp_SGC_Root_CA.pem Adding debian:UTN_USERFirst_Email_Root_CA.pem Adding debian:UTN_USERFirst_Hardware_Root_CA.pem Adding debian:VeriSign_Class_3_Public_Primary_Certification_Authority_-_G4.pem Adding debian:VeriSign_Class_3_Public_Primary_Certification_Authority_-_G5.pem Adding debian:VeriSign_Universal_Root_Certification_Authority.pem Adding debian:Verisign_Class_1_Public_Primary_Certification_Authority.pem Adding debian:Verisign_Class_1_Public_Primary_Certification_Authority_-_G2.pem Adding debian:Verisign_Class_1_Public_Primary_Certification_Authority_-_G3.pem Adding debian:Verisign_Class_2_Public_Primary_Certification_Authority_-_G2.pem Adding debian:Verisign_Class_2_Public_Primary_Certification_Authority_-_G3.pem Adding debian:Verisign_Class_3_Public_Primary_Certification_Authority.pem Adding debian:Verisign_Class_3_Public_Primary_Certification_Authority_-_G2.pem Adding debian:Verisign_Class_3_Public_Primary_Certification_Authority_-_G3.pem Adding debian:Verisign_Class_3_Public_Primary_Certification_Authority_2.pem Adding debian:Verisign_Class_4_Public_Primary_Certification_Authority_-_G3.pem Adding debian:Visa_eCommerce_Root.pem Adding debian:WellsSecure_Public_Root_Certificate_Authority.pem Adding debian:WoSign.pem Adding debian:WoSign_China.pem Adding debian:XRamp_Global_CA_Root.pem Adding debian:certSIGN_ROOT_CA.pem Adding debian:ePKI_Root_Certification_Authority.pem Adding debian:thawte_Primary_Root_CA.pem Adding debian:thawte_Primary_Root_CA_-_G2.pem Adding debian:thawte_Primary_Root_CA_-_G3.pem Adding debian:spi-cacert-2008.pem done. done. Setting up openjdk-7-jre-headless:amd64 (7u75-2.5.4-3) ... update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/jre/bin/rmid to provide /usr/bin/rmid (rmid) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/jre/bin/java to provide /usr/bin/java (java) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/jre/bin/keytool to provide /usr/bin/keytool (keytool) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/jre/bin/pack200 to provide /usr/bin/pack200 (pack200) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/jre/bin/rmiregistry to provide /usr/bin/rmiregistry (rmiregistry) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/jre/bin/unpack200 to provide /usr/bin/unpack200 (unpack200) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/jre/bin/orbd to provide /usr/bin/orbd (orbd) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/jre/bin/servertool to provide /usr/bin/servertool (servertool) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/jre/bin/tnameserv to provide /usr/bin/tnameserv (tnameserv) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/jre/lib/jexec to provide /usr/bin/jexec (jexec) in auto mode Setting up openjdk-7-jre:amd64 (7u75-2.5.4-3) ... update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/jre/bin/policytool to provide /usr/bin/policytool (policytool) in auto mode Setting up default-jre (2:1.7-52) ... Setting up openjdk-7-jdk:amd64 (7u75-2.5.4-3) ... update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/bin/idlj to provide /usr/bin/idlj (idlj) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/bin/wsimport to provide /usr/bin/wsimport (wsimport) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/bin/jinfo to provide /usr/bin/jinfo (jinfo) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/bin/jsadebugd to provide /usr/bin/jsadebugd (jsadebugd) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/bin/native2ascii to provide /usr/bin/native2ascii (native2ascii) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/bin/jstat to provide /usr/bin/jstat (jstat) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/bin/javadoc to provide /usr/bin/javadoc (javadoc) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/bin/javah to provide /usr/bin/javah (javah) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/bin/jstack to provide /usr/bin/jstack (jstack) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/bin/jrunscript to provide /usr/bin/jrunscript (jrunscript) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/bin/javac to provide /usr/bin/javac (javac) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/bin/jhat to provide /usr/bin/jhat (jhat) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/bin/javap to provide /usr/bin/javap (javap) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/bin/jconsole to provide /usr/bin/jconsole (jconsole) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/bin/jar to provide /usr/bin/jar (jar) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/bin/extcheck to provide /usr/bin/extcheck (extcheck) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/bin/schemagen to provide /usr/bin/schemagen (schemagen) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/bin/jps to provide /usr/bin/jps (jps) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/bin/xjc to provide /usr/bin/xjc (xjc) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/bin/jarsigner to provide /usr/bin/jarsigner (jarsigner) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/bin/rmic to provide /usr/bin/rmic (rmic) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/bin/appletviewer to provide /usr/bin/appletviewer (appletviewer) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/bin/jstatd to provide /usr/bin/jstatd (jstatd) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/bin/jmap to provide /usr/bin/jmap (jmap) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/bin/jdb to provide /usr/bin/jdb (jdb) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/bin/serialver to provide /usr/bin/serialver (serialver) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/bin/wsgen to provide /usr/bin/wsgen (wsgen) in auto mode update-alternatives: using /usr/lib/jvm/java-7-openjdk-amd64/bin/jcmd to provide /usr/bin/jcmd (jcmd) in auto mode Setting up default-jdk (2:1.7-52) ... Setting up sbuild-build-depends-cvc3-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.19-17) ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build environment │ └──────────────────────────────────────────────────────────────────────────────┘ Kernel: Linux 3.2.0-4-amd64 amd64 (x86_64) Toolchain package versions: binutils_2.25-5 dpkg-dev_1.17.24 g++-4.9_4.9.2-10 gcc-4.9_4.9.2-10 libc6-dev_2.19-17 libstdc++-4.9-dev_4.9.2-10 libstdc++6_4.9.2-10 linux-libc-dev_3.16.7-ckt7-1 Package versions: acl_2.2.52-2 adduser_3.113+nmu3 apt_1.0.9.7 apt-utils_1.0.9.7 autoconf_2.69-8 autotools-dev_20140911.1 base-files_8 base-passwd_3.5.37 bash_4.3-12 binutils_2.25-5 bison_2:3.0.2.dfsg-2 bsdmainutils_9.0.6 bsdutils_1:2.25.2-5 build-essential_11.7 bzip2_1.0.6-7+b2 ca-certificates_20141019 ca-certificates-java_20140324 cdbs_0.4.129 clang-3.6_1:3.6-2 coreutils_8.23-4 cpp_4:4.9.2-2 cpp-4.9_4.9.2-10 dash_0.5.7-4+b1 debconf_1.5.56 debfoster_2.7-2 debhelper_9.20150101 debian-archive-keyring_2014.3 debianutils_4.4+b1 default-jdk_2:1.7-52 default-jre_2:1.7-52 default-jre-headless_2:1.7-52 diffutils_1:3.3-1+b1 dmsetup_2:1.02.90-2.1 dpkg_1.17.24 dpkg-dev_1.17.24 e2fslibs_1.42.12-1.1 e2fsprogs_1.42.12-1.1 fakeroot_1.20.2-1 file_1:5.22+15-2 findutils_4.4.2-9+b1 flex_2.5.39-8+b1 fontconfig_2.11.0-6.3 fontconfig-config_2.11.0-6.3 fonts-dejavu-core_2.34-1 g++_4:4.9.2-2 g++-4.9_4.9.2-10 gcc_4:4.9.2-2 gcc-4.9_4.9.2-10 gcc-4.9-base_4.9.2-10 gettext_0.19.3-2 gettext-base_0.19.3-2 gnupg_1.4.18-7 gpgv_1.4.18-7 grep_2.20-4.1 groff-base_1.22.3-1 gzip_1.6-4 hostname_3.15 init_1.22 initscripts_2.88dsf-58 insserv_1.14.0-5 intltool-debian_0.35.0+20060710.1 java-common_0.52 less_458-3 libacl1_2.2.52-2 libapt-inst1.5_1.0.9.7 libapt-pkg4.12_1.0.9.7 libasan1_4.9.2-10 libasound2_1.0.28-1 libasound2-data_1.0.28-1 libasprintf0c2_0.19.3-2 libasyncns0_0.8-5 libatk-wrapper-java_0.30.5-1 libatk-wrapper-java-jni_0.30.5-1 libatk1.0-0_2.14.0-1 libatk1.0-data_2.14.0-1 libatomic1_4.9.2-10 libattr1_1:2.4.47-2 libaudit-common_1:2.4-1 libaudit1_1:2.4-1+b1 libavahi-client3_0.6.31-4+b2 libavahi-common-data_0.6.31-4+b2 libavahi-common3_0.6.31-4+b2 libbison-dev_2:3.0.2.dfsg-2 libblkid1_2.25.2-5 libbsd0_0.7.0-2 libbz2-1.0_1.0.6-7+b2 libc-bin_2.19-17 libc-dev-bin_2.19-17 libc6_2.19-17 libc6-dev_2.19-17 libcairo2_1.14.0-2.1 libcap2_1:2.24-7 libcap2-bin_1:2.24-7 libcilkrts5_4.9.2-10 libclang-common-3.6-dev_1:3.6-2 libclang1-3.6_1:3.6-2 libcloog-isl4_0.18.2-1+b2 libcomerr2_1.42.12-1.1 libcroco3_0.6.8-3+b1 libcryptsetup4_2:1.6.6-5 libcups2_1.7.5-11 libdatrie1_0.2.8-1 libdb5.3_5.3.28-9 libdbus-1-3_1.8.16-1 libdebconfclient0_0.192 libdevmapper1.02.1_2:1.02.90-2.1 libdpkg-perl_1.17.24 libdrm2_2.4.58-2 libedit2_3.1-20140620-2 libexpat1_2.1.0-6+b3 libfakeroot_1.20.2-1 libffi6_3.1-2+b2 libfl-dev_2.5.39-8+b1 libflac8_1.3.0-3 libfontconfig1_2.11.0-6.3 libfreetype6_2.5.2-4 libgc1c2_1:7.2d-6.4 libgcc-4.9-dev_4.9.2-10 libgcc1_1:4.9.2-10 libgcrypt20_1.6.3-2 libgdbm3_1.8.3-13.1 libgdk-pixbuf2.0-0_2.31.1-2+b1 libgdk-pixbuf2.0-common_2.31.1-2 libgif4_4.1.6-11 libgl1-mesa-glx_10.4.2-2 libglapi-mesa_10.4.2-2 libglib2.0-0_2.42.1-1 libgmp-dev_2:6.0.0+dfsg-6 libgmp10_2:6.0.0+dfsg-6 libgmpxx4ldbl_2:6.0.0+dfsg-6 libgnutls-deb0-28_3.3.8-6 libgomp1_4.9.2-10 libgpg-error0_1.17-3 libgraphite2-3_1.2.4-3 libgssapi-krb5-2_1.12.1+dfsg-19 libgtk2.0-0_2.24.25-3 libgtk2.0-common_2.24.25-3 libharfbuzz0b_0.9.35-2 libhogweed2_2.7.1-5 libice6_2:1.0.9-1+b1 libicu52_52.1-8 libisl10_0.12.2-2 libitm1_4.9.2-10 libjasper1_1.900.1-debian1-2.4 libjbig0_2.1-3.1 libjpeg62-turbo_1:1.3.1-12 libjson-c2_0.11-4 libk5crypto3_1.12.1+dfsg-19 libkeyutils1_1.5.9-5+b1 libkmod2_20-1 libkrb5-3_1.12.1+dfsg-19 libkrb5support0_1.12.1+dfsg-19 liblcms2-2_2.6-3+b3 libllvm3.6_1:3.6-2 liblsan0_4.9.2-10 liblzma5_5.1.1alpha+20120614-2+b3 libmagic1_1:5.22+15-2 libmount1_2.25.2-5 libmpc3_1.0.3-1 libmpfr4_3.1.2-3 libncurses5_5.9+20140913-1+b1 libncursesw5_5.9+20140913-1+b1 libnettle4_2.7.1-5 libnspr4_2:4.10.7-1 libnss3_2:3.17.2-1.1 libobjc-4.9-dev_4.9.2-10 libobjc4_4.9.2-10 libogg0_1.3.2-1 libp11-kit0_0.20.7-1 libpam-modules_1.1.8-3.1 libpam-modules-bin_1.1.8-3.1 libpam-runtime_1.1.8-3.1 libpam0g_1.1.8-3.1 libpango-1.0-0_1.36.8-3 libpangocairo-1.0-0_1.36.8-3 libpangoft2-1.0-0_1.36.8-3 libpcre3_2:8.35-3.3 libpcsclite1_1.8.13-1 libpipeline1_1.4.0-1 libpixman-1-0_0.32.6-3 libpng12-0_1.2.50-2+b2 libprocps3_2:3.3.9-9 libpulse0_5.0-13 libpython-stdlib_2.7.9-1 libpython2.7-minimal_2.7.9-2 libpython2.7-stdlib_2.7.9-2 libquadmath0_4.9.2-10 libreadline6_6.3-8+b3 libselinux1_2.3-2 libsemanage-common_2.3-1 libsemanage1_2.3-1+b1 libsepol1_2.3-2 libsigsegv2_2.10-4+b1 libslang2_2.3.0-2 libsm6_2:1.2.2-1+b1 libsmartcols1_2.25.2-5 libsndfile1_1.0.25-9.1 libsqlite3-0_3.8.7.4-1 libss2_1.42.12-1.1 libssl1.0.0_1.0.1k-3 libstdc++-4.9-dev_4.9.2-10 libstdc++6_4.9.2-10 libsystemd0_215-12 libtasn1-6_4.2-2 libthai-data_0.1.21-1 libthai0_0.1.21-1 libtiff5_4.0.3-12.3 libtimedate-perl_2.3000-2 libtinfo5_5.9+20140913-1+b1 libtsan0_4.9.2-10 libubsan0_4.9.2-10 libudev1_215-12 libunistring0_0.9.3-5.2+b1 libusb-0.1-4_2:0.1.12-25 libustr-1.0-1_1.0.4-3+b2 libuuid1_2.25.2-5 libvorbis0a_1.3.4-2 libvorbisenc2_1.3.4-2 libwrap0_7.6.q-25 libx11-6_2:1.6.2-3 libx11-data_2:1.6.2-3 libx11-xcb1_2:1.6.2-3 libxau6_1:1.0.8-1 libxcb-dri2-0_1.10-3+b1 libxcb-dri3-0_1.10-3+b1 libxcb-glx0_1.10-3+b1 libxcb-present0_1.10-3+b1 libxcb-render0_1.10-3+b1 libxcb-shm0_1.10-3+b1 libxcb-sync1_1.10-3+b1 libxcb1_1.10-3+b1 libxcomposite1_1:0.4.4-1 libxcursor1_1:1.1.14-1+b1 libxdamage1_1:1.1.4-2+b1 libxdmcp6_1:1.1.1-1+b1 libxext6_2:1.3.3-1 libxfixes3_1:5.0.1-2+b2 libxi6_2:1.7.4-1+b2 libxinerama1_2:1.1.3-1+b1 libxml2_2.9.2+dfsg1-3 libxrandr2_2:1.4.2-1+b1 libxrender1_1:0.9.8-1+b1 libxshmfence1_1.1-4 libxtst6_2:1.2.2-1+b1 libxxf86vm1_1:1.1.3-1+b1 linux-libc-dev_3.16.7-ckt7-1 login_1:4.2-3 lsb-base_4.1+Debian13+nmu1 m4_1.4.17-4 make_4.0-8.1 man-db_2.7.0.2-5 mawk_1.3.3-17 mime-support_3.58 mount_2.25.2-5 multiarch-support_2.19-17 ncurses-base_5.9+20140913-1 ncurses-bin_5.9+20140913-1+b1 nvi_1.81.6-11+b1 openjdk-7-jdk_7u75-2.5.4-3 openjdk-7-jre_7u75-2.5.4-3 openjdk-7-jre-headless_7u75-2.5.4-3 openssl_1.0.1k-3 passwd_1:4.2-3 patch_2.7.5-1 patchutils_0.3.3-1 perl_5.20.2-2 perl-base_5.20.2-2 perl-modules_5.20.2-2 po-debconf_1.0.16+nmu3 procps_2:3.3.9-9 python_2.7.9-1 python-minimal_2.7.9-1 python2.7_2.7.9-2 python2.7-minimal_2.7.9-2 readline-common_6.3-8 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-cvc3-dummy_0.invalid.0 sed_4.2.2-4+b1 sensible-utils_0.0.9 shared-mime-info_1.3-1 startpar_0.59-3 sudo_1.8.12-1 systemd_215-12 systemd-sysv_215-12 sysv-rc_2.88dsf-58 sysvinit-utils_2.88dsf-58 tar_1.27.1-2+b1 tzdata_2015b-1 tzdata-java_2015b-1 ucf_3.0030 udev_215-12 util-linux_2.25.2-5 x11-common_1:7.7+7 xz-utils_5.1.1alpha+20120614-2+b3 zlib1g_1:1.2.8.dfsg-2+b1 ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build │ └──────────────────────────────────────────────────────────────────────────────┘ Unpack source ───────────── gpgv: keyblock resource `/sbuild-nonexistent/.gnupg/trustedkeys.gpg': file open error gpgv: Signature made Sat Sep 27 20:04:50 2014 UTC using RSA key ID E3386741 gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./cvc3_2.4.1-5.dsc dpkg-source: info: extracting cvc3 in cvc3-2.4.1 dpkg-source: info: unpacking cvc3_2.4.1.orig.tar.gz tar: A lone zero block at 11280 dpkg-source: info: unpacking cvc3_2.4.1-5.debian.tar.xz dpkg-source: info: applying disable-log-dumps-in-tests.patch Check disc space ──────────────── Sufficient free space for build User Environment ──────────────── DEB_BUILD_OPTIONS=parallel=10 HOME=/sbuild-nonexistent LOGNAME=user PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SCHROOT_ALIAS_NAME=unstable-amd64-sbuild SCHROOT_CHROOT_NAME=unstable-amd64-sbuild SCHROOT_COMMAND=env SCHROOT_GID=1001 SCHROOT_GROUP=user SCHROOT_SESSION_ID=unstable-amd64-sbuild-2e51d832-3bd9-421e-871b-e0ea6675ddb3 SCHROOT_UID=1001 SCHROOT_USER=user SHELL=/bin/sh USER=user dpkg-buildpackage ───────────────── dpkg-buildpackage: source package cvc3 dpkg-buildpackage: source version 2.4.1-5 dpkg-buildpackage: source distribution unstable dpkg-buildpackage: source changed by Morgan Deters dpkg-source --before-build cvc3-2.4.1 dpkg-buildpackage: host architecture amd64 fakeroot debian/rules clean test -x debian/rules rm -f java/Test_manifest dh_autotools-dev_updateconfig ./configure --disable-zchaff checking for g++... g++ checking whether the C++ compiler works... yes checking for C++ compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking how to run the C++ preprocessor... g++ -E checking for ar... ar checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking for install... /usr/bin/install checking for ldconfig... /sbin/ldconfig checking for time... not found configure: WARNING: Regression tests depend upon GNU time. checking for perl... /usr/bin/perl checking for bison... bison -y checking for flex... flex checking lex output file root... lex.yy checking lex library... none needed checking whether yytext is a pointer... no checking for compiler version (g++ --version)... 3.6.0 checking for gmp... yes checking vector usability... yes checking vector presence... yes checking for vector... yes checking list usability... yes checking list presence... yes checking for list... yes checking deque usability... yes checking deque presence... yes checking for deque... yes checking set usability... yes checking set presence... yes checking for set... yes checking string usability... yes checking string presence... yes checking for string... yes checking cstdlib usability... yes checking cstdlib presence... yes checking for cstdlib... yes checking cstdio usability... yes checking cstdio presence... yes checking for cstdio... yes checking functional usability... yes checking functional presence... yes checking for functional... yes checking algorithm usability... yes checking algorithm presence... yes checking for algorithm... yes checking for doxygen... no checking for doxytag... no checking for fig2dev... no checking for dot... NO checking for etags... no checking for ebrowse... no configure: creating ./config.status config.status: creating Makefile.local config.status: creating LICENSE config.status: creating src/cvc3.pc config.status: creating bin/unpack config.status: creating bin/run_tests config.status: creating bin/cvc2smt config.status: creating doc/Doxyfile config.status: creating doc/Makefile CVC3 is configured successfully. Platform: x86_64-linux-gnu Version: 2.4.1 Computer arithmetic: GMP Run ./configure --help for additional configuration options. Type 'make' to compile CVC3. dh_autotools-dev_restoreconfig rm -f debian/stamp-makefile-build debian/stamp-makefile-install /usr/bin/make -C . -k distclean TOP=/«PKGBUILDDIR» make[1]: Entering directory '/«PKGBUILDDIR»' cd /«PKGBUILDDIR»/src; /usr/bin/make distclean make[2]: Entering directory '/«PKGBUILDDIR»/src' /usr/bin/make build TARGET=distclean make[3]: Entering directory '/«PKGBUILDDIR»/src' cd util && /usr/bin/make distclean make[4]: Entering directory '/«PKGBUILDDIR»/src/util' Making dependencies for debug.cpp statistics.cpp rational.cpp rational-native.cpp rational-gmp.cpp g++ -M -m64 -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -DRATIONAL_GMP debug.cpp statistics.cpp rational.cpp rational-native.cpp rational-gmp.cpp >> /«PKGBUILDDIR»/obj/util/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/«PKGBUILDDIR»/src/util' cd context && /usr/bin/make distclean make[4]: Entering directory '/«PKGBUILDDIR»/src/context' Making dependencies for context.cpp cdflags.cpp g++ -M -m64 -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include context.cpp cdflags.cpp >> /«PKGBUILDDIR»/obj/context/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/«PKGBUILDDIR»/src/context' cd expr && /usr/bin/make distclean make[4]: Entering directory '/«PKGBUILDDIR»/src/expr' Making dependencies for expr.cpp expr_manager.cpp expr_stream.cpp expr_value.cpp expr_op.cpp g++ -M -m64 -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include expr.cpp expr_manager.cpp expr_stream.cpp expr_value.cpp expr_op.cpp >> /«PKGBUILDDIR»/obj/expr/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/«PKGBUILDDIR»/src/expr' cd theorem && /usr/bin/make distclean make[4]: Entering directory '/«PKGBUILDDIR»/src/theorem' Making dependencies for assumptions.cpp theorem.cpp theorem_manager.cpp theorem_producer.cpp common_theorem_producer.cpp g++ -M -m64 -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include assumptions.cpp theorem.cpp theorem_manager.cpp theorem_producer.cpp common_theorem_producer.cpp >> /«PKGBUILDDIR»/obj/theorem/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/«PKGBUILDDIR»/src/theorem' cd sat && /usr/bin/make distclean make[4]: Entering directory '/«PKGBUILDDIR»/src/sat' Making dependencies for cnf.cpp cnf_manager.cpp cnf_theorem_producer.cpp dpllt_basic.cpp sat_api.cpp dpllt_minisat.cpp minisat_types.cpp minisat_derivation.cpp minisat_solver.cpp g++ -M -m64 -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include cnf.cpp cnf_manager.cpp cnf_theorem_producer.cpp dpllt_basic.cpp sat_api.cpp dpllt_minisat.cpp minisat_types.cpp minisat_derivation.cpp minisat_solver.cpp >> /«PKGBUILDDIR»/obj/sat/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/«PKGBUILDDIR»/src/sat' cd theory_core && /usr/bin/make distclean make[4]: Entering directory '/«PKGBUILDDIR»/src/theory_core' Making dependencies for theory.cpp theory_core.cpp core_theorem_producer.cpp expr_transform.cpp bryant.cpp g++ -M -m64 -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include theory.cpp theory_core.cpp core_theorem_producer.cpp expr_transform.cpp bryant.cpp >> /«PKGBUILDDIR»/obj/theory_core/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/«PKGBUILDDIR»/src/theory_core' cd theory_arith && /usr/bin/make distclean make[4]: Entering directory '/«PKGBUILDDIR»/src/theory_arith' Making dependencies for arith_theorem_producer_old.cpp arith_theorem_producer.cpp arith_theorem_producer3.cpp theory_arith.cpp theory_arith_old.cpp theory_arith_new.cpp theory_arith3.cpp g++ -M -m64 -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include arith_theorem_producer_old.cpp arith_theorem_producer.cpp arith_theorem_producer3.cpp theory_arith.cpp theory_arith_old.cpp theory_arith_new.cpp theory_arith3.cpp >> /«PKGBUILDDIR»/obj/theory_arith/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/«PKGBUILDDIR»/src/theory_arith' cd theory_array && /usr/bin/make distclean make[4]: Entering directory '/«PKGBUILDDIR»/src/theory_array' Making dependencies for array_theorem_producer.cpp theory_array.cpp g++ -M -m64 -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include array_theorem_producer.cpp theory_array.cpp >> /«PKGBUILDDIR»/obj/theory_array/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/«PKGBUILDDIR»/src/theory_array' cd theory_bitvector && /usr/bin/make distclean make[4]: Entering directory '/«PKGBUILDDIR»/src/theory_bitvector' Making dependencies for bitvector_theorem_producer.cpp theory_bitvector.cpp g++ -M -m64 -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include bitvector_theorem_producer.cpp theory_bitvector.cpp >> /«PKGBUILDDIR»/obj/theory_bitvector/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/«PKGBUILDDIR»/src/theory_bitvector' cd theory_datatype && /usr/bin/make distclean make[4]: Entering directory '/«PKGBUILDDIR»/src/theory_datatype' Making dependencies for datatype_theorem_producer.cpp theory_datatype.cpp theory_datatype_lazy.cpp g++ -M -m64 -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include datatype_theorem_producer.cpp theory_datatype.cpp theory_datatype_lazy.cpp >> /«PKGBUILDDIR»/obj/theory_datatype/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/«PKGBUILDDIR»/src/theory_datatype' cd theory_quant && /usr/bin/make distclean make[4]: Entering directory '/«PKGBUILDDIR»/src/theory_quant' Making dependencies for theory_quant.cpp quant_theorem_producer.cpp g++ -M -m64 -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include theory_quant.cpp quant_theorem_producer.cpp >> /«PKGBUILDDIR»/obj/theory_quant/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/«PKGBUILDDIR»/src/theory_quant' cd theory_records && /usr/bin/make distclean make[4]: Entering directory '/«PKGBUILDDIR»/src/theory_records' Making dependencies for theory_records.cpp records_theorem_producer.cpp g++ -M -m64 -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include theory_records.cpp records_theorem_producer.cpp >> /«PKGBUILDDIR»/obj/theory_records/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/«PKGBUILDDIR»/src/theory_records' cd theory_simulate && /usr/bin/make distclean make[4]: Entering directory '/«PKGBUILDDIR»/src/theory_simulate' Making dependencies for theory_simulate.cpp simulate_theorem_producer.cpp g++ -M -m64 -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include theory_simulate.cpp simulate_theorem_producer.cpp >> /«PKGBUILDDIR»/obj/theory_simulate/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/«PKGBUILDDIR»/src/theory_simulate' cd theory_uf && /usr/bin/make distclean make[4]: Entering directory '/«PKGBUILDDIR»/src/theory_uf' Making dependencies for uf_theorem_producer.cpp theory_uf.cpp g++ -M -m64 -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include uf_theorem_producer.cpp theory_uf.cpp >> /«PKGBUILDDIR»/obj/theory_uf/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/«PKGBUILDDIR»/src/theory_uf' cd search && /usr/bin/make distclean make[4]: Entering directory '/«PKGBUILDDIR»/src/search' Making dependencies for clause.cpp search_impl_base.cpp search.cpp search_fast.cpp search_theorem_producer.cpp search_sat.cpp search_simple.cpp variable.cpp circuit.cpp decision_engine.cpp decision_engine_dfs.cpp LFSCObject.cpp LFSCUtilProof.cpp LFSCBoolProof.cpp LFSCConvert.cpp LFSCLraProof.cpp LFSCPrinter.cpp LFSCProof.cpp TReturn.cpp Util.cpp g++ -M -m64 -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include clause.cpp search_impl_base.cpp search.cpp search_fast.cpp search_theorem_producer.cpp search_sat.cpp search_simple.cpp variable.cpp circuit.cpp decision_engine.cpp decision_engine_dfs.cpp LFSCObject.cpp LFSCUtilProof.cpp LFSCBoolProof.cpp LFSCConvert.cpp LFSCLraProof.cpp LFSCPrinter.cpp LFSCProof.cpp TReturn.cpp Util.cpp >> /«PKGBUILDDIR»/obj/search/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/«PKGBUILDDIR»/src/search' cd parser && /usr/bin/make distclean make[4]: Entering directory '/«PKGBUILDDIR»/src/parser' bison -d -y -o parsePL.cpp -p PL --debug -v PL.y PL.y: warning: 3 shift/reduce conflicts [-Wconflicts-sr] PL.y:1531.24-1536.25: warning: rule useless in parser due to conflicts [-Wother] AndExpr : AndExpr AND_TOK Expr ^^^^^^^^^^^^^ PL.y:1549.25-1554.25: warning: rule useless in parser due to conflicts [-Wother] OrExpr : OrExpr OR_TOK Expr ^^^^^^^^^^ flex -I -PPL -olexPL.cpp PL.lex bison -d -y -o parseLisp.cpp -p Lisp --debug -v Lisp.y flex -I -PLisp -olexLisp.cpp Lisp.lex bison -d -y -o parsesmtlib.cpp -p smtlib --debug -v smtlib.y flex -I -Psmtlib -olexsmtlib.cpp smtlib.lex bison -d -y -o parsesmtlib2.cpp -p smtlib2 --debug -v smtlib2.y smtlib2.y: warning: 4 shift/reduce conflicts [-Wconflicts-sr] flex -I -Psmtlib2 -olexsmtlib2.cpp smtlib2.lex Making dependencies for parsePL.cpp lexPL.cpp parseLisp.cpp lexLisp.cpp parsesmtlib.cpp lexsmtlib.cpp parsesmtlib2.cpp lexsmtlib2.cpp parser.cpp g++ -M -m64 -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -O0 parsePL.cpp lexPL.cpp parseLisp.cpp lexLisp.cpp parsesmtlib.cpp lexsmtlib.cpp parsesmtlib2.cpp lexsmtlib2.cpp parser.cpp >> /«PKGBUILDDIR»/obj/parser/x86_64-linux-gnu/Makefile.tmp rm -f parsePL.cpp lexPL.cpp parseLisp.cpp lexLisp.cpp parsesmtlib.cpp lexsmtlib.cpp parsesmtlib2.cpp lexsmtlib2.cpp parsePL_defs.h parsePL.output parseLisp_defs.h parseLisp.output parsesmtlib_defs.h parsesmtlib.output parsesmtlib2_defs.h parsesmtlib2.output make[4]: Leaving directory '/«PKGBUILDDIR»/src/parser' cd translator && /usr/bin/make distclean make[4]: Entering directory '/«PKGBUILDDIR»/src/translator' Making dependencies for translator.cpp g++ -M -m64 -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include translator.cpp >> /«PKGBUILDDIR»/obj/translator/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/«PKGBUILDDIR»/src/translator' cd vcl && /usr/bin/make distclean make[4]: Entering directory '/«PKGBUILDDIR»/src/vcl' Making dependencies for vcl.cpp vc_cmd.cpp g++ -M -m64 -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include vcl.cpp vc_cmd.cpp >> /«PKGBUILDDIR»/obj/vcl/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/«PKGBUILDDIR»/src/vcl' cd c_interface && /usr/bin/make distclean make[4]: Entering directory '/«PKGBUILDDIR»/src/c_interface' Making dependencies for c_interface.cpp g++ -M -m64 -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include c_interface.cpp >> /«PKGBUILDDIR»/obj/c_interface/x86_64-linux-gnu/Makefile.tmp In file included from c_interface.cpp:24: /«PKGBUILDDIR»/src/include/c_interface_defs.h:21:9: warning: '_cvc3__include__c_interface_defs_h_' is used as a header guard here, followed by #define of a different macro [-Wheader-guard] #ifndef _cvc3__include__c_interface_defs_h_ ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /«PKGBUILDDIR»/src/include/c_interface_defs.h:22:9: note: '_cvc3__include__c_interface__defs_h_' is defined here; did you mean '_cvc3__include__c_interface_defs_h_'? #define _cvc3__include__c_interface__defs_h_ ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ _cvc3__include__c_interface_defs_h_ 1 warning generated. rm -f make[4]: Leaving directory '/«PKGBUILDDIR»/src/c_interface' cd cvc3 && /usr/bin/make distclean VERSION=2.4.1 make[4]: Entering directory '/«PKGBUILDDIR»/src/cvc3' Making dependencies for main.cpp g++ -M -m64 -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -DVERSION=\"2.4.1\" main.cpp >> /«PKGBUILDDIR»/obj/cvc3/x86_64-linux-gnu/Makefile.tmp rm -f make[4]: Leaving directory '/«PKGBUILDDIR»/src/cvc3' make[3]: Leaving directory '/«PKGBUILDDIR»/src' rm -rf cvc3.pc make[2]: Leaving directory '/«PKGBUILDDIR»/src' cd /«PKGBUILDDIR»/doc; /usr/bin/make distclean make[2]: Entering directory '/«PKGBUILDDIR»/doc' make[2]: Leaving directory '/«PKGBUILDDIR»/doc' cd /«PKGBUILDDIR»/test; /usr/bin/make distclean make[2]: Entering directory '/«PKGBUILDDIR»/test' Making dependencies for main.cpp george.cpp g++ -M -m64 -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -O0 main.cpp george.cpp >> /«PKGBUILDDIR»/test/obj/x86_64-linux-gnu/Makefile.tmp rm -f make[2]: Leaving directory '/«PKGBUILDDIR»/test' cd /«PKGBUILDDIR»/java; /usr/bin/make distclean make[2]: Entering directory '/«PKGBUILDDIR»/java' if [ ! -d obj ]; then mkdir -p obj; fi rm -f src/cvc3/EmbeddedManager.cpp src/cvc3/Expr.cpp src/cvc3/ExprMut.cpp src/cvc3/ExprManager.cpp src/cvc3/Type.cpp src/cvc3/TypeMut.cpp src/cvc3/Op.cpp src/cvc3/OpMut.cpp src/cvc3/Rational.cpp src/cvc3/RationalMut.cpp src/cvc3/Theorem.cpp src/cvc3/TheoremMut.cpp src/cvc3/Proof.cpp src/cvc3/ProofMut.cpp src/cvc3/Context.cpp src/cvc3/ContextMut.cpp src/cvc3/Flag.cpp src/cvc3/Flags.cpp src/cvc3/FlagsMut.cpp src/cvc3/Statistics.cpp src/cvc3/StatisticsMut.cpp src/cvc3/ValidityChecker.cpp rm -fr obj/cvc3/* rm -fr /«PKGBUILDDIR»/java/lib/* rm -f include/cvc3/EmbeddedManager.h include/cvc3/Expr.h include/cvc3/ExprMut.h include/cvc3/ExprManager.h include/cvc3/Type.h include/cvc3/TypeMut.h include/cvc3/Op.h include/cvc3/OpMut.h include/cvc3/Rational.h include/cvc3/RationalMut.h include/cvc3/Theorem.h include/cvc3/TheoremMut.h include/cvc3/Proof.h include/cvc3/ProofMut.h include/cvc3/Context.h include/cvc3/ContextMut.h include/cvc3/Flag.h include/cvc3/Flags.h include/cvc3/FlagsMut.h include/cvc3/Statistics.h include/cvc3/StatisticsMut.h include/cvc3/ValidityChecker.h include/cvc3/EmbeddedManager.h.gch include/cvc3/Expr.h.gch include/cvc3/ExprMut.h.gch include/cvc3/ExprManager.h.gch include/cvc3/Type.h.gch include/cvc3/TypeMut.h.gch include/cvc3/Op.h.gch include/cvc3/OpMut.h.gch include/cvc3/Rational.h.gch include/cvc3/RationalMut.h.gch include/cvc3/Theorem.h.gch include/cvc3/TheoremMut.h.gch include/cvc3/Proof.h.gch include/cvc3/ProofMut.h.gch include/cvc3/Context.h.gch include/cvc3/ContextMut.h.gch include/cvc3/Flag.h.gch include/cvc3/Flags.h.gch include/cvc3/FlagsMut.h.gch include/cvc3/Statistics.h.gch include/cvc3/StatisticsMut.h.gch include/cvc3/ValidityChecker.h.gch include/cvc3/JniUtils.h.gch make[2]: Leaving directory '/«PKGBUILDDIR»/java' rm -rf /«PKGBUILDDIR»/test/bin /«PKGBUILDDIR»/test/obj cd /«PKGBUILDDIR»/testc; /usr/bin/make distclean make[2]: Entering directory '/«PKGBUILDDIR»/testc' Making dependencies for gcc -M -g -I../src/include main.c >> /«PKGBUILDDIR»/testc/obj/x86_64-linux-gnu/Makefile.tmp In file included from main.c:10: In file included from ../src/include/c_interface.h:25: ../src/include/c_interface_defs.h:21:9: warning: '_cvc3__include__c_interface_defs_h_' is used as a header guard here, followed by #define of a different macro [-Wheader-guard] #ifndef _cvc3__include__c_interface_defs_h_ ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../src/include/c_interface_defs.h:22:9: note: '_cvc3__include__c_interface__defs_h_' is defined here; did you mean '_cvc3__include__c_interface_defs_h_'? #define _cvc3__include__c_interface__defs_h_ ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ _cvc3__include__c_interface_defs_h_ 1 warning generated. rm -f /«PKGBUILDDIR»/testc/obj/x86_64-linux-gnu/main.o make[2]: Leaving directory '/«PKGBUILDDIR»/testc' rm -rf /«PKGBUILDDIR»/testc/bin /«PKGBUILDDIR»/testc/obj mv: cannot stat '/«PKGBUILDDIR»/bin/CVS': No such file or directory make[1]: [distclean] Error 1 (ignored) Makefile:153: recipe for target 'distclean' failed mv: cannot stat '/«PKGBUILDDIR»/bin/.cvsignore': No such file or directory make[1]: [distclean] Error 1 (ignored) Makefile:153: recipe for target 'distclean' failed rm -rf /«PKGBUILDDIR»/bin rm -f TAGS BROWSE FILES LICENSE Makefile.local rm -rf /«PKGBUILDDIR»/autom4te.cache rm -f config.log config.status rm -f regressions.log rm -rf /«PKGBUILDDIR»/lib /«PKGBUILDDIR»/obj make[1]: Leaving directory '/«PKGBUILDDIR»' rm -f debian/stamp-makefile-check rm -f debian/stamp-autotools rmdir --ignore-fail-on-non-empty . rmdir: failed to remove '.': Invalid argument make: [makefile-clean] Error 1 (ignored) /usr/share/cdbs/1/class/autotools.mk:52: recipe for target 'makefile-clean' failed for i in ./config.guess ./config.sub ; do \ if test -e $i.cdbs-orig ; then \ mv $i.cdbs-orig $i ; \ fi ; \ done dh_clean rm -f debian/stamp-autotools-files debian/rules build-arch test -x debian/rules mkdir -p "." if test -e /usr/share/misc/config.guess ; then \ for i in ./config.guess ; do \ if ! test -e $i.cdbs-orig ; then \ mv $i $i.cdbs-orig ; \ cp --remove-destination /usr/share/misc/config.guess $i ; \ fi ; \ done ; \ fi if test -e /usr/share/misc/config.sub ; then \ for i in ./config.sub ; do \ if ! test -e $i.cdbs-orig ; then \ mv $i $i.cdbs-orig ; \ cp --remove-destination /usr/share/misc/config.sub $i ; \ fi ; \ done ; \ fi touch debian/stamp-autotools-files chmod a+x /«PKGBUILDDIR»/./configure mkdir -p . cd . && CFLAGS="-g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall" CXXFLAGS="-g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall" CPPFLAGS="-D_FORTIFY_SOURCE=2" LDFLAGS="-Wl,-z,relro" /«PKGBUILDDIR»/./configure --build=x86_64-linux-gnu --prefix=/usr --includedir="\${prefix}/include" --mandir="\${prefix}/share/man" --infodir="\${prefix}/share/info" --sysconfdir=/etc --localstatedir=/var --libexecdir="\${prefix}/lib/cvc3" --srcdir=. --disable-maintainer-mode --disable-dependency-tracking --disable-silent-rules --enable-dynamic --enable-java --with-java-home=/usr/lib/jvm/default-java --disable-zchaff configure: WARNING: unrecognized options: --disable-maintainer-mode, --disable-dependency-tracking, --disable-silent-rules checking for g++... g++ checking whether the C++ compiler works... yes checking for C++ compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking how to run the C++ preprocessor... g++ -E checking for ar... ar checking build system type... x86_64-pc-linux-gnu checking host system type... x86_64-pc-linux-gnu checking for install... /usr/bin/install checking for ldconfig... /sbin/ldconfig checking for time... not found configure: WARNING: Regression tests depend upon GNU time. checking for perl... /usr/bin/perl checking for bison... bison -y checking for flex... flex checking lex output file root... lex.yy checking lex library... none needed checking whether yytext is a pointer... no checking for compiler version (g++ --version)... 3.6.0 checking for gmp... yes checking for javac... /usr/lib/jvm/default-java/bin/javac checking for javah... /usr/lib/jvm/default-java/bin/javah checking for jar... /usr/lib/jvm/default-java/bin/jar checking for java... /usr/lib/jvm/default-java/bin/java checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking jni.h usability... yes checking jni.h presence... yes checking for jni.h... yes checking jni_md.h usability... yes checking jni_md.h presence... yes checking for jni_md.h... yes checking for python... /usr/bin/python checking vector usability... yes checking vector presence... yes checking for vector... yes checking list usability... yes checking list presence... yes checking for list... yes checking deque usability... yes checking deque presence... yes checking for deque... yes checking set usability... yes checking set presence... yes checking for set... yes checking string usability... yes checking string presence... yes checking for string... yes checking cstdlib usability... yes checking cstdlib presence... yes checking for cstdlib... yes checking cstdio usability... yes checking cstdio presence... yes checking for cstdio... yes checking functional usability... yes checking functional presence... yes checking for functional... yes checking algorithm usability... yes checking algorithm presence... yes checking for algorithm... yes checking for doxygen... no checking for doxytag... no checking for fig2dev... no checking for dot... NO checking for etags... no checking for ebrowse... no configure: creating ./config.status config.status: creating Makefile.local config.status: creating LICENSE config.status: creating src/cvc3.pc config.status: creating bin/unpack config.status: creating bin/run_tests config.status: creating bin/cvc2smt config.status: creating doc/Doxyfile config.status: creating doc/Makefile configure: WARNING: unrecognized options: --disable-maintainer-mode, --disable-dependency-tracking, --disable-silent-rules CVC3 is configured successfully. Platform: x86_64-linux-gnu Version: 2.4.1 Computer arithmetic: GMP Run ./configure --help for additional configuration options. Type 'make' to compile CVC3. *** CVC3 is configured to compile using shared libraries. *** Type "make ld_sh" for bash shells or "make ld_csh" for csh shells *** to see how to set LD_LIBRARY_PATH appropriately. To use static *** libraries and executables instead, run: *** ./configure --enable-static touch debian/stamp-autotools /usr/bin/make -C . make[1]: Entering directory '/«PKGBUILDDIR»' cd /«PKGBUILDDIR»/src; /usr/bin/make VERSION=2.4.1 make[2]: Entering directory '/«PKGBUILDDIR»/src' cd util && /usr/bin/make make[3]: Entering directory '/«PKGBUILDDIR»/src/util' Making dependencies for debug.cpp statistics.cpp rational.cpp rational-native.cpp rational-gmp.cpp g++ -M -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall -m64 -fPIC -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -DRATIONAL_GMP -D_FORTIFY_SOURCE=2 debug.cpp statistics.cpp rational.cpp rational-native.cpp rational-gmp.cpp >> /«PKGBUILDDIR»/obj/util/x86_64-linux-gnu/Makefile.tmp g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall -m64 -fPIC -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -DRATIONAL_GMP -D_FORTIFY_SOURCE=2 -c debug.cpp -o '/«PKGBUILDDIR»/obj/util/x86_64-linux-gnu/debug.o' g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall -m64 -fPIC -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -DRATIONAL_GMP -D_FORTIFY_SOURCE=2 -c statistics.cpp -o '/«PKGBUILDDIR»/obj/util/x86_64-linux-gnu/statistics.o' In file included from statistics.cpp:21: /«PKGBUILDDIR»/src/include/statistics.h:149:19: warning: private field 'd_os' is not used [-Wunused-private-field] std::ostream* d_os; ^ 1 warning generated. g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall -m64 -fPIC -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -DRATIONAL_GMP -D_FORTIFY_SOURCE=2 -c rational.cpp -o '/«PKGBUILDDIR»/obj/util/x86_64-linux-gnu/rational.o' g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall -m64 -fPIC -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -DRATIONAL_GMP -D_FORTIFY_SOURCE=2 -c rational-native.cpp -o '/«PKGBUILDDIR»/obj/util/x86_64-linux-gnu/rational-native.o' g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall -m64 -fPIC -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -DRATIONAL_GMP -D_FORTIFY_SOURCE=2 -c rational-gmp.cpp -o '/«PKGBUILDDIR»/obj/util/x86_64-linux-gnu/rational-gmp.o' ar ruvs '/«PKGBUILDDIR»/lib/x86_64-linux-gnu/libcvc_util.a' /«PKGBUILDDIR»/obj/util/x86_64-linux-gnu/debug.o /«PKGBUILDDIR»/obj/util/x86_64-linux-gnu/statistics.o /«PKGBUILDDIR»/obj/util/x86_64-linux-gnu/rational.o /«PKGBUILDDIR»/obj/util/x86_64-linux-gnu/rational-native.o /«PKGBUILDDIR»/obj/util/x86_64-linux-gnu/rational-gmp.o ar: creating /«PKGBUILDDIR»/lib/x86_64-linux-gnu/libcvc_util.a a - /«PKGBUILDDIR»/obj/util/x86_64-linux-gnu/debug.o a - /«PKGBUILDDIR»/obj/util/x86_64-linux-gnu/statistics.o a - /«PKGBUILDDIR»/obj/util/x86_64-linux-gnu/rational.o a - /«PKGBUILDDIR»/obj/util/x86_64-linux-gnu/rational-native.o a - /«PKGBUILDDIR»/obj/util/x86_64-linux-gnu/rational-gmp.o make[3]: Leaving directory '/«PKGBUILDDIR»/src/util' cd context && /usr/bin/make make[3]: Entering directory '/«PKGBUILDDIR»/src/context' Making dependencies for context.cpp cdflags.cpp g++ -M -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall -m64 -fPIC -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -D_FORTIFY_SOURCE=2 context.cpp cdflags.cpp >> /«PKGBUILDDIR»/obj/context/x86_64-linux-gnu/Makefile.tmp g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall -m64 -fPIC -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -D_FORTIFY_SOURCE=2 -c context.cpp -o '/«PKGBUILDDIR»/obj/context/x86_64-linux-gnu/context.o' g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall -m64 -fPIC -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -D_FORTIFY_SOURCE=2 -c cdflags.cpp -o '/«PKGBUILDDIR»/obj/context/x86_64-linux-gnu/cdflags.o' ar ruvs '/«PKGBUILDDIR»/lib/x86_64-linux-gnu/libcontext.a' /«PKGBUILDDIR»/obj/context/x86_64-linux-gnu/context.o /«PKGBUILDDIR»/obj/context/x86_64-linux-gnu/cdflags.o ar: creating /«PKGBUILDDIR»/lib/x86_64-linux-gnu/libcontext.a a - /«PKGBUILDDIR»/obj/context/x86_64-linux-gnu/context.o a - /«PKGBUILDDIR»/obj/context/x86_64-linux-gnu/cdflags.o make[3]: Leaving directory '/«PKGBUILDDIR»/src/context' cd expr && /usr/bin/make make[3]: Entering directory '/«PKGBUILDDIR»/src/expr' Making dependencies for expr.cpp expr_manager.cpp expr_stream.cpp expr_value.cpp expr_op.cpp g++ -M -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall -m64 -fPIC -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -D_FORTIFY_SOURCE=2 expr.cpp expr_manager.cpp expr_stream.cpp expr_value.cpp expr_op.cpp >> /«PKGBUILDDIR»/obj/expr/x86_64-linux-gnu/Makefile.tmp g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall -m64 -fPIC -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -D_FORTIFY_SOURCE=2 -c expr.cpp -o '/«PKGBUILDDIR»/obj/expr/x86_64-linux-gnu/expr.o' g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall -m64 -fPIC -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -D_FORTIFY_SOURCE=2 -c expr_manager.cpp -o '/«PKGBUILDDIR»/obj/expr/x86_64-linux-gnu/expr_manager.o' In file included from expr_manager.cpp:26: /«PKGBUILDDIR»/src/include/memory_manager_chunks.h:45:12: warning: private field 'd_chunkSize' is not used [-Wunused-private-field] unsigned d_chunkSize; // number of data elements ^ 1 warning generated. g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall -m64 -fPIC -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -D_FORTIFY_SOURCE=2 -c expr_stream.cpp -o '/«PKGBUILDDIR»/obj/expr/x86_64-linux-gnu/expr_stream.o' g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall -m64 -fPIC -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -D_FORTIFY_SOURCE=2 -c expr_value.cpp -o '/«PKGBUILDDIR»/obj/expr/x86_64-linux-gnu/expr_value.o' g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall -m64 -fPIC -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -D_FORTIFY_SOURCE=2 -c expr_op.cpp -o '/«PKGBUILDDIR»/obj/expr/x86_64-linux-gnu/expr_op.o' ar ruvs '/«PKGBUILDDIR»/lib/x86_64-linux-gnu/libexpr.a' /«PKGBUILDDIR»/obj/expr/x86_64-linux-gnu/expr.o /«PKGBUILDDIR»/obj/expr/x86_64-linux-gnu/expr_manager.o /«PKGBUILDDIR»/obj/expr/x86_64-linux-gnu/expr_stream.o /«PKGBUILDDIR»/obj/expr/x86_64-linux-gnu/expr_value.o /«PKGBUILDDIR»/obj/expr/x86_64-linux-gnu/expr_op.o ar: creating /«PKGBUILDDIR»/lib/x86_64-linux-gnu/libexpr.a a - /«PKGBUILDDIR»/obj/expr/x86_64-linux-gnu/expr.o a - /«PKGBUILDDIR»/obj/expr/x86_64-linux-gnu/expr_manager.o a - /«PKGBUILDDIR»/obj/expr/x86_64-linux-gnu/expr_stream.o a - /«PKGBUILDDIR»/obj/expr/x86_64-linux-gnu/expr_value.o a - /«PKGBUILDDIR»/obj/expr/x86_64-linux-gnu/expr_op.o make[3]: Leaving directory '/«PKGBUILDDIR»/src/expr' cd theorem && /usr/bin/make make[3]: Entering directory '/«PKGBUILDDIR»/src/theorem' Making dependencies for assumptions.cpp theorem.cpp theorem_manager.cpp theorem_producer.cpp common_theorem_producer.cpp g++ -M -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall -m64 -fPIC -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -D_FORTIFY_SOURCE=2 assumptions.cpp theorem.cpp theorem_manager.cpp theorem_producer.cpp common_theorem_producer.cpp >> /«PKGBUILDDIR»/obj/theorem/x86_64-linux-gnu/Makefile.tmp g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall -m64 -fPIC -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -D_FORTIFY_SOURCE=2 -c assumptions.cpp -o '/«PKGBUILDDIR»/obj/theorem/x86_64-linux-gnu/assumptions.o' g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall -m64 -fPIC -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -D_FORTIFY_SOURCE=2 -c theorem.cpp -o '/«PKGBUILDDIR»/obj/theorem/x86_64-linux-gnu/theorem.o' g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall -m64 -fPIC -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -D_FORTIFY_SOURCE=2 -c theorem_manager.cpp -o '/«PKGBUILDDIR»/obj/theorem/x86_64-linux-gnu/theorem_manager.o' In file included from theorem_manager.cpp:32: /«PKGBUILDDIR»/src/include/memory_manager_chunks.h:45:12: warning: private field 'd_chunkSize' is not used [-Wunused-private-field] unsigned d_chunkSize; // number of data elements ^ 1 warning generated. g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall -m64 -fPIC -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -D_FORTIFY_SOURCE=2 -c theorem_producer.cpp -o '/«PKGBUILDDIR»/obj/theorem/x86_64-linux-gnu/theorem_producer.o' g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall -m64 -fPIC -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -D_FORTIFY_SOURCE=2 -c common_theorem_producer.cpp -o '/«PKGBUILDDIR»/obj/theorem/x86_64-linux-gnu/common_theorem_producer.o' ar ruvs '/«PKGBUILDDIR»/lib/x86_64-linux-gnu/libtheorem.a' /«PKGBUILDDIR»/obj/theorem/x86_64-linux-gnu/assumptions.o /«PKGBUILDDIR»/obj/theorem/x86_64-linux-gnu/theorem.o /«PKGBUILDDIR»/obj/theorem/x86_64-linux-gnu/theorem_manager.o /«PKGBUILDDIR»/obj/theorem/x86_64-linux-gnu/theorem_producer.o /«PKGBUILDDIR»/obj/theorem/x86_64-linux-gnu/common_theorem_producer.o ar: creating /«PKGBUILDDIR»/lib/x86_64-linux-gnu/libtheorem.a a - /«PKGBUILDDIR»/obj/theorem/x86_64-linux-gnu/assumptions.o a - /«PKGBUILDDIR»/obj/theorem/x86_64-linux-gnu/theorem.o a - /«PKGBUILDDIR»/obj/theorem/x86_64-linux-gnu/theorem_manager.o a - /«PKGBUILDDIR»/obj/theorem/x86_64-linux-gnu/theorem_producer.o a - /«PKGBUILDDIR»/obj/theorem/x86_64-linux-gnu/common_theorem_producer.o make[3]: Leaving directory '/«PKGBUILDDIR»/src/theorem' cd sat && /usr/bin/make make[3]: Entering directory '/«PKGBUILDDIR»/src/sat' Making dependencies for cnf.cpp cnf_manager.cpp cnf_theorem_producer.cpp dpllt_basic.cpp sat_api.cpp dpllt_minisat.cpp minisat_types.cpp minisat_derivation.cpp minisat_solver.cpp g++ -M -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall -m64 -fPIC -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -D_FORTIFY_SOURCE=2 cnf.cpp cnf_manager.cpp cnf_theorem_producer.cpp dpllt_basic.cpp sat_api.cpp dpllt_minisat.cpp minisat_types.cpp minisat_derivation.cpp minisat_solver.cpp >> /«PKGBUILDDIR»/obj/sat/x86_64-linux-gnu/Makefile.tmp g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall -m64 -fPIC -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -D_FORTIFY_SOURCE=2 -c cnf.cpp -o '/«PKGBUILDDIR»/obj/sat/x86_64-linux-gnu/cnf.o' g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall -m64 -fPIC -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -D_FORTIFY_SOURCE=2 -c cnf_manager.cpp -o '/«PKGBUILDDIR»/obj/sat/x86_64-linux-gnu/cnf_manager.o' g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall -m64 -fPIC -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -D_FORTIFY_SOURCE=2 -c cnf_theorem_producer.cpp -o '/«PKGBUILDDIR»/obj/sat/x86_64-linux-gnu/cnf_theorem_producer.o' In file included from cnf_theorem_producer.cpp:25: ./cnf_theorem_producer.h:34:20: warning: private field 'd_flags' is not used [-Wunused-private-field] const CLFlags& d_flags; ^ 1 warning generated. g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall -m64 -fPIC -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -D_FORTIFY_SOURCE=2 -c dpllt_basic.cpp -o '/«PKGBUILDDIR»/obj/sat/x86_64-linux-gnu/dpllt_basic.o' g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall -m64 -fPIC -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -D_FORTIFY_SOURCE=2 -c sat_api.cpp -o '/«PKGBUILDDIR»/obj/sat/x86_64-linux-gnu/sat_api.o' g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall -m64 -fPIC -O2 -Wall -I. -I/«PKGBUILDDIR»/src/include -D_FORTIFY_SOURCE=2 -c dpllt_minisat.cpp -o '/«PKGBUILDDIR»/obj/sat/x86_64-linux-gnu/dpllt_minisat.o' In file included from dpllt_minisat.cpp:24: In file included from ./minisat_solver.h:43: In file included from ./minisat_types.h:46: ./minisat_global.h:154:43: error: implicit instantiation of undefined template 'MiniSat::STATIC_ASSERTION_FAILURE' vec& operator = (vec& other) { TEMPLATE_FAIL; } ^ ./minisat_global.h:63:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ./minisat_global.h:61:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ ./minisat_global.h:155:43: error: implicit instantiation of undefined template 'MiniSat::STATIC_ASSERTION_FAILURE' vec (vec& other) { TEMPLATE_FAIL; } ^ ./minisat_global.h:63:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ./minisat_global.h:61:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ In file included from dpllt_minisat.cpp:24: In file included from ./minisat_solver.h:44: ./minisat_varorder.h:62:31: warning: private field 'activity' is not used [-Wunused-private-field] const std::vector& activity; // var->act. Pointer to external activity table. ^ ./minisat_varorder.h:64:23: warning: private field 'random_seed' is not used [-Wunused-private-field] double random_seed; // For the internal random number generator ^ 2 warnings and 2 errors generated. make[3]: *** [/«PKGBUILDDIR»/obj/sat/x86_64-linux-gnu/dpllt_minisat.o] Error 1 /«PKGBUILDDIR»/Makefile.std:193: recipe for target '/«PKGBUILDDIR»/obj/sat/x86_64-linux-gnu/dpllt_minisat.o' failed make[3]: Leaving directory '/«PKGBUILDDIR»/src/sat' make[2]: *** [build] Error 2 Makefile:156: recipe for target 'build' failed make[2]: Leaving directory '/«PKGBUILDDIR»/src' make[1]: *** [build] Error 2 Makefile:44: recipe for target 'build' failed make[1]: Leaving directory '/«PKGBUILDDIR»' make: *** [debian/stamp-makefile-build] Error 2 /usr/share/cdbs/1/class/makefile.mk:47: recipe for target 'debian/stamp-makefile-build' failed dpkg-buildpackage: error: debian/rules build-arch gave error exit status 2 ──────────────────────────────────────────────────────────────────────────────── Build finished at 20150326-1304 Finished ──────── E: Build failure (dpkg-buildpackage died) ┌──────────────────────────────────────────────────────────────────────────────┐ │ Cleanup │ └──────────────────────────────────────────────────────────────────────────────┘ Purging /«BUILDDIR» Not cleaning session: cloned chroot in use ┌──────────────────────────────────────────────────────────────────────────────┐ │ Summary │ └──────────────────────────────────────────────────────────────────────────────┘ Build Architecture: amd64 Build-Space: 36876 Build-Time: 57 Distribution: unstable Fail-Stage: build Host Architecture: amd64 Install-Time: 46 Job: cvc3_2.4.1-5 Machine Architecture: amd64 Package: cvc3 Package-Time: 128 Source-Version: 2.4.1-5 Space: 36876 Status: attempted Version: 2.4.1-5 ──────────────────────────────────────────────────────────────────────────────── Finished at 20150326-1304 Build needed 00:02:08, 36876k disc space DC-Status: Failed 128.320584155s DC-Time-Estimation: 128.320584155 versus expected 2632 (r/m: 19.511128571708927 ; m: 128.320584155)