DC-Build-Header: cvc3 2.4.1-2 / Sat Jun 23 01:37:13 +0000 2012 DC-Task: logfile:/tmp/cvc3_2.4.1-2_unstable_clang.log version:2.4.1-2 chroot:unstable modes:binary-only:clang source:cvc3 architecture:any esttime:2095 DC-Sbuild-call: su user -c 'sbuild -n --apt-update -d unstable -v --chroot-setup-commands=/tmp/switch-to-clang cvc3_2.4.1-2' sbuild (Debian sbuild) 0.62.5 (13 Jul 2011) on ip-10-28-64-76.ec2.internal ╔══════════════════════════════════════════════════════════════════════════════╗ ║ cvc3 2.4.1-2 (amd64) 23 Jun 2012 01:37 ║ ╚══════════════════════════════════════════════════════════════════════════════╝ Package: cvc3 Version: 2.4.1-2 Source Version: 2.4.1-2 Distribution: unstable Architecture: amd64 I: NOTICE: Log filtering will replace 'build/cvc3-mzrcoL/cvc3-2.4.1' with '«PKGBUILDDIR»' I: NOTICE: Log filtering will replace 'build/cvc3-mzrcoL' with '«BUILDDIR»' I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/unstable-amd64-sbuild-2e39ecb8-b03d-4321-a02c-590b092f9857' with '«CHROOT»' ┌──────────────────────────────────────────────────────────────────────────────┐ │ Update chroot │ └──────────────────────────────────────────────────────────────────────────────┘ Ign http://localhost unstable InRelease Get:1 http://localhost unstable Release.gpg [836 B] Get:2 http://localhost unstable Release [233 kB] Get:3 http://localhost unstable/main Sources/DiffIndex [7876 B] Get:4 http://localhost unstable/main amd64 Packages/DiffIndex [7876 B] Get:5 http://localhost unstable/main Translation-en/DiffIndex [7876 B] Get:6 http://localhost unstable/main 2012-06-22-1416.06.pdiff [15.9 kB] Get:7 http://localhost unstable/main amd64 2012-06-22-1416.06.pdiff [23.9 kB] Get:8 http://localhost unstable/main 2012-06-22-1416.06.pdiff [15.9 kB] Get:9 http://localhost unstable/main 2012-06-22-1416.06.pdiff [1537 B] Get:10 http://localhost unstable/main amd64 2012-06-22-1416.06.pdiff [23.9 kB] Get:11 http://localhost unstable/main 2012-06-22-2014.37.pdiff [14.8 kB] Get:12 http://localhost unstable/main 2012-06-22-1416.06.pdiff [1537 B] Get:13 http://localhost unstable/main amd64 2012-06-22-2014.37.pdiff [12.8 kB] Get:14 http://localhost unstable/main 2012-06-22-2014.37.pdiff [14.8 kB] Get:15 http://localhost unstable/main 2012-06-22-2014.37.pdiff [234 B] Get:16 http://localhost unstable/main amd64 2012-06-22-2014.37.pdiff [12.8 kB] Get:17 http://localhost unstable/main 2012-06-22-2014.37.pdiff [234 B] Fetched 327 kB in 5s (60.7 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: base-passwd zlib1g 2 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 128 kB of archives. After this operation, 11.3 kB disk space will be freed. Get:1 http://localhost/debian/ unstable/main base-passwd amd64 3.5.25 [40.9 kB] Get:2 http://localhost/debian/ unstable/main zlib1g amd64 1:1.2.7.dfsg-13 [87.4 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 128 kB in 0s (9563 kB/s) (Reading database ... 11730 files and directories currently installed.) Preparing to replace base-passwd 3.5.24 (using .../base-passwd_3.5.25_amd64.deb) ... Unpacking replacement base-passwd ... Setting up base-passwd (3.5.25) ... (Reading database ... 11730 files and directories currently installed.) Preparing to replace zlib1g:amd64 1:1.2.7.dfsg-12 (using .../zlib1g_1%3a1.2.7.dfsg-13_amd64.deb) ... Unpacking replacement zlib1g:amd64 ... Setting up zlib1g:amd64 (1:1.2.7.dfsg-13) ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Fetch source files │ └──────────────────────────────────────────────────────────────────────────────┘ Check APT ───────── Checking available source versions... Download source files with APT ────────────────────────────── Reading package lists... Building dependency tree... Reading state information... NOTICE: 'cvc3' packaging is maintained in the 'Bzr' version control system at: lp:cvc3-packaging Please use: bzr branch lp:cvc3-packaging to retrieve the latest (possibly unreleased) updates to the package. Need to get 1194 kB of source archives. Get:1 http://localhost/debian/ unstable/main cvc3 2.4.1-2 (dsc) [1477 B] Get:2 http://localhost/debian/ unstable/main cvc3 2.4.1-2 (tar) [1176 kB] Get:3 http://localhost/debian/ unstable/main cvc3 2.4.1-2 (diff) [16.3 kB] Fetched 1194 kB in 0s (3460 kB/s) Download complete and in download only mode Check arch ────────── ┌──────────────────────────────────────────────────────────────────────────────┐ │ Chroot Setup Commands │ └──────────────────────────────────────────────────────────────────────────────┘ /tmp/switch-to-clang ──────────────────── + echo 'Entering customization script...' Entering customization script... + apt-get update Ign http://localhost unstable InRelease Hit http://localhost unstable Release.gpg Hit http://localhost unstable Release Hit http://localhost unstable/main Sources/DiffIndex Hit http://localhost unstable/main amd64 Packages/DiffIndex Hit http://localhost unstable/main Translation-en/DiffIndex Reading package lists... + echo 'Install of clang' Install of clang + apt-get update Ign http://localhost unstable InRelease Hit http://localhost unstable Release.gpg Hit http://localhost unstable Release Hit http://localhost unstable/main Sources/DiffIndex Hit http://localhost unstable/main amd64 Packages/DiffIndex Hit http://localhost unstable/main Translation-en/DiffIndex Reading package lists... + apt-get install --yes --no-install-recommends clang -t unstable Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: libclang-common-dev libffi5 libllvm3.1 Recommended packages: llvm-3.1-dev python The following NEW packages will be installed: clang libclang-common-dev libffi5 libllvm3.1 0 upgraded, 4 newly installed, 0 to remove and 0 not upgraded. Need to get 13.1 MB of archives. After this operation, 35.6 MB of additional disk space will be used. Get:1 http://localhost/debian/ unstable/main libffi5 amd64 3.0.10-3 [24.8 kB] Get:2 http://localhost/debian/ unstable/main libllvm3.1 amd64 3.1-1 [7276 kB] Get:3 http://localhost/debian/ unstable/main libclang-common-dev amd64 3.1-6 [84.0 kB] Get:4 http://localhost/debian/ unstable/main clang amd64 3.1-6 [5755 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 13.1 MB in 0s (43.4 MB/s) Selecting previously unselected package libffi5:amd64. (Reading database ... 11730 files and directories currently installed.) Unpacking libffi5:amd64 (from .../libffi5_3.0.10-3_amd64.deb) ... Selecting previously unselected package libllvm3.1:amd64. Unpacking libllvm3.1:amd64 (from .../libllvm3.1_3.1-1_amd64.deb) ... Selecting previously unselected package libclang-common-dev. Unpacking libclang-common-dev (from .../libclang-common-dev_3.1-6_amd64.deb) ... Selecting previously unselected package clang. Unpacking clang (from .../archives/clang_3.1-6_amd64.deb) ... Setting up libffi5:amd64 (3.0.10-3) ... Setting up libllvm3.1:amd64 (3.1-1) ... Setting up libclang-common-dev (3.1-6) ... Setting up clang (3.1-6) ... + echo 'Replace gcc, g++ & cpp by clang' Replace gcc, g++ & cpp by clang + VERSION=4.7 + cd /usr/bin + rm g++-4.7 gcc-4.7 cpp-4.7 + ln -s clang++ g++-4.7 + ln -s clang gcc-4.7 + ln -s clang cpp-4.7 + cd - /«BUILDDIR» + echo 'Block the installation of new gcc version' Block the installation of new gcc version + echo 'gcc-4.6 hold' + dpkg --set-selections + echo 'cpp-4.6 hold' + dpkg --set-selections + echo 'g++-4.6 hold' + dpkg --set-selections + echo 'gcc-4.7 hold' + dpkg --set-selections + echo 'cpp-4.7 hold' + dpkg --set-selections + echo 'g++-4.7 hold' + dpkg --set-selections + echo 'Check if gcc, g++ & cpp are actually clang' Check if gcc, g++ & cpp are actually clang + gcc --version + grep clang I: Finished running '/tmp/switch-to-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-tVnYtz/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 debconf: delaying package configuration, since apt-utils is not installed 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 0 B/708 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 ... 11810 files and directories currently installed.) Unpacking sbuild-build-depends-core-dummy (from .../sbuild-build-depends-core-dummy.deb) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... Merged Build-Depends: base-files, base-passwd, bash, coreutils, dash, debianutils, diffutils, dpkg, e2fsprogs, findutils, grep, gzip, hostname, ncurses-base, ncurses-bin, perl-base, sed, login, sysvinit-utils, sysvinit, tar, bsdutils, mount, util-linux, libc6-dev | libc-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), cdbs, debhelper (>= 7), autoconf, autotools-dev, bison, default-jdk, gcj-native-helper, flex, libgmp-dev | libgmp3-dev, patchutils, python Filtered Build-Depends: base-files, base-passwd, bash, coreutils, dash, debianutils, diffutils, dpkg, e2fsprogs, findutils, grep, gzip, hostname, ncurses-base, ncurses-bin, perl-base, sed, login, sysvinit-utils, sysvinit, tar, bsdutils, mount, util-linux, libc6-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), cdbs, debhelper (>= 7), autoconf, autotools-dev, bison, default-jdk, gcj-native-helper, flex, libgmp-dev, patchutils, python dpkg-deb: building package `sbuild-build-depends-cvc3-dummy' in `/«BUILDDIR»/resolver-faMiDb/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 ecj ecj-gcj fastjar file flex fontconfig fontconfig-config gcj-4.7-base gcj-4.7-jdk gcj-4.7-jre gcj-4.7-jre-headless gcj-4.7-jre-lib gcj-jdk gcj-jre gcj-jre-headless gcj-native-helper gettext gettext-base groff-base html2text intltool-debian java-common libantlr-java libasound2 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 libcap2 libcroco3 libcups2 libdatrie1 libdbus-1-3 libecj-java libecj-java-gcj libexpat1 libflac8 libfontconfig1 libfreetype6 libgcj-bc libgcj-common libgcj13 libgcj13-awt libgcj13-dev libgcrypt11 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgettextpo0 libgif4 libglib2.0-0 libgmp-dev libgmpxx4ldbl libgnutls26 libgpg-error0 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common libice6 libjasper1 libjbig0 libjpeg8 libjson0 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 libmagic1 libncursesw5 libnspr4 libnss3 libnss3-1d libogg0 libp11-kit0 libpango1.0-0 libpcre3 libpcsclite1 libpipeline1 libpixman-1-0 libpng12-0 libpulse0 libsm6 libsndfile1 libsqlite3-0 libssl1.0.0 libtasn1-3 libthai-data libthai0 libtiff4 libunistring0 libvorbis0a libvorbisenc2 libwrap0 libx11-6 libx11-data libx11-xcb1 libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxml2 libxrandr2 libxrender1 libxtst6 m4 man-db mime-support openjdk-6-jdk openjdk-6-jre openjdk-6-jre-headless openjdk-6-jre-lib openssl patchutils po-debconf python python-minimal python2.7 python2.7-minimal shared-mime-info ttf-dejavu-core tzdata-java x11-common zlib1g-dev Suggested packages: autoconf2.13 autoconf-archive gnu-standards autoconf-doc libtool bison-doc wamerican wordlist whois vacation devscripts dh-make ant gcj-4.7-source libgcj13-dbg gettext-doc groff equivs libasound2-plugins cups-common libgcj-doc rng-tools libgmp10-doc libmpfr-dev krb5-doc krb5-user librsvg2-common gvfs libjasper-runtime ttf-baekmuk ttf-arphic-gbsn00lp ttf-arphic-bsmi00lp ttf-arphic-gkai00mp ttf-arphic-bkai00mp pcscd pulseaudio less www-browser openjdk-6-demo openjdk-6-source visualvm icedtea-plugin libnss-mdns sun-java6-fonts fonts-ipafont-gothic fonts-ipafont-mincho ttf-wqy-microhei ttf-wqy-zenhei ttf-indic-fonts libmail-box-perl python-doc python-tk python2.7-doc binfmt-support Recommended packages: automake automaken java-gcj-compat curl wget lynx-cur autopoint dbus libglib2.0-data hicolor-icon-theme libgtk2.0-bin krb5-locales libgpm2 tcpd xml-core libxt-dev ttf-dejavu-extra icedtea-netx icedtea-6-jre-cacao icedtea-6-jre-jamvm 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 ecj ecj-gcj fastjar file flex fontconfig fontconfig-config gcj-4.7-base gcj-4.7-jdk gcj-4.7-jre gcj-4.7-jre-headless gcj-4.7-jre-lib gcj-jdk gcj-jre gcj-jre-headless gcj-native-helper gettext gettext-base groff-base html2text intltool-debian java-common libantlr-java libasound2 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 libcap2 libcroco3 libcups2 libdatrie1 libdbus-1-3 libecj-java libecj-java-gcj libexpat1 libflac8 libfontconfig1 libfreetype6 libgcj-bc libgcj-common libgcj13 libgcj13-awt libgcj13-dev libgcrypt11 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgettextpo0 libgif4 libglib2.0-0 libgmp-dev libgmpxx4ldbl libgnutls26 libgpg-error0 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common libice6 libjasper1 libjbig0 libjpeg8 libjson0 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 libmagic1 libncursesw5 libnspr4 libnss3 libnss3-1d libogg0 libp11-kit0 libpango1.0-0 libpcre3 libpcsclite1 libpipeline1 libpixman-1-0 libpng12-0 libpulse0 libsm6 libsndfile1 libsqlite3-0 libssl1.0.0 libtasn1-3 libthai-data libthai0 libtiff4 libunistring0 libvorbis0a libvorbisenc2 libwrap0 libx11-6 libx11-data libx11-xcb1 libxau6 libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxft2 libxi6 libxinerama1 libxml2 libxrandr2 libxrender1 libxtst6 m4 man-db mime-support openjdk-6-jdk openjdk-6-jre openjdk-6-jre-headless openjdk-6-jre-lib openssl patchutils po-debconf python python-minimal python2.7 python2.7-minimal sbuild-build-depends-cvc3-dummy shared-mime-info ttf-dejavu-core tzdata-java x11-common zlib1g-dev 0 upgraded, 150 newly installed, 0 to remove and 0 not upgraded. Need to get 126 MB/126 MB of archives. After this operation, 351 MB of additional disk space will be used. Get:1 http://localhost/debian/ unstable/main libncursesw5 amd64 5.9-9 [141 kB] Get:2 http://localhost/debian/ unstable/main libpipeline1 amd64 1.2.1-1 [39.2 kB] Get:3 http://localhost/debian/ unstable/main libssl1.0.0 amd64 1.0.1c-3 [1211 kB] Get:4 http://localhost/debian/ unstable/main libasprintf0c2 amd64 0.18.1.1-9 [26.8 kB] Get:5 http://localhost/debian/ unstable/main libcap2 amd64 1:2.22-1.1 [13.5 kB] Get:6 http://localhost/debian/ unstable/main libgpg-error0 amd64 1.10-3 [66.8 kB] Get:7 http://localhost/debian/ unstable/main libgcrypt11 amd64 1.5.0-3 [298 kB] Get:8 http://localhost/debian/ unstable/main libp11-kit0 amd64 0.12-3 [52.8 kB] Get:9 http://localhost/debian/ unstable/main libtasn1-3 amd64 2.13-2 [67.7 kB] Get:10 http://localhost/debian/ unstable/main libgnutls26 amd64 2.12.20-1 [616 kB] Get:11 http://localhost/debian/ unstable/main libkeyutils1 amd64 1.5.5-2 [9300 B] Get:12 http://localhost/debian/ unstable/main libkrb5support0 amd64 1.10.1+dfsg-1 [49.0 kB] Get:13 http://localhost/debian/ unstable/main libk5crypto3 amd64 1.10.1+dfsg-1 [112 kB] Get:14 http://localhost/debian/ unstable/main libkrb5-3 amd64 1.10.1+dfsg-1 [393 kB] Get:15 http://localhost/debian/ unstable/main libgssapi-krb5-2 amd64 1.10.1+dfsg-1 [147 kB] Get:16 http://localhost/debian/ unstable/main libmagic1 amd64 5.11-1 [250 kB] Get:17 http://localhost/debian/ unstable/main libpcre3 amd64 1:8.30-5 [242 kB] Get:18 http://localhost/debian/ unstable/main libsqlite3-0 amd64 3.7.13-1 [455 kB] Get:19 http://localhost/debian/ unstable/main libwrap0 amd64 7.6.q-23 [62.3 kB] Get:20 http://localhost/debian/ unstable/main libxml2 amd64 2.8.0+dfsg1-4 [903 kB] Get:21 http://localhost/debian/ unstable/main m4 amd64 1.4.16-3 [260 kB] Get:22 http://localhost/debian/ unstable/main flex amd64 2.5.35-10 [332 kB] Get:23 http://localhost/debian/ unstable/main libasound2 amd64 1.0.25-3 [461 kB] Get:24 http://localhost/debian/ unstable/main libasyncns0 amd64 0.8-4 [13.6 kB] Get:25 http://localhost/debian/ unstable/main libglib2.0-0 amd64 2.32.3-1 [2081 kB] Get:26 http://localhost/debian/ unstable/main libatk1.0-data all 2.4.0-2 [240 kB] Get:27 http://localhost/debian/ unstable/main libatk1.0-0 amd64 2.4.0-2 [95.1 kB] Get:28 http://localhost/debian/ unstable/main libexpat1 amd64 2.1.0-1 [141 kB] Get:29 http://localhost/debian/ unstable/main libfreetype6 amd64 2.4.9-1 [450 kB] Get:30 http://localhost/debian/ unstable/main ttf-dejavu-core all 2.33-2 [1552 kB] Get:31 http://localhost/debian/ unstable/main fontconfig-config all 2.9.0-6 [232 kB] Get:32 http://localhost/debian/ unstable/main libfontconfig1 amd64 2.9.0-6 [299 kB] Get:33 http://localhost/debian/ unstable/main libpixman-1-0 amd64 0.26.0-2 [427 kB] Get:34 http://localhost/debian/ unstable/main libpng12-0 amd64 1.2.49-1 [190 kB] Get:35 http://localhost/debian/ unstable/main libxau6 amd64 1:1.0.7-1 [18.8 kB] Get:36 http://localhost/debian/ unstable/main libxdmcp6 amd64 1:1.1.1-1 [26.3 kB] Get:37 http://localhost/debian/ unstable/main libxcb1 amd64 1.8.1-1 [50.0 kB] Get:38 http://localhost/debian/ unstable/main libx11-data all 2:1.5.0-1 [189 kB] Get:39 http://localhost/debian/ unstable/main libx11-6 amd64 2:1.5.0-1 [901 kB] Get:40 http://localhost/debian/ unstable/main libxcb-render0 amd64 1.8.1-1 [18.4 kB] Get:41 http://localhost/debian/ unstable/main libxcb-shm0 amd64 1.8.1-1 [10.1 kB] Get:42 http://localhost/debian/ unstable/main libxrender1 amd64 1:0.9.7-1 [32.2 kB] Get:43 http://localhost/debian/ unstable/main libcairo2 amd64 1.12.2-2 [912 kB] Get:44 http://localhost/debian/ unstable/main libjpeg8 amd64 8d-1 [134 kB] Get:45 http://localhost/debian/ unstable/main libjasper1 amd64 1.900.1-13 [159 kB] Get:46 http://localhost/debian/ unstable/main libjbig0 amd64 2.0-2 [32.2 kB] Get:47 http://localhost/debian/ unstable/main libtiff4 amd64 3.9.6-5 [201 kB] Get:48 http://localhost/debian/ unstable/main libgdk-pixbuf2.0-common all 2.26.1-1 [497 kB] Get:49 http://localhost/debian/ unstable/main libgdk-pixbuf2.0-0 amd64 2.26.1-1 [207 kB] Get:50 http://localhost/debian/ unstable/main libgtk2.0-common all 2.24.10-1 [6879 kB] Get:51 http://localhost/debian/ unstable/main libavahi-common-data amd64 0.6.31-1 [134 kB] Get:52 http://localhost/debian/ unstable/main libavahi-common3 amd64 0.6.31-1 [54.3 kB] Get:53 http://localhost/debian/ unstable/main libdbus-1-3 amd64 1.6.0-1 [171 kB] Get:54 http://localhost/debian/ unstable/main libavahi-client3 amd64 0.6.31-1 [59.1 kB] Get:55 http://localhost/debian/ unstable/main libcups2 amd64 1.5.3-2 [255 kB] Get:56 http://localhost/debian/ unstable/main libthai-data all 0.1.18-1 [205 kB] Get:57 http://localhost/debian/ unstable/main libdatrie1 amd64 0.2.5-3 [28.6 kB] Get:58 http://localhost/debian/ unstable/main libthai0 amd64 0.1.18-1 [45.0 kB] Get:59 http://localhost/debian/ unstable/main libxft2 amd64 2.3.1-1 [61.0 kB] Get:60 http://localhost/debian/ unstable/main fontconfig amd64 2.9.0-6 [349 kB] Get:61 http://localhost/debian/ unstable/main libpango1.0-0 amd64 1.30.0-1 [461 kB] Get:62 http://localhost/debian/ unstable/main libxcomposite1 amd64 1:0.4.3-2 [16.6 kB] Get:63 http://localhost/debian/ unstable/main libxfixes3 amd64 1:5.0-4 [21.5 kB] Get:64 http://localhost/debian/ unstable/main libxcursor1 amd64 1:1.1.13-1 [26.9 kB] Get:65 http://localhost/debian/ unstable/main libxdamage1 amd64 1:1.1.3-2 [14.3 kB] Get:66 http://localhost/debian/ unstable/main libxext6 amd64 2:1.3.1-2 [55.3 kB] Get:67 http://localhost/debian/ unstable/main libxi6 amd64 2:1.6.1-1 [75.0 kB] Get:68 http://localhost/debian/ unstable/main libxinerama1 amd64 2:1.1.2-1 [16.8 kB] Get:69 http://localhost/debian/ unstable/main libxrandr2 amd64 2:1.3.2-2 [33.5 kB] Get:70 http://localhost/debian/ unstable/main shared-mime-info amd64 1.0-1 [1066 kB] Get:71 http://localhost/debian/ unstable/main libgtk2.0-0 amd64 2.24.10-1 [2730 kB] Get:72 http://localhost/debian/ unstable/main libatk-wrapper-java all 0.30.4-2 [30.8 kB] Get:73 http://localhost/debian/ unstable/main libatk-wrapper-java-jni amd64 0.30.4-2 [31.6 kB] Get:74 http://localhost/debian/ unstable/main libcroco3 amd64 0.6.5-1 [151 kB] Get:75 http://localhost/debian/ unstable/main libogg0 amd64 1.3.0-4 [20.6 kB] Get:76 http://localhost/debian/ unstable/main libflac8 amd64 1.2.1-6 [154 kB] Get:77 http://localhost/debian/ unstable/main python2.7-minimal amd64 2.7.3-1 [1770 kB] Get:78 http://localhost/debian/ unstable/main mime-support all 3.52-1 [35.5 kB] Get:79 http://localhost/debian/ unstable/main python2.7 amd64 2.7.3-1 [2726 kB] Get:80 http://localhost/debian/ unstable/main python-minimal all 2.7.3~rc2-1 [40.4 kB] Get:81 http://localhost/debian/ unstable/main python all 2.7.3~rc2-1 [179 kB] Get:82 http://localhost/debian/ unstable/main libgcj-common all 1:4.6.3-6 [139 kB] Get:83 http://localhost/debian/ unstable/main gcj-4.7-base amd64 4.7.1-1 [135 kB] Get:84 http://localhost/debian/ unstable/main libgcj13 amd64 4.7.1-1 [13.6 MB] Get:85 http://localhost/debian/ unstable/main libgcj-bc amd64 4.7.0-6 [1180 B] Get:86 http://localhost/debian/ unstable/main x11-common all 1:7.6+13 [278 kB] Get:87 http://localhost/debian/ unstable/main libice6 amd64 2:1.0.8-2 [63.1 kB] Get:88 http://localhost/debian/ unstable/main libsm6 amd64 2:1.2.1-2 [34.2 kB] Get:89 http://localhost/debian/ unstable/main libxtst6 amd64 2:1.2.1-1 [26.6 kB] Get:90 http://localhost/debian/ unstable/main libgcj13-awt amd64 4.7.1-1 [83.0 kB] Get:91 http://localhost/debian/ unstable/main libunistring0 amd64 0.9.3-5 [434 kB] Get:92 http://localhost/debian/ unstable/main libgettextpo0 amd64 0.18.1.1-9 [145 kB] Get:93 http://localhost/debian/ unstable/main libgmpxx4ldbl amd64 2:5.0.5+dfsg-2 [21.6 kB] Get:94 http://localhost/debian/ unstable/main libnspr4 amd64 2:4.9.1-1 [140 kB] Get:95 http://localhost/debian/ unstable/main libnss3 amd64 2:3.13.5-1 [1888 kB] Get:96 http://localhost/debian/ unstable/main libpcsclite1 amd64 1.8.3-3 [56.5 kB] Get:97 http://localhost/debian/ unstable/main libjson0 amd64 0.9-1.1 [19.4 kB] Get:98 http://localhost/debian/ unstable/main libvorbis0a amd64 1.3.2-1.3 [109 kB] Get:99 http://localhost/debian/ unstable/main libvorbisenc2 amd64 1.3.2-1.3 [143 kB] Get:100 http://localhost/debian/ unstable/main libsndfile1 amd64 1.0.25-5 [240 kB] Get:101 http://localhost/debian/ unstable/main libx11-xcb1 amd64 2:1.5.0-1 [139 kB] Get:102 http://localhost/debian/ unstable/main libpulse0 amd64 2.0-3 [305 kB] Get:103 http://localhost/debian/ unstable/main openjdk-6-jre-lib all 6b24-1.11.1-6 [6132 kB] Get:104 http://localhost/debian/ unstable/main openssl amd64 1.0.1c-3 [697 kB] Get:105 http://localhost/debian/ unstable/main ca-certificates all 20120212 [177 kB] Get:106 http://localhost/debian/ unstable/main java-common all 0.47 [66.1 kB] Get:107 http://localhost/debian/ unstable/main default-jre-headless amd64 1:1.6-47 [8112 B] Get:108 http://localhost/debian/ unstable/main libnss3-1d amd64 2:3.13.5-1 [21.6 kB] Get:109 http://localhost/debian/ unstable/main ca-certificates-java all 20120608 [14.2 kB] Get:110 http://localhost/debian/ unstable/main tzdata-java all 2012c-1 [150 kB] Get:111 http://localhost/debian/ unstable/main openjdk-6-jre-headless amd64 6b24-1.11.1-6 [25.4 MB] Get:112 http://localhost/debian/ unstable/main bsdmainutils amd64 9.0.3 [209 kB] Get:113 http://localhost/debian/ unstable/main groff-base amd64 1.21-8 [1152 kB] Get:114 http://localhost/debian/ unstable/main man-db amd64 2.6.2-1 [1061 kB] Get:115 http://localhost/debian/ unstable/main file amd64 5.11-1 [53.2 kB] Get:116 http://localhost/debian/ unstable/main gettext-base amd64 0.18.1.1-9 [154 kB] Get:117 http://localhost/debian/ unstable/main autoconf all 2.69-1 [589 kB] Get:118 http://localhost/debian/ unstable/main autotools-dev all 20120608.1 [73.0 kB] Get:119 http://localhost/debian/ unstable/main libbison-dev amd64 1:2.5.dfsg-2.1 [289 kB] Get:120 http://localhost/debian/ unstable/main bison amd64 1:2.5.dfsg-2.1 [689 kB] Get:121 http://localhost/debian/ unstable/main cdbs all 0.4.115 [80.2 kB] Get:122 http://localhost/debian/ unstable/main html2text amd64 1.3.2a-15 [103 kB] Get:123 http://localhost/debian/ unstable/main gettext amd64 0.18.1.1-9 [1975 kB] Get:124 http://localhost/debian/ unstable/main intltool-debian all 0.35.0+20060710.1 [30.8 kB] Get:125 http://localhost/debian/ unstable/main po-debconf all 1.0.16+nmu2 [224 kB] Get:126 http://localhost/debian/ unstable/main debhelper all 9.20120608 [700 kB] Get:127 http://localhost/debian/ unstable/main libgif4 amd64 4.1.6-9.1 [42.1 kB] Get:128 http://localhost/debian/ unstable/main openjdk-6-jre amd64 6b24-1.11.1-6 [237 kB] Get:129 http://localhost/debian/ unstable/main default-jre amd64 1:1.6-47 [836 B] Get:130 http://localhost/debian/ unstable/main openjdk-6-jdk amd64 6b24-1.11.1-6 [11.0 MB] Get:131 http://localhost/debian/ unstable/main default-jdk amd64 1:1.6-47 [834 B] Get:132 http://localhost/debian/ unstable/main libecj-java all 3.5.1-4 [1239 kB] Get:133 http://localhost/debian/ unstable/main gcj-4.7-jre-headless amd64 4.7.1-1 [50.5 kB] Get:134 http://localhost/debian/ unstable/main gcj-4.7-jre-lib all 4.7.1-1 [10.5 MB] Get:135 http://localhost/debian/ unstable/main ecj amd64 3.5.1-4 [18.7 kB] Get:136 http://localhost/debian/ unstable/main libecj-java-gcj amd64 3.5.1-4 [1921 kB] Get:137 http://localhost/debian/ unstable/main ecj-gcj amd64 3.5.1-4 [1551 kB] Get:138 http://localhost/debian/ unstable/main fastjar amd64 2:0.98-3 [90.2 kB] Get:139 http://localhost/debian/ unstable/main gcj-4.7-jre amd64 4.7.1-1 [1006 B] Get:140 http://localhost/debian/ unstable/main zlib1g-dev amd64 1:1.2.7.dfsg-13 [215 kB] Get:141 http://localhost/debian/ unstable/main libgcj13-dev amd64 4.7.1-1 [768 kB] Get:142 http://localhost/debian/ unstable/main libantlr-java all 2.7.7+dfsg-4 [434 kB] Get:143 http://localhost/debian/ unstable/main gcj-4.7-jdk amd64 4.7.1-1 [5681 kB] Get:144 http://localhost/debian/ unstable/main gcj-jre-headless amd64 4:4.7.0-6 [1474 B] Get:145 http://localhost/debian/ unstable/main gcj-jre amd64 4:4.7.0-6 [1024 B] Get:146 http://localhost/debian/ unstable/main gcj-jdk amd64 4:4.7.0-6 [6268 B] Get:147 http://localhost/debian/ unstable/main gcj-native-helper amd64 1:1.6-47 [978 B] Get:148 http://localhost/debian/ unstable/main libgmp-dev amd64 2:5.0.5+dfsg-2 [610 kB] Get:149 http://localhost/debian/ unstable/main patchutils amd64 0.3.2-1.1 [110 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 126 MB in 4s (31.1 MB/s) Selecting previously unselected package libncursesw5:amd64. (Reading database ... 11810 files and directories currently installed.) Unpacking libncursesw5:amd64 (from .../libncursesw5_5.9-9_amd64.deb) ... Selecting previously unselected package libpipeline1:amd64. Unpacking libpipeline1:amd64 (from .../libpipeline1_1.2.1-1_amd64.deb) ... Selecting previously unselected package libssl1.0.0:amd64. Unpacking libssl1.0.0:amd64 (from .../libssl1.0.0_1.0.1c-3_amd64.deb) ... Selecting previously unselected package libasprintf0c2:amd64. Unpacking libasprintf0c2:amd64 (from .../libasprintf0c2_0.18.1.1-9_amd64.deb) ... Selecting previously unselected package libcap2:amd64. Unpacking libcap2:amd64 (from .../libcap2_1%3a2.22-1.1_amd64.deb) ... Selecting previously unselected package libgpg-error0:amd64. Unpacking libgpg-error0:amd64 (from .../libgpg-error0_1.10-3_amd64.deb) ... Selecting previously unselected package libgcrypt11:amd64. Unpacking libgcrypt11:amd64 (from .../libgcrypt11_1.5.0-3_amd64.deb) ... Selecting previously unselected package libp11-kit0:amd64. Unpacking libp11-kit0:amd64 (from .../libp11-kit0_0.12-3_amd64.deb) ... Selecting previously unselected package libtasn1-3:amd64. Unpacking libtasn1-3:amd64 (from .../libtasn1-3_2.13-2_amd64.deb) ... Selecting previously unselected package libgnutls26:amd64. Unpacking libgnutls26:amd64 (from .../libgnutls26_2.12.20-1_amd64.deb) ... Selecting previously unselected package libkeyutils1:amd64. Unpacking libkeyutils1:amd64 (from .../libkeyutils1_1.5.5-2_amd64.deb) ... Selecting previously unselected package libkrb5support0:amd64. Unpacking libkrb5support0:amd64 (from .../libkrb5support0_1.10.1+dfsg-1_amd64.deb) ... Selecting previously unselected package libk5crypto3:amd64. Unpacking libk5crypto3:amd64 (from .../libk5crypto3_1.10.1+dfsg-1_amd64.deb) ... Selecting previously unselected package libkrb5-3:amd64. Unpacking libkrb5-3:amd64 (from .../libkrb5-3_1.10.1+dfsg-1_amd64.deb) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Unpacking libgssapi-krb5-2:amd64 (from .../libgssapi-krb5-2_1.10.1+dfsg-1_amd64.deb) ... Selecting previously unselected package libmagic1:amd64. Unpacking libmagic1:amd64 (from .../libmagic1_5.11-1_amd64.deb) ... Selecting previously unselected package libpcre3:amd64. Unpacking libpcre3:amd64 (from .../libpcre3_1%3a8.30-5_amd64.deb) ... Selecting previously unselected package libsqlite3-0:amd64. Unpacking libsqlite3-0:amd64 (from .../libsqlite3-0_3.7.13-1_amd64.deb) ... Selecting previously unselected package libwrap0:amd64. Unpacking libwrap0:amd64 (from .../libwrap0_7.6.q-23_amd64.deb) ... Selecting previously unselected package libxml2:amd64. Unpacking libxml2:amd64 (from .../libxml2_2.8.0+dfsg1-4_amd64.deb) ... Selecting previously unselected package m4. Unpacking m4 (from .../archives/m4_1.4.16-3_amd64.deb) ... Selecting previously unselected package flex. Unpacking flex (from .../flex_2.5.35-10_amd64.deb) ... Selecting previously unselected package libasound2:amd64. Unpacking libasound2:amd64 (from .../libasound2_1.0.25-3_amd64.deb) ... Selecting previously unselected package libasyncns0:amd64. Unpacking libasyncns0:amd64 (from .../libasyncns0_0.8-4_amd64.deb) ... Selecting previously unselected package libglib2.0-0:amd64. Unpacking libglib2.0-0:amd64 (from .../libglib2.0-0_2.32.3-1_amd64.deb) ... Selecting previously unselected package libatk1.0-data. Unpacking libatk1.0-data (from .../libatk1.0-data_2.4.0-2_all.deb) ... Selecting previously unselected package libatk1.0-0:amd64. Unpacking libatk1.0-0:amd64 (from .../libatk1.0-0_2.4.0-2_amd64.deb) ... Selecting previously unselected package libexpat1:amd64. Unpacking libexpat1:amd64 (from .../libexpat1_2.1.0-1_amd64.deb) ... Selecting previously unselected package libfreetype6:amd64. Unpacking libfreetype6:amd64 (from .../libfreetype6_2.4.9-1_amd64.deb) ... Selecting previously unselected package ttf-dejavu-core. Unpacking ttf-dejavu-core (from .../ttf-dejavu-core_2.33-2_all.deb) ... Selecting previously unselected package fontconfig-config. Unpacking fontconfig-config (from .../fontconfig-config_2.9.0-6_all.deb) ... Selecting previously unselected package libfontconfig1:amd64. Unpacking libfontconfig1:amd64 (from .../libfontconfig1_2.9.0-6_amd64.deb) ... Selecting previously unselected package libpixman-1-0:amd64. Unpacking libpixman-1-0:amd64 (from .../libpixman-1-0_0.26.0-2_amd64.deb) ... Selecting previously unselected package libpng12-0:amd64. Unpacking libpng12-0:amd64 (from .../libpng12-0_1.2.49-1_amd64.deb) ... Selecting previously unselected package libxau6:amd64. Unpacking libxau6:amd64 (from .../libxau6_1%3a1.0.7-1_amd64.deb) ... Selecting previously unselected package libxdmcp6:amd64. Unpacking libxdmcp6:amd64 (from .../libxdmcp6_1%3a1.1.1-1_amd64.deb) ... Selecting previously unselected package libxcb1:amd64. Unpacking libxcb1:amd64 (from .../libxcb1_1.8.1-1_amd64.deb) ... Selecting previously unselected package libx11-data. Unpacking libx11-data (from .../libx11-data_2%3a1.5.0-1_all.deb) ... Selecting previously unselected package libx11-6:amd64. Unpacking libx11-6:amd64 (from .../libx11-6_2%3a1.5.0-1_amd64.deb) ... Selecting previously unselected package libxcb-render0:amd64. Unpacking libxcb-render0:amd64 (from .../libxcb-render0_1.8.1-1_amd64.deb) ... Selecting previously unselected package libxcb-shm0:amd64. Unpacking libxcb-shm0:amd64 (from .../libxcb-shm0_1.8.1-1_amd64.deb) ... Selecting previously unselected package libxrender1:amd64. Unpacking libxrender1:amd64 (from .../libxrender1_1%3a0.9.7-1_amd64.deb) ... Selecting previously unselected package libcairo2:amd64. Unpacking libcairo2:amd64 (from .../libcairo2_1.12.2-2_amd64.deb) ... Selecting previously unselected package libjpeg8:amd64. Unpacking libjpeg8:amd64 (from .../libjpeg8_8d-1_amd64.deb) ... Selecting previously unselected package libjasper1:amd64. Unpacking libjasper1:amd64 (from .../libjasper1_1.900.1-13_amd64.deb) ... Selecting previously unselected package libjbig0:amd64. Unpacking libjbig0:amd64 (from .../libjbig0_2.0-2_amd64.deb) ... Selecting previously unselected package libtiff4:amd64. Unpacking libtiff4:amd64 (from .../libtiff4_3.9.6-5_amd64.deb) ... Selecting previously unselected package libgdk-pixbuf2.0-common. Unpacking libgdk-pixbuf2.0-common (from .../libgdk-pixbuf2.0-common_2.26.1-1_all.deb) ... Selecting previously unselected package libgdk-pixbuf2.0-0:amd64. Unpacking libgdk-pixbuf2.0-0:amd64 (from .../libgdk-pixbuf2.0-0_2.26.1-1_amd64.deb) ... Selecting previously unselected package libgtk2.0-common. Unpacking libgtk2.0-common (from .../libgtk2.0-common_2.24.10-1_all.deb) ... Selecting previously unselected package libavahi-common-data:amd64. Unpacking libavahi-common-data:amd64 (from .../libavahi-common-data_0.6.31-1_amd64.deb) ... Selecting previously unselected package libavahi-common3:amd64. Unpacking libavahi-common3:amd64 (from .../libavahi-common3_0.6.31-1_amd64.deb) ... Selecting previously unselected package libdbus-1-3:amd64. Unpacking libdbus-1-3:amd64 (from .../libdbus-1-3_1.6.0-1_amd64.deb) ... Selecting previously unselected package libavahi-client3:amd64. Unpacking libavahi-client3:amd64 (from .../libavahi-client3_0.6.31-1_amd64.deb) ... Selecting previously unselected package libcups2:amd64. Unpacking libcups2:amd64 (from .../libcups2_1.5.3-2_amd64.deb) ... Selecting previously unselected package libthai-data. Unpacking libthai-data (from .../libthai-data_0.1.18-1_all.deb) ... Selecting previously unselected package libdatrie1:amd64. Unpacking libdatrie1:amd64 (from .../libdatrie1_0.2.5-3_amd64.deb) ... Selecting previously unselected package libthai0:amd64. Unpacking libthai0:amd64 (from .../libthai0_0.1.18-1_amd64.deb) ... Selecting previously unselected package libxft2:amd64. Unpacking libxft2:amd64 (from .../libxft2_2.3.1-1_amd64.deb) ... Selecting previously unselected package fontconfig. Unpacking fontconfig (from .../fontconfig_2.9.0-6_amd64.deb) ... Selecting previously unselected package libpango1.0-0:amd64. Unpacking libpango1.0-0:amd64 (from .../libpango1.0-0_1.30.0-1_amd64.deb) ... Selecting previously unselected package libxcomposite1:amd64. Unpacking libxcomposite1:amd64 (from .../libxcomposite1_1%3a0.4.3-2_amd64.deb) ... Selecting previously unselected package libxfixes3:amd64. Unpacking libxfixes3:amd64 (from .../libxfixes3_1%3a5.0-4_amd64.deb) ... Selecting previously unselected package libxcursor1:amd64. Unpacking libxcursor1:amd64 (from .../libxcursor1_1%3a1.1.13-1_amd64.deb) ... Selecting previously unselected package libxdamage1:amd64. Unpacking libxdamage1:amd64 (from .../libxdamage1_1%3a1.1.3-2_amd64.deb) ... Selecting previously unselected package libxext6:amd64. Unpacking libxext6:amd64 (from .../libxext6_2%3a1.3.1-2_amd64.deb) ... Selecting previously unselected package libxi6:amd64. Unpacking libxi6:amd64 (from .../libxi6_2%3a1.6.1-1_amd64.deb) ... Selecting previously unselected package libxinerama1:amd64. Unpacking libxinerama1:amd64 (from .../libxinerama1_2%3a1.1.2-1_amd64.deb) ... Selecting previously unselected package libxrandr2:amd64. Unpacking libxrandr2:amd64 (from .../libxrandr2_2%3a1.3.2-2_amd64.deb) ... Selecting previously unselected package shared-mime-info. Unpacking shared-mime-info (from .../shared-mime-info_1.0-1_amd64.deb) ... Selecting previously unselected package libgtk2.0-0:amd64. Unpacking libgtk2.0-0:amd64 (from .../libgtk2.0-0_2.24.10-1_amd64.deb) ... Selecting previously unselected package libatk-wrapper-java. Unpacking libatk-wrapper-java (from .../libatk-wrapper-java_0.30.4-2_all.deb) ... Selecting previously unselected package libatk-wrapper-java-jni:amd64. Unpacking libatk-wrapper-java-jni:amd64 (from .../libatk-wrapper-java-jni_0.30.4-2_amd64.deb) ... Selecting previously unselected package libcroco3:amd64. Unpacking libcroco3:amd64 (from .../libcroco3_0.6.5-1_amd64.deb) ... Selecting previously unselected package libogg0:amd64. Unpacking libogg0:amd64 (from .../libogg0_1.3.0-4_amd64.deb) ... Selecting previously unselected package libflac8:amd64. Unpacking libflac8:amd64 (from .../libflac8_1.2.1-6_amd64.deb) ... Selecting previously unselected package python2.7-minimal. Unpacking python2.7-minimal (from .../python2.7-minimal_2.7.3-1_amd64.deb) ... Selecting previously unselected package mime-support. Unpacking mime-support (from .../mime-support_3.52-1_all.deb) ... Selecting previously unselected package python2.7. Unpacking python2.7 (from .../python2.7_2.7.3-1_amd64.deb) ... Selecting previously unselected package python-minimal. Unpacking python-minimal (from .../python-minimal_2.7.3~rc2-1_all.deb) ... Selecting previously unselected package python. Unpacking python (from .../python_2.7.3~rc2-1_all.deb) ... Selecting previously unselected package libgcj-common. Unpacking libgcj-common (from .../libgcj-common_1%3a4.6.3-6_all.deb) ... Selecting previously unselected package gcj-4.7-base. Unpacking gcj-4.7-base (from .../gcj-4.7-base_4.7.1-1_amd64.deb) ... Selecting previously unselected package libgcj13. Unpacking libgcj13 (from .../libgcj13_4.7.1-1_amd64.deb) ... Selecting previously unselected package libgcj-bc:amd64. Unpacking libgcj-bc:amd64 (from .../libgcj-bc_4.7.0-6_amd64.deb) ... Selecting previously unselected package x11-common. Unpacking x11-common (from .../x11-common_1%3a7.6+13_all.deb) ... Selecting previously unselected package libice6:amd64. Unpacking libice6:amd64 (from .../libice6_2%3a1.0.8-2_amd64.deb) ... Selecting previously unselected package libsm6:amd64. Unpacking libsm6:amd64 (from .../libsm6_2%3a1.2.1-2_amd64.deb) ... Selecting previously unselected package libxtst6:amd64. Unpacking libxtst6:amd64 (from .../libxtst6_2%3a1.2.1-1_amd64.deb) ... Selecting previously unselected package libgcj13-awt. Unpacking libgcj13-awt (from .../libgcj13-awt_4.7.1-1_amd64.deb) ... Selecting previously unselected package libunistring0:amd64. Unpacking libunistring0:amd64 (from .../libunistring0_0.9.3-5_amd64.deb) ... Selecting previously unselected package libgettextpo0:amd64. Unpacking libgettextpo0:amd64 (from .../libgettextpo0_0.18.1.1-9_amd64.deb) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Unpacking libgmpxx4ldbl:amd64 (from .../libgmpxx4ldbl_2%3a5.0.5+dfsg-2_amd64.deb) ... Selecting previously unselected package libnspr4:amd64. Unpacking libnspr4:amd64 (from .../libnspr4_2%3a4.9.1-1_amd64.deb) ... Selecting previously unselected package libnss3:amd64. Unpacking libnss3:amd64 (from .../libnss3_2%3a3.13.5-1_amd64.deb) ... Selecting previously unselected package libpcsclite1:amd64. Unpacking libpcsclite1:amd64 (from .../libpcsclite1_1.8.3-3_amd64.deb) ... Selecting previously unselected package libjson0:amd64. Unpacking libjson0:amd64 (from .../libjson0_0.9-1.1_amd64.deb) ... Selecting previously unselected package libvorbis0a:amd64. Unpacking libvorbis0a:amd64 (from .../libvorbis0a_1.3.2-1.3_amd64.deb) ... Selecting previously unselected package libvorbisenc2:amd64. Unpacking libvorbisenc2:amd64 (from .../libvorbisenc2_1.3.2-1.3_amd64.deb) ... Selecting previously unselected package libsndfile1:amd64. Unpacking libsndfile1:amd64 (from .../libsndfile1_1.0.25-5_amd64.deb) ... Selecting previously unselected package libx11-xcb1:amd64. Unpacking libx11-xcb1:amd64 (from .../libx11-xcb1_2%3a1.5.0-1_amd64.deb) ... Selecting previously unselected package libpulse0:amd64. Unpacking libpulse0:amd64 (from .../libpulse0_2.0-3_amd64.deb) ... Selecting previously unselected package openjdk-6-jre-lib. Unpacking openjdk-6-jre-lib (from .../openjdk-6-jre-lib_6b24-1.11.1-6_all.deb) ... Selecting previously unselected package openssl. Unpacking openssl (from .../openssl_1.0.1c-3_amd64.deb) ... Selecting previously unselected package ca-certificates. Unpacking ca-certificates (from .../ca-certificates_20120212_all.deb) ... Selecting previously unselected package java-common. Unpacking java-common (from .../java-common_0.47_all.deb) ... Selecting previously unselected package default-jre-headless. Unpacking default-jre-headless (from .../default-jre-headless_1%3a1.6-47_amd64.deb) ... Selecting previously unselected package libnss3-1d:amd64. Unpacking libnss3-1d:amd64 (from .../libnss3-1d_2%3a3.13.5-1_amd64.deb) ... Selecting previously unselected package ca-certificates-java. Unpacking ca-certificates-java (from .../ca-certificates-java_20120608_all.deb) ... Selecting previously unselected package tzdata-java. Unpacking tzdata-java (from .../tzdata-java_2012c-1_all.deb) ... Selecting previously unselected package openjdk-6-jre-headless:amd64. Unpacking openjdk-6-jre-headless:amd64 (from .../openjdk-6-jre-headless_6b24-1.11.1-6_amd64.deb) ... Selecting previously unselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_9.0.3_amd64.deb) ... Selecting previously unselected package groff-base. Unpacking groff-base (from .../groff-base_1.21-8_amd64.deb) ... Selecting previously unselected package man-db. Unpacking man-db (from .../man-db_2.6.2-1_amd64.deb) ... Selecting previously unselected package file. Unpacking file (from .../archives/file_5.11-1_amd64.deb) ... Selecting previously unselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.1.1-9_amd64.deb) ... Selecting previously unselected package autoconf. Unpacking autoconf (from .../autoconf_2.69-1_all.deb) ... Selecting previously unselected package autotools-dev. Unpacking autotools-dev (from .../autotools-dev_20120608.1_all.deb) ... Selecting previously unselected package libbison-dev:amd64. Unpacking libbison-dev:amd64 (from .../libbison-dev_1%3a2.5.dfsg-2.1_amd64.deb) ... Selecting previously unselected package bison. Unpacking bison (from .../bison_1%3a2.5.dfsg-2.1_amd64.deb) ... Selecting previously unselected package cdbs. Unpacking cdbs (from .../archives/cdbs_0.4.115_all.deb) ... Selecting previously unselected package html2text. Unpacking html2text (from .../html2text_1.3.2a-15_amd64.deb) ... Selecting previously unselected package gettext. Unpacking gettext (from .../gettext_0.18.1.1-9_amd64.deb) ... Selecting previously unselected package intltool-debian. Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ... Selecting previously unselected package po-debconf. Unpacking po-debconf (from .../po-debconf_1.0.16+nmu2_all.deb) ... Selecting previously unselected package debhelper. Unpacking debhelper (from .../debhelper_9.20120608_all.deb) ... Selecting previously unselected package libgif4. Unpacking libgif4 (from .../libgif4_4.1.6-9.1_amd64.deb) ... Selecting previously unselected package openjdk-6-jre:amd64. Unpacking openjdk-6-jre:amd64 (from .../openjdk-6-jre_6b24-1.11.1-6_amd64.deb) ... Selecting previously unselected package default-jre. Unpacking default-jre (from .../default-jre_1%3a1.6-47_amd64.deb) ... Selecting previously unselected package openjdk-6-jdk:amd64. Unpacking openjdk-6-jdk:amd64 (from .../openjdk-6-jdk_6b24-1.11.1-6_amd64.deb) ... Selecting previously unselected package default-jdk. Unpacking default-jdk (from .../default-jdk_1%3a1.6-47_amd64.deb) ... Selecting previously unselected package libecj-java. Unpacking libecj-java (from .../libecj-java_3.5.1-4_all.deb) ... Selecting previously unselected package gcj-4.7-jre-headless. Unpacking gcj-4.7-jre-headless (from .../gcj-4.7-jre-headless_4.7.1-1_amd64.deb) ... Selecting previously unselected package gcj-4.7-jre-lib. Unpacking gcj-4.7-jre-lib (from .../gcj-4.7-jre-lib_4.7.1-1_all.deb) ... Selecting previously unselected package ecj. Unpacking ecj (from .../archives/ecj_3.5.1-4_amd64.deb) ... Selecting previously unselected package libecj-java-gcj. Unpacking libecj-java-gcj (from .../libecj-java-gcj_3.5.1-4_amd64.deb) ... Selecting previously unselected package ecj-gcj. Unpacking ecj-gcj (from .../ecj-gcj_3.5.1-4_amd64.deb) ... Selecting previously unselected package fastjar. Unpacking fastjar (from .../fastjar_2%3a0.98-3_amd64.deb) ... Selecting previously unselected package gcj-4.7-jre. Unpacking gcj-4.7-jre (from .../gcj-4.7-jre_4.7.1-1_amd64.deb) ... Selecting previously unselected package zlib1g-dev:amd64. Unpacking zlib1g-dev:amd64 (from .../zlib1g-dev_1%3a1.2.7.dfsg-13_amd64.deb) ... Selecting previously unselected package libgcj13-dev. Unpacking libgcj13-dev (from .../libgcj13-dev_4.7.1-1_amd64.deb) ... Selecting previously unselected package libantlr-java. Unpacking libantlr-java (from .../libantlr-java_2.7.7+dfsg-4_all.deb) ... Selecting previously unselected package gcj-4.7-jdk. Unpacking gcj-4.7-jdk (from .../gcj-4.7-jdk_4.7.1-1_amd64.deb) ... Selecting previously unselected package gcj-jre-headless. Unpacking gcj-jre-headless (from .../gcj-jre-headless_4%3a4.7.0-6_amd64.deb) ... Selecting previously unselected package gcj-jre. Unpacking gcj-jre (from .../gcj-jre_4%3a4.7.0-6_amd64.deb) ... Selecting previously unselected package gcj-jdk. Unpacking gcj-jdk (from .../gcj-jdk_4%3a4.7.0-6_amd64.deb) ... Selecting previously unselected package gcj-native-helper. Unpacking gcj-native-helper (from .../gcj-native-helper_1%3a1.6-47_amd64.deb) ... Selecting previously unselected package libgmp-dev:amd64. Unpacking libgmp-dev:amd64 (from .../libgmp-dev_2%3a5.0.5+dfsg-2_amd64.deb) ... Selecting previously unselected package patchutils. Unpacking patchutils (from .../patchutils_0.3.2-1.1_amd64.deb) ... Selecting previously unselected package sbuild-build-depends-cvc3-dummy. Unpacking sbuild-build-depends-cvc3-dummy (from .../sbuild-build-depends-cvc3-dummy.deb) ... Setting up libncursesw5:amd64 (5.9-9) ... Setting up libpipeline1:amd64 (1.2.1-1) ... Setting up libssl1.0.0:amd64 (1.0.1c-3) ... Setting up libasprintf0c2:amd64 (0.18.1.1-9) ... Setting up libcap2:amd64 (1:2.22-1.1) ... Setting up libgpg-error0:amd64 (1.10-3) ... Setting up libgcrypt11:amd64 (1.5.0-3) ... Setting up libp11-kit0:amd64 (0.12-3) ... Setting up libtasn1-3:amd64 (2.13-2) ... Setting up libgnutls26:amd64 (2.12.20-1) ... Setting up libkeyutils1:amd64 (1.5.5-2) ... Setting up libkrb5support0:amd64 (1.10.1+dfsg-1) ... Setting up libk5crypto3:amd64 (1.10.1+dfsg-1) ... Setting up libkrb5-3:amd64 (1.10.1+dfsg-1) ... Setting up libgssapi-krb5-2:amd64 (1.10.1+dfsg-1) ... Setting up libmagic1:amd64 (5.11-1) ... Setting up libpcre3:amd64 (1:8.30-5) ... Setting up libsqlite3-0:amd64 (3.7.13-1) ... Setting up libwrap0:amd64 (7.6.q-23) ... Setting up libxml2:amd64 (2.8.0+dfsg1-4) ... Setting up m4 (1.4.16-3) ... Setting up flex (2.5.35-10) ... Setting up libasound2:amd64 (1.0.25-3) ... Setting up libasyncns0:amd64 (0.8-4) ... Setting up libglib2.0-0:amd64 (2.32.3-1) ... No schema files found: doing nothing. Setting up libatk1.0-data (2.4.0-2) ... Setting up libatk1.0-0:amd64 (2.4.0-2) ... Setting up libexpat1:amd64 (2.1.0-1) ... Setting up libfreetype6:amd64 (2.4.9-1) ... Setting up ttf-dejavu-core (2.33-2) ... Setting up fontconfig-config (2.9.0-6) ... Setting up libfontconfig1:amd64 (2.9.0-6) ... Setting up libpixman-1-0:amd64 (0.26.0-2) ... Setting up libpng12-0:amd64 (1.2.49-1) ... Setting up libxau6:amd64 (1:1.0.7-1) ... Setting up libxdmcp6:amd64 (1:1.1.1-1) ... Setting up libxcb1:amd64 (1.8.1-1) ... Setting up libx11-data (2:1.5.0-1) ... Setting up libx11-6:amd64 (2:1.5.0-1) ... Setting up libxcb-render0:amd64 (1.8.1-1) ... Setting up libxcb-shm0:amd64 (1.8.1-1) ... Setting up libxrender1:amd64 (1:0.9.7-1) ... Setting up libcairo2:amd64 (1.12.2-2) ... Setting up libjpeg8:amd64 (8d-1) ... Setting up libjasper1:amd64 (1.900.1-13) ... Setting up libjbig0:amd64 (2.0-2) ... Setting up libtiff4:amd64 (3.9.6-5) ... Setting up libgdk-pixbuf2.0-common (2.26.1-1) ... Setting up libgdk-pixbuf2.0-0:amd64 (2.26.1-1) ... Setting up libgtk2.0-common (2.24.10-1) ... Setting up libavahi-common-data:amd64 (0.6.31-1) ... Setting up libavahi-common3:amd64 (0.6.31-1) ... Setting up libdbus-1-3:amd64 (1.6.0-1) ... Setting up libavahi-client3:amd64 (0.6.31-1) ... Setting up libcups2:amd64 (1.5.3-2) ... Setting up libthai-data (0.1.18-1) ... Setting up libdatrie1:amd64 (0.2.5-3) ... Setting up libthai0:amd64 (0.1.18-1) ... Setting up libxft2:amd64 (2.3.1-1) ... Setting up fontconfig (2.9.0-6) ... Cleaning up old fontconfig caches... done. Regenerating fonts cache... done. Setting up libpango1.0-0:amd64 (1.30.0-1) ... Setting up libxcomposite1:amd64 (1:0.4.3-2) ... Setting up libxfixes3:amd64 (1:5.0-4) ... Setting up libxcursor1:amd64 (1:1.1.13-1) ... Setting up libxdamage1:amd64 (1:1.1.3-2) ... Setting up libxext6:amd64 (2:1.3.1-2) ... Setting up libxi6:amd64 (2:1.6.1-1) ... Setting up libxinerama1:amd64 (2:1.1.2-1) ... Setting up libxrandr2:amd64 (2:1.3.2-2) ... Setting up shared-mime-info (1.0-1) ... Setting up libgtk2.0-0:amd64 (2.24.10-1) ... Setting up libatk-wrapper-java (0.30.4-2) ... Setting up libatk-wrapper-java-jni:amd64 (0.30.4-2) ... Setting up libcroco3:amd64 (0.6.5-1) ... Setting up libogg0:amd64 (1.3.0-4) ... Setting up libflac8:amd64 (1.2.1-6) ... Setting up python2.7-minimal (2.7.3-1) ... Setting up mime-support (3.52-1) ... update-alternatives: using /usr/bin/see to provide /usr/bin/view (view) in auto mode. Setting up python2.7 (2.7.3-1) ... Setting up python-minimal (2.7.3~rc2-1) ... Setting up python (2.7.3~rc2-1) ... Setting up libgcj-common (1:4.6.3-6) ... Setting up gcj-4.7-base (4.7.1-1) ... Setting up libgcj13 (4.7.1-1) ... Setting up libgcj-bc:amd64 (4.7.0-6) ... Setting up x11-common (1:7.6+13) ... All runlevel operations denied by policy invoke-rc.d: policy-rc.d denied execution of start. Setting up libice6:amd64 (2:1.0.8-2) ... Setting up libsm6:amd64 (2:1.2.1-2) ... Setting up libxtst6:amd64 (2:1.2.1-1) ... Setting up libgcj13-awt (4.7.1-1) ... Setting up libunistring0:amd64 (0.9.3-5) ... Setting up libgettextpo0:amd64 (0.18.1.1-9) ... Setting up libgmpxx4ldbl:amd64 (2:5.0.5+dfsg-2) ... Setting up libnspr4:amd64 (2:4.9.1-1) ... Setting up libnss3:amd64 (2:3.13.5-1) ... Setting up libpcsclite1:amd64 (1.8.3-3) ... Setting up libjson0:amd64 (0.9-1.1) ... Setting up libvorbis0a:amd64 (1.3.2-1.3) ... Setting up libvorbisenc2:amd64 (1.3.2-1.3) ... Setting up libsndfile1:amd64 (1.0.25-5) ... Setting up libx11-xcb1:amd64 (2:1.5.0-1) ... Setting up libpulse0:amd64 (2.0-3) ... Setting up openssl (1.0.1c-3) ... Setting up ca-certificates (20120212) ... Updating certificates in /etc/ssl/certs... 151 added, 0 removed; done. Running hooks in /etc/ca-certificates/update.d....done. Setting up java-common (0.47) ... Setting up tzdata-java (2012c-1) ... Setting up libnss3-1d:amd64 (2:3.13.5-1) ... Setting up bsdmainutils (9.0.3) ... 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 groff-base (1.21-8) ... Setting up man-db (2.6.2-1) ... Building database of manual pages ... Setting up file (5.11-1) ... Setting up gettext-base (0.18.1.1-9) ... Setting up autoconf (2.69-1) ... Setting up autotools-dev (20120608.1) ... Setting up libbison-dev:amd64 (1:2.5.dfsg-2.1) ... Setting up bison (1:2.5.dfsg-2.1) ... update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode. Setting up cdbs (0.4.115) ... Setting up html2text (1.3.2a-15) ... Setting up gettext (0.18.1.1-9) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu2) ... Setting up debhelper (9.20120608) ... Setting up libgif4 (4.1.6-9.1) ... Setting up libecj-java (3.5.1-4) ... Setting up gcj-4.7-jre-headless (4.7.1-1) ... Setting up gcj-4.7-jre-lib (4.7.1-1) ... Setting up ecj (3.5.1-4) ... Setting up libecj-java-gcj (3.5.1-4) ... Setting up ecj-gcj (3.5.1-4) ... Setting up fastjar (2:0.98-3) ... Setting up gcj-4.7-jre (4.7.1-1) ... Setting up zlib1g-dev:amd64 (1:1.2.7.dfsg-13) ... Setting up libantlr-java (2.7.7+dfsg-4) ... Setting up gcj-jre-headless (4:4.7.0-6) ... Setting up gcj-jre (4:4.7.0-6) ... Setting up libgmp-dev:amd64 (2:5.0.5+dfsg-2) ... Setting up patchutils (0.3.2-1.1) ... Setting up libgcj13-dev (4.7.1-1) ... Setting up gcj-4.7-jdk (4.7.1-1) ... Setting up gcj-jdk (4:4.7.0-6) ... Setting up openjdk-6-jre-headless:amd64 (6b24-1.11.1-6) ... update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/jre/bin/java to provide /usr/bin/java (java) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/jre/bin/keytool to provide /usr/bin/keytool (keytool) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/jre/bin/pack200 to provide /usr/bin/pack200 (pack200) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/jre/bin/rmid to provide /usr/bin/rmid (rmid) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/jre/bin/rmiregistry to provide /usr/bin/rmiregistry (rmiregistry) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/jre/bin/unpack200 to provide /usr/bin/unpack200 (unpack200) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/jre/bin/orbd to provide /usr/bin/orbd (orbd) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/jre/bin/servertool to provide /usr/bin/servertool (servertool) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/jre/bin/tnameserv to provide /usr/bin/tnameserv (tnameserv) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/jre/lib/jexec to provide /usr/bin/jexec (jexec) in auto mode. Setting up default-jre-headless (1:1.6-47) ... Setting up openjdk-6-jre:amd64 (6b24-1.11.1-6) ... update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/jre/bin/policytool to provide /usr/bin/policytool (policytool) in auto mode. Setting up default-jre (1:1.6-47) ... Setting up openjdk-6-jdk:amd64 (6b24-1.11.1-6) ... update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/bin/appletviewer to provide /usr/bin/appletviewer (appletviewer) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/bin/extcheck to provide /usr/bin/extcheck (extcheck) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/bin/idlj to provide /usr/bin/idlj (idlj) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/bin/jar to provide /usr/bin/jar (jar) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/bin/jarsigner to provide /usr/bin/jarsigner (jarsigner) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/bin/javac to provide /usr/bin/javac (javac) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/bin/javadoc to provide /usr/bin/javadoc (javadoc) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/bin/javah to provide /usr/bin/javah (javah) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/bin/javap to provide /usr/bin/javap (javap) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/bin/jconsole to provide /usr/bin/jconsole (jconsole) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/bin/jdb to provide /usr/bin/jdb (jdb) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/bin/jhat to provide /usr/bin/jhat (jhat) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/bin/jinfo to provide /usr/bin/jinfo (jinfo) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/bin/jmap to provide /usr/bin/jmap (jmap) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/bin/jps to provide /usr/bin/jps (jps) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/bin/jrunscript to provide /usr/bin/jrunscript (jrunscript) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/bin/jsadebugd to provide /usr/bin/jsadebugd (jsadebugd) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/bin/jstack to provide /usr/bin/jstack (jstack) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/bin/jstat to provide /usr/bin/jstat (jstat) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/bin/jstatd to provide /usr/bin/jstatd (jstatd) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/bin/native2ascii to provide /usr/bin/native2ascii (native2ascii) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/bin/rmic to provide /usr/bin/rmic (rmic) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/bin/schemagen to provide /usr/bin/schemagen (schemagen) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/bin/serialver to provide /usr/bin/serialver (serialver) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/bin/wsgen to provide /usr/bin/wsgen (wsgen) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/bin/wsimport to provide /usr/bin/wsimport (wsimport) in auto mode. update-alternatives: using /usr/lib/jvm/java-6-openjdk-amd64/bin/xjc to provide /usr/bin/xjc (xjc) in auto mode. Setting up default-jdk (1:1.6-47) ... Setting up gcj-native-helper (1:1.6-47) ... Setting up sbuild-build-depends-cvc3-dummy (0.invalid.0) ... Setting up ca-certificates-java (20120608) ... Adding debian:spi-cacert-2008.pem Adding debian:spi-ca-2003.pem Adding debian:thawte_Primary_Root_CA_-_G3.pem Adding debian:thawte_Primary_Root_CA_-_G2.pem Adding debian:thawte_Primary_Root_CA.pem Adding debian:ePKI_Root_Certification_Authority.pem Adding debian:certSIGN_ROOT_CA.pem Adding debian:XRamp_Global_CA_Root.pem Adding debian:Wells_Fargo_Root_CA.pem Adding debian:WellsSecure_Public_Root_Certificate_Authority.pem Adding debian:Visa_eCommerce_Root.pem Adding debian:Verisign_Class_4_Public_Primary_Certification_Authority_-_G3.pem Adding debian:Verisign_Class_3_Public_Primary_Certification_Authority_-_G3.pem Adding debian:Verisign_Class_3_Public_Primary_Certification_Authority_-_G2.pem Adding debian:Verisign_Class_3_Public_Primary_Certification_Authority.pem Adding debian:Verisign_Class_2_Public_Primary_Certification_Authority_-_G3.pem Adding debian:Verisign_Class_2_Public_Primary_Certification_Authority_-_G2.pem Adding debian:Verisign_Class_1_Public_Primary_Certification_Authority_-_G3.pem Adding debian:Verisign_Class_1_Public_Primary_Certification_Authority_-_G2.pem Adding debian:Verisign_Class_1_Public_Primary_Certification_Authority.pem Adding debian:VeriSign_Universal_Root_Certification_Authority.pem Adding debian:VeriSign_Class_3_Public_Primary_Certification_Authority_-_G5.pem Adding debian:VeriSign_Class_3_Public_Primary_Certification_Authority_-_G4.pem Adding debian:ValiCert_Class_2_VA.pem Adding debian:ValiCert_Class_1_VA.pem Adding debian:UTN_USERFirst_Hardware_Root_CA.pem Adding debian:UTN_USERFirst_Email_Root_CA.pem Adding debian:UTN_DATACorp_SGC_Root_CA.pem Adding debian:TÜBİTAK_UEKAE_Kök_Sertifika_Hizmet_Sağlayıcısı_-_Sürüm_3.pem Adding debian:Thawte_Server_CA.pem Adding debian:Thawte_Premium_Server_CA.pem Adding debian:Taiwan_GRCA.pem Adding debian:TWCA_Root_Certification_Authority.pem Adding debian:TURKTRUST_Certificate_Services_Provider_Root_2.pem Adding debian:TURKTRUST_Certificate_Services_Provider_Root_1.pem Adding debian:TDC_OCES_Root_CA.pem Adding debian:TDC_Internet_Root_CA.pem Adding debian:TC_TrustCenter_Universal_CA_III.pem Adding debian:TC_TrustCenter_Universal_CA_I.pem Adding debian:TC_TrustCenter_Class_3_CA_II.pem Adding debian:TC_TrustCenter_Class_2_CA_II.pem Adding debian:Swisscom_Root_CA_1.pem Adding debian:SwissSign_Silver_CA_-_G2.pem Adding debian:SwissSign_Platinum_CA_-_G2.pem Adding debian:SwissSign_Gold_CA_-_G2.pem Adding debian:StartCom_Certification_Authority.pem Adding debian:Starfield_Services_Root_Certificate_Authority_-_G2.pem Adding debian:Starfield_Root_Certificate_Authority_-_G2.pem Adding debian:Starfield_Class_2_CA.pem Adding debian:Staat_der_Nederlanden_Root_CA_-_G2.pem Adding debian:Staat_der_Nederlanden_Root_CA.pem Adding debian:Sonera_Class_2_Root_CA.pem Adding debian:Sonera_Class_1_Root_CA.pem Adding debian:Security_Communication_Root_CA.pem Adding debian:Security_Communication_RootCA2.pem Adding debian:Security_Communication_EV_RootCA1.pem Adding debian:Secure_Global_CA.pem Adding debian:SecureTrust_CA.pem Adding debian:SecureSign_RootCA11.pem Adding debian:S-TRUST_Authentication_and_Encryption_Root_CA_2005_PN.pem Adding debian:Root_CA_Generalitat_Valenciana.pem Adding debian:RSA_Security_2048_v3.pem Adding debian:RSA_Root_Certificate_1.pem Adding debian:QuoVadis_Root_CA_3.pem Adding debian:QuoVadis_Root_CA_2.pem Adding debian:QuoVadis_Root_CA.pem Adding debian:OISTE_WISeKey_Global_Root_GA_CA.pem Adding debian:Network_Solutions_Certificate_Authority.pem Adding debian:NetLock_Qualified_=Class_QA=_Root.pem Adding debian:NetLock_Notary_=Class_A=_Root.pem Adding debian:NetLock_Express_=Class_C=_Root.pem Adding debian:NetLock_Business_=Class_B=_Root.pem Adding debian:NetLock_Arany_=Class_Gold=_Főtanúsítvány.pem Adding debian:Microsec_e-Szigno_Root_CA_2009.pem Adding debian:Microsec_e-Szigno_Root_CA.pem Adding debian:Juur-SK.pem Adding debian:Izenpe.com.pem Adding debian:IGC_A.pem Adding debian:Hongkong_Post_Root_CA_1.pem Adding debian:Hellenic_Academic_and_Research_Institutions_RootCA_2011.pem Adding debian:Go_Daddy_Root_Certificate_Authority_-_G2.pem Adding debian:Go_Daddy_Class_2_CA.pem Adding debian:Global_Chambersign_Root_-_2008.pem Adding debian:GlobalSign_Root_CA_-_R3.pem Adding debian:GlobalSign_Root_CA_-_R2.pem Adding debian:GlobalSign_Root_CA.pem Adding debian:GeoTrust_Universal_CA_2.pem Adding debian:GeoTrust_Universal_CA.pem Adding debian:GeoTrust_Primary_Certification_Authority_-_G3.pem Adding debian:GeoTrust_Primary_Certification_Authority_-_G2.pem Adding debian:GeoTrust_Primary_Certification_Authority.pem Adding debian:GeoTrust_Global_CA_2.pem Adding debian:GeoTrust_Global_CA.pem Adding debian:GTE_CyberTrust_Global_Root.pem Adding debian:Firmaprofesional_Root_CA.pem Adding debian:Equifax_Secure_eBusiness_CA_2.pem Adding debian:Equifax_Secure_eBusiness_CA_1.pem Adding debian:Equifax_Secure_Global_eBusiness_CA.pem Adding debian:Equifax_Secure_CA.pem Adding debian:Entrust_Root_Certification_Authority.pem Adding debian:Entrust.net_Secure_Server_CA.pem Adding debian:Entrust.net_Premium_2048_Secure_Server_CA.pem Adding debian:EC-ACC.pem Adding debian:EBG_Elektronik_Sertifika_Hizmet_Sağlayıcısı.pem Adding debian:E-Guven_Kok_Elektronik_Sertifika_Hizmet_Saglayicisi.pem Adding debian:Digital_Signature_Trust_Co._Global_CA_3.pem Adding debian:Digital_Signature_Trust_Co._Global_CA_1.pem Adding debian:DigiCert_High_Assurance_EV_Root_CA.pem Adding debian:DigiCert_Global_Root_CA.pem Adding debian:DigiCert_Assured_ID_Root_CA.pem Adding debian:Deutsche_Telekom_Root_CA_2.pem Adding debian:DST_Root_CA_X3.pem Adding debian:DST_ACES_CA_X6.pem Adding debian:Cybertrust_Global_Root.pem Adding debian:Comodo_Trusted_Services_root.pem Adding debian:Comodo_Secure_Services_root.pem Adding debian:Comodo_AAA_Services_root.pem Adding debian:ComSign_Secured_CA.pem Adding debian:ComSign_CA.pem Adding debian:Chambers_of_Commerce_Root_-_2008.pem Adding debian:Certum_Trusted_Network_CA.pem Adding debian:Certum_Root_CA.pem Adding debian:Certplus_Class_2_Primary_CA.pem Adding debian:Certinomis_-_Autorité_Racine.pem Adding debian:Certigna.pem Adding debian:Camerfirma_Global_Chambersign_Root.pem Adding debian:Camerfirma_Chambers_of_Commerce_Root.pem Adding debian:COMODO_ECC_Certification_Authority.pem Adding debian:COMODO_Certification_Authority.pem Adding debian:CNNIC_ROOT.pem Adding debian:CA_Disig.pem Adding debian:Buypass_Class_3_CA_1.pem Adding debian:Buypass_Class_2_CA_1.pem Adding debian:Baltimore_CyberTrust_Root.pem Adding debian:Autoridad_de_Certificacion_Firmaprofesional_CIF_A62634068.pem Adding debian:ApplicationCA_-_Japanese_Government.pem Adding debian:America_Online_Root_Certification_Authority_2.pem Adding debian:America_Online_Root_Certification_Authority_1.pem Adding debian:AffirmTrust_Premium_ECC.pem Adding debian:AffirmTrust_Premium.pem Adding debian:AffirmTrust_Networking.pem Adding debian:AffirmTrust_Commercial.pem Adding debian:AddTrust_Qualified_Certificates_Root.pem Adding debian:AddTrust_Public_Services_Root.pem Adding debian:AddTrust_Low-Value_Services_Root.pem Adding debian:AddTrust_External_Root.pem Adding debian:AC_Raíz_Certicámara_S.A..pem Adding debian:ACEDICOM_Root.pem Adding debian:A-Trust-nQual-03.pem Adding debian:ca.pem Adding debian:cacert.org.pem done. Setting up openjdk-6-jre-lib (6b24-1.11.1-6) ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build environment │ └──────────────────────────────────────────────────────────────────────────────┘ Kernel: Linux 2.6.32-5-xen-amd64 amd64 (x86_64) Toolchain package versions: binutils_2.22-6.1 dpkg-dev_1.16.4.3 g++-4.6_4.6.3-7 g++-4.7_4.7.1-1 gcc-4.6_4.6.3-7 gcc-4.7_4.7.1-1 libc6-dev_2.13-33 libstdc++6_4.7.1-1 libstdc++6-4.6-dev_4.6.3-7 libstdc++6-4.7-dev_4.7.1-1 linux-libc-dev_3.2.20-1 Package versions: apt_0.9.7 autoconf_2.69-1 autotools-dev_20120608.1 base-files_6.11 base-passwd_3.5.25 bash_4.2-2 binutils_2.22-6.1 bison_1:2.5.dfsg-2.1 bsdmainutils_9.0.3 bsdutils_1:2.20.1-5 build-essential_11.5 bzip2_1.0.6-3 ca-certificates_20120212 ca-certificates-java_20120608 cdbs_0.4.115 clang_3.1-6 coreutils_8.13-3.2 cpp_4:4.7.0-6 cpp-4.6_4.6.3-7 cpp-4.7_4.7.1-1 dash_0.5.7-3 debconf_1.5.44 debconf-i18n_1.5.44 debfoster_2.7-1.1 debhelper_9.20120608 debian-archive-keyring_2012.4 debianutils_4.3.1 default-jdk_1:1.6-47 default-jre_1:1.6-47 default-jre-headless_1:1.6-47 diffutils_1:3.2-6 dpkg_1.16.4.3 dpkg-dev_1.16.4.3 e2fslibs_1.42.4-3 e2fsprogs_1.42.4-3 ecj_3.5.1-4 ecj-gcj_3.5.1-4 fakeroot_1.18.4-2 fastjar_2:0.98-3 file_5.11-1 findutils_4.4.2-4 flex_2.5.35-10 fontconfig_2.9.0-6 fontconfig-config_2.9.0-6 g++_4:4.7.0-6 g++-4.6_4.6.3-7 g++-4.7_4.7.1-1 gcc_4:4.7.0-6 gcc-4.4-base_4.4.7-1 gcc-4.5-base_4.5.3-12 gcc-4.6_4.6.3-7 gcc-4.6-base_4.6.3-7 gcc-4.7_4.7.1-1 gcc-4.7-base_4.7.1-1 gcj-4.7-base_4.7.1-1 gcj-4.7-jdk_4.7.1-1 gcj-4.7-jre_4.7.1-1 gcj-4.7-jre-headless_4.7.1-1 gcj-4.7-jre-lib_4.7.1-1 gcj-jdk_4:4.7.0-6 gcj-jre_4:4.7.0-6 gcj-jre-headless_4:4.7.0-6 gcj-native-helper_1:1.6-47 gettext_0.18.1.1-9 gettext-base_0.18.1.1-9 gnupg_1.4.12-4 gpgv_1.4.12-4 grep_2.12-2 groff-base_1.21-8 gzip_1.5-1.1 hostname_3.11 html2text_1.3.2a-15 initscripts_2.88dsf-27 insserv_1.14.0-3 intltool-debian_0.35.0+20060710.1 java-common_0.47 libacl1_2.2.51-8 libantlr-java_2.7.7+dfsg-4 libapt-pkg4.12_0.9.7 libasound2_1.0.25-3 libasprintf0c2_0.18.1.1-9 libasyncns0_0.8-4 libatk-wrapper-java_0.30.4-2 libatk-wrapper-java-jni_0.30.4-2 libatk1.0-0_2.4.0-2 libatk1.0-data_2.4.0-2 libattr1_1:2.4.46-8 libavahi-client3_0.6.31-1 libavahi-common-data_0.6.31-1 libavahi-common3_0.6.31-1 libbison-dev_1:2.5.dfsg-2.1 libblkid1_2.20.1-5 libbz2-1.0_1.0.6-3 libc-bin_2.13-33 libc-dev-bin_2.13-33 libc6_2.13-33 libc6-dev_2.13-33 libcairo2_1.12.2-2 libcap2_1:2.22-1.1 libclang-common-dev_3.1-6 libclass-isa-perl_0.36-3 libcomerr2_1.42.4-3 libcroco3_0.6.5-1 libcups2_1.5.3-2 libdatrie1_0.2.5-3 libdb5.1_5.1.29-4 libdbus-1-3_1.6.0-1 libdpkg-perl_1.16.4.3 libecj-java_3.5.1-4 libecj-java-gcj_3.5.1-4 libexpat1_2.1.0-1 libffi5_3.0.10-3 libfile-fcntllock-perl_0.14-2 libflac8_1.2.1-6 libfontconfig1_2.9.0-6 libfreetype6_2.4.9-1 libgc1c2_1:7.1-8 libgcc1_1:4.7.1-1 libgcj-bc_4.7.0-6 libgcj-common_1:4.6.3-6 libgcj13_4.7.1-1 libgcj13-awt_4.7.1-1 libgcj13-dev_4.7.1-1 libgcrypt11_1.5.0-3 libgdbm3_1.8.3-11 libgdk-pixbuf2.0-0_2.26.1-1 libgdk-pixbuf2.0-common_2.26.1-1 libgettextpo0_0.18.1.1-9 libgif4_4.1.6-9.1 libglib2.0-0_2.32.3-1 libgmp-dev_2:5.0.5+dfsg-2 libgmp10_2:5.0.5+dfsg-2 libgmpxx4ldbl_2:5.0.5+dfsg-2 libgnutls26_2.12.20-1 libgomp1_4.7.1-1 libgpg-error0_1.10-3 libgssapi-krb5-2_1.10.1+dfsg-1 libgtk2.0-0_2.24.10-1 libgtk2.0-common_2.24.10-1 libice6_2:1.0.8-2 libitm1_4.7.1-1 libjasper1_1.900.1-13 libjbig0_2.0-2 libjpeg8_8d-1 libjson0_0.9-1.1 libk5crypto3_1.10.1+dfsg-1 libkeyutils1_1.5.5-2 libkrb5-3_1.10.1+dfsg-1 libkrb5support0_1.10.1+dfsg-1 libllvm3.1_3.1-1 liblocale-gettext-perl_1.05-7+b1 liblzma5_5.1.1alpha+20120614-1 libmagic1_5.11-1 libmount1_2.20.1-5 libmpc2_0.9-4 libmpfr4_3.1.0-5 libncurses5_5.9-9 libncursesw5_5.9-9 libnspr4_2:4.9.1-1 libnss3_2:3.13.5-1 libnss3-1d_2:3.13.5-1 libogg0_1.3.0-4 libp11-kit0_0.12-3 libpam-modules_1.1.3-7.1 libpam-modules-bin_1.1.3-7.1 libpam-runtime_1.1.3-7.1 libpam0g_1.1.3-7.1 libpango1.0-0_1.30.0-1 libpcre3_1:8.30-5 libpcsclite1_1.8.3-3 libpipeline1_1.2.1-1 libpixman-1-0_0.26.0-2 libpng12-0_1.2.49-1 libpulse0_2.0-3 libquadmath0_4.7.1-1 libreadline6_6.2-8 libselinux1_2.1.9-5 libsemanage-common_2.1.6-6 libsemanage1_2.1.6-6 libsepol1_2.1.4-3 libslang2_2.2.4-13 libsm6_2:1.2.1-2 libsndfile1_1.0.25-5 libsqlite3-0_3.7.13-1 libss2_1.42.4-3 libssl1.0.0_1.0.1c-3 libstdc++6_4.7.1-1 libstdc++6-4.6-dev_4.6.3-7 libstdc++6-4.7-dev_4.7.1-1 libswitch-perl_2.16-2 libtasn1-3_2.13-2 libtext-charwidth-perl_0.04-7+b1 libtext-iconv-perl_1.7-5 libtext-wrapi18n-perl_0.06-7 libthai-data_0.1.18-1 libthai0_0.1.18-1 libtiff4_3.9.6-5 libtimedate-perl_1.2000-1 libtinfo5_5.9-9 libunistring0_0.9.3-5 libusb-0.1-4_2:0.1.12-23 libustr-1.0-1_1.0.4-3 libuuid1_2.20.1-5 libvorbis0a_1.3.2-1.3 libvorbisenc2_1.3.2-1.3 libwrap0_7.6.q-23 libx11-6_2:1.5.0-1 libx11-data_2:1.5.0-1 libx11-xcb1_2:1.5.0-1 libxau6_1:1.0.7-1 libxcb-render0_1.8.1-1 libxcb-shm0_1.8.1-1 libxcb1_1.8.1-1 libxcomposite1_1:0.4.3-2 libxcursor1_1:1.1.13-1 libxdamage1_1:1.1.3-2 libxdmcp6_1:1.1.1-1 libxext6_2:1.3.1-2 libxfixes3_1:5.0-4 libxft2_2.3.1-1 libxi6_2:1.6.1-1 libxinerama1_2:1.1.2-1 libxml2_2.8.0+dfsg1-4 libxrandr2_2:1.3.2-2 libxrender1_1:0.9.7-1 libxtst6_2:1.2.1-1 linux-libc-dev_3.2.20-1 login_1:4.1.5.1-1 lsb-base_4.1+Debian7 m4_1.4.16-3 make_3.81-8.2 man-db_2.6.2-1 mawk_1.3.3-17 mime-support_3.52-1 mount_2.20.1-5 multiarch-support_2.13-33 ncurses-base_5.9-9 ncurses-bin_5.9-9 openjdk-6-jdk_6b24-1.11.1-6 openjdk-6-jre_6b24-1.11.1-6 openjdk-6-jre-headless_6b24-1.11.1-6 openjdk-6-jre-lib_6b24-1.11.1-6 openssl_1.0.1c-3 passwd_1:4.1.5.1-1 patch_2.6.1-3 patchutils_0.3.2-1.1 perl_5.14.2-12 perl-base_5.14.2-12 perl-modules_5.14.2-12 po-debconf_1.0.16+nmu2 python_2.7.3~rc2-1 python-minimal_2.7.3~rc2-1 python2.7_2.7.3-1 python2.7-minimal_2.7.3-1 readline-common_6.2-8 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-cvc3-dummy_0.invalid.0 sed_4.2.1-10 sensible-utils_0.0.7 shared-mime-info_1.0-1 sysv-rc_2.88dsf-27 sysvinit_2.88dsf-27 sysvinit-utils_2.88dsf-27 tar_1.26-4 ttf-dejavu-core_2.33-2 tzdata_2012c-1 tzdata-java_2012c-1 ucf_3.0025+nmu3 util-linux_2.20.1-5 x11-common_1:7.6+13 xz-utils_5.1.1alpha+20120614-1 zlib1g_1:1.2.7.dfsg-13 zlib1g-dev_1:1.2.7.dfsg-13 ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build │ └──────────────────────────────────────────────────────────────────────────────┘ Unpack source ───────────── gpgv: keyblock resource `/sbuild-nonexistent/.gnupg/trustedkeys.gpg': file open error gpgv: Signature made Sun Mar 4 01:02:30 2012 UTC using DSA key ID 76D52AC4 gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./cvc3_2.4.1-2.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-2.debian.tar.gz dpkg-source: info: applying debian-changes-2.4.1-2 Check disc space ──────────────── Sufficient free space for build User Environment ──────────────── HOME=/sbuild-nonexistent LOGNAME=root PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/bin/X11 SCHROOT_CHROOT_NAME=unstable-amd64-sbuild SCHROOT_COMMAND=env SCHROOT_GID=0 SCHROOT_GROUP=root SCHROOT_SESSION_ID=unstable-amd64-sbuild-2e39ecb8-b03d-4321-a02c-590b092f9857 SCHROOT_UID=0 SCHROOT_USER=root SHELL=/bin/sh USER=root dpkg-buildpackage ───────────────── dpkg-buildpackage: warning: using a gain-root-command while being root dpkg-buildpackage: source package cvc3 dpkg-buildpackage: source version 2.4.1-2 dpkg-buildpackage: source changed by Christopher L. Conway dpkg-source --before-build cvc3-2.4.1 dpkg-buildpackage: host architecture amd64 fakeroot debian/rules clean test -x debian/rules dh_testroot autoconf ./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.1 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. 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 make[4]: Leaving directory `/«PKGBUILDDIR»/src/util' make[4]: Entering directory `/«PKGBUILDDIR»/src/util' 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 make[4]: Leaving directory `/«PKGBUILDDIR»/src/context' make[4]: Entering directory `/«PKGBUILDDIR»/src/context' 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 make[4]: Leaving directory `/«PKGBUILDDIR»/src/expr' make[4]: Entering directory `/«PKGBUILDDIR»/src/expr' 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 make[4]: Leaving directory `/«PKGBUILDDIR»/src/theorem' make[4]: Entering directory `/«PKGBUILDDIR»/src/theorem' 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 make[4]: Leaving directory `/«PKGBUILDDIR»/src/sat' make[4]: Entering directory `/«PKGBUILDDIR»/src/sat' 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 make[4]: Leaving directory `/«PKGBUILDDIR»/src/theory_core' make[4]: Entering directory `/«PKGBUILDDIR»/src/theory_core' 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 make[4]: Leaving directory `/«PKGBUILDDIR»/src/theory_arith' make[4]: Entering directory `/«PKGBUILDDIR»/src/theory_arith' 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 make[4]: Leaving directory `/«PKGBUILDDIR»/src/theory_array' make[4]: Entering directory `/«PKGBUILDDIR»/src/theory_array' 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 make[4]: Leaving directory `/«PKGBUILDDIR»/src/theory_bitvector' make[4]: Entering directory `/«PKGBUILDDIR»/src/theory_bitvector' 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 make[4]: Leaving directory `/«PKGBUILDDIR»/src/theory_datatype' make[4]: Entering directory `/«PKGBUILDDIR»/src/theory_datatype' 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 make[4]: Leaving directory `/«PKGBUILDDIR»/src/theory_quant' make[4]: Entering directory `/«PKGBUILDDIR»/src/theory_quant' 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 make[4]: Leaving directory `/«PKGBUILDDIR»/src/theory_records' make[4]: Entering directory `/«PKGBUILDDIR»/src/theory_records' 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 make[4]: Leaving directory `/«PKGBUILDDIR»/src/theory_simulate' make[4]: Entering directory `/«PKGBUILDDIR»/src/theory_simulate' 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 make[4]: Leaving directory `/«PKGBUILDDIR»/src/theory_uf' make[4]: Entering directory `/«PKGBUILDDIR»/src/theory_uf' 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 make[4]: Leaving directory `/«PKGBUILDDIR»/src/search' make[4]: Entering directory `/«PKGBUILDDIR»/src/search' 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 conflicts: 3 shift/reduce PL.y:1531.24-1536.25: warning: rule useless in parser due to conflicts: AndExpr: AndExpr "AND" Expr PL.y:1549.25-1554.25: warning: rule useless in parser due to conflicts: OrExpr: OrExpr "OR" 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 conflicts: 4 shift/reduce 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 make[4]: Leaving directory `/«PKGBUILDDIR»/src/parser' make[4]: Entering directory `/«PKGBUILDDIR»/src/parser' 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 make[4]: Leaving directory `/«PKGBUILDDIR»/src/translator' make[4]: Entering directory `/«PKGBUILDDIR»/src/translator' 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 make[4]: Leaving directory `/«PKGBUILDDIR»/src/vcl' make[4]: Entering directory `/«PKGBUILDDIR»/src/vcl' 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 make[4]: Leaving directory `/«PKGBUILDDIR»/src/c_interface' make[4]: Entering directory `/«PKGBUILDDIR»/src/c_interface' 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 make[4]: Leaving directory `/«PKGBUILDDIR»/src/cvc3' make[4]: Entering directory `/«PKGBUILDDIR»/src/cvc3' 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 make[2]: Leaving directory `/«PKGBUILDDIR»/test' make[2]: Entering directory `/«PKGBUILDDIR»/test' 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 make[2]: Leaving directory `/«PKGBUILDDIR»/testc' make[2]: Entering directory `/«PKGBUILDDIR»/testc' 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) mv: cannot stat `/«PKGBUILDDIR»/bin/.cvsignore': No such file or directory make[1]: [distclean] Error 1 (ignored) 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) 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 --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall" CXXFLAGS="-g -O2 -fstack-protector --param=ssp-buffer-size=4 -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.1 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 --param=ssp-buffer-size=4 -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 clang: warning: argument unused during compilation: '--param ssp-buffer-size=4' make[3]: Leaving directory `/«PKGBUILDDIR»/src/util' make[3]: Entering directory `/«PKGBUILDDIR»/src/util' g++ -g -O2 -fstack-protector --param=ssp-buffer-size=4 -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' clang: warning: argument unused during compilation: '--param ssp-buffer-size=4' g++ -g -O2 -fstack-protector --param=ssp-buffer-size=4 -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' clang: warning: argument unused during compilation: '--param ssp-buffer-size=4' g++ -g -O2 -fstack-protector --param=ssp-buffer-size=4 -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' clang: warning: argument unused during compilation: '--param ssp-buffer-size=4' g++ -g -O2 -fstack-protector --param=ssp-buffer-size=4 -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' clang: warning: argument unused during compilation: '--param ssp-buffer-size=4' g++ -g -O2 -fstack-protector --param=ssp-buffer-size=4 -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' clang: warning: argument unused during compilation: '--param ssp-buffer-size=4' 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 --param=ssp-buffer-size=4 -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 clang: warning: argument unused during compilation: '--param ssp-buffer-size=4' make[3]: Leaving directory `/«PKGBUILDDIR»/src/context' make[3]: Entering directory `/«PKGBUILDDIR»/src/context' g++ -g -O2 -fstack-protector --param=ssp-buffer-size=4 -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' clang: warning: argument unused during compilation: '--param ssp-buffer-size=4' g++ -g -O2 -fstack-protector --param=ssp-buffer-size=4 -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' clang: warning: argument unused during compilation: '--param ssp-buffer-size=4' 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 --param=ssp-buffer-size=4 -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 clang: warning: argument unused during compilation: '--param ssp-buffer-size=4' make[3]: Leaving directory `/«PKGBUILDDIR»/src/expr' make[3]: Entering directory `/«PKGBUILDDIR»/src/expr' g++ -g -O2 -fstack-protector --param=ssp-buffer-size=4 -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' clang: warning: argument unused during compilation: '--param ssp-buffer-size=4' g++ -g -O2 -fstack-protector --param=ssp-buffer-size=4 -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' clang: warning: argument unused during compilation: '--param ssp-buffer-size=4' g++ -g -O2 -fstack-protector --param=ssp-buffer-size=4 -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' clang: warning: argument unused during compilation: '--param ssp-buffer-size=4' g++ -g -O2 -fstack-protector --param=ssp-buffer-size=4 -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' clang: warning: argument unused during compilation: '--param ssp-buffer-size=4' g++ -g -O2 -fstack-protector --param=ssp-buffer-size=4 -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' clang: warning: argument unused during compilation: '--param ssp-buffer-size=4' 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 --param=ssp-buffer-size=4 -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 clang: warning: argument unused during compilation: '--param ssp-buffer-size=4' make[3]: Leaving directory `/«PKGBUILDDIR»/src/theorem' make[3]: Entering directory `/«PKGBUILDDIR»/src/theorem' g++ -g -O2 -fstack-protector --param=ssp-buffer-size=4 -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' clang: warning: argument unused during compilation: '--param ssp-buffer-size=4' g++ -g -O2 -fstack-protector --param=ssp-buffer-size=4 -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' clang: warning: argument unused during compilation: '--param ssp-buffer-size=4' g++ -g -O2 -fstack-protector --param=ssp-buffer-size=4 -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' clang: warning: argument unused during compilation: '--param ssp-buffer-size=4' g++ -g -O2 -fstack-protector --param=ssp-buffer-size=4 -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' clang: warning: argument unused during compilation: '--param ssp-buffer-size=4' g++ -g -O2 -fstack-protector --param=ssp-buffer-size=4 -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' clang: warning: argument unused during compilation: '--param ssp-buffer-size=4' 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 --param=ssp-buffer-size=4 -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 clang: warning: argument unused during compilation: '--param ssp-buffer-size=4' make[3]: Leaving directory `/«PKGBUILDDIR»/src/sat' make[3]: Entering directory `/«PKGBUILDDIR»/src/sat' g++ -g -O2 -fstack-protector --param=ssp-buffer-size=4 -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' clang: warning: argument unused during compilation: '--param ssp-buffer-size=4' g++ -g -O2 -fstack-protector --param=ssp-buffer-size=4 -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' clang: warning: argument unused during compilation: '--param ssp-buffer-size=4' g++ -g -O2 -fstack-protector --param=ssp-buffer-size=4 -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' clang: warning: argument unused during compilation: '--param ssp-buffer-size=4' g++ -g -O2 -fstack-protector --param=ssp-buffer-size=4 -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' clang: warning: argument unused during compilation: '--param ssp-buffer-size=4' g++ -g -O2 -fstack-protector --param=ssp-buffer-size=4 -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' clang: warning: argument unused during compilation: '--param ssp-buffer-size=4' g++ -g -O2 -fstack-protector --param=ssp-buffer-size=4 -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' clang: warning: argument unused during compilation: '--param ssp-buffer-size=4' 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; ^ 2 errors generated. make[3]: *** [/«PKGBUILDDIR»/obj/sat/x86_64-linux-gnu/dpllt_minisat.o] Error 1 make[3]: Leaving directory `/«PKGBUILDDIR»/src/sat' make[2]: *** [build] Error 2 make[1]: *** [build] Error 2 make[2]: Leaving directory `/«PKGBUILDDIR»/src' make[1]: Leaving directory `/«PKGBUILDDIR»' make: *** [debian/stamp-makefile-build] Error 2 dpkg-buildpackage: error: debian/rules build-arch gave error exit status 2 ──────────────────────────────────────────────────────────────────────────────── Build finished at 20120623-0138 Finished ──────── E: Build failure (dpkg-buildpackage died) ┌──────────────────────────────────────────────────────────────────────────────┐ │ Cleanup │ └──────────────────────────────────────────────────────────────────────────────┘ Purging /«BUILDDIR» Not cleaning session: cloned chroot in use ┌──────────────────────────────────────────────────────────────────────────────┐ │ Summary │ └──────────────────────────────────────────────────────────────────────────────┘ Architecture: amd64 Build-Space: 43112 Build-Time: 42 Distribution: unstable Fail-Stage: build Install-Time: 27 Job: cvc3_2.4.1-2 Package: cvc3 Package-Time: 88 Source-Version: 2.4.1-2 Space: 43112 Status: attempted Version: 2.4.1-2 ──────────────────────────────────────────────────────────────────────────────── Finished at 20120623-0138 Build needed 00:01:28, 43112k disc space DC-Status: Failed 89.050239s DC-Time-Estimation: 89.050239 versus expected 2095 (r/m: 22.5260457863566 ; m: 89.050239)