picosat →
959-1 →
armhf → 2014-07-09 05:58:47
sbuild (Debian sbuild) 0.63.2 (18 Aug 2012) on bm-wb-01
╔══════════════════════════════════════════════════════════════════════════════╗
║ picosat 959-1 (armhf) 09 Jul 2014 05:53 ║
╚══════════════════════════════════════════════════════════════════════════════╝
Package: picosat
Version: 959-1
Source Version: 959-1
Distribution: jessie-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf
I: NOTICE: Log filtering will replace 'build/picosat-DfqJJE/picosat-959' with '«PKGBUILDDIR»'
I: NOTICE: Log filtering will replace 'build/picosat-DfqJJE' with '«BUILDDIR»'
I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/jessie-staging-armhf-sbuild-54561229-81b7-4609-8a10-93544ec65aad' with '«CHROOT»'
┌──────────────────────────────────────────────────────────────────────────────┐
│ Update chroot │
└──────────────────────────────────────────────────────────────────────────────┘
Get:1 http://172.17.0.1 jessie-staging InRelease [11.3 kB]
Get:2 http://172.17.0.1 jessie-staging/main Sources [7379 kB]
Get:3 http://172.17.0.1 jessie-staging/main armhf Packages [8325 kB]
Ign http://172.17.0.1 jessie-staging/main Translation-en
Fetched 15.7 MB in 28s (552 kB/s)
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...
Need to get 71.1 kB of source archives.
Get:1 http://172.17.0.1/private/ jessie-staging/main picosat 959-1 (dsc) [1722 B]
Get:2 http://172.17.0.1/private/ jessie-staging/main picosat 959-1 (tar) [63.2 kB]
Get:3 http://172.17.0.1/private/ jessie-staging/main picosat 959-1 (diff) [6128 B]
Fetched 71.1 kB in 0s (2726 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-wecoo7/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 2 not upgraded.
Need to get 0 B/816 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 ... 11822 files and directories currently installed.)
Preparing to unpack .../sbuild-build-depends-core-dummy.deb ...
Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ...
Setting up sbuild-build-depends-core-dummy (0.invalid.0) ...
Merged Build-Depends: base-files, base-passwd, bash, bsdutils, coreutils, dash, debianutils, diffutils, dpkg, e2fsprogs, findutils, grep, gzip, hostname, libc-bin, login, mount, ncurses-base, ncurses-bin, perl-base, sed, sysvinit, sysvinit-utils, tar, util-linux, libc6-dev | libc-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), debhelper (>= 7.0.50~)
Filtered Build-Depends: base-files, base-passwd, bash, bsdutils, coreutils, dash, debianutils, diffutils, dpkg, e2fsprogs, findutils, grep, gzip, hostname, libc-bin, login, mount, ncurses-base, ncurses-bin, perl-base, sed, sysvinit, sysvinit-utils, tar, util-linux, libc6-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), debhelper (>= 7.0.50~)
dpkg-deb: building package `sbuild-build-depends-picosat-dummy' in `/«BUILDDIR»/resolver-1dBf8J/apt_archive/sbuild-build-depends-picosat-dummy.deb'.
OK
Reading package lists...
┌──────────────────────────────────────────────────────────────────────────────┐
│ Install picosat 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 intltool-debian
libasprintf0c2 libcroco3 libffi6 libglib2.0-0 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 autopoint libasprintf-dev libgettextpo-dev
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 intltool-debian
libasprintf0c2 libcroco3 libffi6 libglib2.0-0 libmagic1 libpipeline1
libunistring0 libxml2 man-db po-debconf sbuild-build-depends-picosat-dummy
0 upgraded, 18 newly installed, 0 to remove and 2 not upgraded.
Need to get 8286 kB/8287 kB of archives.
After this operation, 22.8 MB of additional disk space will be used.
Get:1 http://172.17.0.1/private/ jessie-staging/main libpipeline1 armhf 1.3.0-1 [21.1 kB]
Get:2 http://172.17.0.1/private/ jessie-staging/main groff-base armhf 1.22.2-6 [962 kB]
Get:3 http://172.17.0.1/private/ jessie-staging/main bsdmainutils armhf 9.0.5 [206 kB]
Get:4 http://172.17.0.1/private/ jessie-staging/main man-db armhf 2.6.7.1-1 [964 kB]
Get:5 http://172.17.0.1/private/ jessie-staging/main libasprintf0c2 armhf 0.18.3.2-3 [29.3 kB]
Get:6 http://172.17.0.1/private/ jessie-staging/main libmagic1 armhf 1:5.19-1 [232 kB]
Get:7 http://172.17.0.1/private/ jessie-staging/main libxml2 armhf 2.9.1+dfsg1-3 [836 kB]
Get:8 http://172.17.0.1/private/ jessie-staging/main libffi6 armhf 3.1-2 [18.1 kB]
Get:9 http://172.17.0.1/private/ jessie-staging/main libglib2.0-0 armhf 2.40.0-3 [2247 kB]
Get:10 http://172.17.0.1/private/ jessie-staging/main libcroco3 armhf 0.6.8-2 [119 kB]
Get:11 http://172.17.0.1/private/ jessie-staging/main libunistring0 armhf 0.9.3-5 [408 kB]
Get:12 http://172.17.0.1/private/ jessie-staging/main file armhf 1:5.19-1 [57.7 kB]
Get:13 http://172.17.0.1/private/ jessie-staging/main gettext-base armhf 0.18.3.2-3 [111 kB]
Get:14 http://172.17.0.1/private/ jessie-staging/main gettext armhf 0.18.3.2-3 [1133 kB]
Get:15 http://172.17.0.1/private/ jessie-staging/main intltool-debian all 0.35.0+20060710.1 [29.8 kB]
Get:16 http://172.17.0.1/private/ jessie-staging/main po-debconf all 1.0.16+nmu3 [220 kB]
Get:17 http://172.17.0.1/private/ jessie-staging/main debhelper all 9.20140613 [692 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 8286 kB in 1s (4346 kB/s)
Selecting previously unselected package libpipeline1:armhf.
(Reading database ... 11822 files and directories currently installed.)
Preparing to unpack .../libpipeline1_1.3.0-1_armhf.deb ...
Unpacking libpipeline1:armhf (1.3.0-1) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../groff-base_1.22.2-6_armhf.deb ...
Unpacking groff-base (1.22.2-6) ...
Selecting previously unselected package bsdmainutils.
Preparing to unpack .../bsdmainutils_9.0.5_armhf.deb ...
Unpacking bsdmainutils (9.0.5) ...
Selecting previously unselected package man-db.
Preparing to unpack .../man-db_2.6.7.1-1_armhf.deb ...
Unpacking man-db (2.6.7.1-1) ...
Selecting previously unselected package libasprintf0c2:armhf.
Preparing to unpack .../libasprintf0c2_0.18.3.2-3_armhf.deb ...
Unpacking libasprintf0c2:armhf (0.18.3.2-3) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../libmagic1_1%3a5.19-1_armhf.deb ...
Unpacking libmagic1:armhf (1:5.19-1) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../libxml2_2.9.1+dfsg1-3_armhf.deb ...
Unpacking libxml2:armhf (2.9.1+dfsg1-3) ...
Selecting previously unselected package libffi6:armhf.
Preparing to unpack .../libffi6_3.1-2_armhf.deb ...
Unpacking libffi6:armhf (3.1-2) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../libglib2.0-0_2.40.0-3_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.40.0-3) ...
Selecting previously unselected package libcroco3:armhf.
Preparing to unpack .../libcroco3_0.6.8-2_armhf.deb ...
Unpacking libcroco3:armhf (0.6.8-2) ...
Selecting previously unselected package libunistring0:armhf.
Preparing to unpack .../libunistring0_0.9.3-5_armhf.deb ...
Unpacking libunistring0:armhf (0.9.3-5) ...
Selecting previously unselected package file.
Preparing to unpack .../file_1%3a5.19-1_armhf.deb ...
Unpacking file (1:5.19-1) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../gettext-base_0.18.3.2-3_armhf.deb ...
Unpacking gettext-base (0.18.3.2-3) ...
Selecting previously unselected package gettext.
Preparing to unpack .../gettext_0.18.3.2-3_armhf.deb ...
Unpacking gettext (0.18.3.2-3) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../intltool-debian_0.35.0+20060710.1_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.1) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../po-debconf_1.0.16+nmu3_all.deb ...
Unpacking po-debconf (1.0.16+nmu3) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../debhelper_9.20140613_all.deb ...
Unpacking debhelper (9.20140613) ...
Selecting previously unselected package sbuild-build-depends-picosat-dummy.
Preparing to unpack .../sbuild-build-depends-picosat-dummy.deb ...
Unpacking sbuild-build-depends-picosat-dummy (0.invalid.0) ...
Setting up libpipeline1:armhf (1.3.0-1) ...
Setting up groff-base (1.22.2-6) ...
Setting up bsdmainutils (9.0.5) ...
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 man-db (2.6.7.1-1) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libasprintf0c2:armhf (0.18.3.2-3) ...
Setting up libmagic1:armhf (1:5.19-1) ...
Setting up libxml2:armhf (2.9.1+dfsg1-3) ...
Setting up libffi6:armhf (3.1-2) ...
Setting up libglib2.0-0:armhf (2.40.0-3) ...
No schema files found: doing nothing.
Setting up libcroco3:armhf (0.6.8-2) ...
Setting up libunistring0:armhf (0.9.3-5) ...
Setting up file (1:5.19-1) ...
Setting up gettext-base (0.18.3.2-3) ...
Setting up gettext (0.18.3.2-3) ...
Setting up intltool-debian (0.35.0+20060710.1) ...
Setting up po-debconf (1.0.16+nmu3) ...
Setting up debhelper (9.20140613) ...
Setting up sbuild-build-depends-picosat-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.19-4) ...
┌──────────────────────────────────────────────────────────────────────────────┐
│ Build environment │
└──────────────────────────────────────────────────────────────────────────────┘
Kernel: Linux 3.15-trunk-armmp armhf (armv7l)
Toolchain package versions: binutils_2.24.51.20140617-1 dpkg-dev_1.17.10 g++-4.9_4.9.0-7 gcc-4.8_4.8.3-4 gcc-4.9_4.9.0-7 libc6-dev_2.19-4 libstdc++-4.9-dev_4.9.0-7 libstdc++6_4.9.0-7 linux-libc-dev_3.14.4-1+rpi1
Package versions: apt_1.0.5 base-files_7.3+rpi1 base-passwd_3.5.28 bash_4.3-7 binutils_2.24.51.20140617-1 bsdmainutils_9.0.5 bsdutils_1:2.20.1-5.8 build-essential_11.6 bzip2_1.0.6-5 coreutils_8.21-1.2 cpio_2.11+dfsg-2 cpp_4:4.9.0-4 cpp-4.8_4.8.3-4 cpp-4.9_4.9.0-7 dash_0.5.7-4 debconf_1.5.53 debconf-i18n_1.5.53 debfoster_2.7-1.2 debhelper_9.20140613 debianutils_4.4 diffutils_1:3.3-1 dpkg_1.17.10 dpkg-dev_1.17.10 e2fslibs_1.42.10-1.1 e2fsprogs_1.42.10-1.1 fakeroot_1.18.4-2 file_1:5.19-1 findutils_4.4.2-8 g++_4:4.9.0-4 g++-4.9_4.9.0-7 gcc_4:4.9.0-4 gcc-4.5-base_4.5.3-12+rpi1 gcc-4.6-base_4.6.4-5+rpi1 gcc-4.7-base_4.7.3-11+rpi1 gcc-4.8_4.8.3-4 gcc-4.8-base_4.8.3-4 gcc-4.9_4.9.0-7 gcc-4.9-base_4.9.0-7 gettext_0.18.3.2-3 gettext-base_0.18.3.2-3 gnupg_1.4.16-1.2 gpgv_1.4.16-1.2 grep_2.18-2 groff-base_1.22.2-6 gzip_1.6-3 hostname_3.15 init-system-helpers_1.19 initramfs-tools_0.115 initscripts_2.88dsf-53.2 insserv_1.14.0-5 intltool-debian_0.35.0+20060710.1 klibc-utils_2.0.3-1+rpi1 kmod_16-2 libacl1_2.2.52-1 libapt-pkg4.12_1.0.5 libasan0_4.8.3-4 libasan1_4.9.0-7 libasprintf0c2_0.18.3.2-3 libatomic1_4.9.0-7 libattr1_1:2.4.47-1 libaudit-common_1:2.3.7-1 libaudit1_1:2.3.7-1 libblkid1_2.20.1-5.8 libbz2-1.0_1.0.6-5 libc-bin_2.19-4 libc-dev-bin_2.19-4 libc6_2.19-4 libc6-dev_2.19-4 libcap2_1:2.22-1.2 libcloog-isl4_0.18.2-1 libcomerr2_1.42.10-1.1 libcroco3_0.6.8-2 libdb5.1_5.1.29-6 libdb5.3_5.3.28-3 libdbus-1-3_1.8.6-1 libdpkg-perl_1.17.10 libffi6_3.1-2 libgc1c2_1:7.2d-6 libgcc-4.8-dev_4.8.3-4 libgcc-4.9-dev_4.9.0-7 libgcc1_1:4.9.0-7 libgdbm3_1.8.3-12 libglib2.0-0_2.40.0-3 libgmp10_2:6.0.0+dfsg-4+rpi1 libgomp1_4.9.0-7 libisl10_0.12.2-2 libklibc_2.0.3-1+rpi1 libkmod2_16-2 liblocale-gettext-perl_1.05-8 liblzma5_5.1.1alpha+20120614-2 libmagic1_1:5.19-1 libmount1_2.20.1-5.8 libmpc3_1.0.1-1 libmpfr4_3.1.2-1 libncurses5_5.9+20140118-1 libncursesw5_5.9+20140118-1 libpam-modules_1.1.8-3 libpam-modules-bin_1.1.8-3 libpam-runtime_1.1.8-3 libpam0g_1.1.8-3 libpcre3_1:8.31-5 libpipeline1_1.3.0-1 libprocps0_1:3.3.4-2 libprocps3_1:3.3.9-5 libreadline6_6.3-6 libselinux1_2.3-1 libsemanage-common_2.3-1 libsemanage1_2.3-1 libsepol1_2.3-1 libslang2_2.2.4-17 libss2_1.42.10-1.1 libstdc++-4.9-dev_4.9.0-7 libstdc++6_4.9.0-7 libtext-charwidth-perl_0.04-7+b3 libtext-iconv-perl_1.7-5+b3 libtext-wrapi18n-perl_0.06-7 libtimedate-perl_2.3000-2 libtinfo5_5.9+20140118-1 libubsan0_4.9.0-7 libudev1_204-14 libunistring0_0.9.3-5 libusb-0.1-4_2:0.1.12-23.3 libustr-1.0-1_1.0.4-3 libuuid1_2.20.1-5.8 libxml2_2.9.1+dfsg1-3 linux-libc-dev_3.14.4-1+rpi1 login_1:4.2-2 lsb-base_4.1+Debian13+rpi1 make_4.0-8 makedev_2.3.1-93 man-db_2.6.7.1-1 mawk_1.3.3-17 mount_2.20.1-5.8 multiarch-support_2.19-4 nano_2.2.6-1.1 ncurses-base_5.9+20140118-1 ncurses-bin_5.9+20140118-1 passwd_1:4.2-2 patch_2.7.1-5 perl_5.18.2-4 perl-base_5.18.2-4 perl-modules_5.18.2-4 plymouth_0.8.8-17 po-debconf_1.0.16+nmu3 procps_1:3.3.9-5 raspbian-archive-keyring_20120528.2 readline-common_6.3-6 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-picosat-dummy_0.invalid.0 sed_4.2.2-4 sensible-utils_0.0.9 startpar_0.59-3 sysv-rc_2.88dsf-53.2 sysvinit_2.88dsf-53.2 sysvinit-core_2.88dsf-53.2 sysvinit-utils_2.88dsf-53.2 tar_1.27.1-2 tzdata_2014e-1 udev_204-14 util-linux_2.20.1-5.8 xz-utils_5.1.1alpha+20120614-2 zlib1g_1:1.2.8.dfsg-1+rpi1
┌──────────────────────────────────────────────────────────────────────────────┐
│ Build │
└──────────────────────────────────────────────────────────────────────────────┘
Unpack source
─────────────
gpgv: keyblock resource `/sbuild-nonexistent/.gnupg/trustedkeys.gpg': file open error
gpgv: Signature made Sat Jun 28 16:49:59 2014 UTC using RSA key ID E3386741
gpgv: Can't check signature: public key not found
dpkg-source: warning: failed to verify signature on ./picosat_959-1.dsc
dpkg-source: info: extracting picosat in picosat-959
dpkg-source: info: unpacking picosat_959.orig.tar.gz
dpkg-source: info: unpacking picosat_959-1.debian.tar.xz
dpkg-source: info: applying debian-changes-953-1
Check disc space
────────────────
Sufficient free space for build
User Environment
────────────────
APT_CONFIG=/var/lib/sbuild/apt.conf
COLUMNS=80
CONSOLE=/dev/console
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
INIT_VERSION=sysvinit-2.88
LC_ALL=POSIX
LINES=24
LOGNAME=buildd
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
PREVLEVEL=N
PWD=/
RUNLEVEL=2
SCHROOT_ALIAS_NAME=jessie-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=jessie-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=109
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=jessie-staging-armhf-sbuild-54561229-81b7-4609-8a10-93544ec65aad
SCHROOT_UID=104
SCHROOT_USER=buildd
SHELL=/bin/sh
TERM=linux
USER=buildd
init=/sbin/init
previous=N
rootmnt=/root
runlevel=2
dpkg-buildpackage
─────────────────
dpkg-buildpackage: source package picosat
dpkg-buildpackage: source version 959-1
dpkg-buildpackage: source distribution unstable
dpkg-source --before-build picosat-959
dpkg-buildpackage: host architecture armhf
fakeroot debian/rules clean
dh clean
dh_testdir
dh_auto_clean
debian/rules override_dh_clean
make[1]: Entering directory '/«PKGBUILDDIR»'
dh_testdir
dh_auto_clean
dh_clean
rm -f makefile.opt makefile.trace
rm -rf trace
# [ ! -e makefile ] || /usr/bin/make clean
make[1]: Leaving directory '/«PKGBUILDDIR»'
debian/rules build-arch
dh build-arch
dh_testdir -a
debian/rules override_dh_auto_configure
make[1]: Entering directory '/«PKGBUILDDIR»'
dh_testdir
./configure --trace --stats
version ... 959
debug ... no
log ... no
stats ... yes
trace ... yes
static ... no
shared ... no
targets ... picosat picomcs picomus picogcnf libpicosat.a
cc ... gcc
cflags ... -DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O3
makefile ... done
mv makefile makefile.trace
./configure -O
version ... 959
debug ... no
log ... no
stats ... no
trace ... no
static ... no
shared ... no
targets ... picosat picomcs picomus picogcnf libpicosat.a
cc ... gcc
cflags ... -Wall -Wextra -DNDEBUG -O3
makefile ... done
cp makefile makefile.opt
make[1]: Leaving directory '/«PKGBUILDDIR»'
debian/rules override_dh_auto_build
make[1]: Entering directory '/«PKGBUILDDIR»'
dh_testdir
/usr/bin/make -f makefile.trace
make[2]: Entering directory '/«PKGBUILDDIR»'
gcc -DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -c picosat.c
picosat.c: In function 'write_idx':
picosat.c:6313:3: warning: format '%ld' expects argument of type 'long int', but argument 3 has type 'unsigned int' [-Wformat=]
fprintf (file, "%ld", EXPORTIDX (idx));
^
rm -f config.h; ./mkconfig > config.h
gcc -DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -c version.c
ar rc libpicosat.a picosat.o version.o
ranlib libpicosat.a
gcc -DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -c app.c
gcc -DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -c main.c
gcc -DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -o picosat main.o app.o -L. -lpicosat
gcc -DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -c picomcs.c
gcc -DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -o picomcs picomcs.o -L. -lpicosat
gcc -DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -c picomus.c
gcc -DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -o picomus picomus.o -L. -lpicosat
gcc -DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -c picogcnf.c
gcc -DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -o picogcnf picogcnf.o -L. -lpicosat
make[2]: Leaving directory '/«PKGBUILDDIR»'
/usr/bin/make -f makefile.trace libpicosat-trace.so
make[2]: Entering directory '/«PKGBUILDDIR»'
mv picosat.o picosat.nopic.o
/usr/bin/make CFLAGS="-DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -fPIC" picosat.o
make[3]: Entering directory '/«PKGBUILDDIR»'
gcc -DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -fPIC -c picosat.c
picosat.c: In function 'write_idx':
picosat.c:6313:3: warning: format '%ld' expects argument of type 'long int', but argument 3 has type 'unsigned int' [-Wformat=]
fprintf (file, "%ld", EXPORTIDX (idx));
^
make[3]: Leaving directory '/«PKGBUILDDIR»'
mv picosat.o picosat.pic.o
mv picosat.nopic.o picosat.o
mv version.o version.nopic.o
/usr/bin/make CFLAGS="-DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -fPIC" version.o
make[3]: Entering directory '/«PKGBUILDDIR»'
gcc -DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -fPIC -c version.c
make[3]: Leaving directory '/«PKGBUILDDIR»'
mv version.o version.pic.o
mv version.nopic.o version.o
gcc -DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -shared -o libpicosat-trace.so.1.0.0 picosat.pic.o version.pic.o -lc -Wl,-soname,libpicosat-trace.so.1
make[2]: Leaving directory '/«PKGBUILDDIR»'
mkdir trace
mv picosat trace/picosat.trace
mv picomus trace/picomus
mv libpicosat.a trace/libpicosat-trace.a
mv libpicosat* trace/
/usr/bin/make -f makefile.trace clean
make[2]: Entering directory '/«PKGBUILDDIR»'
rm -f picosat picomcs picomus picogcnf
rm -f *.exe *.s *.o *.a *.so *.plist
rm -f makefile config.h
rm -f gmon.out *~
rm -f *.so.1.0.0 picomus
make[2]: Leaving directory '/«PKGBUILDDIR»'
cp makefile.opt makefile
/usr/bin/make -f makefile.opt
make[2]: Entering directory '/«PKGBUILDDIR»'
gcc -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -c picosat.c
rm -f config.h; ./mkconfig > config.h
gcc -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -c version.c
ar rc libpicosat.a picosat.o version.o
ranlib libpicosat.a
gcc -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -c app.c
gcc -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -c main.c
gcc -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -o picosat main.o app.o -L. -lpicosat
gcc -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -c picomcs.c
gcc -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -o picomcs picomcs.o -L. -lpicosat
gcc -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -c picomus.c
gcc -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -o picomus picomus.o -L. -lpicosat
gcc -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -c picogcnf.c
gcc -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -o picogcnf picogcnf.o -L. -lpicosat
make[2]: Leaving directory '/«PKGBUILDDIR»'
/usr/bin/make -f makefile.opt libpicosat.so
make[2]: Entering directory '/«PKGBUILDDIR»'
mv picosat.o picosat.nopic.o
/usr/bin/make CFLAGS="-Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -fPIC" picosat.o
make[3]: Entering directory '/«PKGBUILDDIR»'
gcc -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -fPIC -c picosat.c
make[3]: Leaving directory '/«PKGBUILDDIR»'
mv picosat.o picosat.pic.o
mv picosat.nopic.o picosat.o
mv version.o version.nopic.o
/usr/bin/make CFLAGS="-Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -fPIC" version.o
make[3]: Entering directory '/«PKGBUILDDIR»'
gcc -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -fPIC -c version.c
make[3]: Leaving directory '/«PKGBUILDDIR»'
mv version.o version.pic.o
mv version.nopic.o version.o
gcc -Wall -Wextra -DNDEBUG -O3 -fno-strict-aliasing -shared -o libpicosat.so.1.0.0 picosat.pic.o version.pic.o -lc -Xlinker -soname -Xlinker libpicosat.so.1
make[2]: Leaving directory '/«PKGBUILDDIR»'
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
dh_auto_install -a
dh_install -a
dh_installdocs -a
debian/rules override_dh_installchangelogs
make[1]: Entering directory '/«PKGBUILDDIR»'
dh_installchangelogs NEWS
make[1]: Leaving directory '/«PKGBUILDDIR»'
dh_installman -a
dh_perl -a
dh_link -a
dh_compress -a
dh_fixperms -a
dh_strip -a
dh_makeshlibs -a
dh_shlibdeps -a
dh_installdeb -a
dh_gencontrol -a
dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
dh_md5sums -a
dh_builddeb -a
dpkg-deb: building package `picosat' in `../picosat_959-1_armhf.deb'.
dpkg-genchanges -B -mRaspbian wandboard test autobuilder <root@raspbian.org> >../picosat_959-1_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 picosat-959
dpkg-buildpackage: binary-only upload (no source included)
────────────────────────────────────────────────────────────────────────────────
Build finished at 20140709-0558
Finished
────────
I: Built successfully
┌──────────────────────────────────────────────────────────────────────────────┐
│ Changes │
└──────────────────────────────────────────────────────────────────────────────┘
picosat_959-1_armhf.changes:
────────────────────────────
Format: 1.8
Date: Sat, 28 Jun 2014 17:37:26 +0100
Source: picosat
Binary: picosat
Architecture: armhf
Version: 959-1
Distribution: jessie-staging
Urgency: low
Maintainer: Raspbian wandboard test autobuilder <root@raspbian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
picosat - SAT solver with proof and core support
Changes:
picosat (959-1) unstable; urgency=low
.
* New upstream version
* Bumped standards version to 3.9.5 (no changes)
Checksums-Sha1:
9bab2760178f2efbec4d9f337b5805dcf5654e71 103924 picosat_959-1_armhf.deb
Checksums-Sha256:
1c272ef9b39bc75284c7b8bf75d41729ec43ea58a11b487916fd99c67d2037da 103924 picosat_959-1_armhf.deb
Files:
e4f9ce8881c313ea2fac3a14cb826996 103924 science extra picosat_959-1_armhf.deb
┌──────────────────────────────────────────────────────────────────────────────┐
│ Package contents │
└──────────────────────────────────────────────────────────────────────────────┘
picosat_959-1_armhf.deb
───────────────────────
new debian package, version 2.0.
size 103924 bytes: control archive=1999 bytes.
711 bytes, 17 lines control
809 bytes, 13 lines md5sums
135 bytes, 7 lines * postinst #!/bin/sh
132 bytes, 7 lines * postrm #!/bin/sh
48 bytes, 2 lines shlibs
4484 bytes, 142 lines symbols
Package: picosat
Version: 959-1
Architecture: armhf
Maintainer: Michael Tautschnig <mt@debian.org>
Installed-Size: 601
Depends: libc6 (>= 2.7)
Section: science
Priority: extra
Homepage: http://fmv.jku.at/picosat/
Description: SAT solver with proof and core support
Despite the NP completeness of the satisfiabilty problem of Boolean formulas
(SAT), SAT solvers are often able to decide this problem in a reasonable time
frame. As all other NP complete problems are reducible to SAT, the solvers
have become a general purpose tool for this class of problems.
.
PicoSAT is a SAT solver that turned out to be faster on industrial instances
than MiniSAT 2.0 and also can generate proofs and cores in memory.
drwxr-xr-x root/root 0 2014-07-09 05:58 ./
drwxr-xr-x root/root 0 2014-07-09 05:58 ./usr/
drwxr-xr-x root/root 0 2014-07-09 05:58 ./usr/bin/
-rwxr-xr-x root/root 83684 2014-07-09 05:58 ./usr/bin/picosat
-rwxr-xr-x root/root 78104 2014-07-09 05:58 ./usr/bin/picomus
-rwxr-xr-x root/root 90232 2014-07-09 05:58 ./usr/bin/picosat.trace
drwxr-xr-x root/root 0 2014-07-09 05:58 ./usr/lib/
-rw-r--r-- root/root 75460 2014-07-09 05:58 ./usr/lib/libpicosat.so.1.0.0
-rw-r--r-- root/root 81460 2014-07-09 05:58 ./usr/lib/libpicosat-trace.so.1.0.0
-rw-r--r-- root/root 78486 2014-07-09 05:58 ./usr/lib/libpicosat.a
-rw-r--r-- root/root 86946 2014-07-09 05:58 ./usr/lib/libpicosat-trace.a
drwxr-xr-x root/root 0 2014-07-09 05:58 ./usr/include/
drwxr-xr-x root/root 0 2014-07-09 05:58 ./usr/include/picosat/
-rw-r--r-- root/root 28293 2014-02-07 06:23 ./usr/include/picosat/picosat.h
drwxr-xr-x root/root 0 2014-07-09 05:58 ./usr/share/
drwxr-xr-x root/root 0 2014-07-09 05:58 ./usr/share/doc/
drwxr-xr-x root/root 0 2014-07-09 05:58 ./usr/share/doc/picosat/
-rw-r--r-- root/root 2263 2012-03-03 23:04 ./usr/share/doc/picosat/copyright
-rw-r--r-- root/root 949 2014-06-28 16:37 ./usr/share/doc/picosat/changelog.Debian.gz
-rw-r--r-- root/root 1644 2014-02-07 06:23 ./usr/share/doc/picosat/changelog.gz
drwxr-xr-x root/root 0 2014-07-09 05:58 ./usr/share/man/
drwxr-xr-x root/root 0 2014-07-09 05:58 ./usr/share/man/man1/
-rw-r--r-- root/root 1109 2014-07-09 05:58 ./usr/share/man/man1/picosat.1.gz
-rw-r--r-- root/root 821 2014-07-09 05:58 ./usr/share/man/man1/picomus.1.gz
lrwxrwxrwx root/root 0 2014-07-09 05:58 ./usr/lib/libpicosat-trace.so -> libpicosat-trace.so.1
lrwxrwxrwx root/root 0 2014-07-09 05:58 ./usr/lib/libpicosat-trace.so.1 -> libpicosat-trace.so.1.0.0
lrwxrwxrwx root/root 0 2014-07-09 05:58 ./usr/lib/libpicosat.so -> libpicosat.so.1
lrwxrwxrwx root/root 0 2014-07-09 05:58 ./usr/lib/libpicosat.so.1 -> libpicosat.so.1.0.0
lrwxrwxrwx root/root 0 2014-07-09 05:58 ./usr/share/man/man1/picosat.trace.1.gz -> picosat.1.gz
┌──────────────────────────────────────────────────────────────────────────────┐
│ Post Build │
└──────────────────────────────────────────────────────────────────────────────┘
┌──────────────────────────────────────────────────────────────────────────────┐
│ Cleanup │
└──────────────────────────────────────────────────────────────────────────────┘
Purging /«BUILDDIR»
Not cleaning session: cloned chroot in use
┌──────────────────────────────────────────────────────────────────────────────┐
│ Summary │
└──────────────────────────────────────────────────────────────────────────────┘
Build Architecture: armhf
Build-Space: 2476
Build-Time: 147
Distribution: jessie-staging
Host Architecture: armhf
Install-Time: 124
Job: picosat_959-1
Machine Architecture: armhf
Package: picosat
Package-Time: 320
Source-Version: 959-1
Space: 2476
Status: successful
Version: 959-1
────────────────────────────────────────────────────────────────────────────────
Finished at 20140709-0558
Build needed 00:05:20, 2476k disc space