sbuild (Debian sbuild) 0.62.6 (07 Dec 2011) on build02.raspbian.lan ╔══════════════════════════════════════════════════════════════════════════════╗ ║ clasp 2.0.6-2 (armhf) 07 Jun 2012 03:24 ║ ╚══════════════════════════════════════════════════════════════════════════════╝ Package: clasp Version: 2.0.6-2 Source Version: 2.0.6-2 Distribution: testing Architecture: armhf I: NOTICE: Log filtering will replace 'build/clasp-oCPuVn/clasp-2.0.6' with '«PKGBUILDDIR»' I: NOTICE: Log filtering will replace 'build/clasp-oCPuVn' with '«BUILDDIR»' I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/testing-armhf-sbuild-75a79401-56b9-49eb-9f95-99d8f28b715b' with '«CHROOT»' ┌──────────────────────────────────────────────────────────────────────────────┐ │ Update chroot │ └──────────────────────────────────────────────────────────────────────────────┘ Hit http://repo.raspbian.lan testing InRelease Hit http://repo.raspbian.lan testing/main Sources Hit http://repo.raspbian.lan testing/main armhf Packages Ign http://repo.raspbian.lan testing/main Translation-en Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Fetch source files │ └──────────────────────────────────────────────────────────────────────────────┘ Check APT ───────── Checking available source versions... Download source files with APT ────────────────────────────── Reading package lists... Building dependency tree... Reading state information... NOTICE: 'clasp' packaging is maintained in the 'Git' version control system at: git://git.debian.org/git/debian-science/packages/clasp.git Need to get 389 kB of source archives. Get:1 http://repo.raspbian.lan/raspbian/ testing/main clasp 2.0.6-2 (dsc) [1996 B] Get:2 http://repo.raspbian.lan/raspbian/ testing/main clasp 2.0.6-2 (tar) [381 kB] Get:3 http://repo.raspbian.lan/raspbian/ testing/main clasp 2.0.6-2 (diff) [6297 B] Fetched 389 kB in 0s (2236 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 `/«BUILDDIR»/resolver-3QkGiA/apt_archive/sbuild-build-depends-core-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install core build dependencies (apt-based resolver) │ └──────────────────────────────────────────────────────────────────────────────┘ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: sbuild-build-depends-core-dummy debconf: delaying package configuration, since apt-utils is not installed 0 upgraded, 1 newly installed, 0 to remove and 4 not upgraded. Need to get 0 B/704 B of archives. After this operation, 0 B of additional disk space will be used. Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... 10660 files and directories currently installed.) Unpacking sbuild-build-depends-core-dummy (from .../sbuild-build-depends-core-dummy.deb) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... Merged Build-Depends: libc6-dev | libc-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), debhelper (>= 8.0.0) Filtered Build-Depends: libc6-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), debhelper (>= 8.0.0) dpkg-deb: building package `sbuild-build-depends-clasp-dummy' in `/«BUILDDIR»/resolver-_8Obre/apt_archive/sbuild-build-depends-clasp-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install clasp 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 libffi5 libglib2.0-0 libmagic1 libpcre3 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 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 libffi5 libglib2.0-0 libmagic1 libpcre3 libpipeline1 libunistring0 libxml2 man-db po-debconf sbuild-build-depends-clasp-dummy debconf: delaying package configuration, since apt-utils is not installed 0 upgraded, 19 newly installed, 0 to remove and 4 not upgraded. Need to get 0 B/9376 kB of archives. After this operation, 24.2 MB of additional disk space will be used. Selecting previously unselected package libpcre3:armhf. (Reading database ... 10660 files and directories currently installed.) Unpacking libpcre3:armhf (from .../libpcre3_1%3a8.30-5_armhf.deb) ... Selecting previously unselected package libpipeline1:armhf. Unpacking libpipeline1:armhf (from .../libpipeline1_1.2.1-1_armhf.deb) ... Selecting previously unselected package libmagic1:armhf. Unpacking libmagic1:armhf (from .../libmagic1_5.11-1_armhf.deb) ... Selecting previously unselected package libxml2:armhf. Unpacking libxml2:armhf (from .../libxml2_2.7.8.dfsg-9.1_armhf.deb) ... Selecting previously unselected package libffi5:armhf. Unpacking libffi5:armhf (from .../libffi5_3.0.10-3+b3_armhf.deb) ... Selecting previously unselected package libglib2.0-0:armhf. Unpacking libglib2.0-0:armhf (from .../libglib2.0-0_2.32.3-1_armhf.deb) ... Selecting previously unselected package libcroco3:armhf. Unpacking libcroco3:armhf (from .../libcroco3_0.6.5-1_armhf.deb) ... Selecting previously unselected package libunistring0:armhf. Unpacking libunistring0:armhf (from .../libunistring0_0.9.3-5_armhf.deb) ... Selecting previously unselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_9.0.2_armhf.deb) ... Selecting previously unselected package groff-base. Unpacking groff-base (from .../groff-base_1.21-7_armhf.deb) ... Selecting previously unselected package man-db. Unpacking man-db (from .../man-db_2.6.1-2_armhf.deb) ... Selecting previously unselected package file. Unpacking file (from .../archives/file_5.11-1_armhf.deb) ... Selecting previously unselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.1.1-5+rpi1_armhf.deb) ... Selecting previously unselected package html2text. Unpacking html2text (from .../html2text_1.3.2a-15_armhf.deb) ... Selecting previously unselected package gettext. Unpacking gettext (from .../gettext_0.18.1.1-5+rpi1_armhf.deb) ... Selecting previously unselected package intltool-debian. Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ... Selecting previously unselected package po-debconf. Unpacking po-debconf (from .../po-debconf_1.0.16+nmu2_all.deb) ... Selecting previously unselected package debhelper. Unpacking debhelper (from .../debhelper_9.20120419_all.deb) ... Selecting previously unselected package sbuild-build-depends-clasp-dummy. Unpacking sbuild-build-depends-clasp-dummy (from .../sbuild-build-depends-clasp-dummy.deb) ... Setting up libpcre3:armhf (1:8.30-5) ... Setting up libpipeline1:armhf (1.2.1-1) ... Setting up libmagic1:armhf (5.11-1) ... Setting up libxml2:armhf (2.7.8.dfsg-9.1) ... Setting up libffi5:armhf (3.0.10-3+b3) ... Setting up libglib2.0-0:armhf (2.32.3-1) ... No schema files found: doing nothing. Setting up libcroco3:armhf (0.6.5-1) ... Setting up libunistring0:armhf (0.9.3-5) ... Setting up bsdmainutils (9.0.2) ... 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-7) ... Setting up man-db (2.6.1-2) ... Building database of manual pages ... Setting up file (5.11-1) ... Setting up gettext-base (0.18.1.1-5+rpi1) ... Setting up html2text (1.3.2a-15) ... Setting up gettext (0.18.1.1-5+rpi1) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu2) ... Setting up debhelper (9.20120419) ... Setting up sbuild-build-depends-clasp-dummy (0.invalid.0) ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build environment │ └──────────────────────────────────────────────────────────────────────────────┘ Kernel: Linux 3.2.0-2-mx5 armhf (armv7l) Toolchain package versions: binutils_2.22-6 dpkg-dev_1.16.3 g++-4.6_4.6.3-1.1+rpi2 gcc-4.6_4.6.3-1.1+rpi2 libc6-dev_2.13-32 libstdc++6_4.7.0-1.1+rpi libstdc++6-4.6-dev_4.6.3-1.1+rpi2 linux-libc-dev_3.2.17-1 Package versions: apt_0.9.3+rpi1 base-files_6.9 base-passwd_3.5.24 bash_4.2-2 binutils_2.22-6 bsdmainutils_9.0.2 bsdutils_1:2.20.1-5 build-essential_11.5+b1 bzip2_1.0.6-1 coreutils_8.13-3.2 cpp_4:4.6.2-4 cpp-4.6_4.6.3-1.1+rpi2 dash_0.5.7-3 debconf_1.5.43 debfoster_2.7-1.1 debhelper_9.20120419 debian-archive-keyring_2012.3 debianutils_4.3 diffutils_1:3.2-6 dpkg_1.16.3 dpkg-dev_1.16.3 e2fslibs_1.42.2-2 e2fsprogs_1.42.2-2 fakeroot_1.18.3-1 file_5.11-1 findutils_4.4.2-4 g++_4:4.6.2-4 g++-4.6_4.6.3-1.1+rpi2 gcc_4:4.6.2-4 gcc-4.4-base_4.4.7-1.1+rpi1 gcc-4.5-base_4.5.3-12+rpi1 gcc-4.6_4.6.3-1.1+rpi2 gcc-4.6-base_4.6.3-1.1+rpi2 gcc-4.7-base_4.7.0-1.1+rpi gettext_0.18.1.1-5+rpi1 gettext-base_0.18.1.1-5+rpi1 gnupg_1.4.12-4 gpgv_1.4.12-4 grep_2.12-2 groff-base_1.21-7 gzip_1.4-5 hostname_3.11 html2text_1.3.2a-15 initscripts_2.88dsf-22.1 insserv_1.14.0-3 intltool-debian_0.35.0+20060710.1 libacl1_2.2.51-7 libapt-pkg4.12_0.9.3+rpi1 libattr1_1:2.4.46-7 libblkid1_2.20.1-5 libbz2-1.0_1.0.6-1 libc-bin_2.13-32 libc-dev-bin_2.13-32 libc6_2.13-32 libc6-dev_2.13-32 libclass-isa-perl_0.36-3 libcomerr2_1.42.2-2 libcroco3_0.6.5-1 libdb5.1_5.1.29-1 libdpkg-perl_1.16.3 libffi5_3.0.10-3+b3 libfile-fcntllock-perl_0.14-1 libgc1c2_1:7.1-8 libgcc1_1:4.7.0-1.1+rpi libgdbm3_1.8.3-10 libglib2.0-0_2.32.3-1 libgmp10_2:5.0.5+dfsg-1.1 libgomp1_4.7.0-1.1+rpi liblocale-gettext-perl_1.05-7 liblzma5_5.1.1alpha+20110809-3 libmagic1_5.11-1 libmount1_2.20.1-5 libmpc2_0.9-4 libmpfr4_3.1.0-5 libncurses5_5.9-7 libncursesw5_5.9-7 libpam-modules_1.1.3-7.1 libpam-modules-bin_1.1.3-7.1 libpam-runtime_1.1.3-7.1 libpam0g_1.1.3-7.1 libpcre3_1:8.30-5 libpipeline1_1.2.1-1 libreadline6_6.2-8 libselinux1_2.1.9-2 libsemanage-common_2.1.6-2 libsemanage1_2.1.6-2 libsepol1_2.1.4-3 libslang2_2.2.4-10 libss2_1.42.2-2 libstdc++6_4.7.0-1.1+rpi libstdc++6-4.6-dev_4.6.3-1.1+rpi2 libswitch-perl_2.16-2 libtext-charwidth-perl_0.04-7 libtext-iconv-perl_1.7-5 libtext-wrapi18n-perl_0.06-7 libtimedate-perl_1.2000-1 libtinfo5_5.9-7 libunistring0_0.9.3-5 libusb-0.1-4_2:0.1.12-20 libustr-1.0-1_1.0.4-2 libuuid1_2.20.1-5 libxml2_2.7.8.dfsg-9.1 linux-libc-dev_3.2.17-1 login_1:4.1.5-1 lsb-base_4.1+Debian4 make_3.81-8.2 man-db_2.6.1-2 mawk_1.3.3-17 mount_2.20.1-5 multiarch-support_2.13-32 ncurses-base_5.9-7 ncurses-bin_5.9-7 passwd_1:4.1.5-1 patch_2.6.1-3 perl_5.14.2-11 perl-base_5.14.2-11 perl-modules_5.14.2-11 po-debconf_1.0.16+nmu2 raspbian-archive-keyring_20120528.2 readline-common_6.2-8 sbuild-build-depends-clasp-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.2.1-9 sensible-utils_0.0.7 sysv-rc_2.88dsf-22.1 sysvinit_2.88dsf-22.1 sysvinit-utils_2.88dsf-22.1 tar_1.26-4 tzdata_2012c-1 ucf_3.0025+nmu3 util-linux_2.20.1-5 xz-utils_5.1.1alpha+20110809-3 zlib1g_1:1.2.7.dfsg-11 ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build │ └──────────────────────────────────────────────────────────────────────────────┘ Unpack source ───────────── gpgv: keyblock resource `/sbuild-nonexistent/.gnupg/trustedkeys.gpg': file open error 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 Check disc space ──────────────── Sufficient free space for build User Environment ──────────────── HOME=/sbuild-nonexistent LOGNAME=buildd PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/X11R6/bin:/usr/games SCHROOT_CHROOT_NAME=testing-armhf-sbuild SCHROOT_COMMAND=env SCHROOT_GID=108 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=testing-armhf-sbuild-75a79401-56b9-49eb-9f95-99d8f28b715b SCHROOT_UID=106 SCHROOT_USER=buildd SHELL=/bin/sh TERM=xterm USER=buildd dpkg-buildpackage ───────────────── 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 armhf fakeroot debian/rules clean dh clean dh_testdir debian/rules override_dh_auto_clean make[1]: Entering directory `/«PKGBUILDDIR»' rm -rf ./build make[1]: Leaving directory `/«PKGBUILDDIR»' dh_clean debian/rules build-arch dh build-arch dh_testdir -a debian/rules override_dh_auto_configure make[1]: Entering directory `/«PKGBUILDDIR»' ./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 `/«PKGBUILDDIR»' debian/rules override_dh_auto_build make[1]: Entering directory `/«PKGBUILDDIR»' dh_auto_build --builddirectory=build/release make[2]: Entering directory `/«PKGBUILDDIR»/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 `/«PKGBUILDDIR»/build/release' make[2]: Entering directory `/«PKGBUILDDIR»/build/release' make[3]: Entering directory `/«PKGBUILDDIR»/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 `/«PKGBUILDDIR»/build/release/libclasp' make[3]: Entering directory `/«PKGBUILDDIR»/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 `/«PKGBUILDDIR»/build/release/libclasp' make[3]: Entering directory `/«PKGBUILDDIR»/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 `/«PKGBUILDDIR»/build/release/libprogram_opts' make[3]: Entering directory `/«PKGBUILDDIR»/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 `/«PKGBUILDDIR»/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 `/«PKGBUILDDIR»/build/release' make[1]: Leaving directory `/«PKGBUILDDIR»' dh_auto_test -a 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 `/«PKGBUILDDIR»' dh_auto_install --builddirectory=build/release -- INSTALL_DIR=/«PKGBUILDDIR»/debian/clasp/usr/bin make[2]: Entering directory `/«PKGBUILDDIR»/build/release' make[3]: Entering directory `/«PKGBUILDDIR»/build/release/libclasp' make[3]: `lib/libclasp.a' is up to date. make[3]: Leaving directory `/«PKGBUILDDIR»/build/release/libclasp' make[3]: Entering directory `/«PKGBUILDDIR»/build/release/libprogram_opts' make[3]: `lib/libprogram_opts.a' is up to date. make[3]: Leaving directory `/«PKGBUILDDIR»/build/release/libprogram_opts' install bin/clasp /«PKGBUILDDIR»/debian/clasp/usr/bin make[2]: Leaving directory `/«PKGBUILDDIR»/build/release' make[1]: Leaving directory `/«PKGBUILDDIR»' dh_install -a dh_installdocs -a debian/rules override_dh_installchangelogs make[1]: Entering directory `/«PKGBUILDDIR»' dh_installchangelogs CHANGES make[1]: Leaving directory `/«PKGBUILDDIR»' 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_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 dpkg-deb: building package `clasp' in `../clasp_2.0.6-2_armhf.deb'. dpkg-genchanges -B -mbuildd >../clasp_2.0.6-2_armhf.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 20120607-0333 Finished ──────── I: Built successfully ┌──────────────────────────────────────────────────────────────────────────────┐ │ Changes │ └──────────────────────────────────────────────────────────────────────────────┘ clasp_2.0.6-2_armhf.changes: ──────────────────────────── Format: 1.8 Date: Sun, 27 May 2012 15:41:47 +0100 Source: clasp Binary: clasp Architecture: armhf Version: 2.0.6-2 Distribution: testing Urgency: low Maintainer: buildd 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: 571b2d04fa7a3f0644a5a3743a28d2fe4382a2d7 329782 clasp_2.0.6-2_armhf.deb Checksums-Sha256: c13e039a619e01ba6019d5eab3104e9b8f2448aa7125282769a488170b256a50 329782 clasp_2.0.6-2_armhf.deb Files: 9579d8bd75f9a0f802c00fbcb4be6c5e 329782 interpreters extra clasp_2.0.6-2_armhf.deb ┌──────────────────────────────────────────────────────────────────────────────┐ │ Package contents │ └──────────────────────────────────────────────────────────────────────────────┘ clasp_2.0.6-2_armhf.deb ─────────────────────── new debian package, version 2.0. size 329782 bytes: control archive= 1056 bytes. 1198 bytes, 24 lines control 381 bytes, 6 lines md5sums Package: clasp Version: 2.0.6-2 Architecture: armhf Maintainer: Debian Science Maintainers Installed-Size: 667 Depends: libc6 (>= 2.13-28), 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). drwxr-xr-x root/root 0 2012-06-07 03:32 ./ drwxr-xr-x root/root 0 2012-06-07 03:32 ./usr/ drwxr-xr-x root/root 0 2012-06-07 03:32 ./usr/share/ drwxr-xr-x root/root 0 2012-06-07 03:32 ./usr/share/doc/ drwxr-xr-x root/root 0 2012-06-07 03:33 ./usr/share/doc/clasp/ -rw-r--r-- root/root 8278 2012-04-03 06:20 ./usr/share/doc/clasp/changelog.gz -rw-r--r-- root/root 2037 2012-05-27 07:54 ./usr/share/doc/clasp/changelog.Debian.gz -rw-r--r-- root/root 2251 2011-04-21 04:26 ./usr/share/doc/clasp/README.gz -rw-r--r-- root/root 2874 2012-05-27 07:54 ./usr/share/doc/clasp/copyright drwxr-xr-x root/root 0 2012-06-07 03:32 ./usr/share/man/ drwxr-xr-x root/root 0 2012-06-07 03:33 ./usr/share/man/man1/ -rw-r--r-- root/root 1247 2012-06-07 03:32 ./usr/share/man/man1/clasp.1.gz drwxr-xr-x root/root 0 2012-06-07 03:33 ./usr/bin/ -rwxr-xr-x root/root 629160 2012-06-07 03:33 ./usr/bin/clasp ┌──────────────────────────────────────────────────────────────────────────────┐ │ Post Build │ └──────────────────────────────────────────────────────────────────────────────┘ ┌──────────────────────────────────────────────────────────────────────────────┐ │ Cleanup │ └──────────────────────────────────────────────────────────────────────────────┘ Purging /«BUILDDIR» Reading package lists... Building dependency tree... Reading state information... 0 upgraded, 0 newly installed, 0 to remove and 4 not upgraded. Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: bsdmainutils* debhelper* file* gettext* gettext-base* groff-base* html2text* intltool-debian* libcroco3* libffi5* libglib2.0-0* libmagic1* libpcre3* libpipeline1* libunistring0* libxml2* man-db* po-debconf* sbuild-build-depends-clasp-dummy* sbuild-build-depends-core-dummy* 0 upgraded, 0 newly installed, 20 to remove and 4 not upgraded. After this operation, 24.2 MB disk space will be freed. (Reading database ... 12036 files and directories currently installed.) Removing sbuild-build-depends-clasp-dummy ... Removing debhelper ... Removing man-db ... Purging configuration files for man-db ... Removing bsdmainutils ... Purging configuration files for bsdmainutils ... Removing file ... Removing po-debconf ... Removing intltool-debian ... Removing gettext ... Removing gettext-base ... Removing groff-base ... Purging configuration files for groff-base ... Removing html2text ... Purging configuration files for html2text ... Removing libcroco3:armhf ... Purging configuration files for libcroco3:armhf ... Removing libglib2.0-0:armhf ... Purging configuration files for libglib2.0-0:armhf ... Removing libffi5:armhf ... Purging configuration files for libffi5:armhf ... Removing libmagic1:armhf ... Purging configuration files for libmagic1:armhf ... Removing libpcre3:armhf ... Purging configuration files for libpcre3:armhf ... Removing libpipeline1:armhf ... Purging configuration files for libpipeline1:armhf ... Removing libunistring0:armhf ... Purging configuration files for libunistring0:armhf ... Removing libxml2:armhf ... Purging configuration files for libxml2:armhf ... Removing sbuild-build-depends-core-dummy ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Summary │ └──────────────────────────────────────────────────────────────────────────────┘ Architecture: armhf Build-Space: 6656 Build-Time: 469 Distribution: testing Install-Time: 66 Job: clasp_2.0.6-2 Package: clasp Package-Time: 555 Source-Version: 2.0.6-2 Space: 6656 Status: successful Version: 2.0.6-2 ──────────────────────────────────────────────────────────────────────────────── Finished at 20120607-0333 Build needed 00:09:15, 6656k disc space