DC-Build-Header: minisat+ 1.0-2 / Fri Jan 13 02:42:14 +0100 2012 sbuild (Debian sbuild) 0.62.2 (05 Apr 2011) on stremi-5.reims.grid5000.fr ╔══════════════════════════════════════════════════════════════════════════════╗ ║ minisat+ 1.0-2 (amd64) 13 Jan 2012 02:42 ║ ╚══════════════════════════════════════════════════════════════════════════════╝ Package: minisat+ Version: 1.0-2 Source Version: 1.0-2 Distribution: lsid64b Architecture: amd64 ┌──────────────────────────────────────────────────────────────────────────────┐ │ Update chroot │ └──────────────────────────────────────────────────────────────────────────────┘ Ign http://localhost sid InRelease Get:1 http://localhost sid Release.gpg [836 B] Get:2 http://localhost sid Release [188 kB] Ign http://localhost sid/main Sources/DiffIndex Ign http://localhost sid/main amd64 Packages/DiffIndex Ign http://localhost sid/main TranslationIndex Get:3 http://localhost sid/main Sources [7544 kB] Get:4 http://localhost sid/main amd64 Packages [10.4 MB] Ign http://localhost sid/main Translation-en Fetched 18.2 MB in 9s (1941 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages have been kept back: clang cpp-4.6 g++-4.6 gcc-4.6 gcc-4.6-base libgcc1 libgomp1 libquadmath0 libstdc++6 libstdc++6-4.6-dev 0 upgraded, 0 newly installed, 0 to remove and 10 not upgraded. ┌──────────────────────────────────────────────────────────────────────────────┐ │ Fetch source files │ └──────────────────────────────────────────────────────────────────────────────┘ Check APT ───────── Checking available source versions... Download source files with APT ────────────────────────────── Reading package lists... Building dependency tree... Reading state information... 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 (240 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+-jpvaFm/resolver-gwNbTK/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 10 not upgraded. Need to get 0 B/704 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 unselected package sbuild-build-depends-core-dummy. (Reading database ... 10821 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/lsid64b-3902b305-d2fd-48b3-b6b5-4b7686241271/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+-jpvaFm/resolver-cMokgP/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 10 not upgraded. Need to get 10.3 MB/10.3 MB of archives. After this operation, 28.2 MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libpipeline1 libpcre3 libglib2.0-0 libxml2 libcroco3 libgmpxx4ldbl libunistring0 bsdmainutils groff-base man-db libmagic1 file gettext-base html2text 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-5 [38.2 kB] Get:2 http://localhost/debian/ sid/main libpcre3 amd64 8.12-4 [225 kB] Get:3 http://localhost/debian/ sid/main libglib2.0-0 amd64 2.30.2-4 [1844 kB] Get:4 http://localhost/debian/ sid/main libxml2 amd64 2.7.8.dfsg-5.1 [891 kB] Get:5 http://localhost/debian/ sid/main libcroco3 amd64 0.6.2-2 [122 kB] Get:6 http://localhost/debian/ sid/main libgmpxx4ldbl amd64 2:5.0.2+dfsg-2 [21.0 kB] Get:7 http://localhost/debian/ sid/main libunistring0 amd64 0.9.3-5 [434 kB] Get:8 http://localhost/debian/ sid/main bsdmainutils amd64 8.2.3 [208 kB] Get:9 http://localhost/debian/ sid/main groff-base amd64 1.21-6 [1150 kB] Get:10 http://localhost/debian/ sid/main man-db amd64 2.6.0.2-3 [1015 kB] Get:11 http://localhost/debian/ sid/main libmagic1 amd64 5.09-2 [246 kB] Get:12 http://localhost/debian/ sid/main file amd64 5.09-2 [52.0 kB] Get:13 http://localhost/debian/ sid/main gettext-base amd64 0.18.1.1-5 [154 kB] Get:14 http://localhost/debian/ sid/main html2text amd64 1.3.2a-15 [103 kB] Get:15 http://localhost/debian/ sid/main gettext amd64 0.18.1.1-5 [2080 kB] Get:16 http://localhost/debian/ sid/main intltool-debian all 0.35.0+20060710.1 [30.8 kB] Get:17 http://localhost/debian/ sid/main po-debconf all 1.0.16+nmu2 [224 kB] Get:18 http://localhost/debian/ sid/main debhelper all 8.9.14 [693 kB] Get:19 http://localhost/debian/ sid/main libgmp-dev amd64 2:5.0.2+dfsg-2 [601 kB] Get:20 http://localhost/debian/ sid/main zlib1g-dev amd64 1:1.2.3.4.dfsg-3 [192 kB] Preconfiguring packages ... Fetched 10.3 MB in 0s (41.4 MB/s) Selecting previously unselected package libpipeline1. (Reading database ... 10821 files and directories currently installed.) Unpacking libpipeline1 (from .../libpipeline1_1.2.0-5_amd64.deb) ... Selecting previously unselected package libpcre3. Unpacking libpcre3 (from .../libpcre3_8.12-4_amd64.deb) ... Selecting previously unselected package libglib2.0-0. Unpacking libglib2.0-0 (from .../libglib2.0-0_2.30.2-4_amd64.deb) ... Selecting previously unselected package libxml2. Unpacking libxml2 (from .../libxml2_2.7.8.dfsg-5.1_amd64.deb) ... Selecting previously unselected package libcroco3. Unpacking libcroco3 (from .../libcroco3_0.6.2-2_amd64.deb) ... Selecting previously unselected package libgmpxx4ldbl. Unpacking libgmpxx4ldbl (from .../libgmpxx4ldbl_2%3a5.0.2+dfsg-2_amd64.deb) ... Selecting previously unselected package libunistring0. Unpacking libunistring0 (from .../libunistring0_0.9.3-5_amd64.deb) ... Selecting previously unselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_8.2.3_amd64.deb) ... Selecting previously unselected package groff-base. Unpacking groff-base (from .../groff-base_1.21-6_amd64.deb) ... Selecting previously unselected package man-db. Unpacking man-db (from .../man-db_2.6.0.2-3_amd64.deb) ... Selecting previously unselected package libmagic1. Unpacking libmagic1 (from .../libmagic1_5.09-2_amd64.deb) ... Selecting previously unselected package file. Unpacking file (from .../archives/file_5.09-2_amd64.deb) ... Selecting previously unselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.1.1-5_amd64.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-5_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_8.9.14_all.deb) ... Selecting previously unselected package libgmp-dev. Unpacking libgmp-dev (from .../libgmp-dev_2%3a5.0.2+dfsg-2_amd64.deb) ... Selecting previously unselected package zlib1g-dev. Unpacking zlib1g-dev (from .../zlib1g-dev_1%3a1.2.3.4.dfsg-3_amd64.deb) ... Selecting previously unselected 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-5) ... Setting up libpcre3 (8.12-4) ... Setting up libglib2.0-0 (2.30.2-4) ... No schema files found: doing nothing. Setting up libxml2 (2.7.8.dfsg-5.1) ... Setting up libcroco3 (0.6.2-2) ... Setting up libgmpxx4ldbl (2:5.0.2+dfsg-2) ... Setting up libunistring0 (0.9.3-5) ... 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-3) ... Building database of manual pages ... Setting up libmagic1 (5.09-2) ... Setting up file (5.09-2) ... Setting up gettext-base (0.18.1.1-5) ... Setting up html2text (1.3.2a-15) ... Setting up gettext (0.18.1.1-5) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu2) ... Setting up debhelper (8.9.14) ... Setting up libgmp-dev (2:5.0.2+dfsg-2) ... 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.22-4 dpkg-dev_1.16.1.2 g++-4.6_4.6.2-9 gcc-4.6_4.6.2-9 libc6-dev_2.13-24 libstdc++6_4.6.2-9 libstdc++6-4.6-dev_4.6.2-9 linux-libc-dev_3.1.8-2 Package versions: apt_0.8.15.9 apt-utils_0.8.15.9 base-files_6.5 base-passwd_3.5.24 bash_4.2-1 binutils_2.22-4 bsdmainutils_8.2.3 bsdutils_1:2.20.1-1.1 build-essential_11.5 bzip2_1.0.6-1 clang_3.0-5 coreutils_8.13-3 cpp_4:4.6.2-4 cpp-4.6_4.6.2-9 dash_0.5.7-2 debconf_1.5.41 debfoster_2.7-1.1 debhelper_8.9.14 debian-archive-keyring_2010.08.28 debianutils_4.1 diffutils_1:3.2-1 dpkg_1.16.1.2 dpkg-dev_1.16.1.2 e2fslibs_1.42-1 e2fsprogs_1.42-1 fakeroot_1.18.2-1 file_5.09-2 findutils_4.4.2-4 g++_4:4.6.2-4 g++-4.6_4.6.2-9 gcc_4:4.6.2-4 gcc-4.6_4.6.2-9 gcc-4.6-base_4.6.2-9 gettext_0.18.1.1-5 gettext-base_0.18.1.1-5 gnupg_1.4.11-3 gpgv_1.4.11-3 grep_2.10-1 groff-base_1.21-6 gzip_1.4-2 hostname_3.09 html2text_1.3.2a-15 initscripts_2.88dsf-18 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-5 libattr1_1:2.4.46-5 libblkid1_2.20.1-1.1 libbz2-1.0_1.0.6-1 libc-bin_2.13-24 libc-dev-bin_2.13-24 libc6_2.13-24 libc6-dev_2.13-24 libclang-common-dev_3.0-5 libclass-isa-perl_0.36-3 libcomerr2_1.42-1 libcroco3_0.6.2-2 libdb5.1_5.1.29-1 libdpkg-perl_1.16.1.2 libffi5_3.0.10-3 libgc1c2_1:7.1-8 libgcc1_1:4.6.2-9 libgdbm3_1.8.3-10 libglib2.0-0_2.30.2-4 libgmp-dev_2:5.0.2+dfsg-2 libgmp10_2:5.0.2+dfsg-2 libgmpxx4ldbl_2:5.0.2+dfsg-2 libgomp1_4.6.2-9 libllvm3.0_3.0-5 liblzma2_5.1.1alpha+20110809-2 liblzma5_5.1.1alpha+20110809-3 libmagic1_5.09-2 libmount1_2.20.1-1.1 libmpc2_0.9-4 libmpfr4_3.1.0-3 libncurses5_5.9-4 libncursesw5_5.9-4 libpam-modules_1.1.3-6 libpam-modules-bin_1.1.3-6 libpam-runtime_1.1.3-6 libpam0g_1.1.3-6 libpcre3_8.12-4 libpipeline1_1.2.0-5 libquadmath0_4.6.2-9 libreadline6_6.2-8 libselinux1_2.1.0-4 libsepol1_2.1.0-1.2 libslang2_2.2.4-5 libss2_1.42-1 libstdc++6_4.6.2-9 libstdc++6-4.6-dev_4.6.2-9 libswitch-perl_2.16-2 libtimedate-perl_1.2000-1 libtinfo5_5.9-4 libunistring0_0.9.3-5 libusb-0.1-4_2:0.1.12-20 libuuid1_2.20.1-1.1 libxml2_2.7.8.dfsg-5.1 linux-libc-dev_3.1.8-2 login_1:4.1.4.2+svn3283-3 lsb-base_3.2-28 make_3.81-8.1 man-db_2.6.0.2-3 mawk_1.3.3-16 mount_2.20.1-1.1 multiarch-support_2.13-24 ncurses-base_5.9-4 ncurses-bin_5.9-4 nvi_1.81.6-8.2 passwd_1:4.1.4.2+svn3283-3 patch_2.6.1-2 perl_5.14.2-6 perl-base_5.14.2-6 perl-modules_5.14.2-6 po-debconf_1.0.16+nmu2 readline-common_6.2-8 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-18 sysvinit_2.88dsf-18 sysvinit-utils_2.88dsf-18 tar_1.26-4 tzdata_2011n-2 util-linux_2.20.1-1.1 xz-utils_5.1.1alpha+20110809-3 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: 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+-jpvaFm/minisat+-1.0' make clean Makefile:96: depend.mak: No such file or directory make[2]: Entering directory `/build/minisat+-jpvaFm/minisat+-1.0' Making dependencies... clang: warning: argument unused during compilation: '-ffloat-store' make[2]: Leaving directory `/build/minisat+-jpvaFm/minisat+-1.0' make[2]: Entering directory `/build/minisat+-jpvaFm/minisat+-1.0' make[2]: Leaving directory `/build/minisat+-jpvaFm/minisat+-1.0' make[1]: Leaving directory `/build/minisat+-jpvaFm/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+-jpvaFm/minisat+-1.0' Making dependencies... clang: warning: argument unused during compilation: '-ffloat-store' make[1]: Leaving directory `/build/minisat+-jpvaFm/minisat+-1.0' make[1]: Entering directory `/build/minisat+-jpvaFm/minisat+-1.0' Building minisat+ (standard) Compiling: Debug.C clang: warning: argument unused during compilation: '-ffloat-store' In file included from :138: 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: expanded 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: expanded 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: 'Solver' defined as a struct here but previously declared as a class [-Wmismatched-tags] struct Solver { ^ ./SatELite.h:89:1: note: did you mean struct here? class Solver; ^~~~~ struct 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; } ^ ADTs/Global.h:78:23: note: expanded 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; } ^ ADTs/Global.h:78:23: note: expanded 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: 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 ADTs/Map.h:119:5: note: in instantiation of member function 'VecAlloc >::Cell, 100>::~VecAlloc' requested here Map(void) : D_null() { init(1); } ^ ./PbSolver.h:90:5: note: in instantiation of member function 'Map >::Map' requested here PbSolver() : sat_solver(opt_solver == st_MiniSat) ^ 2 warnings and 4 errors generated. make[1]: *** [Debug.o] Error 1 make[1]: Leaving directory `/build/minisat+-jpvaFm/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 20120113-0242 Finished ──────── E: Build failure (dpkg-buildpackage died) ┌──────────────────────────────────────────────────────────────────────────────┐ │ Cleanup │ └──────────────────────────────────────────────────────────────────────────────┘ Purging /var/lib/schroot/mount/lsid64b-3902b305-d2fd-48b3-b6b5-4b7686241271/build/minisat+-jpvaFm Not cleaning session: cloned chroot in use ┌──────────────────────────────────────────────────────────────────────────────┐ │ Summary │ └──────────────────────────────────────────────────────────────────────────────┘ Architecture: amd64 Build-Space: 588 Build-Time: 3 Distribution: lsid64b Fail-Stage: build Install-Time: 7 Job: minisat+_1.0-2 Package: minisat+ Package-Time: 29 Source-Version: 1.0-2 Space: 588 Status: attempted Version: 1.0-2 ──────────────────────────────────────────────────────────────────────────────── Finished at 20120113-0242 Build needed 00:00:29, 588k disc space DC-Message: Failed, but took only 30.581558. Retrying, you never know. Requested exclusive mode, but other builds running. Requested exclusive mode, but other builds running. Requested exclusive mode, but other builds running. sbuild (Debian sbuild) 0.62.2 (05 Apr 2011) on stremi-5.reims.grid5000.fr ╔══════════════════════════════════════════════════════════════════════════════╗ ║ minisat+ 1.0-2 (amd64) 13 Jan 2012 02:44 ║ ╚══════════════════════════════════════════════════════════════════════════════╝ Package: minisat+ Version: 1.0-2 Source Version: 1.0-2 Distribution: lsid64b Architecture: amd64 ┌──────────────────────────────────────────────────────────────────────────────┐ │ Update chroot │ └──────────────────────────────────────────────────────────────────────────────┘ Ign http://localhost sid InRelease Get:1 http://localhost sid Release.gpg [836 B] Get:2 http://localhost sid Release [188 kB] Ign http://localhost sid/main Sources/DiffIndex Ign http://localhost sid/main amd64 Packages/DiffIndex Ign http://localhost sid/main TranslationIndex Get:3 http://localhost sid/main Sources [7544 kB] Get:4 http://localhost sid/main amd64 Packages [10.4 MB] Ign http://localhost sid/main Translation-en Fetched 18.2 MB in 3s (5491 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages have been kept back: clang cpp-4.6 g++-4.6 gcc-4.6 gcc-4.6-base libgcc1 libgomp1 libquadmath0 libstdc++6 libstdc++6-4.6-dev 0 upgraded, 0 newly installed, 0 to remove and 10 not upgraded. ┌──────────────────────────────────────────────────────────────────────────────┐ │ Fetch source files │ └──────────────────────────────────────────────────────────────────────────────┘ Check APT ───────── Checking available source versions... Download source files with APT ────────────────────────────── Reading package lists... Building dependency tree... Reading state information... 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 (7081 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+-uB8nx0/resolver-Ta9OYX/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 10 not upgraded. Need to get 0 B/704 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 unselected package sbuild-build-depends-core-dummy. (Reading database ... 10821 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/lsid64b-647778bc-ed64-47db-a9ee-ec5d5827a2dd/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+-uB8nx0/resolver-i71CBY/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 10 not upgraded. Need to get 10.3 MB/10.3 MB of archives. After this operation, 28.2 MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libpipeline1 libpcre3 libglib2.0-0 libxml2 libcroco3 libgmpxx4ldbl libunistring0 bsdmainutils groff-base man-db libmagic1 file gettext-base html2text 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-5 [38.2 kB] Get:2 http://localhost/debian/ sid/main libpcre3 amd64 8.12-4 [225 kB] Get:3 http://localhost/debian/ sid/main libglib2.0-0 amd64 2.30.2-4 [1844 kB] Get:4 http://localhost/debian/ sid/main libxml2 amd64 2.7.8.dfsg-5.1 [891 kB] Get:5 http://localhost/debian/ sid/main libcroco3 amd64 0.6.2-2 [122 kB] Get:6 http://localhost/debian/ sid/main libgmpxx4ldbl amd64 2:5.0.2+dfsg-2 [21.0 kB] Get:7 http://localhost/debian/ sid/main libunistring0 amd64 0.9.3-5 [434 kB] Get:8 http://localhost/debian/ sid/main bsdmainutils amd64 8.2.3 [208 kB] Get:9 http://localhost/debian/ sid/main groff-base amd64 1.21-6 [1150 kB] Get:10 http://localhost/debian/ sid/main man-db amd64 2.6.0.2-3 [1015 kB] Get:11 http://localhost/debian/ sid/main libmagic1 amd64 5.09-2 [246 kB] Get:12 http://localhost/debian/ sid/main file amd64 5.09-2 [52.0 kB] Get:13 http://localhost/debian/ sid/main gettext-base amd64 0.18.1.1-5 [154 kB] Get:14 http://localhost/debian/ sid/main html2text amd64 1.3.2a-15 [103 kB] Get:15 http://localhost/debian/ sid/main gettext amd64 0.18.1.1-5 [2080 kB] Get:16 http://localhost/debian/ sid/main intltool-debian all 0.35.0+20060710.1 [30.8 kB] Get:17 http://localhost/debian/ sid/main po-debconf all 1.0.16+nmu2 [224 kB] Get:18 http://localhost/debian/ sid/main debhelper all 8.9.14 [693 kB] Get:19 http://localhost/debian/ sid/main libgmp-dev amd64 2:5.0.2+dfsg-2 [601 kB] Get:20 http://localhost/debian/ sid/main zlib1g-dev amd64 1:1.2.3.4.dfsg-3 [192 kB] Preconfiguring packages ... Fetched 10.3 MB in 0s (41.8 MB/s) Selecting previously unselected package libpipeline1. (Reading database ... 10821 files and directories currently installed.) Unpacking libpipeline1 (from .../libpipeline1_1.2.0-5_amd64.deb) ... Selecting previously unselected package libpcre3. Unpacking libpcre3 (from .../libpcre3_8.12-4_amd64.deb) ... Selecting previously unselected package libglib2.0-0. Unpacking libglib2.0-0 (from .../libglib2.0-0_2.30.2-4_amd64.deb) ... Selecting previously unselected package libxml2. Unpacking libxml2 (from .../libxml2_2.7.8.dfsg-5.1_amd64.deb) ... Selecting previously unselected package libcroco3. Unpacking libcroco3 (from .../libcroco3_0.6.2-2_amd64.deb) ... Selecting previously unselected package libgmpxx4ldbl. Unpacking libgmpxx4ldbl (from .../libgmpxx4ldbl_2%3a5.0.2+dfsg-2_amd64.deb) ... Selecting previously unselected package libunistring0. Unpacking libunistring0 (from .../libunistring0_0.9.3-5_amd64.deb) ... Selecting previously unselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_8.2.3_amd64.deb) ... Selecting previously unselected package groff-base. Unpacking groff-base (from .../groff-base_1.21-6_amd64.deb) ... Selecting previously unselected package man-db. Unpacking man-db (from .../man-db_2.6.0.2-3_amd64.deb) ... Selecting previously unselected package libmagic1. Unpacking libmagic1 (from .../libmagic1_5.09-2_amd64.deb) ... Selecting previously unselected package file. Unpacking file (from .../archives/file_5.09-2_amd64.deb) ... Selecting previously unselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.1.1-5_amd64.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-5_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_8.9.14_all.deb) ... Selecting previously unselected package libgmp-dev. Unpacking libgmp-dev (from .../libgmp-dev_2%3a5.0.2+dfsg-2_amd64.deb) ... Selecting previously unselected package zlib1g-dev. Unpacking zlib1g-dev (from .../zlib1g-dev_1%3a1.2.3.4.dfsg-3_amd64.deb) ... Selecting previously unselected 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-5) ... Setting up libpcre3 (8.12-4) ... Setting up libglib2.0-0 (2.30.2-4) ... No schema files found: doing nothing. Setting up libxml2 (2.7.8.dfsg-5.1) ... Setting up libcroco3 (0.6.2-2) ... Setting up libgmpxx4ldbl (2:5.0.2+dfsg-2) ... Setting up libunistring0 (0.9.3-5) ... 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-3) ... Building database of manual pages ... Setting up libmagic1 (5.09-2) ... Setting up file (5.09-2) ... Setting up gettext-base (0.18.1.1-5) ... Setting up html2text (1.3.2a-15) ... Setting up gettext (0.18.1.1-5) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu2) ... Setting up debhelper (8.9.14) ... Setting up libgmp-dev (2:5.0.2+dfsg-2) ... 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.22-4 dpkg-dev_1.16.1.2 g++-4.6_4.6.2-9 gcc-4.6_4.6.2-9 libc6-dev_2.13-24 libstdc++6_4.6.2-9 libstdc++6-4.6-dev_4.6.2-9 linux-libc-dev_3.1.8-2 Package versions: apt_0.8.15.9 apt-utils_0.8.15.9 base-files_6.5 base-passwd_3.5.24 bash_4.2-1 binutils_2.22-4 bsdmainutils_8.2.3 bsdutils_1:2.20.1-1.1 build-essential_11.5 bzip2_1.0.6-1 clang_3.0-5 coreutils_8.13-3 cpp_4:4.6.2-4 cpp-4.6_4.6.2-9 dash_0.5.7-2 debconf_1.5.41 debfoster_2.7-1.1 debhelper_8.9.14 debian-archive-keyring_2010.08.28 debianutils_4.1 diffutils_1:3.2-1 dpkg_1.16.1.2 dpkg-dev_1.16.1.2 e2fslibs_1.42-1 e2fsprogs_1.42-1 fakeroot_1.18.2-1 file_5.09-2 findutils_4.4.2-4 g++_4:4.6.2-4 g++-4.6_4.6.2-9 gcc_4:4.6.2-4 gcc-4.6_4.6.2-9 gcc-4.6-base_4.6.2-9 gettext_0.18.1.1-5 gettext-base_0.18.1.1-5 gnupg_1.4.11-3 gpgv_1.4.11-3 grep_2.10-1 groff-base_1.21-6 gzip_1.4-2 hostname_3.09 html2text_1.3.2a-15 initscripts_2.88dsf-18 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-5 libattr1_1:2.4.46-5 libblkid1_2.20.1-1.1 libbz2-1.0_1.0.6-1 libc-bin_2.13-24 libc-dev-bin_2.13-24 libc6_2.13-24 libc6-dev_2.13-24 libclang-common-dev_3.0-5 libclass-isa-perl_0.36-3 libcomerr2_1.42-1 libcroco3_0.6.2-2 libdb5.1_5.1.29-1 libdpkg-perl_1.16.1.2 libffi5_3.0.10-3 libgc1c2_1:7.1-8 libgcc1_1:4.6.2-9 libgdbm3_1.8.3-10 libglib2.0-0_2.30.2-4 libgmp-dev_2:5.0.2+dfsg-2 libgmp10_2:5.0.2+dfsg-2 libgmpxx4ldbl_2:5.0.2+dfsg-2 libgomp1_4.6.2-9 libllvm3.0_3.0-5 liblzma2_5.1.1alpha+20110809-2 liblzma5_5.1.1alpha+20110809-3 libmagic1_5.09-2 libmount1_2.20.1-1.1 libmpc2_0.9-4 libmpfr4_3.1.0-3 libncurses5_5.9-4 libncursesw5_5.9-4 libpam-modules_1.1.3-6 libpam-modules-bin_1.1.3-6 libpam-runtime_1.1.3-6 libpam0g_1.1.3-6 libpcre3_8.12-4 libpipeline1_1.2.0-5 libquadmath0_4.6.2-9 libreadline6_6.2-8 libselinux1_2.1.0-4 libsepol1_2.1.0-1.2 libslang2_2.2.4-5 libss2_1.42-1 libstdc++6_4.6.2-9 libstdc++6-4.6-dev_4.6.2-9 libswitch-perl_2.16-2 libtimedate-perl_1.2000-1 libtinfo5_5.9-4 libunistring0_0.9.3-5 libusb-0.1-4_2:0.1.12-20 libuuid1_2.20.1-1.1 libxml2_2.7.8.dfsg-5.1 linux-libc-dev_3.1.8-2 login_1:4.1.4.2+svn3283-3 lsb-base_3.2-28 make_3.81-8.1 man-db_2.6.0.2-3 mawk_1.3.3-16 mount_2.20.1-1.1 multiarch-support_2.13-24 ncurses-base_5.9-4 ncurses-bin_5.9-4 nvi_1.81.6-8.2 passwd_1:4.1.4.2+svn3283-3 patch_2.6.1-2 perl_5.14.2-6 perl-base_5.14.2-6 perl-modules_5.14.2-6 po-debconf_1.0.16+nmu2 readline-common_6.2-8 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-18 sysvinit_2.88dsf-18 sysvinit-utils_2.88dsf-18 tar_1.26-4 tzdata_2011n-2 util-linux_2.20.1-1.1 xz-utils_5.1.1alpha+20110809-3 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: 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+-uB8nx0/minisat+-1.0' make clean Makefile:96: depend.mak: No such file or directory make[2]: Entering directory `/build/minisat+-uB8nx0/minisat+-1.0' Making dependencies... clang: warning: argument unused during compilation: '-ffloat-store' make[2]: Leaving directory `/build/minisat+-uB8nx0/minisat+-1.0' make[2]: Entering directory `/build/minisat+-uB8nx0/minisat+-1.0' make[2]: Leaving directory `/build/minisat+-uB8nx0/minisat+-1.0' make[1]: Leaving directory `/build/minisat+-uB8nx0/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+-uB8nx0/minisat+-1.0' Making dependencies... clang: warning: argument unused during compilation: '-ffloat-store' make[1]: Leaving directory `/build/minisat+-uB8nx0/minisat+-1.0' make[1]: Entering directory `/build/minisat+-uB8nx0/minisat+-1.0' Building minisat+ (standard) Compiling: Debug.C clang: warning: argument unused during compilation: '-ffloat-store' In file included from :138: 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: expanded 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: expanded 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: 'Solver' defined as a struct here but previously declared as a class [-Wmismatched-tags] struct Solver { ^ ./SatELite.h:89:1: note: did you mean struct here? class Solver; ^~~~~ struct 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; } ^ ADTs/Global.h:78:23: note: expanded 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; } ^ ADTs/Global.h:78:23: note: expanded 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: 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 ADTs/Map.h:119:5: note: in instantiation of member function 'VecAlloc >::Cell, 100>::~VecAlloc' requested here Map(void) : D_null() { init(1); } ^ ./PbSolver.h:90:5: note: in instantiation of member function 'Map >::Map' requested here PbSolver() : sat_solver(opt_solver == st_MiniSat) ^ 2 warnings and 4 errors generated. make[1]: *** [Debug.o] Error 1 make[1]: Leaving directory `/build/minisat+-uB8nx0/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 20120113-0244 Finished ──────── E: Build failure (dpkg-buildpackage died) ┌──────────────────────────────────────────────────────────────────────────────┐ │ Cleanup │ └──────────────────────────────────────────────────────────────────────────────┘ Purging /var/lib/schroot/mount/lsid64b-647778bc-ed64-47db-a9ee-ec5d5827a2dd/build/minisat+-uB8nx0 Not cleaning session: cloned chroot in use ┌──────────────────────────────────────────────────────────────────────────────┐ │ Summary │ └──────────────────────────────────────────────────────────────────────────────┘ Architecture: amd64 Build-Space: 588 Build-Time: 3 Distribution: lsid64b Fail-Stage: build Install-Time: 6 Job: minisat+_1.0-2 Package: minisat+ Package-Time: 21 Source-Version: 1.0-2 Space: 588 Status: attempted Version: 1.0-2 ──────────────────────────────────────────────────────────────────────────────── Finished at 20120113-0244 Build needed 00:00:21, 588k disc space DC-Build-Status: Failed 143.342273s ### Content of /var/log/daemon.log ### Jan 12 21:03:53 stremi-5 approx: Concurrent download of debian/dists/sid/Release.gpg is taking too long Jan 12 21:04:14 stremi-5 approx: Concurrent download of debian/dists/sid/main/i18n/Translation-en.bz2 is taking too long Jan 12 21:04:20 stremi-5 approx: Concurrent download of debian/dists/sid/Release is taking too long Jan 12 21:04:30 stremi-5 approx: Concurrent download of debian/dists/sid/Release.gpg is taking too long Jan 12 21:04:41 stremi-5 approx: Concurrent download of debian/dists/sid/Release.gpg is taking too long Jan 12 21:04:52 stremi-5 approx: Concurrent download of debian/dists/sid/Release.gpg is taking too long Jan 12 21:04:54 stremi-5 approx: Concurrent download of debian/dists/sid/main/source/Sources.xz is taking too long Jan 12 21:05:10 stremi-5 approx: Concurrent download of debian/dists/sid/Release.gpg is taking too long Jan 12 21:05:34 stremi-5 approx: Concurrent download of debian/dists/sid/main/binary-amd64/Packages.xz is taking too long Jan 12 21:05:43 stremi-5 approx: Concurrent download of debian/dists/sid/Release is taking too long Jan 12 21:06:08 stremi-5 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: 143.342273 versus expected 36 (r/m: 2.98172980555556 ; m: 36.0) DC-Build-Network: USED. See /tmp/rulesafter.DsfF4A ! ************************************************************ # Generated by iptables-save v1.4.8 on Fri Jan 13 02:44:37 2012 *filter :INPUT ACCEPT [6387695:55028506207] :FORWARD ACCEPT [0:0] :OUTPUT DROP [0:0] :LD - [0:0] [3849569:49975742934] -A OUTPUT -o lo -j ACCEPT [0:0] -A OUTPUT -d 129.88.0.0/16 -j ACCEPT [0:0] -A OUTPUT -d 10.0.0.0/8 -j ACCEPT [0:0] -A OUTPUT -d 192.168.133.0/24 -j ACCEPT [0:0] -A OUTPUT -d 192.168.159.0/24 -j ACCEPT [0:0] -A OUTPUT -d 192.168.160.0/24 -j ACCEPT [0:0] -A OUTPUT -d 10.69.0.0/17 -j ACCEPT [0:0] -A OUTPUT -d 172.28.52.0/22 -j ACCEPT [0:0] -A OUTPUT -d 172.24.0.0/16 -j ACCEPT [0:0] -A OUTPUT -d 131.254.202.0/23 -j ACCEPT [0:0] -A OUTPUT -d 138.96.20.0/22 -j ACCEPT [0:0] -A OUTPUT -d 192.168.22.0/24 -j ACCEPT [535844:235516552] -A OUTPUT -d 172.16.0.0/16 -j ACCEPT [0:0] -A OUTPUT -d 192.168.67.0/24 -j ACCEPT [41645:5535912] -A OUTPUT -d 224.0.0.0/4 -p udp -j ACCEPT [249:14940] -A OUTPUT -j LD [249:14940] -A LD -j LOG [249:14940] -A LD -j REJECT --reject-with icmp-port-unreachable COMMIT # Completed on Fri Jan 13 02:44:37 2012 ************************************************************ --- /tmp/rulesbefore.etu6p9 2012-01-13 02:42:14.297855783 +0100 +++ /tmp/rulesafter.DsfF4A 2012-01-13 02:44:37.649188652 +0100 @@ -1,10 +1,10 @@ -# Generated by iptables-save v1.4.8 on Fri Jan 13 02:42:14 2012 +# Generated by iptables-save v1.4.8 on Fri Jan 13 02:44:37 2012 *filter -:INPUT ACCEPT [6333310:54519462570] +:INPUT ACCEPT [6387695:55028506207] :FORWARD ACCEPT [0:0] :OUTPUT DROP [0:0] :LD - [0:0] -[3811270:49480234526] -A OUTPUT -o lo -j ACCEPT +[3849569:49975742934] -A OUTPUT -o lo -j ACCEPT [0:0] -A OUTPUT -d 129.88.0.0/16 -j ACCEPT [0:0] -A OUTPUT -d 10.0.0.0/8 -j ACCEPT [0:0] -A OUTPUT -d 192.168.133.0/24 -j ACCEPT @@ -16,11 +16,11 @@ [0:0] -A OUTPUT -d 131.254.202.0/23 -j ACCEPT [0:0] -A OUTPUT -d 138.96.20.0/22 -j ACCEPT [0:0] -A OUTPUT -d 192.168.22.0/24 -j ACCEPT -[530990:232658060] -A OUTPUT -d 172.16.0.0/16 -j ACCEPT +[535844:235516552] -A OUTPUT -d 172.16.0.0/16 -j ACCEPT [0:0] -A OUTPUT -d 192.168.67.0/24 -j ACCEPT -[41411:5505756] -A OUTPUT -d 224.0.0.0/4 -p udp -j ACCEPT +[41645:5535912] -A OUTPUT -d 224.0.0.0/4 -p udp -j ACCEPT [249:14940] -A OUTPUT -j LD [249:14940] -A LD -j LOG [249:14940] -A LD -j REJECT --reject-with icmp-port-unreachable COMMIT -# Completed on Fri Jan 13 02:42:14 2012 +# Completed on Fri Jan 13 02:44:37 2012 ************************************************************ [14028.706202] IN= OUT=eth0 SRC=172.16.160.5 DST=208.78.244.32 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=41952 DF PROTO=TCP SPT=57615 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [14031.725202] IN= OUT=eth0 SRC=172.16.160.5 DST=208.78.244.32 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=41953 DF PROTO=TCP SPT=57615 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [14031.751055] IN= OUT=eth0 SRC=172.16.160.5 DST=208.78.244.32 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=15409 DF PROTO=TCP SPT=57616 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [14034.765033] IN= OUT=eth0 SRC=172.16.160.5 DST=208.78.244.32 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=15410 DF PROTO=TCP SPT=57616 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [14034.782016] IN= OUT=eth0 SRC=172.16.160.5 DST=208.78.244.32 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=28005 DF PROTO=TCP SPT=57617 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [14037.797113] IN= OUT=eth0 SRC=172.16.160.5 DST=208.78.244.32 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=28006 DF PROTO=TCP SPT=57617 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [14037.818296] IN= OUT=eth0 SRC=172.16.160.5 DST=208.78.244.32 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=63210 DF PROTO=TCP SPT=57618 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [14040.837035] IN= OUT=eth0 SRC=172.16.160.5 DST=208.78.244.32 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=63211 DF PROTO=TCP SPT=57618 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [14040.854027] IN= OUT=eth0 SRC=172.16.160.5 DST=208.78.244.32 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=49630 DF PROTO=TCP SPT=57627 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [14043.869788] IN= OUT=eth0 SRC=172.16.160.5 DST=208.78.244.32 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=49631 DF PROTO=TCP SPT=57627 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [14102.153362] IN= OUT=eth0 SRC=172.16.160.5 DST=82.94.164.162 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=3683 DF PROTO=TCP SPT=54983 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [14105.168015] IN= OUT=eth0 SRC=172.16.160.5 DST=82.94.164.162 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=3684 DF PROTO=TCP SPT=54983 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [14105.314542] IN= OUT=eth0 SRC=172.16.160.5 DST=67.19.75.2 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=26253 DF PROTO=TCP SPT=50576 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [14108.328013] IN= OUT=eth0 SRC=172.16.160.5 DST=67.19.75.2 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=26254 DF PROTO=TCP SPT=50576 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [14118.538857] IN= OUT=eth0 SRC=172.16.160.5 DST=64.27.57.24 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=7459 DF PROTO=TCP SPT=43661 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [14121.552016] IN= OUT=eth0 SRC=172.16.160.5 DST=64.27.57.24 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=7460 DF PROTO=TCP SPT=43661 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [14121.568534] IN= OUT=eth0 SRC=172.16.160.5 DST=64.27.57.29 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=1536 DF PROTO=TCP SPT=37709 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [14124.584026] IN= OUT=eth0 SRC=172.16.160.5 DST=64.27.57.29 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=1537 DF PROTO=TCP SPT=37709 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [14134.650885] IN= OUT=eth0 SRC=172.16.160.5 DST=66.228.40.238 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=45920 DF PROTO=TCP SPT=52870 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [14137.664024] IN= OUT=eth0 SRC=172.16.160.5 DST=66.228.40.238 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=45921 DF PROTO=TCP SPT=52870 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [14137.702129] IN= OUT=eth0 SRC=172.16.160.5 DST=109.224.196.24 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=41042 DF PROTO=TCP SPT=45313 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [14140.716018] IN= OUT=eth0 SRC=172.16.160.5 DST=109.224.196.24 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=41043 DF PROTO=TCP SPT=45313 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [16741.224720] IN= OUT=eth0 SRC=172.16.160.5 DST=109.74.196.249 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=21215 DF PROTO=TCP SPT=34679 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [16744.244023] IN= OUT=eth0 SRC=172.16.160.5 DST=109.74.196.249 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=21216 DF PROTO=TCP SPT=34679 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [16744.282119] IN= OUT=eth0 SRC=172.16.160.5 DST=109.74.196.249 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=63652 DF PROTO=TCP SPT=34684 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [16747.300027] IN= OUT=eth0 SRC=172.16.160.5 DST=109.74.196.249 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=63653 DF PROTO=TCP SPT=34684 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [16747.339314] IN= OUT=eth0 SRC=172.16.160.5 DST=109.74.196.249 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=44307 DF PROTO=TCP SPT=34689 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [16750.356193] IN= OUT=eth0 SRC=172.16.160.5 DST=109.74.196.249 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=44308 DF PROTO=TCP SPT=34689 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [16750.394316] IN= OUT=eth0 SRC=172.16.160.5 DST=109.74.196.249 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=50363 DF PROTO=TCP SPT=34690 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [16753.412017] IN= OUT=eth0 SRC=172.16.160.5 DST=109.74.196.249 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=50364 DF PROTO=TCP SPT=34690 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [16753.562485] IN= OUT=eth0 SRC=172.16.160.5 DST=76.74.238.39 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=64557 DF PROTO=TCP SPT=59777 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [16756.580279] IN= OUT=eth0 SRC=172.16.160.5 DST=76.74.238.39 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=64558 DF PROTO=TCP SPT=59777 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [16762.344089] IN= OUT=eth0 SRC=172.16.160.5 DST=109.74.196.249 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=62879 DF PROTO=TCP SPT=34701 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [16765.360786] IN= OUT=eth0 SRC=172.16.160.5 DST=109.74.196.249 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=62880 DF PROTO=TCP SPT=34701 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [16765.398734] IN= OUT=eth0 SRC=172.16.160.5 DST=109.74.196.249 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=44469 DF PROTO=TCP SPT=34708 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [16768.412115] IN= OUT=eth0 SRC=172.16.160.5 DST=109.74.196.249 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=44470 DF PROTO=TCP SPT=34708 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [16768.450174] IN= OUT=eth0 SRC=172.16.160.5 DST=109.74.196.249 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=22640 DF PROTO=TCP SPT=34709 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [16771.468112] IN= OUT=eth0 SRC=172.16.160.5 DST=109.74.196.249 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=22641 DF PROTO=TCP SPT=34709 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [16771.506099] IN= OUT=eth0 SRC=172.16.160.5 DST=109.74.196.249 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=22490 DF PROTO=TCP SPT=34716 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [16774.524111] IN= OUT=eth0 SRC=172.16.160.5 DST=109.74.196.249 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=22491 DF PROTO=TCP SPT=34716 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [16774.671808] IN= OUT=eth0 SRC=172.16.160.5 DST=76.74.238.39 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=29974 DF PROTO=TCP SPT=59825 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [16777.692029] IN= OUT=eth0 SRC=172.16.160.5 DST=76.74.238.39 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=29975 DF PROTO=TCP SPT=59825 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [17075.221002] IN= OUT=eth0 SRC=172.16.160.5 DST=82.94.164.162 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=6336 DF PROTO=TCP SPT=57540 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [17078.240017] IN= OUT=eth0 SRC=172.16.160.5 DST=82.94.164.162 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=6337 DF PROTO=TCP SPT=57540 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [17095.932527] IN= OUT=eth0 SRC=172.16.160.5 DST=82.94.164.162 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=59991 DF PROTO=TCP SPT=57541 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [17098.944283] IN= OUT=eth0 SRC=172.16.160.5 DST=82.94.164.162 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=59992 DF PROTO=TCP SPT=57541 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [17099.662381] IN= OUT=eth0 SRC=172.16.160.5 DST=82.94.164.162 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=59944 DF PROTO=TCP SPT=57542 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [17102.677363] IN= OUT=eth0 SRC=172.16.160.5 DST=82.94.164.162 LEN=60 TOS=0x00 PREC=0x00 TTL=64 ID=59945 DF PROTO=TCP SPT=57542 DPT=80 WINDOW=5840 RES=0x00 SYN URGP=0 [20557.617121] conftest[27198]: segfault at 0 ip 00002b606d69d9d3 sp 00007fff3585c370 error 4 in libobjc.so.4.0.0[2b606d68f000+17000] [20557.711792] conftest[27566]: segfault at 0 ip 00002ac5d0eef9d3 sp 00007fff936bc560 error 4 in libobjc.so.4.0.0[2ac5d0ee1000+17000] ************************************************************