picosat →
954-1 →
armhf → 2013-05-26 12:23:36
sbuild (Debian sbuild) 0.63.2 (18 Aug 2012) on debian-armhf
╔══════════════════════════════════════════════════════════════════════════════╗
║ picosat 954-1 (armhf) 26 May 2013 12:18 ║
╚══════════════════════════════════════════════════════════════════════════════╝
Package: picosat
Version: 954-1
Source Version: 954-1
Distribution: jessie-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf
I: NOTICE: Log filtering will replace 'build/picosat-ozOoIY/picosat-954' with '«PKGBUILDDIR»'
I: NOTICE: Log filtering will replace 'build/picosat-ozOoIY' with '«BUILDDIR»'
I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/jessie-staging-armhf-sbuild-ca429ebb-57e4-4af5-a978-113dc68d007c' with '«CHROOT»'
┌──────────────────────────────────────────────────────────────────────────────┐
│ Update chroot │
└──────────────────────────────────────────────────────────────────────────────┘
Get:1 http://172.17.0.1 jessie-staging Release.gpg [490 B]
Get:2 http://172.17.0.1 jessie-staging Release [10.8 kB]
Get:3 http://172.17.0.1 jessie-staging/main Sources [6585 kB]
Get:4 http://172.17.0.1 jessie-staging/main armhf Packages [7555 kB]
Ign http://172.17.0.1 jessie-staging/main Translation-en
Fetched 14.2 MB in 40s (349 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 70.6 kB of source archives.
Get:1 http://172.17.0.1/private/ jessie-staging/main picosat 954-1 (dsc) [1037 B]
Get:2 http://172.17.0.1/private/ jessie-staging/main picosat 954-1 (tar) [63.0 kB]
Get:3 http://172.17.0.1/private/ jessie-staging/main picosat 954-1 (diff) [6540 B]
Fetched 70.6 kB in 0s (86.9 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-AuqFuU/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 18 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 ... 11288 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 (>= 7.0.50~)
Filtered Build-Depends: 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-eZgS0A/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 html2text
intltool-debian libasprintf-dev libasprintf0c2 libcroco3 libffi6
libgettextpo-dev libgettextpo0 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 libasprintf-dev libasprintf0c2 libcroco3 libffi6
libgettextpo-dev libgettextpo0 libglib2.0-0 libmagic1 libpcre3 libpipeline1
libunistring0 libxml2 man-db po-debconf sbuild-build-depends-picosat-dummy
0 upgraded, 23 newly installed, 0 to remove and 18 not upgraded.
Need to get 8789 kB/8790 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 libpcre3 armhf 1:8.31-2 [248 kB]
Get:2 http://172.17.0.1/private/ jessie-staging/main libpipeline1 armhf 1.2.3-1 [35.8 kB]
Get:3 http://172.17.0.1/private/ jessie-staging/main groff-base armhf 1.22.2-2 [666 kB]
Get:4 http://172.17.0.1/private/ jessie-staging/main bsdmainutils armhf 9.0.4 [206 kB]
Get:5 http://172.17.0.1/private/ jessie-staging/main man-db armhf 2.6.3-3 [867 kB]
Get:6 http://172.17.0.1/private/ jessie-staging/main libasprintf0c2 armhf 0.18.1.1-10 [26.8 kB]
Get:7 http://172.17.0.1/private/ jessie-staging/main libmagic1 armhf 1:5.11-3 [199 kB]
Get:8 http://172.17.0.1/private/ jessie-staging/main libxml2 armhf 2.8.0+dfsg1-7+nmu1 [822 kB]
Get:9 http://172.17.0.1/private/ jessie-staging/main libffi6 armhf 3.0.13-4 [19.8 kB]
Get:10 http://172.17.0.1/private/ jessie-staging/main libglib2.0-0 armhf 2.36.1-2build1 [1895 kB]
Get:11 http://172.17.0.1/private/ jessie-staging/main libcroco3 armhf 0.6.6-2 [119 kB]
Get:12 http://172.17.0.1/private/ jessie-staging/main libunistring0 armhf 0.9.3-5 [408 kB]
Get:13 http://172.17.0.1/private/ jessie-staging/main libgettextpo0 armhf 0.18.1.1-10 [131 kB]
Get:14 http://172.17.0.1/private/ jessie-staging/main file armhf 1:5.11-3 [51.6 kB]
Get:15 http://172.17.0.1/private/ jessie-staging/main gettext-base armhf 0.18.1.1-10 [130 kB]
Get:16 http://172.17.0.1/private/ jessie-staging/main html2text armhf 1.3.2a-15 [98.5 kB]
Get:17 http://172.17.0.1/private/ jessie-staging/main libasprintf-dev armhf 0.18.1.1-10 [26.7 kB]
Get:18 http://172.17.0.1/private/ jessie-staging/main libgettextpo-dev armhf 0.18.1.1-10 [160 kB]
Get:19 http://172.17.0.1/private/ jessie-staging/main gettext armhf 0.18.1.1-10 [1721 kB]
Get:20 http://172.17.0.1/private/ jessie-staging/main intltool-debian all 0.35.0+20060710.1 [29.8 kB]
Get:21 http://172.17.0.1/private/ jessie-staging/main po-debconf all 1.0.16+nmu2 [223 kB]
Get:22 http://172.17.0.1/private/ jessie-staging/main debhelper all 9.20120909 [705 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 8789 kB in 8s (997 kB/s)
Selecting previously unselected package libpcre3:armhf.
(Reading database ... 11288 files and directories currently installed.)
Unpacking libpcre3:armhf (from .../libpcre3_1%3a8.31-2_armhf.deb) ...
Selecting previously unselected package libpipeline1:armhf.
Unpacking libpipeline1:armhf (from .../libpipeline1_1.2.3-1_armhf.deb) ...
Selecting previously unselected package groff-base.
Unpacking groff-base (from .../groff-base_1.22.2-2_armhf.deb) ...
Selecting previously unselected package bsdmainutils.
Unpacking bsdmainutils (from .../bsdmainutils_9.0.4_armhf.deb) ...
Selecting previously unselected package man-db.
Unpacking man-db (from .../man-db_2.6.3-3_armhf.deb) ...
Selecting previously unselected package libasprintf0c2:armhf.
Unpacking libasprintf0c2:armhf (from .../libasprintf0c2_0.18.1.1-10_armhf.deb) ...
Selecting previously unselected package libmagic1:armhf.
Unpacking libmagic1:armhf (from .../libmagic1_1%3a5.11-3_armhf.deb) ...
Selecting previously unselected package libxml2:armhf.
Unpacking libxml2:armhf (from .../libxml2_2.8.0+dfsg1-7+nmu1_armhf.deb) ...
Selecting previously unselected package libffi6:armhf.
Unpacking libffi6:armhf (from .../libffi6_3.0.13-4_armhf.deb) ...
Selecting previously unselected package libglib2.0-0:armhf.
Unpacking libglib2.0-0:armhf (from .../libglib2.0-0_2.36.1-2build1_armhf.deb) ...
Selecting previously unselected package libcroco3:armhf.
Unpacking libcroco3:armhf (from .../libcroco3_0.6.6-2_armhf.deb) ...
Selecting previously unselected package libunistring0:armhf.
Unpacking libunistring0:armhf (from .../libunistring0_0.9.3-5_armhf.deb) ...
Selecting previously unselected package libgettextpo0:armhf.
Unpacking libgettextpo0:armhf (from .../libgettextpo0_0.18.1.1-10_armhf.deb) ...
Selecting previously unselected package file.
Unpacking file (from .../file_1%3a5.11-3_armhf.deb) ...
Selecting previously unselected package gettext-base.
Unpacking gettext-base (from .../gettext-base_0.18.1.1-10_armhf.deb) ...
Selecting previously unselected package html2text.
Unpacking html2text (from .../html2text_1.3.2a-15_armhf.deb) ...
Selecting previously unselected package libasprintf-dev:armhf.
Unpacking libasprintf-dev:armhf (from .../libasprintf-dev_0.18.1.1-10_armhf.deb) ...
Selecting previously unselected package libgettextpo-dev:armhf.
Unpacking libgettextpo-dev:armhf (from .../libgettextpo-dev_0.18.1.1-10_armhf.deb) ...
Selecting previously unselected package gettext.
Unpacking gettext (from .../gettext_0.18.1.1-10_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.20120909_all.deb) ...
Selecting previously unselected package sbuild-build-depends-picosat-dummy.
Unpacking sbuild-build-depends-picosat-dummy (from .../sbuild-build-depends-picosat-dummy.deb) ...
Setting up libpcre3:armhf (1:8.31-2) ...
Setting up libpipeline1:armhf (1.2.3-1) ...
Setting up groff-base (1.22.2-2) ...
Setting up bsdmainutils (9.0.4) ...
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.3-3) ...
Building database of manual pages ...
Setting up libasprintf0c2:armhf (0.18.1.1-10) ...
Setting up libmagic1:armhf (1:5.11-3) ...
Setting up libxml2:armhf (2.8.0+dfsg1-7+nmu1) ...
Setting up libffi6:armhf (3.0.13-4) ...
Setting up libglib2.0-0:armhf (2.36.1-2build1) ...
No schema files found: doing nothing.
Setting up libcroco3:armhf (0.6.6-2) ...
Setting up libunistring0:armhf (0.9.3-5) ...
Setting up libgettextpo0:armhf (0.18.1.1-10) ...
Setting up file (1:5.11-3) ...
Setting up gettext-base (0.18.1.1-10) ...
Setting up html2text (1.3.2a-15) ...
Setting up libasprintf-dev:armhf (0.18.1.1-10) ...
Setting up libgettextpo-dev:armhf (0.18.1.1-10) ...
Setting up gettext (0.18.1.1-10) ...
Setting up intltool-debian (0.35.0+20060710.1) ...
Setting up po-debconf (1.0.16+nmu2) ...
Setting up debhelper (9.20120909) ...
Setting up sbuild-build-depends-picosat-dummy (0.invalid.0) ...
┌──────────────────────────────────────────────────────────────────────────────┐
│ Build environment │
└──────────────────────────────────────────────────────────────────────────────┘
Kernel: Linux 3.9.1-imx4 armhf (armv7l)
Toolchain package versions: binutils_2.22-8 dpkg-dev_1.16.10 g++-4.6_4.6.3-14+rpi1 gcc-4.6_4.6.3-14+rpi1 libc6-dev_2.13-38+rpi2 libstdc++6_4.7.2-5+rpi1 libstdc++6-4.6-dev_4.6.3-14+rpi1 linux-libc-dev_3.2.41-2+rpi1
Package versions: apt_0.9.7.8+rpi1 base-files_7.1 base-passwd_3.5.26 bash_4.2+dfsg-0.1 binutils_2.22-8 bsdmainutils_9.0.4 bsdutils_1:2.20.1-5.3 build-essential_11.5+b1 bzip2_1.0.6-4 coreutils_8.13-3.5 cpio_2.11+dfsg-0.1 cpp_4:4.6.3-8 cpp-4.6_4.6.3-14+rpi1 dash_0.5.7-3 debconf_1.5.50 debconf-i18n_1.5.50 debfoster_2.7-1.2 debhelper_9.20120909 debianutils_4.3.2 diffutils_1:3.2-6 dpkg_1.16.10 dpkg-dev_1.16.10 e2fslibs_1.42.5-1.1 e2fsprogs_1.42.5-1.1 fakeroot_1.18.4-2 file_1:5.11-3 findutils_4.4.2-4 g++_4:4.6.3-8 g++-4.6_4.6.3-14+rpi1 gcc_4:4.6.3-8 gcc-4.5-base_4.5.3-12+rpi1 gcc-4.6_4.6.3-14+rpi1 gcc-4.6-base_4.6.3-14+rpi1 gcc-4.7-base_4.7.2-5+rpi1 gettext_0.18.1.1-10 gettext-base_0.18.1.1-10 gnupg_1.4.12-7 gpgv_1.4.12-7 grep_2.12-2 groff-base_1.22.2-2 gzip_1.5-1.1 hostname_3.11 html2text_1.3.2a-15 initramfs-tools_0.112 initscripts_2.88dsf-41 insserv_1.14.0-5 intltool-debian_0.35.0+20060710.1 klibc-utils_2.0.1-3.1+rpi1 kmod_9-3 libacl1_2.2.51-8 libapt-pkg4.12_0.9.7.8+rpi1 libasprintf-dev_0.18.1.1-10 libasprintf0c2_0.18.1.1-10 libattr1_1:2.4.46-8 libblkid1_2.20.1-5.3 libbz2-1.0_1.0.6-4 libc-bin_2.13-38+rpi2 libc-dev-bin_2.13-38+rpi2 libc6_2.13-38+rpi2 libc6-dev_2.13-38+rpi2 libclass-isa-perl_0.36-5 libcomerr2_1.42.5-1.1 libcroco3_0.6.6-2 libdb5.1_5.1.29-5 libdbus-1-3_1.6.8-1 libdpkg-perl_1.16.10 libffi6_3.0.13-4 libgc1c2_1:7.1-9.1 libgcc1_1:4.7.2-5+rpi1 libgdbm3_1.8.3-11 libgettextpo-dev_0.18.1.1-10 libgettextpo0_0.18.1.1-10 libglib2.0-0_2.36.1-2build1 libgmp10_2:5.0.5+dfsg-2 libgomp1_4.7.2-5+rpi1 libklibc_2.0.1-3.1+rpi1 libkmod2_9-3 liblocale-gettext-perl_1.05-7 liblzma5_5.1.1alpha+20120614-2 libmagic1_1:5.11-3 libmount1_2.20.1-5.3 libmpc2_0.9-4 libmpfr4_3.1.0-5 libncurses5_5.9-10 libncursesw5_5.9-10 libnih-dbus1_1.0.3-4.1 libnih1_1.0.3-4.1 libpam-modules_1.1.3-7.1 libpam-modules-bin_1.1.3-7.1 libpam-runtime_1.1.3-9 libpam0g_1.1.3-7.1 libpcre3_1:8.31-2 libpipeline1_1.2.3-1 libprocps0_1:3.3.3-3 libreadline6_6.2+dfsg-0.1 libselinux1_2.1.9-5 libsemanage-common_2.1.6-6 libsemanage1_2.1.6-6 libsepol1_2.1.4-3 libslang2_2.2.4-15 libss2_1.42.5-1.1 libstdc++6_4.7.2-5+rpi1 libstdc++6-4.6-dev_4.6.3-14+rpi1 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-10 libudev0_175-7.2 libunistring0_0.9.3-5 libusb-0.1-4_2:0.1.12-20+nmu1 libustr-1.0-1_1.0.4-3 libuuid1_2.20.1-5.3 libxml2_2.8.0+dfsg1-7+nmu1 linux-libc-dev_3.2.41-2+rpi1 login_1:4.1.5.1-1 lsb-base_4.1+Debian8+rpi1 make_3.81-8.2 makedev_2.3.1-92 man-db_2.6.3-3 mawk_1.3.3-17 mount_2.20.1-5.3 mountall_2.46 multiarch-support_2.13-38+rpi2 ncurses-base_5.9-10 ncurses-bin_5.9-10 passwd_1:4.1.5.1-1 patch_2.6.1-3 perl_5.14.2-21+rpi1 perl-base_5.14.2-21+rpi1 perl-modules_5.14.2-21+rpi1 plymouth_0.8.5.1-5 po-debconf_1.0.16+nmu2 procps_1:3.3.3-3 raspbian-archive-keyring_20120528.2 readline-common_6.2+dfsg-0.1 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-picosat-dummy_0.invalid.0 sed_4.2.1-10 sensible-utils_0.0.7 sysv-rc_2.88dsf-41 sysvinit_2.88dsf-41 sysvinit-utils_2.88dsf-41 tar_1.26+dfsg-0.1 tzdata_2013b-2 udev_175-7.2 util-linux_2.20.1-5.3 xz-utils_5.1.1alpha+20120614-2 zlib1g_1:1.2.7.dfsg-13
┌──────────────────────────────────────────────────────────────────────────────┐
│ Build │
└──────────────────────────────────────────────────────────────────────────────┘
Unpack source
─────────────
gpgv: keyblock resource `/sbuild-nonexistent/.gnupg/trustedkeys.gpg': file open error
gpgv: Signature made Thu Dec 20 20:54:47 2012 UTC using DSA key ID 76D52AC4
gpgv: Can't check signature: public key not found
dpkg-source: warning: failed to verify signature on ./picosat_954-1.dsc
dpkg-source: info: extracting picosat in picosat-954
dpkg-source: info: unpacking picosat_954.orig.tar.gz
dpkg-source: info: unpacking picosat_954-1.debian.tar.gz
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
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LANG=en_US.UTF-8
LC_ALL=POSIX
LOGNAME=root
LS_OPTIONS=--color=auto
MAIL=/var/mail/root
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
PWD=/root
SCHROOT_ALIAS_NAME=jessie-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=jessie-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=111
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=jessie-staging-armhf-sbuild-ca429ebb-57e4-4af5-a978-113dc68d007c
SCHROOT_UID=106
SCHROOT_USER=buildd
SHELL=/bin/sh
SHLVL=1
SSH_CLIENT=192.168.1.2 53109 22
SSH_CONNECTION=192.168.1.2 53109 192.168.1.45 22
SSH_TTY=/dev/pts/1
TERM=xterm
USER=root
XDG_SESSION_COOKIE=106ef489ba27ee071ab233f6518d3bce-1369081280.146676-2082782793
_=/etc/init.d/buildd
dpkg-buildpackage
─────────────────
dpkg-buildpackage: source package picosat
dpkg-buildpackage: source version 954-1
dpkg-buildpackage: source changed by Michael Tautschnig <mt@debian.org>
dpkg-source --before-build picosat-954
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 ... 954
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 ... 954
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 -c picosat.c
picosat.c: In function 'write_idx':
picosat.c:6308:3: warning: format '%ld' expects argument of type 'long int', but argument 3 has type 'unsigned int' [-Wformat]
rm -f config.h; ./mkconfig > config.h
gcc -DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O3 -c version.c
ar rc libpicosat.a picosat.o version.o
ranlib libpicosat.a
gcc -DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O3 -c app.c
gcc -DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O3 -c main.c
gcc -DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O3 -o picosat main.o app.o -L. -lpicosat
gcc -DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O3 -c picomcs.c
gcc -DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O3 -o picomcs picomcs.o -L. -lpicosat
gcc -DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O3 -c picomus.c
gcc -DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O3 -o picomus picomus.o -L. -lpicosat
gcc -DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O3 -c picogcnf.c
gcc -DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O3 -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 -fPIC" picosat.o
make[3]: Entering directory `/«PKGBUILDDIR»'
gcc -DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O3 -fPIC -c picosat.c
picosat.c: In function 'write_idx':
picosat.c:6308:3: warning: format '%ld' expects argument of type 'long int', but argument 3 has type 'unsigned int' [-Wformat]
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 -fPIC" version.o
make[3]: Entering directory `/«PKGBUILDDIR»'
gcc -DSTATS -DTRACE -Wall -Wextra -DNDEBUG -O3 -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 -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 -c picosat.c
rm -f config.h; ./mkconfig > config.h
gcc -Wall -Wextra -DNDEBUG -O3 -c version.c
ar rc libpicosat.a picosat.o version.o
ranlib libpicosat.a
gcc -Wall -Wextra -DNDEBUG -O3 -c app.c
gcc -Wall -Wextra -DNDEBUG -O3 -c main.c
gcc -Wall -Wextra -DNDEBUG -O3 -o picosat main.o app.o -L. -lpicosat
gcc -Wall -Wextra -DNDEBUG -O3 -c picomcs.c
gcc -Wall -Wextra -DNDEBUG -O3 -o picomcs picomcs.o -L. -lpicosat
gcc -Wall -Wextra -DNDEBUG -O3 -c picomus.c
gcc -Wall -Wextra -DNDEBUG -O3 -o picomus picomus.o -L. -lpicosat
gcc -Wall -Wextra -DNDEBUG -O3 -c picogcnf.c
gcc -Wall -Wextra -DNDEBUG -O3 -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 -fPIC" picosat.o
make[3]: Entering directory `/«PKGBUILDDIR»'
gcc -Wall -Wextra -DNDEBUG -O3 -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 -fPIC" version.o
make[3]: Entering directory `/«PKGBUILDDIR»'
gcc -Wall -Wextra -DNDEBUG -O3 -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 -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_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
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_954-1_armhf.deb'.
dpkg-genchanges -B >../picosat_954-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-954
dpkg-buildpackage: binary only upload (no source included)
────────────────────────────────────────────────────────────────────────────────
Build finished at 20130526-1223
Finished
────────
I: Built successfully
┌──────────────────────────────────────────────────────────────────────────────┐
│ Changes │
└──────────────────────────────────────────────────────────────────────────────┘
picosat_954-1_armhf.changes:
────────────────────────────
Format: 1.8
Date: Thu, 20 Dec 2012 20:13:50 +0000
Source: picosat
Binary: picosat
Architecture: armhf
Version: 954-1
Distribution: jessie-staging
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
picosat - SAT solver with proof and core support
Closes: 696246
Changes:
picosat (954-1) unstable; urgency=low
.
* New upstream version (closes: #696246)
Checksums-Sha1:
fa4412500df8a0bd1cb16ddc19adb72d7bdeb8c6 308716 picosat_954-1_armhf.deb
Checksums-Sha256:
18d66123a864849744c97a951dbf639bf05871fe64c2c609e3b25b7b9921390b 308716 picosat_954-1_armhf.deb
Files:
11c9d62c1b940ada087dacd4fc1cb349 308716 science extra picosat_954-1_armhf.deb
┌──────────────────────────────────────────────────────────────────────────────┐
│ Package contents │
└──────────────────────────────────────────────────────────────────────────────┘
picosat_954-1_armhf.deb
───────────────────────
new debian package, version 2.0.
size 308716 bytes: control archive=1795 bytes.
737 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
4322 bytes, 136 lines symbols
Package: picosat
Version: 954-1
Architecture: armhf
Maintainer: Michael Tautschnig <mt@debian.org>
Installed-Size: 586
Depends: libc6 (>= 2.13-28), libgcc1 (>= 1:4.4.0)
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 2013-05-26 12:23 ./
drwxr-xr-x root/root 0 2013-05-26 12:23 ./usr/
drwxr-xr-x root/root 0 2013-05-26 12:23 ./usr/bin/
-rwxr-xr-x root/root 80464 2013-05-26 12:23 ./usr/bin/picosat
-rwxr-xr-x root/root 75596 2013-05-26 12:23 ./usr/bin/picomus
-rwxr-xr-x root/root 90116 2013-05-26 12:23 ./usr/bin/picosat.trace
drwxr-xr-x root/root 0 2013-05-26 12:23 ./usr/lib/
-rw-r--r-- root/root 71964 2013-05-26 12:23 ./usr/lib/libpicosat.so.1.0.0
-rw-r--r-- root/root 81568 2013-05-26 12:23 ./usr/lib/libpicosat-trace.so.1.0.0
-rw-r--r-- root/root 74676 2013-05-26 12:23 ./usr/lib/libpicosat.a
-rw-r--r-- root/root 85476 2013-05-26 12:23 ./usr/lib/libpicosat-trace.a
drwxr-xr-x root/root 0 2013-05-26 12:23 ./usr/include/
drwxr-xr-x root/root 0 2013-05-26 12:23 ./usr/include/picosat/
-rw-r--r-- root/root 27846 2012-12-20 11:50 ./usr/include/picosat/picosat.h
drwxr-xr-x root/root 0 2013-05-26 12:23 ./usr/share/
drwxr-xr-x root/root 0 2013-05-26 12:23 ./usr/share/doc/
drwxr-xr-x root/root 0 2013-05-26 12:23 ./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 920 2012-12-20 20:13 ./usr/share/doc/picosat/changelog.Debian.gz
-rw-r--r-- root/root 1549 2012-12-20 11:50 ./usr/share/doc/picosat/changelog.gz
drwxr-xr-x root/root 0 2013-05-26 12:23 ./usr/share/man/
drwxr-xr-x root/root 0 2013-05-26 12:23 ./usr/share/man/man1/
-rw-r--r-- root/root 1109 2013-05-26 12:23 ./usr/share/man/man1/picosat.1.gz
-rw-r--r-- root/root 821 2013-05-26 12:23 ./usr/share/man/man1/picomus.1.gz
lrwxrwxrwx root/root 0 2013-05-26 12:23 ./usr/lib/libpicosat-trace.so -> libpicosat-trace.so.1
lrwxrwxrwx root/root 0 2013-05-26 12:23 ./usr/lib/libpicosat-trace.so.1 -> libpicosat-trace.so.1.0.0
lrwxrwxrwx root/root 0 2013-05-26 12:23 ./usr/lib/libpicosat.so -> libpicosat.so.1
lrwxrwxrwx root/root 0 2013-05-26 12:23 ./usr/lib/libpicosat.so.1 -> libpicosat.so.1.0.0
lrwxrwxrwx root/root 0 2013-05-26 12:23 ./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: 2616
Build-Time: 138
Distribution: jessie-staging
Host Architecture: armhf
Install-Time: 118
Job: picosat_954-1
Machine Architecture: armhf
Package: picosat
Package-Time: 314
Source-Version: 954-1
Space: 2616
Status: successful
Version: 954-1
────────────────────────────────────────────────────────────────────────────────
Finished at 20130526-1223
Build needed 00:05:14, 2616k disc space