DC-Build-Header: minisat+ 1.0-2 / Sun Sep 11 11:20:03 +0200 2011 Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node sbuild (Debian sbuild) 0.62.2 (05 Apr 2011) on talc-110.nancy.grid5000.fr ╔══════════════════════════════════════════════════════════════════════════════╗ ║ minisat+ 1.0-2 (amd64) 11 Sep 2011 11:42 ║ ╚══════════════════════════════════════════════════════════════════════════════╝ Package: minisat+ Version: 1.0-2 Source Version: 1.0-2 Distribution: lsid64c Architecture: amd64 ┌──────────────────────────────────────────────────────────────────────────────┐ │ Update chroot │ └──────────────────────────────────────────────────────────────────────────────┘ Ign http://localhost sid InRelease Hit http://localhost sid Release.gpg Hit http://localhost sid Release Ign http://localhost sid/main Sources/DiffIndex Ign http://localhost sid/main amd64 Packages/DiffIndex Ign http://localhost sid/main TranslationIndex Hit http://localhost sid/main Sources Hit http://localhost sid/main amd64 Packages Ign http://localhost sid/main Translation-en Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: binutils cpp-4.6 g++-4.6 gcc-4.6 gcc-4.6-base libc-bin libc-dev-bin libc6 libc6-dev libgcc1 libgomp1 libquadmath0 libstdc++6 libstdc++6-4.6-dev multiarch-support 15 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 34.4 MB of archives. After this operation, 1073 kB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libc6-dev libc-dev-bin libgomp1 gcc-4.6-base libgcc1 cpp-4.6 libquadmath0 libstdc++6-4.6-dev g++-4.6 gcc-4.6 libstdc++6 binutils libc-bin libc6 multiarch-support Authentication warning overridden. Get:1 http://localhost/debian/ sid/main libc6-dev amd64 2.13-20 [2637 kB] Get:2 http://localhost/debian/ sid/main libc-dev-bin amd64 2.13-20 [217 kB] Get:3 http://localhost/debian/ sid/main libgomp1 amd64 4.6.1-10 [25.7 kB] Get:4 http://localhost/debian/ sid/main gcc-4.6-base amd64 4.6.1-10 [135 kB] Get:5 http://localhost/debian/ sid/main libgcc1 amd64 1:4.6.1-10 [42.9 kB] Get:6 http://localhost/debian/ sid/main cpp-4.6 amd64 4.6.1-10 [4816 kB] Get:7 http://localhost/debian/ sid/main libquadmath0 amd64 4.6.1-10 [126 kB] Get:8 http://localhost/debian/ sid/main libstdc++6-4.6-dev amd64 4.6.1-10 [1660 kB] Get:9 http://localhost/debian/ sid/main g++-4.6 amd64 4.6.1-10 [6952 kB] Get:10 http://localhost/debian/ sid/main gcc-4.6 amd64 4.6.1-10 [7303 kB] Get:11 http://localhost/debian/ sid/main libstdc++6 amd64 4.6.1-10 [337 kB] Get:12 http://localhost/debian/ sid/main binutils amd64 2.21.53.20110910-1 [4844 kB] Get:13 http://localhost/debian/ sid/main libc-bin amd64 2.13-20 [819 kB] Get:14 http://localhost/debian/ sid/main libc6 amd64 2.13-20 [4323 kB] Get:15 http://localhost/debian/ sid/main multiarch-support amd64 2.13-20 [141 kB] Preconfiguring packages ... Fetched 34.4 MB in 0s (54.8 MB/s) (Reading database ... 10788 files and directories currently installed.) Preparing to replace libc6-dev 2.13-18 (using .../libc6-dev_2.13-20_amd64.deb) ... Unpacking replacement libc6-dev ... Preparing to replace libc-dev-bin 2.13-18 (using .../libc-dev-bin_2.13-20_amd64.deb) ... Unpacking replacement libc-dev-bin ... Preparing to replace libgomp1 4.6.1-9 (using .../libgomp1_4.6.1-10_amd64.deb) ... Unpacking replacement libgomp1 ... Preparing to replace gcc-4.6-base 4.6.1-9 (using .../gcc-4.6-base_4.6.1-10_amd64.deb) ... Unpacking replacement gcc-4.6-base ... Setting up gcc-4.6-base (4.6.1-10) ... (Reading database ... 10788 files and directories currently installed.) Preparing to replace libgcc1 1:4.6.1-9 (using .../libgcc1_1%3a4.6.1-10_amd64.deb) ... Unpacking replacement libgcc1 ... Setting up libgcc1 (1:4.6.1-10) ... (Reading database ... 10788 files and directories currently installed.) Preparing to replace cpp-4.6 4.6.1-9 (using .../cpp-4.6_4.6.1-10_amd64.deb) ... Unpacking replacement cpp-4.6 ... Preparing to replace libquadmath0 4.6.1-9 (using .../libquadmath0_4.6.1-10_amd64.deb) ... Unpacking replacement libquadmath0 ... Preparing to replace libstdc++6-4.6-dev 4.6.1-9 (using .../libstdc++6-4.6-dev_4.6.1-10_amd64.deb) ... Unpacking replacement libstdc++6-4.6-dev ... Preparing to replace g++-4.6 4.6.1-9 (using .../g++-4.6_4.6.1-10_amd64.deb) ... Unpacking replacement g++-4.6 ... Preparing to replace gcc-4.6 4.6.1-9 (using .../gcc-4.6_4.6.1-10_amd64.deb) ... Unpacking replacement gcc-4.6 ... Preparing to replace libstdc++6 4.6.1-9 (using .../libstdc++6_4.6.1-10_amd64.deb) ... Unpacking replacement libstdc++6 ... Setting up libstdc++6 (4.6.1-10) ... (Reading database ... 10801 files and directories currently installed.) Preparing to replace binutils 2.21.53.20110823-3 (using .../binutils_2.21.53.20110910-1_amd64.deb) ... Unpacking replacement binutils ... Preparing to replace libc-bin 2.13-18 (using .../libc-bin_2.13-20_amd64.deb) ... Unpacking replacement libc-bin ... Setting up libc-bin (2.13-20) ... (Reading database ... 10801 files and directories currently installed.) Preparing to replace libc6 2.13-18 (using .../libc6_2.13-20_amd64.deb) ... Unpacking replacement libc6 ... Setting up libc6 (2.13-20) ... (Reading database ... 10801 files and directories currently installed.) Preparing to replace multiarch-support 2.13-18 (using .../multiarch-support_2.13-20_amd64.deb) ... Unpacking replacement multiarch-support ... Setting up multiarch-support (2.13-20) ... Setting up libc-dev-bin (2.13-20) ... Setting up libc6-dev (2.13-20) ... Setting up libgomp1 (4.6.1-10) ... Setting up cpp-4.6 (4.6.1-10) ... Setting up libquadmath0 (4.6.1-10) ... Setting up binutils (2.21.53.20110910-1) ... Setting up gcc-4.6 (4.6.1-10) ... Setting up libstdc++6-4.6-dev (4.6.1-10) ... Setting up g++-4.6 (4.6.1-10) ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Fetch source files │ └──────────────────────────────────────────────────────────────────────────────┘ Check APT ───────── Checking available source versions... Download source files with APT ────────────────────────────── Reading package lists... Building dependency tree... Reading state information... NOTICE: 'minisat+' packaging is maintained in the 'Git' version control system at: git://git.debian.org/git/debian-science/packages/minisat+.git Need to get 85.2 kB of source archives. Get:1 http://localhost/debian/ sid/main minisat+ 1.0-2 (dsc) [1262 B] Get:2 http://localhost/debian/ sid/main minisat+ 1.0-2 (tar) [80.0 kB] Get:3 http://localhost/debian/ sid/main minisat+ 1.0-2 (diff) [3966 B] Fetched 85.2 kB in 0s (539 kB/s) Download complete and in download only mode Check arch ────────── Merged Build-Depends: build-essential, fakeroot Filtered Build-Depends: build-essential, fakeroot dpkg-deb: building package `sbuild-build-depends-core-dummy' in `/build/minisat+-1_1iCE/resolver-mCtBon/apt_archive/sbuild-build-depends-core-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install core build dependencies (apt-based resolver) │ └──────────────────────────────────────────────────────────────────────────────┘ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: sbuild-build-depends-core-dummy 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 0 B/700 B of archives. After this operation, 0 B of additional disk space will be used. WARNING: The following packages cannot be authenticated! sbuild-build-depends-core-dummy Authentication warning overridden. Selecting previously deselected package sbuild-build-depends-core-dummy. (Reading database ... 10801 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) ... Cannot open /var/lib/schroot/mount/lsid64c-5adad0a5-ba78-4345-927d-71982dce9f26/etc/lsb-release: No such file or directory 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), debhelper (>= 8), libgmp-dev, zlib1g-dev 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), debhelper (>= 8), libgmp-dev, zlib1g-dev dpkg-deb: building package `sbuild-build-depends-minisat+-dummy' in `/build/minisat+-1_1iCE/resolver-qUE58N/apt_archive/sbuild-build-depends-minisat+-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install minisat+ build dependencies (apt-based resolver) │ └──────────────────────────────────────────────────────────────────────────────┘ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: bsdmainutils debhelper file gettext gettext-base groff-base html2text intltool-debian libcroco3 libglib2.0-0 libgmp-dev libgmpxx4ldbl libmagic1 libpcre3 libpipeline1 libunistring0 libxml2 man-db po-debconf zlib1g-dev Suggested packages: wamerican wordlist whois vacation dh-make gettext-doc groff libgmp10-doc libmpfr-dev www-browser libmail-box-perl Recommended packages: curl wget lynx-cur autopoint libglib2.0-data shared-mime-info xml-core libmail-sendmail-perl The following NEW packages will be installed: bsdmainutils debhelper file gettext gettext-base groff-base html2text intltool-debian libcroco3 libglib2.0-0 libgmp-dev libgmpxx4ldbl libmagic1 libpcre3 libpipeline1 libunistring0 libxml2 man-db po-debconf sbuild-build-depends-minisat+-dummy zlib1g-dev 0 upgraded, 21 newly installed, 0 to remove and 0 not upgraded. Need to get 9987 kB/10.0 MB of archives. After this operation, 29.6 MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libpipeline1 libpcre3 libgmpxx4ldbl bsdmainutils groff-base man-db libmagic1 file gettext-base libxml2 html2text libglib2.0-0 libcroco3 libunistring0 gettext intltool-debian po-debconf debhelper libgmp-dev zlib1g-dev sbuild-build-depends-minisat+-dummy Authentication warning overridden. Get:1 http://localhost/debian/ sid/main libpipeline1 amd64 1.2.0-3 [37.9 kB] Get:2 http://localhost/debian/ sid/main libpcre3 amd64 8.12-4 [225 kB] Get:3 http://localhost/debian/ sid/main bsdmainutils amd64 8.2.3 [208 kB] Get:4 http://localhost/debian/ sid/main groff-base amd64 1.21-6 [1150 kB] Get:5 http://localhost/debian/ sid/main man-db amd64 2.6.0.2-2 [1023 kB] Get:6 http://localhost/debian/ sid/main libmagic1 amd64 5.08-1 [246 kB] Get:7 http://localhost/debian/ sid/main file amd64 5.08-1 [51.7 kB] Get:8 http://localhost/debian/ sid/main gettext-base amd64 0.18.1.1-4 [154 kB] Get:9 http://localhost/debian/ sid/main libxml2 amd64 2.7.8.dfsg-4 [892 kB] Get:10 http://localhost/debian/ sid/main html2text amd64 1.3.2a-15 [103 kB] Get:11 http://localhost/debian/ sid/main libglib2.0-0 amd64 2.28.6-1 [1648 kB] Get:12 http://localhost/debian/ sid/main libcroco3 amd64 0.6.2-1 [125 kB] Get:13 http://localhost/debian/ sid/main libunistring0 amd64 0.9.3-4 [437 kB] Get:14 http://localhost/debian/ sid/main gettext amd64 0.18.1.1-4 [2079 kB] Get:15 http://localhost/debian/ sid/main intltool-debian all 0.35.0+20060710.1 [30.8 kB] Get:16 http://localhost/debian/ sid/main po-debconf all 1.0.16+nmu1 [223 kB] Get:17 http://localhost/debian/ sid/main debhelper all 8.9.6 [562 kB] Get:18 http://localhost/debian/ sid/main libgmp-dev amd64 2:5.0.2+dfsg-1 [600 kB] Get:19 http://localhost/debian/ sid/main zlib1g-dev amd64 1:1.2.3.4.dfsg-3 [192 kB] Preconfiguring packages ... Fetched 9987 kB in 0s (34.6 MB/s) Selecting previously deselected package libpipeline1. (Reading database ... 10801 files and directories currently installed.) Unpacking libpipeline1 (from .../libpipeline1_1.2.0-3_amd64.deb) ... Selecting previously deselected package libpcre3. Unpacking libpcre3 (from .../libpcre3_8.12-4_amd64.deb) ... Selecting previously deselected package libgmpxx4ldbl. Unpacking libgmpxx4ldbl (from .../libgmpxx4ldbl_2%3a5.0.2+dfsg-1_amd64.deb) ... Selecting previously deselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_8.2.3_amd64.deb) ... Selecting previously deselected package groff-base. Unpacking groff-base (from .../groff-base_1.21-6_amd64.deb) ... Selecting previously deselected package man-db. Unpacking man-db (from .../man-db_2.6.0.2-2_amd64.deb) ... Selecting previously deselected package libmagic1. Unpacking libmagic1 (from .../libmagic1_5.08-1_amd64.deb) ... Selecting previously deselected package file. Unpacking file (from .../archives/file_5.08-1_amd64.deb) ... Selecting previously deselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.1.1-4_amd64.deb) ... Selecting previously deselected package libxml2. Unpacking libxml2 (from .../libxml2_2.7.8.dfsg-4_amd64.deb) ... Selecting previously deselected package html2text. Unpacking html2text (from .../html2text_1.3.2a-15_amd64.deb) ... Selecting previously deselected package libglib2.0-0. Unpacking libglib2.0-0 (from .../libglib2.0-0_2.28.6-1_amd64.deb) ... Selecting previously deselected package libcroco3. Unpacking libcroco3 (from .../libcroco3_0.6.2-1_amd64.deb) ... Selecting previously deselected package libunistring0. Unpacking libunistring0 (from .../libunistring0_0.9.3-4_amd64.deb) ... Selecting previously deselected package gettext. Unpacking gettext (from .../gettext_0.18.1.1-4_amd64.deb) ... Selecting previously deselected package intltool-debian. Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ... Selecting previously deselected package po-debconf. Unpacking po-debconf (from .../po-debconf_1.0.16+nmu1_all.deb) ... Selecting previously deselected package debhelper. Unpacking debhelper (from .../debhelper_8.9.6_all.deb) ... Selecting previously deselected package libgmp-dev. Unpacking libgmp-dev (from .../libgmp-dev_2%3a5.0.2+dfsg-1_amd64.deb) ... Selecting previously deselected package zlib1g-dev. Unpacking zlib1g-dev (from .../zlib1g-dev_1%3a1.2.3.4.dfsg-3_amd64.deb) ... Selecting previously deselected package sbuild-build-depends-minisat+-dummy. Unpacking sbuild-build-depends-minisat+-dummy (from .../sbuild-build-depends-minisat+-dummy.deb) ... Processing triggers for install-info ... Setting up libpipeline1 (1.2.0-3) ... Setting up libpcre3 (8.12-4) ... Setting up libgmpxx4ldbl (2:5.0.2+dfsg-1) ... Setting up bsdmainutils (8.2.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-6) ... Setting up man-db (2.6.0.2-2) ... Building database of manual pages ... Setting up libmagic1 (5.08-1) ... Setting up file (5.08-1) ... Setting up gettext-base (0.18.1.1-4) ... Setting up libxml2 (2.7.8.dfsg-4) ... Setting up html2text (1.3.2a-15) ... Setting up libglib2.0-0 (2.28.6-1) ... No schema files found: doing nothing. Setting up libcroco3 (0.6.2-1) ... Setting up libunistring0 (0.9.3-4) ... Setting up gettext (0.18.1.1-4) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu1) ... Setting up debhelper (8.9.6) ... Setting up libgmp-dev (2:5.0.2+dfsg-1) ... Setting up zlib1g-dev (1:1.2.3.4.dfsg-3) ... Setting up sbuild-build-depends-minisat+-dummy (0.invalid.0) ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build environment │ └──────────────────────────────────────────────────────────────────────────────┘ Kernel: Linux 2.6.32-5-amd64 amd64 (x86_64) Toolchain package versions: binutils_2.21.53.20110910-1 dpkg-dev_1.16.0.3 g++-4.6_4.6.1-10 gcc-4.6_4.6.1-10 libc6-dev_2.13-20 libstdc++6_4.6.1-10 libstdc++6-4.6-dev_4.6.1-10 linux-libc-dev_3.0.0-3 Package versions: apt_0.8.15.6 apt-utils_0.8.15.6 base-files_6.5 base-passwd_3.5.23 bash_4.1-3 binutils_2.21.53.20110910-1 bsdmainutils_8.2.3 bsdutils_1:2.19.1-5 build-essential_11.5 bzip2_1.0.5-7 clang_2.9-11 coreutils_8.5-1 cpp_4:4.6.1-2 cpp-4.6_4.6.1-10 dash_0.5.7-1 debconf_1.5.41 debfoster_2.7-1.1 debhelper_8.9.6 debian-archive-keyring_2010.08.28 debianutils_4.0.2 diffutils_1:3.0-1 dpkg_1.16.0.3 dpkg-dev_1.16.0.3 e2fslibs_1.42~WIP-2011-07-02-1 e2fsprogs_1.42~WIP-2011-07-02-1 fakeroot_1.18-1 file_5.08-1 findutils_4.4.2-1+b1 g++_4:4.6.1-2 g++-4.6_4.6.1-10 gcc_4:4.6.1-2 gcc-4.6_4.6.1-10 gcc-4.6-base_4.6.1-10 gettext_0.18.1.1-4 gettext-base_0.18.1.1-4 gnupg_1.4.11-3 gpgv_1.4.11-3 grep_2.9-2 groff-base_1.21-6 gzip_1.4-1 hostname_3.06 html2text_1.3.2a-15 initscripts_2.88dsf-13.11 insserv_1.14.0-2.1 install-info_4.13a.dfsg.1-8 intltool-debian_0.35.0+20060710.1 less_444-1 libacl1_2.2.51-3 libattr1_1:2.4.46-3 libblkid1_2.19.1-5 libbz2-1.0_1.0.5-7 libc-bin_2.13-20 libc-dev-bin_2.13-20 libc6_2.13-20 libc6-dev_2.13-20 libcomerr2_1.42~WIP-2011-07-02-1 libcroco3_0.6.2-1 libdb5.1_5.1.25-11 libdpkg-perl_1.16.0.3 libffi5_3.0.10~rc10-3 libgc1c2_1:7.1-8 libgcc1_1:4.6.1-10 libgdbm3_1.8.3-10 libglib2.0-0_2.28.6-1 libgmp-dev_2:5.0.2+dfsg-1 libgmp10_2:5.0.2+dfsg-1 libgmpxx4ldbl_2:5.0.2+dfsg-1 libgomp1_4.6.1-10 libllvm2.9_2.9+dfsg-3 liblzma2_5.1.1alpha+20110809-2 libmagic1_5.08-1 libmount1_2.19.1-5 libmpc2_0.9-3 libmpfr4_3.0.1-6 libncurses5_5.9-1 libncursesw5_5.9-1 libpam-modules_1.1.3-2 libpam-modules-bin_1.1.3-2 libpam-runtime_1.1.3-2 libpam0g_1.1.3-2 libpcre3_8.12-4 libpipeline1_1.2.0-3 libquadmath0_4.6.1-10 libreadline6_6.2-4 libselinux1_2.1.0-1 libsepol1_2.1.0-1.1 libslang2_2.2.4-3 libss2_1.42~WIP-2011-07-02-1 libstdc++6_4.6.1-10 libstdc++6-4.6-dev_4.6.1-10 libtimedate-perl_1.2000-1 libunistring0_0.9.3-4 libusb-0.1-4_2:0.1.12-19 libuuid1_2.19.1-5 libxml2_2.7.8.dfsg-4 linux-libc-dev_3.0.0-3 login_1:4.1.4.2+svn3283-3 lsb-base_3.2-28 make_3.81-8.1 man-db_2.6.0.2-2 mawk_1.3.3-15 mount_2.19.1-5 multiarch-support_2.13-20 ncurses-base_5.9-1 ncurses-bin_5.9-1 nvi_1.81.6-8.2 passwd_1:4.1.4.2+svn3283-3 patch_2.6.1-2 perl_5.12.4-4 perl-base_5.12.4-4 perl-modules_5.12.4-4 po-debconf_1.0.16+nmu1 readline-common_6.2-4 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-minisat+-dummy_0.invalid.0 sed_4.2.1-9 sensible-utils_0.0.6 sysv-rc_2.88dsf-13.11 sysvinit_2.88dsf-13.11 sysvinit-utils_2.88dsf-13.11 tar_1.26-2 tzdata_2011i-2 util-linux_2.19.1-5 xz-utils_5.1.1alpha+20110809-2 zlib1g_1:1.2.3.4.dfsg-3 zlib1g-dev_1:1.2.3.4.dfsg-3 ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build │ └──────────────────────────────────────────────────────────────────────────────┘ Unpack source ───────────── gpgv: keyblock resource `/var/lib/sbuild/.gnupg/trustedkeys.gpg': file open error gpgv: Signature made Tue May 24 21:06:24 2011 CEST using DSA key ID E0BA04C1 gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./minisat+_1.0-2.dsc dpkg-source: info: extracting minisat+ in minisat+-1.0 dpkg-source: info: unpacking minisat+_1.0.orig.tar.gz dpkg-source: info: unpacking minisat+_1.0-2.debian.tar.gz dpkg-source: info: applying exitcode Check disc space ──────────────── Sufficient free space for build dpkg-buildpackage ───────────────── dpkg-buildpackage: export CFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export CPPFLAGS from dpkg-buildflags (origin: vendor): dpkg-buildpackage: export CXXFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export FFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export LDFLAGS from dpkg-buildflags (origin: vendor): dpkg-buildpackage: source package minisat+ dpkg-buildpackage: source version 1.0-2 dpkg-source --before-build minisat+-1.0 dpkg-buildpackage: host architecture amd64 fakeroot debian/rules clean dh clean dh_testdir debian/rules override_dh_auto_clean make[1]: Entering directory `/build/minisat+-1_1iCE/minisat+-1.0' make clean Makefile:96: depend.mak: No such file or directory make[2]: Entering directory `/build/minisat+-1_1iCE/minisat+-1.0' Making dependencies... clang: warning: argument unused during compilation: '-ffloat-store' make[2]: Leaving directory `/build/minisat+-1_1iCE/minisat+-1.0' make[2]: Entering directory `/build/minisat+-1_1iCE/minisat+-1.0' make[2]: Leaving directory `/build/minisat+-1_1iCE/minisat+-1.0' make[1]: Leaving directory `/build/minisat+-1_1iCE/minisat+-1.0' dh_clean dpkg-source -b minisat+-1.0 dpkg-source: info: using source format `3.0 (quilt)' dpkg-source: info: building minisat+ using existing ./minisat+_1.0.orig.tar.gz dpkg-source: info: building minisat+ in minisat+_1.0-2.debian.tar.gz dpkg-source: info: building minisat+ in minisat+_1.0-2.dsc debian/rules build dh build dh_testdir dh_auto_configure dh_auto_build Makefile:96: depend.mak: No such file or directory make[1]: Entering directory `/build/minisat+-1_1iCE/minisat+-1.0' Making dependencies... clang: warning: argument unused during compilation: '-ffloat-store' make[1]: Leaving directory `/build/minisat+-1_1iCE/minisat+-1.0' make[1]: Entering directory `/build/minisat+-1_1iCE/minisat+-1.0' Building minisat+ (standard) Compiling: Debug.C clang: warning: argument unused during compilation: '-ffloat-store' In file included from :137: In file included from :3: ADTs/Global.h:281:43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' vec& operator = (vec& other) { TEMPLATE_FAIL; return *this; } ^ ADTs/Global.h:78:23: note: instantiated from: #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ ADTs/Global.h:282:43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' vec (vec& other) { TEMPLATE_FAIL; } ^ ADTs/Global.h:78:23: note: instantiated from: #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ In file included from Debug.C:20: In file included from ./Debug.h:24: In file included from ./PbSolver.h:23: In file included from ./Solver.h:24: ./SatELite.h:260:1: warning: struct 'Solver' was previously declared as a class [-Wmismatched-tags] struct Solver { ^~~~~~ class ./SatELite.h:89:7: note: previous use is here class Solver; ^ In file included from Debug.C:20: In file included from ./Debug.h:24: In file included from ./PbSolver.h:24: ADTs/Map.h:129:54: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' Map& operator = (Map& other) { TEMPLATE_FAIL; return *this; } ^ In file included from :137: In file included from :3: ADTs/Global.h:78:23: note: instantiated from: #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ In file included from Debug.C:20: In file included from ./Debug.h:24: In file included from ./PbSolver.h:24: ADTs/Map.h:130:54: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' Map (Map& other) { TEMPLATE_FAIL; } ^ In file included from :137: In file included from :3: ADTs/Global.h:78:23: note: instantiated from: #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ In file included from Debug.C:20: In file included from ./Debug.h:25: In file included from ADTs/FEnv.h:31: ADTs/VecMaps.h:82:1: warning: struct template 'VecMap' was previously declared as a class template [-Wmismatched-tags] struct VecMap : BitMap { ^~~~~~ class ADTs/VecMaps.h:58:7: note: previous use is here class VecMap { ^ In file included from Debug.C:20: In file included from ./Debug.h:24: In file included from ./PbSolver.h:24: In file included from ADTs/Map.h:29: ADTs/VecAlloc.h:41:99: warning: conversion specifies type 'int' but the argument has type 'unsigned long' [-Wformat] if (nallocs != 0) fprintf(stderr, "WARNING! VecAlloc detected leak of %d unit(s) of size %d.\n", nallocs, sizeof(T)); ~^ ~~~~~~~~~ %lu In file included from Debug.C:20: In file included from ./Debug.h:24: In file included from ./PbSolver.h:24: ADTs/Map.h:119:5: note: in instantiation of member function 'VecAlloc >::Cell, 100>::~VecAlloc' requested here Map(void) : D_null() { init(1); } ^ In file included from Debug.C:20: In file included from ./Debug.h:24: ./PbSolver.h:90:5: note: in instantiation of member function 'Map >::Map' requested here PbSolver() : sat_solver(opt_solver == st_MiniSat) ^ 3 warnings and 4 errors generated. make[1]: *** [Debug.o] Error 1 make[1]: Leaving directory `/build/minisat+-1_1iCE/minisat+-1.0' dh_auto_build: make -j1 returned exit code 2 make: *** [build] Error 2 dpkg-buildpackage: error: debian/rules build gave error exit status 2 ──────────────────────────────────────────────────────────────────────────────── Build finished at 20110911-1142 Finished ──────── E: Build failure (dpkg-buildpackage died) ┌──────────────────────────────────────────────────────────────────────────────┐ │ Cleanup │ └──────────────────────────────────────────────────────────────────────────────┘ Purging /var/lib/schroot/mount/lsid64c-5adad0a5-ba78-4345-927d-71982dce9f26/build/minisat+-1_1iCE Not cleaning session: cloned chroot in use ┌──────────────────────────────────────────────────────────────────────────────┐ │ Summary │ └──────────────────────────────────────────────────────────────────────────────┘ Architecture: amd64 Build-Space: 588 Build-Time: 3 Distribution: lsid64c Fail-Stage: build Install-Time: 9 Job: minisat+_1.0-2 Package: minisat+ Package-Time: 46 Source-Version: 1.0-2 Space: 588 Status: attempted Version: 1.0-2 ──────────────────────────────────────────────────────────────────────────────── Finished at 20110911-1142 Build needed 00:00:46, 588k disc space DC-Message: Failed, but took only 1369.761613. Retrying, you never know. Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node Another build requested exclusive access to the build node sbuild (Debian sbuild) 0.62.2 (05 Apr 2011) on talc-110.nancy.grid5000.fr ╔══════════════════════════════════════════════════════════════════════════════╗ ║ minisat+ 1.0-2 (amd64) 11 Sep 2011 11:55 ║ ╚══════════════════════════════════════════════════════════════════════════════╝ Package: minisat+ Version: 1.0-2 Source Version: 1.0-2 Distribution: lsid64c Architecture: amd64 ┌──────────────────────────────────────────────────────────────────────────────┐ │ Update chroot │ └──────────────────────────────────────────────────────────────────────────────┘ Ign http://localhost sid InRelease Hit http://localhost sid Release.gpg Hit http://localhost sid Release Ign http://localhost sid/main Sources/DiffIndex Ign http://localhost sid/main amd64 Packages/DiffIndex Ign http://localhost sid/main TranslationIndex Hit http://localhost sid/main Sources Hit http://localhost sid/main amd64 Packages Ign http://localhost sid/main Translation-en Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: binutils cpp-4.6 g++-4.6 gcc-4.6 gcc-4.6-base libc-bin libc-dev-bin libc6 libc6-dev libgcc1 libgomp1 libquadmath0 libstdc++6 libstdc++6-4.6-dev multiarch-support 15 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 34.4 MB of archives. After this operation, 1073 kB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libc6-dev libc-dev-bin libgomp1 gcc-4.6-base libgcc1 cpp-4.6 libquadmath0 libstdc++6-4.6-dev g++-4.6 gcc-4.6 libstdc++6 binutils libc-bin libc6 multiarch-support Authentication warning overridden. Get:1 http://localhost/debian/ sid/main libc6-dev amd64 2.13-20 [2637 kB] Get:2 http://localhost/debian/ sid/main libc-dev-bin amd64 2.13-20 [217 kB] Get:3 http://localhost/debian/ sid/main libgomp1 amd64 4.6.1-10 [25.7 kB] Get:4 http://localhost/debian/ sid/main gcc-4.6-base amd64 4.6.1-10 [135 kB] Get:5 http://localhost/debian/ sid/main libgcc1 amd64 1:4.6.1-10 [42.9 kB] Get:6 http://localhost/debian/ sid/main cpp-4.6 amd64 4.6.1-10 [4816 kB] Get:7 http://localhost/debian/ sid/main libquadmath0 amd64 4.6.1-10 [126 kB] Get:8 http://localhost/debian/ sid/main libstdc++6-4.6-dev amd64 4.6.1-10 [1660 kB] Get:9 http://localhost/debian/ sid/main g++-4.6 amd64 4.6.1-10 [6952 kB] Get:10 http://localhost/debian/ sid/main gcc-4.6 amd64 4.6.1-10 [7303 kB] Get:11 http://localhost/debian/ sid/main libstdc++6 amd64 4.6.1-10 [337 kB] Get:12 http://localhost/debian/ sid/main binutils amd64 2.21.53.20110910-1 [4844 kB] Get:13 http://localhost/debian/ sid/main libc-bin amd64 2.13-20 [819 kB] Get:14 http://localhost/debian/ sid/main libc6 amd64 2.13-20 [4323 kB] Get:15 http://localhost/debian/ sid/main multiarch-support amd64 2.13-20 [141 kB] Preconfiguring packages ... Fetched 34.4 MB in 0s (64.2 MB/s) (Reading database ... 10788 files and directories currently installed.) Preparing to replace libc6-dev 2.13-18 (using .../libc6-dev_2.13-20_amd64.deb) ... Unpacking replacement libc6-dev ... Preparing to replace libc-dev-bin 2.13-18 (using .../libc-dev-bin_2.13-20_amd64.deb) ... Unpacking replacement libc-dev-bin ... Preparing to replace libgomp1 4.6.1-9 (using .../libgomp1_4.6.1-10_amd64.deb) ... Unpacking replacement libgomp1 ... Preparing to replace gcc-4.6-base 4.6.1-9 (using .../gcc-4.6-base_4.6.1-10_amd64.deb) ... Unpacking replacement gcc-4.6-base ... Setting up gcc-4.6-base (4.6.1-10) ... (Reading database ... 10788 files and directories currently installed.) Preparing to replace libgcc1 1:4.6.1-9 (using .../libgcc1_1%3a4.6.1-10_amd64.deb) ... Unpacking replacement libgcc1 ... Setting up libgcc1 (1:4.6.1-10) ... (Reading database ... 10788 files and directories currently installed.) Preparing to replace cpp-4.6 4.6.1-9 (using .../cpp-4.6_4.6.1-10_amd64.deb) ... Unpacking replacement cpp-4.6 ... Preparing to replace libquadmath0 4.6.1-9 (using .../libquadmath0_4.6.1-10_amd64.deb) ... Unpacking replacement libquadmath0 ... Preparing to replace libstdc++6-4.6-dev 4.6.1-9 (using .../libstdc++6-4.6-dev_4.6.1-10_amd64.deb) ... Unpacking replacement libstdc++6-4.6-dev ... Preparing to replace g++-4.6 4.6.1-9 (using .../g++-4.6_4.6.1-10_amd64.deb) ... Unpacking replacement g++-4.6 ... Preparing to replace gcc-4.6 4.6.1-9 (using .../gcc-4.6_4.6.1-10_amd64.deb) ... Unpacking replacement gcc-4.6 ... Preparing to replace libstdc++6 4.6.1-9 (using .../libstdc++6_4.6.1-10_amd64.deb) ... Unpacking replacement libstdc++6 ... Setting up libstdc++6 (4.6.1-10) ... (Reading database ... 10801 files and directories currently installed.) Preparing to replace binutils 2.21.53.20110823-3 (using .../binutils_2.21.53.20110910-1_amd64.deb) ... Unpacking replacement binutils ... Preparing to replace libc-bin 2.13-18 (using .../libc-bin_2.13-20_amd64.deb) ... Unpacking replacement libc-bin ... Setting up libc-bin (2.13-20) ... (Reading database ... 10801 files and directories currently installed.) Preparing to replace libc6 2.13-18 (using .../libc6_2.13-20_amd64.deb) ... Unpacking replacement libc6 ... Setting up libc6 (2.13-20) ... (Reading database ... 10801 files and directories currently installed.) Preparing to replace multiarch-support 2.13-18 (using .../multiarch-support_2.13-20_amd64.deb) ... Unpacking replacement multiarch-support ... Setting up multiarch-support (2.13-20) ... Setting up libc-dev-bin (2.13-20) ... Setting up libc6-dev (2.13-20) ... Setting up libgomp1 (4.6.1-10) ... Setting up cpp-4.6 (4.6.1-10) ... Setting up libquadmath0 (4.6.1-10) ... Setting up binutils (2.21.53.20110910-1) ... Setting up gcc-4.6 (4.6.1-10) ... Setting up libstdc++6-4.6-dev (4.6.1-10) ... Setting up g++-4.6 (4.6.1-10) ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Fetch source files │ └──────────────────────────────────────────────────────────────────────────────┘ Check APT ───────── Checking available source versions... Download source files with APT ────────────────────────────── Reading package lists... Building dependency tree... Reading state information... NOTICE: 'minisat+' packaging is maintained in the 'Git' version control system at: git://git.debian.org/git/debian-science/packages/minisat+.git Need to get 85.2 kB of source archives. Get:1 http://localhost/debian/ sid/main minisat+ 1.0-2 (dsc) [1262 B] Get:2 http://localhost/debian/ sid/main minisat+ 1.0-2 (tar) [80.0 kB] Get:3 http://localhost/debian/ sid/main minisat+ 1.0-2 (diff) [3966 B] Fetched 85.2 kB in 0s (0 B/s) Download complete and in download only mode Check arch ────────── Merged Build-Depends: build-essential, fakeroot Filtered Build-Depends: build-essential, fakeroot dpkg-deb: building package `sbuild-build-depends-core-dummy' in `/build/minisat+-a5cq20/resolver-C9LztQ/apt_archive/sbuild-build-depends-core-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install core build dependencies (apt-based resolver) │ └──────────────────────────────────────────────────────────────────────────────┘ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: sbuild-build-depends-core-dummy 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 0 B/702 B of archives. After this operation, 0 B of additional disk space will be used. WARNING: The following packages cannot be authenticated! sbuild-build-depends-core-dummy Authentication warning overridden. Selecting previously deselected package sbuild-build-depends-core-dummy. (Reading database ... 10801 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) ... Cannot open /var/lib/schroot/mount/lsid64c-78a6cdf8-b6b6-4158-b333-44a79ae1cfea/etc/lsb-release: No such file or directory 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), debhelper (>= 8), libgmp-dev, zlib1g-dev 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), debhelper (>= 8), libgmp-dev, zlib1g-dev dpkg-deb: building package `sbuild-build-depends-minisat+-dummy' in `/build/minisat+-a5cq20/resolver-G0N6Wp/apt_archive/sbuild-build-depends-minisat+-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install minisat+ build dependencies (apt-based resolver) │ └──────────────────────────────────────────────────────────────────────────────┘ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: bsdmainutils debhelper file gettext gettext-base groff-base html2text intltool-debian libcroco3 libglib2.0-0 libgmp-dev libgmpxx4ldbl libmagic1 libpcre3 libpipeline1 libunistring0 libxml2 man-db po-debconf zlib1g-dev Suggested packages: wamerican wordlist whois vacation dh-make gettext-doc groff libgmp10-doc libmpfr-dev www-browser libmail-box-perl Recommended packages: curl wget lynx-cur autopoint libglib2.0-data shared-mime-info xml-core libmail-sendmail-perl The following NEW packages will be installed: bsdmainutils debhelper file gettext gettext-base groff-base html2text intltool-debian libcroco3 libglib2.0-0 libgmp-dev libgmpxx4ldbl libmagic1 libpcre3 libpipeline1 libunistring0 libxml2 man-db po-debconf sbuild-build-depends-minisat+-dummy zlib1g-dev 0 upgraded, 21 newly installed, 0 to remove and 0 not upgraded. Need to get 9987 kB/10.0 MB of archives. After this operation, 29.6 MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libpipeline1 libpcre3 libgmpxx4ldbl bsdmainutils groff-base man-db libmagic1 file gettext-base libxml2 html2text libglib2.0-0 libcroco3 libunistring0 gettext intltool-debian po-debconf debhelper libgmp-dev zlib1g-dev sbuild-build-depends-minisat+-dummy Authentication warning overridden. Get:1 http://localhost/debian/ sid/main libpipeline1 amd64 1.2.0-3 [37.9 kB] Get:2 http://localhost/debian/ sid/main libpcre3 amd64 8.12-4 [225 kB] Get:3 http://localhost/debian/ sid/main bsdmainutils amd64 8.2.3 [208 kB] Get:4 http://localhost/debian/ sid/main groff-base amd64 1.21-6 [1150 kB] Get:5 http://localhost/debian/ sid/main man-db amd64 2.6.0.2-2 [1023 kB] Get:6 http://localhost/debian/ sid/main libmagic1 amd64 5.08-1 [246 kB] Get:7 http://localhost/debian/ sid/main file amd64 5.08-1 [51.7 kB] Get:8 http://localhost/debian/ sid/main gettext-base amd64 0.18.1.1-4 [154 kB] Get:9 http://localhost/debian/ sid/main libxml2 amd64 2.7.8.dfsg-4 [892 kB] Get:10 http://localhost/debian/ sid/main html2text amd64 1.3.2a-15 [103 kB] Get:11 http://localhost/debian/ sid/main libglib2.0-0 amd64 2.28.6-1 [1648 kB] Get:12 http://localhost/debian/ sid/main libcroco3 amd64 0.6.2-1 [125 kB] Get:13 http://localhost/debian/ sid/main libunistring0 amd64 0.9.3-4 [437 kB] Get:14 http://localhost/debian/ sid/main gettext amd64 0.18.1.1-4 [2079 kB] Get:15 http://localhost/debian/ sid/main intltool-debian all 0.35.0+20060710.1 [30.8 kB] Get:16 http://localhost/debian/ sid/main po-debconf all 1.0.16+nmu1 [223 kB] Get:17 http://localhost/debian/ sid/main debhelper all 8.9.6 [562 kB] Get:18 http://localhost/debian/ sid/main libgmp-dev amd64 2:5.0.2+dfsg-1 [600 kB] Get:19 http://localhost/debian/ sid/main zlib1g-dev amd64 1:1.2.3.4.dfsg-3 [192 kB] Preconfiguring packages ... Fetched 9987 kB in 0s (61.6 MB/s) Selecting previously deselected package libpipeline1. (Reading database ... 10801 files and directories currently installed.) Unpacking libpipeline1 (from .../libpipeline1_1.2.0-3_amd64.deb) ... Selecting previously deselected package libpcre3. Unpacking libpcre3 (from .../libpcre3_8.12-4_amd64.deb) ... Selecting previously deselected package libgmpxx4ldbl. Unpacking libgmpxx4ldbl (from .../libgmpxx4ldbl_2%3a5.0.2+dfsg-1_amd64.deb) ... Selecting previously deselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_8.2.3_amd64.deb) ... Selecting previously deselected package groff-base. Unpacking groff-base (from .../groff-base_1.21-6_amd64.deb) ... Selecting previously deselected package man-db. Unpacking man-db (from .../man-db_2.6.0.2-2_amd64.deb) ... Selecting previously deselected package libmagic1. Unpacking libmagic1 (from .../libmagic1_5.08-1_amd64.deb) ... Selecting previously deselected package file. Unpacking file (from .../archives/file_5.08-1_amd64.deb) ... Selecting previously deselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.1.1-4_amd64.deb) ... Selecting previously deselected package libxml2. Unpacking libxml2 (from .../libxml2_2.7.8.dfsg-4_amd64.deb) ... Selecting previously deselected package html2text. Unpacking html2text (from .../html2text_1.3.2a-15_amd64.deb) ... Selecting previously deselected package libglib2.0-0. Unpacking libglib2.0-0 (from .../libglib2.0-0_2.28.6-1_amd64.deb) ... Selecting previously deselected package libcroco3. Unpacking libcroco3 (from .../libcroco3_0.6.2-1_amd64.deb) ... Selecting previously deselected package libunistring0. Unpacking libunistring0 (from .../libunistring0_0.9.3-4_amd64.deb) ... Selecting previously deselected package gettext. Unpacking gettext (from .../gettext_0.18.1.1-4_amd64.deb) ... Selecting previously deselected package intltool-debian. Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ... Selecting previously deselected package po-debconf. Unpacking po-debconf (from .../po-debconf_1.0.16+nmu1_all.deb) ... Selecting previously deselected package debhelper. Unpacking debhelper (from .../debhelper_8.9.6_all.deb) ... Selecting previously deselected package libgmp-dev. Unpacking libgmp-dev (from .../libgmp-dev_2%3a5.0.2+dfsg-1_amd64.deb) ... Selecting previously deselected package zlib1g-dev. Unpacking zlib1g-dev (from .../zlib1g-dev_1%3a1.2.3.4.dfsg-3_amd64.deb) ... Selecting previously deselected package sbuild-build-depends-minisat+-dummy. Unpacking sbuild-build-depends-minisat+-dummy (from .../sbuild-build-depends-minisat+-dummy.deb) ... Processing triggers for install-info ... Setting up libpipeline1 (1.2.0-3) ... Setting up libpcre3 (8.12-4) ... Setting up libgmpxx4ldbl (2:5.0.2+dfsg-1) ... Setting up bsdmainutils (8.2.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-6) ... Setting up man-db (2.6.0.2-2) ... Building database of manual pages ... Setting up libmagic1 (5.08-1) ... Setting up file (5.08-1) ... Setting up gettext-base (0.18.1.1-4) ... Setting up libxml2 (2.7.8.dfsg-4) ... Setting up html2text (1.3.2a-15) ... Setting up libglib2.0-0 (2.28.6-1) ... No schema files found: doing nothing. Setting up libcroco3 (0.6.2-1) ... Setting up libunistring0 (0.9.3-4) ... Setting up gettext (0.18.1.1-4) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu1) ... Setting up debhelper (8.9.6) ... Setting up libgmp-dev (2:5.0.2+dfsg-1) ... Setting up zlib1g-dev (1:1.2.3.4.dfsg-3) ... Setting up sbuild-build-depends-minisat+-dummy (0.invalid.0) ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build environment │ └──────────────────────────────────────────────────────────────────────────────┘ Kernel: Linux 2.6.32-5-amd64 amd64 (x86_64) Toolchain package versions: binutils_2.21.53.20110910-1 dpkg-dev_1.16.0.3 g++-4.6_4.6.1-10 gcc-4.6_4.6.1-10 libc6-dev_2.13-20 libstdc++6_4.6.1-10 libstdc++6-4.6-dev_4.6.1-10 linux-libc-dev_3.0.0-3 Package versions: apt_0.8.15.6 apt-utils_0.8.15.6 base-files_6.5 base-passwd_3.5.23 bash_4.1-3 binutils_2.21.53.20110910-1 bsdmainutils_8.2.3 bsdutils_1:2.19.1-5 build-essential_11.5 bzip2_1.0.5-7 clang_2.9-11 coreutils_8.5-1 cpp_4:4.6.1-2 cpp-4.6_4.6.1-10 dash_0.5.7-1 debconf_1.5.41 debfoster_2.7-1.1 debhelper_8.9.6 debian-archive-keyring_2010.08.28 debianutils_4.0.2 diffutils_1:3.0-1 dpkg_1.16.0.3 dpkg-dev_1.16.0.3 e2fslibs_1.42~WIP-2011-07-02-1 e2fsprogs_1.42~WIP-2011-07-02-1 fakeroot_1.18-1 file_5.08-1 findutils_4.4.2-1+b1 g++_4:4.6.1-2 g++-4.6_4.6.1-10 gcc_4:4.6.1-2 gcc-4.6_4.6.1-10 gcc-4.6-base_4.6.1-10 gettext_0.18.1.1-4 gettext-base_0.18.1.1-4 gnupg_1.4.11-3 gpgv_1.4.11-3 grep_2.9-2 groff-base_1.21-6 gzip_1.4-1 hostname_3.06 html2text_1.3.2a-15 initscripts_2.88dsf-13.11 insserv_1.14.0-2.1 install-info_4.13a.dfsg.1-8 intltool-debian_0.35.0+20060710.1 less_444-1 libacl1_2.2.51-3 libattr1_1:2.4.46-3 libblkid1_2.19.1-5 libbz2-1.0_1.0.5-7 libc-bin_2.13-20 libc-dev-bin_2.13-20 libc6_2.13-20 libc6-dev_2.13-20 libcomerr2_1.42~WIP-2011-07-02-1 libcroco3_0.6.2-1 libdb5.1_5.1.25-11 libdpkg-perl_1.16.0.3 libffi5_3.0.10~rc10-3 libgc1c2_1:7.1-8 libgcc1_1:4.6.1-10 libgdbm3_1.8.3-10 libglib2.0-0_2.28.6-1 libgmp-dev_2:5.0.2+dfsg-1 libgmp10_2:5.0.2+dfsg-1 libgmpxx4ldbl_2:5.0.2+dfsg-1 libgomp1_4.6.1-10 libllvm2.9_2.9+dfsg-3 liblzma2_5.1.1alpha+20110809-2 libmagic1_5.08-1 libmount1_2.19.1-5 libmpc2_0.9-3 libmpfr4_3.0.1-6 libncurses5_5.9-1 libncursesw5_5.9-1 libpam-modules_1.1.3-2 libpam-modules-bin_1.1.3-2 libpam-runtime_1.1.3-2 libpam0g_1.1.3-2 libpcre3_8.12-4 libpipeline1_1.2.0-3 libquadmath0_4.6.1-10 libreadline6_6.2-4 libselinux1_2.1.0-1 libsepol1_2.1.0-1.1 libslang2_2.2.4-3 libss2_1.42~WIP-2011-07-02-1 libstdc++6_4.6.1-10 libstdc++6-4.6-dev_4.6.1-10 libtimedate-perl_1.2000-1 libunistring0_0.9.3-4 libusb-0.1-4_2:0.1.12-19 libuuid1_2.19.1-5 libxml2_2.7.8.dfsg-4 linux-libc-dev_3.0.0-3 login_1:4.1.4.2+svn3283-3 lsb-base_3.2-28 make_3.81-8.1 man-db_2.6.0.2-2 mawk_1.3.3-15 mount_2.19.1-5 multiarch-support_2.13-20 ncurses-base_5.9-1 ncurses-bin_5.9-1 nvi_1.81.6-8.2 passwd_1:4.1.4.2+svn3283-3 patch_2.6.1-2 perl_5.12.4-4 perl-base_5.12.4-4 perl-modules_5.12.4-4 po-debconf_1.0.16+nmu1 readline-common_6.2-4 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-minisat+-dummy_0.invalid.0 sed_4.2.1-9 sensible-utils_0.0.6 sysv-rc_2.88dsf-13.11 sysvinit_2.88dsf-13.11 sysvinit-utils_2.88dsf-13.11 tar_1.26-2 tzdata_2011i-2 util-linux_2.19.1-5 xz-utils_5.1.1alpha+20110809-2 zlib1g_1:1.2.3.4.dfsg-3 zlib1g-dev_1:1.2.3.4.dfsg-3 ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build │ └──────────────────────────────────────────────────────────────────────────────┘ Unpack source ───────────── gpgv: keyblock resource `/var/lib/sbuild/.gnupg/trustedkeys.gpg': file open error gpgv: Signature made Tue May 24 21:06:24 2011 CEST using DSA key ID E0BA04C1 gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./minisat+_1.0-2.dsc dpkg-source: info: extracting minisat+ in minisat+-1.0 dpkg-source: info: unpacking minisat+_1.0.orig.tar.gz dpkg-source: info: unpacking minisat+_1.0-2.debian.tar.gz dpkg-source: info: applying exitcode Check disc space ──────────────── Sufficient free space for build dpkg-buildpackage ───────────────── dpkg-buildpackage: export CFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export CPPFLAGS from dpkg-buildflags (origin: vendor): dpkg-buildpackage: export CXXFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export FFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export LDFLAGS from dpkg-buildflags (origin: vendor): dpkg-buildpackage: source package minisat+ dpkg-buildpackage: source version 1.0-2 dpkg-source --before-build minisat+-1.0 dpkg-buildpackage: host architecture amd64 fakeroot debian/rules clean dh clean dh_testdir debian/rules override_dh_auto_clean make[1]: Entering directory `/build/minisat+-a5cq20/minisat+-1.0' make clean Makefile:96: depend.mak: No such file or directorymake[2]: Entering directory `/build/minisat+-a5cq20/minisat+-1.0' Making dependencies... clang: warning: argument unused during compilation: '-ffloat-store' make[2]: Leaving directory `/build/minisat+-a5cq20/minisat+-1.0' make[2]: Entering directory `/build/minisat+-a5cq20/minisat+-1.0' make[2]: Leaving directory `/build/minisat+-a5cq20/minisat+-1.0' make[1]: Leaving directory `/build/minisat+-a5cq20/minisat+-1.0' dh_clean dpkg-source -b minisat+-1.0 dpkg-source: info: using source format `3.0 (quilt)' dpkg-source: info: building minisat+ using existing ./minisat+_1.0.orig.tar.gz dpkg-source: info: building minisat+ in minisat+_1.0-2.debian.tar.gz dpkg-source: info: building minisat+ in minisat+_1.0-2.dsc debian/rules build dh build dh_testdir dh_auto_configure dh_auto_build Makefile:96: depend.mak: No such file or directory make[1]: Entering directory `/build/minisat+-a5cq20/minisat+-1.0' Making dependencies... clang: warning: argument unused during compilation: '-ffloat-store' make[1]: Leaving directory `/build/minisat+-a5cq20/minisat+-1.0' make[1]: Entering directory `/build/minisat+-a5cq20/minisat+-1.0' Building minisat+ (standard) Compiling: Debug.C clang: warning: argument unused during compilation: '-ffloat-store' In file included from :137: In file included from :3: ADTs/Global.h:281:43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' vec& operator = (vec& other) { TEMPLATE_FAIL; return *this; } ^ ADTs/Global.h:78:23: note: instantiated from: #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ ADTs/Global.h:282:43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' vec (vec& other) { TEMPLATE_FAIL; } ^ ADTs/Global.h:78:23: note: instantiated from: #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ In file included from Debug.C:20: In file included from ./Debug.h:24: In file included from ./PbSolver.h:23: In file included from ./Solver.h:24: ./SatELite.h:260:1: warning: struct 'Solver' was previously declared as a class [-Wmismatched-tags] struct Solver { ^~~~~~ class ./SatELite.h:89:7: note: previous use is here class Solver; ^ In file included from Debug.C:20: In file included from ./Debug.h:24: In file included from ./PbSolver.h:24: ADTs/Map.h:129:54: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' Map& operator = (Map& other) { TEMPLATE_FAIL; return *this; } ^ In file included from :137: In file included from :3: ADTs/Global.h:78:23: note: instantiated from: #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ In file included from Debug.C:20: In file included from ./Debug.h:24: In file included from ./PbSolver.h:24: ADTs/Map.h:130:54: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' Map (Map& other) { TEMPLATE_FAIL; } ^ In file included from :137: In file included from :3: ADTs/Global.h:78:23: note: instantiated from: #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ In file included from Debug.C:20: In file included from ./Debug.h:25: In file included from ADTs/FEnv.h:31: ADTs/VecMaps.h:82:1: warning: struct template 'VecMap' was previously declared as a class template [-Wmismatched-tags] struct VecMap : BitMap { ^~~~~~ class ADTs/VecMaps.h:58:7: note: previous use is here class VecMap { ^ In file included from Debug.C:20: In file included from ./Debug.h:24: In file included from ./PbSolver.h:24: In file included from ADTs/Map.h:29: ADTs/VecAlloc.h:41:99: warning: conversion specifies type 'int' but the argument has type 'unsigned long' [-Wformat] if (nallocs != 0) fprintf(stderr, "WARNING! VecAlloc detected leak of %d unit(s) of size %d.\n", nallocs, sizeof(T)); ~^ ~~~~~~~~~ %lu In file included from Debug.C:20: In file included from ./Debug.h:24: In file included from ./PbSolver.h:24: ADTs/Map.h:119:5: note: in instantiation of member function 'VecAlloc >::Cell, 100>::~VecAlloc' requested here Map(void) : D_null() { init(1); } ^ In file included from Debug.C:20: In file included from ./Debug.h:24: ./PbSolver.h:90:5: note: in instantiation of member function 'Map >::Map' requested here PbSolver() : sat_solver(opt_solver == st_MiniSat) ^ 3 warnings and 4 errors generated. make[1]: *** [Debug.o] Error 1 make[1]: Leaving directory `/build/minisat+-a5cq20/minisat+-1.0' dh_auto_build: make -j1 returned exit code 2 make: *** [build] Error 2 dpkg-buildpackage: error: debian/rules build gave error exit status 2 ──────────────────────────────────────────────────────────────────────────────── Build finished at 20110911-1155 Finished ──────── E: Build failure (dpkg-buildpackage died) ┌──────────────────────────────────────────────────────────────────────────────┐ │ Cleanup │ └──────────────────────────────────────────────────────────────────────────────┘ Purging /var/lib/schroot/mount/lsid64c-78a6cdf8-b6b6-4158-b333-44a79ae1cfea/build/minisat+-a5cq20 Not cleaning session: cloned chroot in use ┌──────────────────────────────────────────────────────────────────────────────┐ │ Summary │ └──────────────────────────────────────────────────────────────────────────────┘ Architecture: amd64 Build-Space: 588 Build-Time: 2 Distribution: lsid64c Fail-Stage: build Install-Time: 4 Job: minisat+_1.0-2 Package: minisat+ Package-Time: 16 Source-Version: 1.0-2 Space: 588 Status: attempted Version: 1.0-2 ──────────────────────────────────────────────────────────────────────────────── Finished at 20110911-1155 Build needed 00:00:16, 588k disc space DC-Build-Status: Failed 2137.689832s ### Content of /var/log/daemon.log ### Sep 11 10:47:53 talc-110 approx: Concurrent download of debian/dists/sid/Release.gpg is taking too long Sep 11 10:48:04 talc-110 approx: Concurrent download of debian/dists/sid/Release.gpg is taking too long Sep 11 10:48:44 talc-110 approx: Concurrent download of debian/dists/sid/Release is taking too long Sep 11 10:48:51 talc-110 approx: Concurrent download of debian/dists/sid/main/binary-amd64/Packages.xz is taking too long Sep 11 10:48:57 talc-110 approx: Concurrent download of debian/dists/sid/Release is taking too long Sep 11 10:49:08 talc-110 approx: Concurrent download of debian/dists/sid/main/binary-amd64/Packages.xz is taking too long Sep 11 10:49:08 talc-110 approx: Concurrent download of debian/dists/sid/Release is taking too long Sep 11 10:49:18 talc-110 approx: Concurrent download of debian/dists/sid/main/source/Sources.xz is taking too long Sep 11 10:49:19 talc-110 approx: Concurrent download of debian/dists/sid/main/binary-amd64/Packages.xz is taking too long Sep 11 10:49:29 talc-110 approx: Concurrent download of debian/dists/sid/main/i18n/Index is taking too long Sep 11 10:49:45 talc-110 approx: Concurrent download of debian/dists/sid/main/binary-amd64/Packages.xz is taking too long ### End of content of /var/log/daemon.log ### DC-Time-Estimation: 2137.689832 versus expected 32000 (r/m: 13.9694307943923 ; m: 2137.689832)