RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: 2.6.38-1209-omap4 #21-Ubuntu SMP PREEMPT Thu Jan 26 15:18:48 UTC 2012 armv7l Buildd toolchain package versions: launchpad-buildd_113~0.IS.08.04 python-lpbuildd_113~0.IS.08.04 bzr_2.3.4-0ubuntu1. Syncing the system clock with the buildd NTP service... 28 May 11:40:16 ntpdate[31874]: adjust time server 10.211.37.1 offset 0.005682 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', '9740e57b739c4686ddb676fb463515d2858f9b61', '/home/buildd/filecache-default/be62816574fbe3597a010e6cafcac272ceedf0ed'] Unpacking chroot for build 9740e57b739c4686ddb676fb463515d2858f9b61 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', '9740e57b739c4686ddb676fb463515d2858f9b61'] Mounting chroot for build 9740e57b739c4686ddb676fb463515d2858f9b61 RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', '9740e57b739c4686ddb676fb463515d2858f9b61', 'deb http://ftpmaster.internal/ubuntu quantal main universe'] Overriding sources.list in build-9740e57b739c4686ddb676fb463515d2858f9b61 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', '9740e57b739c4686ddb676fb463515d2858f9b61', 'armel'] Updating debian chroot for build 9740e57b739c4686ddb676fb463515d2858f9b61 Ign http://ftpmaster.internal quantal InRelease Get:1 http://ftpmaster.internal quantal Release.gpg [198 B] Get:2 http://ftpmaster.internal quantal Release [49.6 kB] Get:3 http://ftpmaster.internal quantal/main armel Packages [1285 kB] Get:4 http://ftpmaster.internal quantal/universe armel Packages [4957 kB] Get:5 http://ftpmaster.internal quantal/main TranslationIndex [74 B] Get:6 http://ftpmaster.internal quantal/universe TranslationIndex [75 B] Get:7 http://ftpmaster.internal quantal/main Translation-en [719 kB] Get:8 http://ftpmaster.internal quantal/universe Translation-en [3541 kB] Fetched 10.6 MB in 30s (351 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: klibc-utils libklibc 2 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 248 kB of archives. After this operation, 19.5 kB of additional disk space will be used. WARNING: The following packages cannot be authenticated! klibc-utils libklibc Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ quantal/main klibc-utils armel 2.0~rc5-1 [199 kB] Get:2 http://ftpmaster.internal/ubuntu/ quantal/main libklibc armel 2.0~rc5-1 [49.0 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 248 kB in 0s (2575 kB/s) (Reading database ... 12128 files and directories currently installed.) Preparing to replace klibc-utils 1.5.25-1ubuntu2 (using .../klibc-utils_2.0~rc5-1_armel.deb) ... Unpacking replacement klibc-utils ... Preparing to replace libklibc 1.5.25-1ubuntu2 (using .../libklibc_2.0~rc5-1_armel.deb) ... Unpacking replacement libklibc ... Setting up libklibc (2.0~rc5-1) ... Setting up klibc-utils (2.0~rc5-1) ... RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', '9740e57b739c4686ddb676fb463515d2858f9b61', 'armel', 'quantal', '--nolog', '--batch', '--archive=ubuntu', '--dist=quantal', '--purpose=PRIMARY', '--architecture=armel', '--comp=universe', 'clasp_2.0.6-2.dsc'] Initiating build 9740e57b739c4686ddb676fb463515d2858f9b61 with 2 jobs across 2 processor cores. Automatic build of clasp_2.0.6-2 on sigbin by sbuild/armel 1.170.5 Build started at 20120528-1142 ****************************************************************************** clasp_2.0.6-2.dsc exists in cwd ** Using build dependencies supplied by package: Build-Depends: debhelper (>= 8.0.0), libtbb-dev (>= 3.0+r018) [amd64 ia64 ppc64] Checking for already installed source dependencies... debhelper: missing Checking for source dependency conflicts... /usr/bin/sudo /usr/bin/apt-get --purge $CHROOT_OPTIONS -q -y install debhelper Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: bsdmainutils dh-apparmor file gettext gettext-base groff-base html2text intltool-debian libcroco3 libgettextpo0 libmagic1 libpipeline1 libunistring0 libxml2 man-db po-debconf Suggested packages: wamerican wordlist whois vacation dh-make gettext-doc groff less www-browser libmail-box-perl Recommended packages: curl wget lynx-cur xml-core libmail-sendmail-perl The following NEW packages will be installed: bsdmainutils debhelper dh-apparmor file gettext gettext-base groff-base html2text intltool-debian libcroco3 libgettextpo0 libmagic1 libpipeline1 libunistring0 libxml2 man-db po-debconf 0 upgraded, 17 newly installed, 0 to remove and 0 not upgraded. Need to get 5392 kB of archives. After this operation, 16.4 MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libmagic1 libpipeline1 libxml2 libcroco3 libunistring0 libgettextpo0 file bsdmainutils gettext-base groff-base man-db html2text gettext intltool-debian po-debconf dh-apparmor debhelper Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ quantal/main libmagic1 armel 5.11-1 [222 kB] Get:2 http://ftpmaster.internal/ubuntu/ quantal/main libpipeline1 armel 1.2.1-1 [20.7 kB] Get:3 http://ftpmaster.internal/ubuntu/ quantal/main libxml2 armel 2.7.8.dfsg-5.1ubuntu5 [595 kB] Get:4 http://ftpmaster.internal/ubuntu/ quantal/main libcroco3 armel 0.6.5-1 [82.2 kB] Get:5 http://ftpmaster.internal/ubuntu/ quantal/main libunistring0 armel 0.9.3-5 [394 kB] Get:6 http://ftpmaster.internal/ubuntu/ quantal/main libgettextpo0 armel 0.18.1.1-5ubuntu4 [111 kB] Get:7 http://ftpmaster.internal/ubuntu/ quantal/main file armel 5.11-1 [19.9 kB] Get:8 http://ftpmaster.internal/ubuntu/ quantal/main bsdmainutils armel 9.0.2ubuntu1 [201 kB] Get:9 http://ftpmaster.internal/ubuntu/ quantal/main gettext-base armel 0.18.1.1-5ubuntu4 [56.1 kB] Get:10 http://ftpmaster.internal/ubuntu/ quantal/main groff-base armel 1.21-7 [923 kB] Get:11 http://ftpmaster.internal/ubuntu/ quantal/main man-db armel 2.6.1-2 [702 kB] Get:12 http://ftpmaster.internal/ubuntu/ quantal/main html2text armel 1.3.2a-15 [94.3 kB] Get:13 http://ftpmaster.internal/ubuntu/ quantal/main gettext armel 0.18.1.1-5ubuntu4 [1111 kB] Get:14 http://ftpmaster.internal/ubuntu/ quantal/main intltool-debian all 0.35.0+20060710.1 [31.6 kB] Get:15 http://ftpmaster.internal/ubuntu/ quantal/main po-debconf all 1.0.16+nmu2ubuntu1 [210 kB] Get:16 http://ftpmaster.internal/ubuntu/ quantal/main dh-apparmor all 2.7.102-0ubuntu4 [9548 B] Get:17 http://ftpmaster.internal/ubuntu/ quantal/main debhelper all 9.20120419ubuntu2 [609 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 5392 kB in 1s (3646 kB/s) Selecting previously unselected package libmagic1. (Reading database ... 12128 files and directories currently installed.) Unpacking libmagic1 (from .../libmagic1_5.11-1_armel.deb) ... Selecting previously unselected package libpipeline1. Unpacking libpipeline1 (from .../libpipeline1_1.2.1-1_armel.deb) ... Selecting previously unselected package libxml2. Unpacking libxml2 (from .../libxml2_2.7.8.dfsg-5.1ubuntu5_armel.deb) ... Selecting previously unselected package libcroco3. Unpacking libcroco3 (from .../libcroco3_0.6.5-1_armel.deb) ... Selecting previously unselected package libunistring0. Unpacking libunistring0 (from .../libunistring0_0.9.3-5_armel.deb) ... Selecting previously unselected package libgettextpo0. Unpacking libgettextpo0 (from .../libgettextpo0_0.18.1.1-5ubuntu4_armel.deb) ... Selecting previously unselected package file. Unpacking file (from .../archives/file_5.11-1_armel.deb) ... Selecting previously unselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_9.0.2ubuntu1_armel.deb) ... Selecting previously unselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.1.1-5ubuntu4_armel.deb) ... Selecting previously unselected package groff-base. Unpacking groff-base (from .../groff-base_1.21-7_armel.deb) ... Selecting previously unselected package man-db. Unpacking man-db (from .../man-db_2.6.1-2_armel.deb) ... Selecting previously unselected package html2text. Unpacking html2text (from .../html2text_1.3.2a-15_armel.deb) ... Selecting previously unselected package gettext. Unpacking gettext (from .../gettext_0.18.1.1-5ubuntu4_armel.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+nmu2ubuntu1_all.deb) ... Selecting previously unselected package dh-apparmor. Unpacking dh-apparmor (from .../dh-apparmor_2.7.102-0ubuntu4_all.deb) ... Selecting previously unselected package debhelper. Unpacking debhelper (from .../debhelper_9.20120419ubuntu2_all.deb) ... Setting up libmagic1 (5.11-1) ... Setting up libpipeline1 (1.2.1-1) ... Setting up libxml2 (2.7.8.dfsg-5.1ubuntu5) ... Setting up libcroco3 (0.6.5-1) ... Setting up libunistring0 (0.9.3-5) ... Setting up libgettextpo0 (0.18.1.1-5ubuntu4) ... Setting up file (5.11-1) ... Setting up bsdmainutils (9.0.2ubuntu1) ... 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 gettext-base (0.18.1.1-5ubuntu4) ... Setting up groff-base (1.21-7) ... Setting up man-db (2.6.1-2) ... Building database of manual pages ... Setting up html2text (1.3.2a-15) ... Setting up gettext (0.18.1.1-5ubuntu4) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu2ubuntu1) ... Setting up dh-apparmor (2.7.102-0ubuntu4) ... Setting up debhelper (9.20120419ubuntu2) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place Checking correctness of source dependencies... Toolchain package versions: libc6-dev_2.15-0ubuntu12 make_3.81-8.1ubuntu1 dpkg-dev_1.16.1.2ubuntu8 gcc-4.7_4.7.0-7ubuntu4 g++-4.7_4.7.0-7ubuntu4 binutils_2.22-6ubuntu1 libstdc++6-4.7-dev_4.7.0-7ubuntu4 libstdc++6_4.7.0-7ubuntu4 ------------------------------------------------------------------------------ dpkg-source: warning: -sn is not a valid option for Dpkg::Source::Package::V3::quilt gpgv: Signature made Sun May 27 15:00:57 2012 UTC using RSA key ID 8B3C16AE gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./clasp_2.0.6-2.dsc dpkg-source: info: extracting clasp in clasp-2.0.6 dpkg-source: info: unpacking clasp_2.0.6.orig.tar.gz dpkg-source: info: unpacking clasp_2.0.6-2.debian.tar.gz dpkg-source: info: applying clasp-manpage.patch dpkg-source: info: applying gcc-4.7.patch dpkg-buildpackage: source package clasp dpkg-buildpackage: source version 2.0.6-2 dpkg-source --before-build clasp-2.0.6 dpkg-buildpackage: host architecture armel /usr/bin/fakeroot debian/rules clean dh clean dh_testdir debian/rules override_dh_auto_clean make[1]: Entering directory `/build/buildd/clasp-2.0.6' rm -rf ./build make[1]: Leaving directory `/build/buildd/clasp-2.0.6' dh_clean debian/rules build dh build dh_testdir debian/rules override_dh_auto_configure make[1]: Entering directory `/build/buildd/clasp-2.0.6' ./configure.sh --prefix=/usr --with-claspre Configuration successfully written to build/release. Make flags written to build/release/FLAGS. To compile clasp type: cd build/release make To install clasp afterwards type: make install or copy 'build/release/clasp' to a directory of your choice. Note: "make" must correspond to GNU Make 3.8 or later. make[1]: Leaving directory `/build/buildd/clasp-2.0.6' debian/rules override_dh_auto_build make[1]: Entering directory `/build/buildd/clasp-2.0.6' dh_auto_build --builddirectory=build/release make[2]: Entering directory `/build/buildd/clasp-2.0.6/build/release' g++ -I../../libclasp -I../../libprogram_opts -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MT app/main.o -MM ../../app/main.cpp > app/main.dep g++ -I../../libclasp -I../../libprogram_opts -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MT app/clasp_output.o -MM ../../app/clasp_output.cpp > app/clasp_output.dep g++ -I../../libclasp -I../../libprogram_opts -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MT app/clasp_options.o -MM ../../app/clasp_options.cpp > app/clasp_options.dep g++ -I../../libclasp -I../../libprogram_opts -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MT app/clasp_app.o -MM ../../app/clasp_app.cpp > app/clasp_app.dep g++ -I../../libclasp -I../../libprogram_opts -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MT app/alarm.o -MM ../../app/alarm.cpp > app/alarm.dep make[2]: Leaving directory `/build/buildd/clasp-2.0.6/build/release' make[2]: Entering directory `/build/buildd/clasp-2.0.6/build/release' make[3]: Entering directory `/build/buildd/clasp-2.0.6/build/release/libclasp' g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MM ../../../libclasp/src/weight_constraint.cpp > weight_constraint.dep g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MM ../../../libclasp/src/unfounded_check.cpp > unfounded_check.dep g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MM ../../../libclasp/src/timer.cpp > timer.dep g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MM ../../../libclasp/src/solver_types.cpp > solver_types.dep g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MM ../../../libclasp/src/solver.cpp > solver.dep g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MM ../../../libclasp/src/solve_algorithms.cpp > solve_algorithms.dep g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MM ../../../libclasp/src/shared_context.cpp > shared_context.dep g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MM ../../../libclasp/src/satelite.cpp > satelite.dep g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MM ../../../libclasp/src/reader.cpp > reader.dep g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MM ../../../libclasp/src/program_rule.cpp > program_rule.dep g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MM ../../../libclasp/src/program_builder.cpp > program_builder.dep g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MM ../../../libclasp/src/preprocessor.cpp > preprocessor.dep g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MM ../../../libclasp/src/parallel_solve.cpp > parallel_solve.dep g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MM ../../../libclasp/src/model_enumerators.cpp > model_enumerators.dep g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MM ../../../libclasp/src/minimize_constraint.cpp > minimize_constraint.dep g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MM ../../../libclasp/src/lookahead.cpp > lookahead.dep g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MM ../../../libclasp/src/heuristics.cpp > heuristics.dep g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MM ../../../libclasp/src/enumerator.cpp > enumerator.dep g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MM ../../../libclasp/src/dependency_graph.cpp > dependency_graph.dep g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MM ../../../libclasp/src/constraint.cpp > constraint.dep g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MM ../../../libclasp/src/clause.cpp > clause.dep g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MM ../../../libclasp/src/clasp_facade.cpp > clasp_facade.dep g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MM ../../../libclasp/src/cb_enumerator.cpp > cb_enumerator.dep make[3]: Leaving directory `/build/buildd/clasp-2.0.6/build/release/libclasp' make[3]: Entering directory `/build/buildd/clasp-2.0.6/build/release/libclasp' g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../../libclasp/src/cb_enumerator.cpp -o cb_enumerator.o g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../../libclasp/src/clasp_facade.cpp -o clasp_facade.o g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../../libclasp/src/clause.cpp -o clause.o ../../../libclasp/src/clause.cpp: In static member function 'static Clasp::SharedLiterals* Clasp::SharedLiterals::newShareable(const Clasp::Literal*, uint32, Clasp::ConstraintType, uint32)': ../../../libclasp/src/clause.cpp:63:18: note: #pragma message: TODO: replace with CACHE_LINE_ALIGNED alloc ../../../libclasp/src/clause.cpp: In static member function 'static void* Clasp::Clause::alloc(Clasp::Solver&, uint32)': ../../../libclasp/src/clause.cpp:473:18: note: #pragma message: TODO: replace with CACHE_LINE_ALIGNED alloc g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../../libclasp/src/constraint.cpp -o constraint.o g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../../libclasp/src/dependency_graph.cpp -o dependency_graph.o g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../../libclasp/src/enumerator.cpp -o enumerator.o g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../../libclasp/src/heuristics.cpp -o heuristics.o g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../../libclasp/src/lookahead.cpp -o lookahead.o g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../../libclasp/src/minimize_constraint.cpp -o minimize_constraint.o g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../../libclasp/src/model_enumerators.cpp -o model_enumerators.o g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../../libclasp/src/parallel_solve.cpp -o parallel_solve.o g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../../libclasp/src/preprocessor.cpp -o preprocessor.o g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../../libclasp/src/program_builder.cpp -o program_builder.o g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../../libclasp/src/program_rule.cpp -o program_rule.o g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../../libclasp/src/reader.cpp -o reader.o g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../../libclasp/src/satelite.cpp -o satelite.o g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../../libclasp/src/shared_context.cpp -o shared_context.o g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../../libclasp/src/solve_algorithms.cpp -o solve_algorithms.o g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../../libclasp/src/solver.cpp -o solver.o g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../../libclasp/src/solver_types.cpp -o solver_types.o g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../../libclasp/src/timer.cpp -o timer.o g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../../libclasp/src/unfounded_check.cpp -o unfounded_check.o g++ -I../../../libclasp -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../../libclasp/src/weight_constraint.cpp -o weight_constraint.o ar cvrs lib/libclasp.a cb_enumerator.o clasp_facade.o clause.o constraint.o dependency_graph.o enumerator.o heuristics.o lookahead.o minimize_constraint.o model_enumerators.o parallel_solve.o preprocessor.o program_builder.o program_rule.o reader.o satelite.o shared_context.o solve_algorithms.o solver.o solver_types.o timer.o unfounded_check.o weight_constraint.o a - cb_enumerator.o a - clasp_facade.o a - clause.o a - constraint.o a - dependency_graph.o a - enumerator.o a - heuristics.o a - lookahead.o a - minimize_constraint.o a - model_enumerators.o a - parallel_solve.o a - preprocessor.o a - program_builder.o a - program_rule.o a - reader.o a - satelite.o a - shared_context.o a - solve_algorithms.o a - solver.o a - solver_types.o a - timer.o a - unfounded_check.o a - weight_constraint.o make[3]: Leaving directory `/build/buildd/clasp-2.0.6/build/release/libclasp' make[3]: Entering directory `/build/buildd/clasp-2.0.6/build/release/libprogram_opts' g++ -I../../../libprogram_opts -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MM ../../../libprogram_opts/src/value_store.cpp > value_store.dep g++ -I../../../libprogram_opts -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MM ../../../libprogram_opts/src/value_parser.cpp > value_parser.dep g++ -I../../../libprogram_opts -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MM ../../../libprogram_opts/src/program_options.cpp > program_options.dep g++ -I../../../libprogram_opts -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -MM ../../../libprogram_opts/src/app_options.cpp > app_options.dep make[3]: Leaving directory `/build/buildd/clasp-2.0.6/build/release/libprogram_opts' make[3]: Entering directory `/build/buildd/clasp-2.0.6/build/release/libprogram_opts' g++ -I../../../libprogram_opts -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../../libprogram_opts/src/app_options.cpp -o app_options.o g++ -I../../../libprogram_opts -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../../libprogram_opts/src/program_options.cpp -o program_options.o g++ -I../../../libprogram_opts -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../../libprogram_opts/src/value_parser.cpp -o value_parser.o g++ -I../../../libprogram_opts -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../../libprogram_opts/src/value_store.cpp -o value_store.o ar cvrs lib/libprogram_opts.a app_options.o program_options.o value_parser.o value_store.o a - app_options.o a - program_options.o a - value_parser.o a - value_store.o make[3]: Leaving directory `/build/buildd/clasp-2.0.6/build/release/libprogram_opts' g++ -I../../libclasp -I../../libprogram_opts -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../app/alarm.cpp -o app/alarm.o g++ -I../../libclasp -I../../libprogram_opts -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../app/clasp_app.cpp -o app/clasp_app.o g++ -I../../libclasp -I../../libprogram_opts -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../app/clasp_options.cpp -o app/clasp_options.o g++ -I../../libclasp -I../../libprogram_opts -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../app/clasp_output.cpp -o app/clasp_output.o g++ -I../../libclasp -I../../libprogram_opts -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT -c ../../app/main.cpp -o app/main.o g++ -W -Wall -O3 -DNDEBUG -DDISABLE_MULTI_THREADING -DWITH_CLASPRE_SUPPORT app/alarm.o app/clasp_app.o app/clasp_options.o app/clasp_output.o app/main.o libclasp/lib/libclasp.a libprogram_opts/lib/libprogram_opts.a -o bin/clasp make[2]: Leaving directory `/build/buildd/clasp-2.0.6/build/release' make[1]: Leaving directory `/build/buildd/clasp-2.0.6' dh_auto_test /usr/bin/fakeroot debian/rules binary-arch dh binary-arch dh_testroot -a dh_prep -a dh_installdirs -a debian/rules override_dh_auto_install make[1]: Entering directory `/build/buildd/clasp-2.0.6' dh_auto_install --builddirectory=build/release -- INSTALL_DIR=/build/buildd/clasp-2.0.6/debian/clasp/usr/bin make[2]: Entering directory `/build/buildd/clasp-2.0.6/build/release' make[3]: Entering directory `/build/buildd/clasp-2.0.6/build/release/libclasp' make[3]: `lib/libclasp.a' is up to date. make[3]: Leaving directory `/build/buildd/clasp-2.0.6/build/release/libclasp' make[3]: Entering directory `/build/buildd/clasp-2.0.6/build/release/libprogram_opts' make[3]: `lib/libprogram_opts.a' is up to date. make[3]: Leaving directory `/build/buildd/clasp-2.0.6/build/release/libprogram_opts' install bin/clasp /build/buildd/clasp-2.0.6/debian/clasp/usr/bin make[2]: Leaving directory `/build/buildd/clasp-2.0.6/build/release' make[1]: Leaving directory `/build/buildd/clasp-2.0.6' dh_install -a dh_installdocs -a debian/rules override_dh_installchangelogs make[1]: Entering directory `/build/buildd/clasp-2.0.6' dh_installchangelogs CHANGES make[1]: Leaving directory `/build/buildd/clasp-2.0.6' dh_installexamples -a dh_installman -a dh_installcatalogs -a dh_installcron -a dh_installdebconf -a dh_installemacsen -a dh_installifupdown -a dh_installinfo -a dh_installinit -a dh_installmenu -a dh_installmime -a dh_installmodules -a dh_installlogcheck -a dh_installlogrotate -a dh_installpam -a dh_installppp -a dh_installudev -a dh_installwm -a dh_installxfonts -a dh_installgsettings -a dh_bugfiles -a dh_ucf -a dh_lintian -a dh_gconf -a dh_icons -a dh_perl -a dh_usrlocal -a dh_link -a dh_compress -a dh_fixperms -a dh_strip -a dh_strip debug symbol extraction: all non-arch-all packages for this build platform armel: clasp dh_strip debug symbol extraction: packages to act on: clasp dh_strip debug symbol extraction: ignored packages: clasp is already stripped, ignoring dh_makeshlibs -a dh_shlibdeps -a dpkg-shlibdeps: warning: debian/clasp/usr/bin/clasp contains an unresolvable reference to symbol __aeabi_unwind_cpp_pr1@GCC_3.5: it's probably a plugin. dh_installdeb -a dh_gencontrol -a dh_md5sums -a dh_builddeb -a INFO: pkgstriptranslations version 116 pkgstriptranslations: processing clasp (in debian/clasp); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/clasp/DEBIAN/control, package clasp, directory debian/clasp .. removing usr/share/doc/clasp/changelog.gz pkgstripfiles: Truncating usr/share/doc/clasp/changelog.Debian.gz to topmost ten records pkgstripfiles: PNG optimization for package clasp took 0 s dpkg-deb: warning: 'debian/clasp/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package `clasp' in `../clasp_2.0.6-2_armel.deb'. dpkg-genchanges -B -mUbuntu/armel Build Daemon >../clasp_2.0.6-2_armel.changes dpkg-genchanges: arch-specific upload - not including arch-independent packages dpkg-genchanges: binary-only upload - not including any source code dpkg-source --after-build clasp-2.0.6 dpkg-buildpackage: binary only upload (no source included) ****************************************************************************** Build finished at 20120528-1148 chroot-autobuild/build/buildd/clasp_2.0.6-2_armel.deb: new debian package, version 2.0. size 333984 bytes: control archive= 1060 bytes. 1273 bytes, 25 lines control 314 bytes, 5 lines md5sums Package: clasp Version: 2.0.6-2 Architecture: armel Maintainer: Ubuntu Developers Original-Maintainer: Debian Science Maintainers Installed-Size: 687 Depends: libc6 (>= 2.4), libgcc1 (>= 1:4.4.0), libstdc++6 (>= 4.6) Recommends: gringo Suggests: potassco-guide Section: interpreters Priority: extra Homepage: http://www.cs.uni-potsdam.de/clasp/ Description: conflict-driven nogood learning answer set solver clasp is an answer set solver for (extended) normal logic programs. It combines the high-level modeling capacities of answer set programming (ASP) with state-of-the-art techniques from the area of Boolean constraint solving. The primary clasp algorithm relies on conflict-driven nogood learning, a technique that proved very successful for satisfiability checking (SAT). Unlike other learning ASP solvers, clasp does not rely on legacy software, such as a SAT solver or any other existing ASP solver. Rather, clasp has been genuinely developed for answer set solving based on conflict-driven nogood learning. clasp can be applied as an ASP solver (on LPARSE output format), as a SAT solver (on simplified DIMACS/CNF format), or as a PB solver (on OPB format). chroot-autobuild/build/buildd/clasp_2.0.6-2_armel.deb: drwxr-xr-x root/root 0 2012-05-28 11:48 ./ drwxr-xr-x root/root 0 2012-05-28 11:48 ./usr/ drwxr-xr-x root/root 0 2012-05-28 11:48 ./usr/share/ drwxr-xr-x root/root 0 2012-05-28 11:48 ./usr/share/doc/ drwxr-xr-x root/root 0 2012-05-28 11:48 ./usr/share/doc/clasp/ -rw-r--r-- root/root 2251 2011-04-21 11:26 ./usr/share/doc/clasp/README.gz -rw-r--r-- root/root 861 2012-05-28 11:48 ./usr/share/doc/clasp/changelog.Debian.gz -rw-r--r-- root/root 2874 2012-05-27 14:54 ./usr/share/doc/clasp/copyright drwxr-xr-x root/root 0 2012-05-28 11:48 ./usr/share/man/ drwxr-xr-x root/root 0 2012-05-28 11:48 ./usr/share/man/man1/ -rw-r--r-- root/root 1247 2012-05-28 11:48 ./usr/share/man/man1/clasp.1.gz drwxr-xr-x root/root 0 2012-05-28 11:48 ./usr/bin/ -rwxr-xr-x root/root 649408 2012-05-28 11:48 ./usr/bin/clasp clasp_2.0.6-2_armel.changes: Format: 1.8 Date: Sun, 27 May 2012 15:41:47 +0100 Source: clasp Binary: clasp Architecture: armel Version: 2.0.6-2 Distribution: quantal Urgency: low Maintainer: Ubuntu/armel Build Daemon Changed-By: Dmitrijs Ledkovs Description: clasp - conflict-driven nogood learning answer set solver Closes: 674184 Changes: clasp (2.0.6-2) unstable; urgency=low . * Team upload * Apply patch to FTBFS with gcc-4.7, thanks to Ilya Barygin (Closes: #674184) Checksums-Sha1: 680bb113d3c0ebb99b7303297474346dd8f6bfe1 333984 clasp_2.0.6-2_armel.deb Checksums-Sha256: 49e80dc4e6254bede0200d16148fb02e98603b39e7637d470ae76ad00c8b36a8 333984 clasp_2.0.6-2_armel.deb Files: ee333d1f161742fad19246265bfbed14 333984 interpreters extra clasp_2.0.6-2_armel.deb ****************************************************************************** Built successfully ****************************************************************************** Finished at 20120528-1148 Build needed 00:05:24, 6964k disk space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['/usr/share/launchpad-buildd/slavebin/scan-for-processes', '9740e57b739c4686ddb676fb463515d2858f9b61'] Scanning for processes to kill in build /home/buildd/build-9740e57b739c4686ddb676fb463515d2858f9b61/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', '9740e57b739c4686ddb676fb463515d2858f9b61'] Unmounting chroot for build 9740e57b739c4686ddb676fb463515d2858f9b61... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', '9740e57b739c4686ddb676fb463515d2858f9b61'] Removing build 9740e57b739c4686ddb676fb463515d2858f9b61