picosat →
965-2 →
armhf → 2021-03-03 06:47:29
sbuild (Debian sbuild) 0.78.1 (09 February 2019) on test2019
+==============================================================================+
| picosat 965-2 (armhf) Wed, 03 Mar 2021 06:42:52 +0000 |
+==============================================================================+
Package: picosat
Version: 965-2
Source Version: 965-2
Distribution: bullseye-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf
Build Type: any
I: NOTICE: Log filtering will replace 'var/run/schroot/mount/bullseye-staging-armhf-sbuild-b3af8b8a-2346-41e7-8309-999b3a31be25' with '<<CHROOT>>'
I: NOTICE: Log filtering will replace 'build/picosat-QbzQO7/resolver-5uS0y7' with '<<RESOLVERDIR>>'
+------------------------------------------------------------------------------+
| Update chroot |
+------------------------------------------------------------------------------+
Get:1 http://172.17.0.1/private bullseye-staging InRelease [11.3 kB]
Get:2 http://172.17.0.1/private bullseye-staging/main Sources [12.2 MB]
Get:3 http://172.17.0.1/private bullseye-staging/main armhf Packages [13.2 MB]
Fetched 25.4 MB in 10s (2470 kB/s)
Reading package lists...
+------------------------------------------------------------------------------+
| Fetch source files |
+------------------------------------------------------------------------------+
Check APT
---------
Checking available source versions...
Download source files with APT
------------------------------
Reading package lists...
NOTICE: 'picosat' packaging is maintained in the 'Git' version control system at:
https://salsa.debian.org/science-team/picosat.git
Please use:
git clone https://salsa.debian.org/science-team/picosat.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 72.7 kB of source archives.
Get:1 http://172.17.0.1/private bullseye-staging/main picosat 965-2 (dsc) [1959 B]
Get:2 http://172.17.0.1/private bullseye-staging/main picosat 965-2 (tar) [64.4 kB]
Get:3 http://172.17.0.1/private bullseye-staging/main picosat 965-2 (diff) [6328 B]
Fetched 72.7 kB in 0s (384 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace 'build/picosat-QbzQO7/picosat-965' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/picosat-QbzQO7' with '<<BUILDDIR>>'
+------------------------------------------------------------------------------+
| Install package build dependencies |
+------------------------------------------------------------------------------+
Setup apt archive
-----------------
Merged Build-Depends: debhelper-compat (= 12), dh-exec, build-essential, fakeroot
Filtered Build-Depends: debhelper-compat (= 12), dh-exec, build-essential, fakeroot
dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/<<RESOLVERDIR>>/apt_archive/sbuild-build-depends-main-dummy.deb'.
Ign:1 copy:/<<RESOLVERDIR>>/apt_archive ./ InRelease
Get:2 copy:/<<RESOLVERDIR>>/apt_archive ./ Release [957 B]
Ign:3 copy:/<<RESOLVERDIR>>/apt_archive ./ Release.gpg
Get:4 copy:/<<RESOLVERDIR>>/apt_archive ./ Sources [376 B]
Get:5 copy:/<<RESOLVERDIR>>/apt_archive ./ Packages [458 B]
Fetched 1791 B in 0s (46.4 kB/s)
Reading package lists...
Reading package lists...
Install main build dependencies (apt-based resolver)
----------------------------------------------------
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following additional packages will be installed:
autoconf automake autopoint autotools-dev bsdextrautils debhelper
dh-autoreconf dh-exec dh-strip-nondeterminism dwz file gettext gettext-base
groff-base intltool-debian libarchive-zip-perl libdebhelper-perl libelf1
libfile-stripnondeterminism-perl libicu67 libmagic-mgc libmagic1
libpipeline1 libsigsegv2 libsub-override-perl libtool libuchardet0 libxml2
m4 man-db po-debconf sensible-utils
Suggested packages:
autoconf-archive gnu-standards autoconf-doc dh-make gettext-doc
libasprintf-dev libgettextpo-dev groff libtool-doc gfortran
| fortran95-compiler gcj-jdk m4-doc apparmor less www-browser
libmail-box-perl
Recommended packages:
curl | wget | lynx libarchive-cpio-perl libltdl-dev libmail-sendmail-perl
The following NEW packages will be installed:
autoconf automake autopoint autotools-dev bsdextrautils debhelper
dh-autoreconf dh-exec dh-strip-nondeterminism dwz file gettext gettext-base
groff-base intltool-debian libarchive-zip-perl libdebhelper-perl libelf1
libfile-stripnondeterminism-perl libicu67 libmagic-mgc libmagic1
libpipeline1 libsigsegv2 libsub-override-perl libtool libuchardet0 libxml2
m4 man-db po-debconf sbuild-build-depends-main-dummy sensible-utils
0 upgraded, 33 newly installed, 0 to remove and 44 not upgraded.
Need to get 17.5 MB of archives.
After this operation, 64.8 MB of additional disk space will be used.
Get:1 copy:/<<RESOLVERDIR>>/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [876 B]
Get:2 http://172.17.0.1/private bullseye-staging/main armhf bsdextrautils armhf 2.36.1-7 [137 kB]
Get:3 http://172.17.0.1/private bullseye-staging/main armhf libuchardet0 armhf 0.0.7-1 [65.0 kB]
Get:4 http://172.17.0.1/private bullseye-staging/main armhf groff-base armhf 1.22.4-6 [793 kB]
Get:5 http://172.17.0.1/private bullseye-staging/main armhf libpipeline1 armhf 1.5.3-1 [29.9 kB]
Get:6 http://172.17.0.1/private bullseye-staging/main armhf man-db armhf 2.9.4-2 [1307 kB]
Get:7 http://172.17.0.1/private bullseye-staging/main armhf sensible-utils all 0.0.14 [14.8 kB]
Get:8 http://172.17.0.1/private bullseye-staging/main armhf libmagic-mgc armhf 1:5.39-3 [273 kB]
Get:9 http://172.17.0.1/private bullseye-staging/main armhf libmagic1 armhf 1:5.39-3 [117 kB]
Get:10 http://172.17.0.1/private bullseye-staging/main armhf file armhf 1:5.39-3 [68.0 kB]
Get:11 http://172.17.0.1/private bullseye-staging/main armhf gettext-base armhf 0.21-4 [171 kB]
Get:12 http://172.17.0.1/private bullseye-staging/main armhf libsigsegv2 armhf 2.13-1 [34.3 kB]
Get:13 http://172.17.0.1/private bullseye-staging/main armhf m4 armhf 1.4.18-5 [186 kB]
Get:14 http://172.17.0.1/private bullseye-staging/main armhf autoconf all 2.69-14 [313 kB]
Get:15 http://172.17.0.1/private bullseye-staging/main armhf autotools-dev all 20180224.1+nmu1 [77.1 kB]
Get:16 http://172.17.0.1/private bullseye-staging/main armhf automake all 1:1.16.3-2 [814 kB]
Get:17 http://172.17.0.1/private bullseye-staging/main armhf autopoint all 0.21-4 [510 kB]
Get:18 http://172.17.0.1/private bullseye-staging/main armhf libdebhelper-perl all 13.3.3 [189 kB]
Get:19 http://172.17.0.1/private bullseye-staging/main armhf libtool all 2.4.6-15 [513 kB]
Get:20 http://172.17.0.1/private bullseye-staging/main armhf dh-autoreconf all 20 [17.1 kB]
Get:21 http://172.17.0.1/private bullseye-staging/main armhf libarchive-zip-perl all 1.68-1 [104 kB]
Get:22 http://172.17.0.1/private bullseye-staging/main armhf libsub-override-perl all 0.09-2 [10.2 kB]
Get:23 http://172.17.0.1/private bullseye-staging/main armhf libfile-stripnondeterminism-perl all 1.11.0-1 [25.6 kB]
Get:24 http://172.17.0.1/private bullseye-staging/main armhf dh-strip-nondeterminism all 1.11.0-1 [15.3 kB]
Get:25 http://172.17.0.1/private bullseye-staging/main armhf libelf1 armhf 0.183-1 [161 kB]
Get:26 http://172.17.0.1/private bullseye-staging/main armhf dwz armhf 0.13+20210201-1 [164 kB]
Get:27 http://172.17.0.1/private bullseye-staging/main armhf libicu67 armhf 67.1-6 [8289 kB]
Get:28 http://172.17.0.1/private bullseye-staging/main armhf libxml2 armhf 2.9.10+dfsg-6.3 [580 kB]
Get:29 http://172.17.0.1/private bullseye-staging/main armhf gettext armhf 0.21-4 [1215 kB]
Get:30 http://172.17.0.1/private bullseye-staging/main armhf intltool-debian all 0.35.0+20060710.5 [26.8 kB]
Get:31 http://172.17.0.1/private bullseye-staging/main armhf po-debconf all 1.0.21+nmu1 [248 kB]
Get:32 http://172.17.0.1/private bullseye-staging/main armhf debhelper all 13.3.3 [1011 kB]
Get:33 http://172.17.0.1/private bullseye-staging/main armhf dh-exec armhf 0.23.2+b3 [25.7 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 17.5 MB in 2s (7992 kB/s)
Selecting previously unselected package bsdextrautils.
(Reading database ... 12476 files and directories currently installed.)
Preparing to unpack .../00-bsdextrautils_2.36.1-7_armhf.deb ...
Unpacking bsdextrautils (2.36.1-7) ...
Selecting previously unselected package libuchardet0:armhf.
Preparing to unpack .../01-libuchardet0_0.0.7-1_armhf.deb ...
Unpacking libuchardet0:armhf (0.0.7-1) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../02-groff-base_1.22.4-6_armhf.deb ...
Unpacking groff-base (1.22.4-6) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../03-libpipeline1_1.5.3-1_armhf.deb ...
Unpacking libpipeline1:armhf (1.5.3-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../04-man-db_2.9.4-2_armhf.deb ...
Unpacking man-db (2.9.4-2) ...
Selecting previously unselected package sensible-utils.
Preparing to unpack .../05-sensible-utils_0.0.14_all.deb ...
Unpacking sensible-utils (0.0.14) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../06-libmagic-mgc_1%3a5.39-3_armhf.deb ...
Unpacking libmagic-mgc (1:5.39-3) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../07-libmagic1_1%3a5.39-3_armhf.deb ...
Unpacking libmagic1:armhf (1:5.39-3) ...
Selecting previously unselected package file.
Preparing to unpack .../08-file_1%3a5.39-3_armhf.deb ...
Unpacking file (1:5.39-3) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../09-gettext-base_0.21-4_armhf.deb ...
Unpacking gettext-base (0.21-4) ...
Selecting previously unselected package libsigsegv2:armhf.
Preparing to unpack .../10-libsigsegv2_2.13-1_armhf.deb ...
Unpacking libsigsegv2:armhf (2.13-1) ...
Selecting previously unselected package m4.
Preparing to unpack .../11-m4_1.4.18-5_armhf.deb ...
Unpacking m4 (1.4.18-5) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../12-autoconf_2.69-14_all.deb ...
Unpacking autoconf (2.69-14) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../13-autotools-dev_20180224.1+nmu1_all.deb ...
Unpacking autotools-dev (20180224.1+nmu1) ...
Selecting previously unselected package automake.
Preparing to unpack .../14-automake_1%3a1.16.3-2_all.deb ...
Unpacking automake (1:1.16.3-2) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../15-autopoint_0.21-4_all.deb ...
Unpacking autopoint (0.21-4) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../16-libdebhelper-perl_13.3.3_all.deb ...
Unpacking libdebhelper-perl (13.3.3) ...
Selecting previously unselected package libtool.
Preparing to unpack .../17-libtool_2.4.6-15_all.deb ...
Unpacking libtool (2.4.6-15) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../18-dh-autoreconf_20_all.deb ...
Unpacking dh-autoreconf (20) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../19-libarchive-zip-perl_1.68-1_all.deb ...
Unpacking libarchive-zip-perl (1.68-1) ...
Selecting previously unselected package libsub-override-perl.
Preparing to unpack .../20-libsub-override-perl_0.09-2_all.deb ...
Unpacking libsub-override-perl (0.09-2) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../21-libfile-stripnondeterminism-perl_1.11.0-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.11.0-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../22-dh-strip-nondeterminism_1.11.0-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.11.0-1) ...
Selecting previously unselected package libelf1:armhf.
Preparing to unpack .../23-libelf1_0.183-1_armhf.deb ...
Unpacking libelf1:armhf (0.183-1) ...
Selecting previously unselected package dwz.
Preparing to unpack .../24-dwz_0.13+20210201-1_armhf.deb ...
Unpacking dwz (0.13+20210201-1) ...
Selecting previously unselected package libicu67:armhf.
Preparing to unpack .../25-libicu67_67.1-6_armhf.deb ...
Unpacking libicu67:armhf (67.1-6) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../26-libxml2_2.9.10+dfsg-6.3_armhf.deb ...
Unpacking libxml2:armhf (2.9.10+dfsg-6.3) ...
Selecting previously unselected package gettext.
Preparing to unpack .../27-gettext_0.21-4_armhf.deb ...
Unpacking gettext (0.21-4) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../28-intltool-debian_0.35.0+20060710.5_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.5) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../29-po-debconf_1.0.21+nmu1_all.deb ...
Unpacking po-debconf (1.0.21+nmu1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../30-debhelper_13.3.3_all.deb ...
Unpacking debhelper (13.3.3) ...
Selecting previously unselected package dh-exec.
Preparing to unpack .../31-dh-exec_0.23.2+b3_armhf.deb ...
Unpacking dh-exec (0.23.2+b3) ...
Selecting previously unselected package sbuild-build-depends-main-dummy.
Preparing to unpack .../32-sbuild-build-depends-main-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ...
Setting up libpipeline1:armhf (1.5.3-1) ...
Setting up bsdextrautils (2.36.1-7) ...
update-alternatives: using /usr/bin/write.ul to provide /usr/bin/write (write) in auto mode
Setting up libicu67:armhf (67.1-6) ...
Setting up libmagic-mgc (1:5.39-3) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libdebhelper-perl (13.3.3) ...
Setting up libmagic1:armhf (1:5.39-3) ...
Setting up gettext-base (0.21-4) ...
Setting up file (1:5.39-3) ...
Setting up autotools-dev (20180224.1+nmu1) ...
Setting up libsigsegv2:armhf (2.13-1) ...
Setting up autopoint (0.21-4) ...
Setting up sensible-utils (0.0.14) ...
Setting up libuchardet0:armhf (0.0.7-1) ...
Setting up libsub-override-perl (0.09-2) ...
Setting up libelf1:armhf (0.183-1) ...
Setting up libxml2:armhf (2.9.10+dfsg-6.3) ...
Setting up libfile-stripnondeterminism-perl (1.11.0-1) ...
Setting up gettext (0.21-4) ...
Setting up libtool (2.4.6-15) ...
Setting up m4 (1.4.18-5) ...
Setting up intltool-debian (0.35.0+20060710.5) ...
Setting up autoconf (2.69-14) ...
Setting up dh-strip-nondeterminism (1.11.0-1) ...
Setting up dwz (0.13+20210201-1) ...
Setting up groff-base (1.22.4-6) ...
Setting up automake (1:1.16.3-2) ...
update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
Setting up po-debconf (1.0.21+nmu1) ...
Setting up man-db (2.9.4-2) ...
Not building database; man-db/auto-update is not 'true'.
Setting up dh-autoreconf (20) ...
Setting up debhelper (13.3.3) ...
Setting up dh-exec (0.23.2+b3) ...
Setting up sbuild-build-depends-main-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.31-9+rpi1) ...
+------------------------------------------------------------------------------+
| Check architectures |
+------------------------------------------------------------------------------+
Arch check ok (armhf included in any)
+------------------------------------------------------------------------------+
| Build environment |
+------------------------------------------------------------------------------+
Kernel: Linux 4.19.20-v7+ #1 SMP Mon Mar 18 11:37:02 GMT 2019 armhf (armv7l)
Toolchain package versions: binutils_2.35.1-7+rpi1 dpkg-dev_1.20.7.1+rpi1 g++-10_10.2.1-6+rpi1 gcc-10_10.2.1-6+rpi1 libc6-dev_2.31-9+rpi1 libstdc++-10-dev_10.2.1-6+rpi1 libstdc++6_10.2.1-6+rpi1 linux-libc-dev_5.10.9-1+rpi1
Package versions: adduser_3.118 apt_2.1.18 autoconf_2.69-14 automake_1:1.16.3-2 autopoint_0.21-4 autotools-dev_20180224.1+nmu1 base-files_11+rpi1 base-passwd_3.5.48 bash_5.1-2 binutils_2.35.1-7+rpi1 binutils-arm-linux-gnueabihf_2.35.1-7+rpi1 binutils-common_2.35.1-7+rpi1 bsdextrautils_2.36.1-7 bsdutils_1:2.36.1-6 build-essential_12.9 bzip2_1.0.8-4 coreutils_8.32-4 cpp_4:10.2.1-1+rpi1 cpp-10_10.2.1-6+rpi1 dash_0.5.11+git20200708+dd9ef66-5 debconf_1.5.74 debhelper_13.3.3 debianutils_4.11.2 dh-autoreconf_20 dh-exec_0.23.2+b3 dh-strip-nondeterminism_1.11.0-1 diffutils_1:3.7-5 dirmngr_2.2.20-1 dpkg_1.20.7.1+rpi1 dpkg-dev_1.20.7.1+rpi1 dwz_0.13+20210201-1 e2fsprogs_1.45.7-1 fakeroot_1.25.3-1.1 file_1:5.39-3 findutils_4.8.0-1 g++_4:10.2.1-1+rpi1 g++-10_10.2.1-6+rpi1 gcc_4:10.2.1-1+rpi1 gcc-10_10.2.1-6+rpi1 gcc-10-base_10.2.1-6+rpi1 gcc-7-base_7.5.0-6+rpi1+b2 gcc-8-base_8.4.0-6+rpi1 gcc-9-base_9.3.0-20+rpi1 gettext_0.21-4 gettext-base_0.21-4 gnupg_2.2.20-1 gnupg-l10n_2.2.20-1 gnupg-utils_2.2.20-1 gpg_2.2.20-1 gpg-agent_2.2.20-1 gpg-wks-client_2.2.20-1 gpg-wks-server_2.2.20-1 gpgconf_2.2.20-1 gpgsm_2.2.20-1 gpgv_2.2.20-1 grep_3.6-1 groff-base_1.22.4-6 gzip_1.10-2 hostname_3.23 init-system-helpers_1.60 intltool-debian_0.35.0+20060710.5 libacl1_2.2.53-10 libapt-pkg6.0_2.1.18 libarchive-zip-perl_1.68-1 libasan6_10.2.1-6+rpi1 libassuan0_2.5.3-7.1 libatomic1_10.2.1-6+rpi1 libattr1_1:2.4.48-6 libaudit-common_1:3.0-2 libaudit1_1:3.0-2 libbinutils_2.35.1-7+rpi1 libblkid1_2.36.1-6 libbz2-1.0_1.0.8-4 libc-bin_2.31-9+rpi1 libc-dev-bin_2.31-9+rpi1 libc6_2.31-9+rpi1 libc6-dev_2.31-9+rpi1 libcap-ng0_0.7.9-2.2+b1 libcc1-0_10.2.1-6+rpi1 libcom-err2_1.45.7-1 libcrypt-dev_1:4.4.17-1 libcrypt1_1:4.4.17-1 libctf-nobfd0_2.35.1-7+rpi1 libctf0_2.35.1-7+rpi1 libdb5.3_5.3.28+dfsg1-0.6 libdebconfclient0_0.256 libdebhelper-perl_13.3.3 libdpkg-perl_1.20.7.1+rpi1 libelf1_0.183-1 libext2fs2_1.45.7-1 libfakeroot_1.25.3-1.1 libffi7_3.3-5 libfile-stripnondeterminism-perl_1.11.0-1 libgcc-10-dev_10.2.1-6+rpi1 libgcc-s1_10.2.1-6+rpi1 libgcrypt20_1.8.7-2 libgdbm-compat4_1.19-2 libgdbm6_1.19-2 libgmp10_2:6.2.1+dfsg-1 libgnutls30_3.7.0-5 libgomp1_10.2.1-6+rpi1 libgpg-error0_1.38-2 libgssapi-krb5-2_1.18.3-4 libhogweed6_3.6-2 libicu67_67.1-6 libidn2-0_2.3.0-5 libisl23_0.23-1 libk5crypto3_1.18.3-4 libkeyutils1_1.6.1-2 libkrb5-3_1.18.3-4 libkrb5support0_1.18.3-4 libksba8_1.5.0-3 libldap-2.4-2_2.4.57+dfsg-1 liblocale-gettext-perl_1.07-4+b1 liblz4-1_1.9.3-1+rpi1 liblzma5_5.2.5-1.0 libmagic-mgc_1:5.39-3 libmagic1_1:5.39-3 libmount1_2.36.1-6 libmpc3_1.2.0-1 libmpfr6_4.1.0-3 libncursesw6_6.2+20201114-2 libnettle8_3.6-2 libnpth0_1.6-3 libnsl-dev_1.3.0-2 libnsl2_1.3.0-2 libnss-nis_3.1-4 libnss-nisplus_1.3-4 libp11-kit0_0.23.22-1 libpam-modules_1.4.0-2 libpam-modules-bin_1.4.0-2 libpam-runtime_1.4.0-2 libpam0g_1.4.0-2 libpcre2-8-0_10.36-2 libpcre3_2:8.39-13 libperl5.32_5.32.1-2 libpipeline1_1.5.3-1 libreadline8_8.1-1 libsasl2-2_2.1.27+dfsg-2 libsasl2-modules-db_2.1.27+dfsg-2 libseccomp2_2.5.1-1+rpi1 libselinux1_3.1-2+b1 libsemanage-common_3.1-1 libsemanage1_3.1-1+b1 libsepol1_3.1-1 libsigsegv2_2.13-1 libsmartcols1_2.36.1-6 libsqlite3-0_3.34.1-1 libss2_1.45.7-1 libssl1.1_1.1.1i-3 libstdc++-10-dev_10.2.1-6+rpi1 libstdc++6_10.2.1-6+rpi1 libsub-override-perl_0.09-2 libsystemd0_247.2-5+rpi1 libtasn1-6_4.16.0-2 libtext-iconv-perl_1.7-7+b1 libtinfo6_6.2+20201114-2 libtirpc-common_1.3.1-1 libtirpc-dev_1.3.1-1 libtirpc3_1.3.1-1 libtool_2.4.6-15 libubsan1_10.2.1-6+rpi1 libuchardet0_0.0.7-1 libudev1_247.2-5+rpi1 libunistring2_0.9.10-4 libuuid1_2.36.1-6 libxml2_2.9.10+dfsg-6.3 libxxhash0_0.8.0-2+rpi1 libzstd1_1.4.8+dfsg-1 linux-libc-dev_5.10.9-1+rpi1 login_1:4.8.1-1 logsave_1.45.7-1 lsb-base_11.1.0+rpi1 m4_1.4.18-5 make_4.3-4 man-db_2.9.4-2 mawk_1.3.4.20200120-2 mount_2.36.1-6 ncurses-base_6.2+20201114-2 ncurses-bin_6.2+20201114-2 passwd_1:4.8.1-1 patch_2.7.6-7 perl_5.32.1-2 perl-base_5.32.1-2 perl-modules-5.32_5.32.1-2 pinentry-curses_1.1.0-4 po-debconf_1.0.21+nmu1 raspbian-archive-keyring_20120528.2 readline-common_8.1-1 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.7-1 sensible-utils_0.0.14 sysvinit-utils_2.96-5 tar_1.32+dfsg-1+rpi1 tzdata_2021a-1 util-linux_2.36.1-6 xz-utils_5.2.5-1.0 zlib1g_1:1.2.11.dfsg-2
+------------------------------------------------------------------------------+
| Build |
+------------------------------------------------------------------------------+
Unpack source
-------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 3.0 (quilt)
Source: picosat
Binary: picosat
Architecture: any
Version: 965-2
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Michael Tautschnig <mt@debian.org>, Nilesh Patra <npatra974@gmail.com>
Homepage: http://fmv.jku.at/picosat/
Standards-Version: 4.4.0
Vcs-Browser: https://salsa.debian.org/science-team/picosat
Vcs-Git: https://salsa.debian.org/science-team/picosat.git
Build-Depends: debhelper-compat (= 12), dh-exec
Package-List:
picosat deb science optional arch=any
Checksums-Sha1:
66869e4be43dcf6765b047d5bb20b7b1fa32eb16 64386 picosat_965.orig.tar.gz
7ea597d88db9581b98561b33b6e0205edc5e4ea5 6328 picosat_965-2.debian.tar.xz
Checksums-Sha256:
15169b4f28ba8f628f353f6f75a100845cdef4a2244f101a02b6e5a26e46a754 64386 picosat_965.orig.tar.gz
ba73741659fa30e97fcf54e720b70179cd82d22b8001ee4970cf6eda9fa27c7a 6328 picosat_965-2.debian.tar.xz
Files:
d37c236d5c60b03d888d137c2fa4285f 64386 picosat_965.orig.tar.gz
32b6d30566f2e455794f6355b0e8540a 6328 picosat_965-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQJIBAEBCgAyFiEEPpmlJvXcwMu/HO6mALrnSzQzafEFAmAyAuEUHG5wYXRyYTk3
NEBnbWFpbC5jb20ACgkQALrnSzQzafGuqhAAtXeIHId8biGsmXhfhRTtzmUr4f3v
34z4YwcfIQJFZE/Vk9xENYl/jaWRm2PhxUChe58C09E5sz+9aPso4sOZatJWq28t
UkDphKTvG0vhRcGEQQAfKhIkzhCo5ScM1cIVlRgfen5lqweK0luHrL5ztQwg6yl4
sdWHkwykWxlr13pwTCiOo/7RNrqqJ/uIVur7IxyW6njRA3fLgTIrlr01tRypshP8
60eMOx45JaJgrcrHcD5Yw2MESg/3Dqd+zWxkdSQT9xlaJT3DIildmjQ2deqs5pad
DXsL/uTZ+4ZrVdI9X3wKjUi2sTaGlrixs0OhhthGL6a7uH2E8pjHn93Hlu4HkRQZ
0pgAtulOrB6HjqBXsYuFm+/WLoe316Ry2nBS9LIwYQttBoPCYpHG+KxkqPy5ZYcM
zW8ysPT2FRBOzGgyo1QSw38dUJyDJE5A0609Lc7EHIQiZ/P7Millcu8kRkBzuTEX
TgERTMfEDA6aazdYg6eMXOZ2x9Ki4N2bGGiVY8y5NmsdXwOoQsY7H8SmysTA2ZOh
XkLS8G7Lw8H6UwDBOooGPZ4B+rSET0nIDl9Z83WemQAnbcWo3nt5m3KcKMalRSqi
xsUpcgNINDxC+qpPV5Ua92GXgn09El7R7LBY/lG+zEDKDJu6Qr1W5sdJYHQMw10X
7bIccE/WfDwzTVM=
=Kztx
-----END PGP SIGNATURE-----
gpgv: unknown type of key resource 'trustedkeys.kbx'
gpgv: keyblock resource '/tmp/dpkg-verify-sig.RkfD5ve4/trustedkeys.kbx': General error
gpgv: Signature made Sun Feb 21 06:51:13 2021 UTC
gpgv: using RSA key 3E99A526F5DCC0CBBF1CEEA600BAE74B343369F1
gpgv: issuer "npatra974@gmail.com"
gpgv: Can't check signature: No public key
dpkg-source: warning: failed to verify signature on ./picosat_965-2.dsc
dpkg-source: info: extracting picosat in /<<PKGBUILDDIR>>
dpkg-source: info: unpacking picosat_965.orig.tar.gz
dpkg-source: info: unpacking picosat_965-2.debian.tar.xz
dpkg-source: info: using patch list from debian/patches/series
dpkg-source: info: applying dynamic_lib.patch
dpkg-source: info: applying verbose_output.patch
dpkg-source: info: applying hardening.patch
Check disk space
----------------
Sufficient free space for build
User Environment
----------------
APT_CONFIG=/var/lib/sbuild/apt.conf
DBUS_SESSION_BUS_ADDRESS=unix:path=/run/user/112/bus
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LC_ALL=C.UTF-8
LOGNAME=buildd
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
PWD=/build/buildd
SCHROOT_ALIAS_NAME=bullseye-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=bullseye-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=117
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=bullseye-staging-armhf-sbuild-b3af8b8a-2346-41e7-8309-999b3a31be25
SCHROOT_UID=112
SCHROOT_USER=buildd
SHELL=/bin/sh
USER=buildd
XDG_RUNTIME_DIR=/run/user/112
XDG_SESSION_CLASS=background
XDG_SESSION_ID=c143403
XDG_SESSION_TYPE=unspecified
dpkg-buildpackage
-----------------
Command: dpkg-buildpackage -us -uc -mRaspbian pi4 based autobuilder <root@raspbian.org> -B -rfakeroot
dpkg-buildpackage: info: source package picosat
dpkg-buildpackage: info: source version 965-2
dpkg-buildpackage: info: source distribution unstable
dpkg-source --before-build .
dpkg-buildpackage: info: host architecture armhf
debian/rules clean
dh 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 binary-arch
dh binary-arch
dh_update_autotools_config -a
dh_autoreconf -a
debian/rules override_dh_auto_configure
make[1]: Entering directory '/<<PKGBUILDDIR>>'
dh_testdir
./configure.sh --trace --stats
version ... 965
debug ... no
log ... no
stats ... yes
trace ... yes
static ... no
shared ... no
targets ... picosat picomcs picomus picogcnf libpicosat.a
cc ... arm-linux-gnueabihf-gcc
cflags ... -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security
makefile ... done
mv makefile makefile.trace
./configure.sh
version ... 965
debug ... no
log ... no
stats ... no
trace ... no
static ... no
shared ... no
targets ... picosat picomcs picomus picogcnf libpicosat.a
cc ... arm-linux-gnueabihf-gcc
cflags ... -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security
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>>'
arm-linux-gnueabihf-gcc -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -c picosat.c
In file included from picosat.c:26:
picosat.c: In function ‘fixvar’:
picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare]
1943 | assert (VAR2LIT (v) != UNDEF);
| ^~
picosat.c:180:20: note: did you mean to dereference the pointer?
180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars))
| ^
picosat.c:1943:11: note: in expansion of macro ‘VAR2LIT’
1943 | assert (VAR2LIT (v) != UNDEF);
| ^~~~~~~
picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare]
1943 | assert (VAR2LIT (v) != UNDEF);
| ^~
picosat.c:180:20: note: did you mean to dereference the pointer?
180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars))
| ^
picosat.c:1943:11: note: in expansion of macro ‘VAR2LIT’
1943 | assert (VAR2LIT (v) != UNDEF);
| ^~~~~~~
rm -f config.h; ./mkconfig.sh > config.h
arm-linux-gnueabihf-gcc -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -c version.c
ar rc libpicosat.a picosat.o version.o
ranlib libpicosat.a
arm-linux-gnueabihf-gcc -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -c app.c
arm-linux-gnueabihf-gcc -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -c main.c
arm-linux-gnueabihf-gcc -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -o picosat main.o app.o -L. -lpicosat -Wl,-z,relro -Wl,-z,now
arm-linux-gnueabihf-gcc -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -c picomcs.c
arm-linux-gnueabihf-gcc -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -o picomcs picomcs.o -L. -lpicosat -Wl,-z,relro -Wl,-z,now
arm-linux-gnueabihf-gcc -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -c picomus.c
picomus.c: In function ‘main’:
picomus.c:239:32: warning: ‘%s’ directive output between 3 and 2147483645 bytes may cause result to exceed ‘INT_MAX’ [-Wformat-overflow=]
239 | sprintf (cmd, "gunzip -c %s 2>/dev/null", input_name);
| ^~
In file included from /usr/include/stdio.h:867,
from picosat.h:29,
from picomus.c:23:
/usr/include/arm-linux-gnueabihf/bits/stdio2.h:36:10: note: ‘__builtin___sprintf_chk’ output between 26 and 2147483668 bytes into a destination of size 4294967295
36 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1,
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
37 | __bos (__s), __fmt, __va_arg_pack ());
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
arm-linux-gnueabihf-gcc -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -o picomus picomus.o -L. -lpicosat -Wl,-z,relro -Wl,-z,now
arm-linux-gnueabihf-gcc -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -c picogcnf.c
arm-linux-gnueabihf-gcc -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -o picogcnf picogcnf.o -L. -lpicosat -Wl,-z,relro -Wl,-z,now
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="-g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -fPIC" picosat.o
make[3]: Entering directory '/<<PKGBUILDDIR>>'
arm-linux-gnueabihf-gcc -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -c picosat.c
In file included from picosat.c:26:
picosat.c: In function ‘fixvar’:
picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare]
1943 | assert (VAR2LIT (v) != UNDEF);
| ^~
picosat.c:180:20: note: did you mean to dereference the pointer?
180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars))
| ^
picosat.c:1943:11: note: in expansion of macro ‘VAR2LIT’
1943 | assert (VAR2LIT (v) != UNDEF);
| ^~~~~~~
picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare]
1943 | assert (VAR2LIT (v) != UNDEF);
| ^~
picosat.c:180:20: note: did you mean to dereference the pointer?
180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars))
| ^
picosat.c:1943:11: note: in expansion of macro ‘VAR2LIT’
1943 | assert (VAR2LIT (v) != UNDEF);
| ^~~~~~~
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="-g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -fPIC" version.o
make[3]: Entering directory '/<<PKGBUILDDIR>>'
arm-linux-gnueabihf-gcc -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -c version.c
make[3]: Leaving directory '/<<PKGBUILDDIR>>'
mv version.o version.pic.o
mv version.nopic.o version.o
arm-linux-gnueabihf-gcc -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -shared -o libpicosat-trace.so.1.0.0 picosat.pic.o version.pic.o -lc -Wl,-soname,libpicosat-trace.so.1 -Wl,-z,relro -Wl,-z,now
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>>'
arm-linux-gnueabihf-gcc -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -c picosat.c
In file included from picosat.c:26:
picosat.c: In function ‘fixvar’:
picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare]
1943 | assert (VAR2LIT (v) != UNDEF);
| ^~
picosat.c:180:20: note: did you mean to dereference the pointer?
180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars))
| ^
picosat.c:1943:11: note: in expansion of macro ‘VAR2LIT’
1943 | assert (VAR2LIT (v) != UNDEF);
| ^~~~~~~
picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare]
1943 | assert (VAR2LIT (v) != UNDEF);
| ^~
picosat.c:180:20: note: did you mean to dereference the pointer?
180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars))
| ^
picosat.c:1943:11: note: in expansion of macro ‘VAR2LIT’
1943 | assert (VAR2LIT (v) != UNDEF);
| ^~~~~~~
rm -f config.h; ./mkconfig.sh > config.h
arm-linux-gnueabihf-gcc -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -c version.c
ar rc libpicosat.a picosat.o version.o
ranlib libpicosat.a
arm-linux-gnueabihf-gcc -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -c app.c
arm-linux-gnueabihf-gcc -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -c main.c
arm-linux-gnueabihf-gcc -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -o picosat main.o app.o -L. -lpicosat -Wl,-z,relro -Wl,-z,now
arm-linux-gnueabihf-gcc -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -c picomcs.c
arm-linux-gnueabihf-gcc -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -o picomcs picomcs.o -L. -lpicosat -Wl,-z,relro -Wl,-z,now
arm-linux-gnueabihf-gcc -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -c picomus.c
picomus.c: In function ‘main’:
picomus.c:239:32: warning: ‘%s’ directive output between 3 and 2147483645 bytes may cause result to exceed ‘INT_MAX’ [-Wformat-overflow=]
239 | sprintf (cmd, "gunzip -c %s 2>/dev/null", input_name);
| ^~
In file included from /usr/include/stdio.h:867,
from picosat.h:29,
from picomus.c:23:
/usr/include/arm-linux-gnueabihf/bits/stdio2.h:36:10: note: ‘__builtin___sprintf_chk’ output between 26 and 2147483668 bytes into a destination of size 4294967295
36 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1,
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
37 | __bos (__s), __fmt, __va_arg_pack ());
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
arm-linux-gnueabihf-gcc -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -o picomus picomus.o -L. -lpicosat -Wl,-z,relro -Wl,-z,now
arm-linux-gnueabihf-gcc -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -c picogcnf.c
arm-linux-gnueabihf-gcc -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -o picogcnf picogcnf.o -L. -lpicosat -Wl,-z,relro -Wl,-z,now
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="-g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -fPIC" picosat.o
make[3]: Entering directory '/<<PKGBUILDDIR>>'
arm-linux-gnueabihf-gcc -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -c picosat.c
In file included from picosat.c:26:
picosat.c: In function ‘fixvar’:
picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare]
1943 | assert (VAR2LIT (v) != UNDEF);
| ^~
picosat.c:180:20: note: did you mean to dereference the pointer?
180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars))
| ^
picosat.c:1943:11: note: in expansion of macro ‘VAR2LIT’
1943 | assert (VAR2LIT (v) != UNDEF);
| ^~~~~~~
picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare]
1943 | assert (VAR2LIT (v) != UNDEF);
| ^~
picosat.c:180:20: note: did you mean to dereference the pointer?
180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars))
| ^
picosat.c:1943:11: note: in expansion of macro ‘VAR2LIT’
1943 | assert (VAR2LIT (v) != UNDEF);
| ^~~~~~~
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="-g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -fPIC" version.o
make[3]: Entering directory '/<<PKGBUILDDIR>>'
arm-linux-gnueabihf-gcc -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -c version.c
make[3]: Leaving directory '/<<PKGBUILDDIR>>'
mv version.o version.pic.o
mv version.nopic.o version.o
arm-linux-gnueabihf-gcc -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -shared -o libpicosat.so.1.0.0 picosat.pic.o version.pic.o -lc -Xlinker -soname -Xlinker libpicosat.so.1 -Wl,-z,relro -Wl,-z,now
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_auto_test -a
create-stamp debian/debhelper-build-stamp
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_strip_nondeterminism -a
dh_compress -a
dh_fixperms -a
dh_missing -a
dh_dwz -a
dh_strip -a
dh_makeshlibs -a
dh_shlibdeps -a
dh_installdeb -a
dh_gencontrol -a
dh_md5sums -a
dh_builddeb -a
dpkg-deb: building package 'picosat' in '../picosat_965-2_armhf.deb'.
dpkg-deb: building package 'picosat-dbgsym' in '../picosat-dbgsym_965-2_armhf.deb'.
dpkg-genbuildinfo --build=any
dpkg-genchanges --build=any -mRaspbian pi4 based autobuilder <root@raspbian.org> >../picosat_965-2_armhf.changes
dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included)
dpkg-source --after-build .
dpkg-buildpackage: info: binary-only upload (no source included)
--------------------------------------------------------------------------------
Build finished at 2021-03-03T06:47:25Z
Finished
--------
I: Built successfully
+------------------------------------------------------------------------------+
| Changes |
+------------------------------------------------------------------------------+
picosat_965-2_armhf.changes:
----------------------------
Format: 1.8
Date: Sun, 21 Feb 2021 12:17:23 +0530
Source: picosat
Binary: picosat picosat-dbgsym
Architecture: armhf
Version: 965-2
Distribution: bullseye-staging
Urgency: medium
Maintainer: Raspbian pi4 based autobuilder <root@raspbian.org>
Changed-By: Nilesh Patra <npatra974@gmail.com>
Description:
picosat - SAT solver with proof and core support
Closes: 978542
Changes:
picosat (965-2) unstable; urgency=medium
.
* Use dpkg buildtools.mk supply cross tools via environment
- Thank you, Helmut Grohne! (Closes: #978542)
* Add myself to uploaders
* Add "Rules-Requires-Root: no"
* Propagate hardening options properly
Checksums-Sha1:
296fb44a45ca42ffd0403ec48c61ff599d8c4ad0 459980 picosat-dbgsym_965-2_armhf.deb
e0fe1095f76569ee72201ab38c2214c236225f52 4825 picosat_965-2_armhf.buildinfo
8dbadd82555ed03a21e66c99a33274950ca2c5da 84308 picosat_965-2_armhf.deb
Checksums-Sha256:
fca37c0eac4ec7b2ecf0b5d23d6af63ccec29d481c823851bf07e47db2d1c6b5 459980 picosat-dbgsym_965-2_armhf.deb
cb3160568947ff8f3d4376574eafd2338aef3ade1fb33f857aa7dd8eb6234e9e 4825 picosat_965-2_armhf.buildinfo
03968c1472f1a439687fa0ed43026cc0daeebfa995e2b9dbdcbac1cc9fb09e64 84308 picosat_965-2_armhf.deb
Files:
f89d4484f553c16e335ade41e2706764 459980 debug optional picosat-dbgsym_965-2_armhf.deb
2231083b3171fcaeb41221e7b9266702 4825 science optional picosat_965-2_armhf.buildinfo
e1a93f01f7deec65746262b07a4d95e2 84308 science optional picosat_965-2_armhf.deb
+------------------------------------------------------------------------------+
| Buildinfo |
+------------------------------------------------------------------------------+
Format: 1.0
Source: picosat
Binary: picosat picosat-dbgsym
Architecture: armhf
Version: 965-2
Checksums-Md5:
f89d4484f553c16e335ade41e2706764 459980 picosat-dbgsym_965-2_armhf.deb
e1a93f01f7deec65746262b07a4d95e2 84308 picosat_965-2_armhf.deb
Checksums-Sha1:
296fb44a45ca42ffd0403ec48c61ff599d8c4ad0 459980 picosat-dbgsym_965-2_armhf.deb
8dbadd82555ed03a21e66c99a33274950ca2c5da 84308 picosat_965-2_armhf.deb
Checksums-Sha256:
fca37c0eac4ec7b2ecf0b5d23d6af63ccec29d481c823851bf07e47db2d1c6b5 459980 picosat-dbgsym_965-2_armhf.deb
03968c1472f1a439687fa0ed43026cc0daeebfa995e2b9dbdcbac1cc9fb09e64 84308 picosat_965-2_armhf.deb
Build-Origin: Raspbian
Build-Architecture: armhf
Build-Date: Wed, 03 Mar 2021 06:47:24 +0000
Build-Path: /<<PKGBUILDDIR>>
Installed-Build-Depends:
autoconf (= 2.69-14),
automake (= 1:1.16.3-2),
autopoint (= 0.21-4),
autotools-dev (= 20180224.1+nmu1),
base-files (= 11+rpi1),
base-passwd (= 3.5.48),
bash (= 5.1-2),
binutils (= 2.35.1-7+rpi1),
binutils-arm-linux-gnueabihf (= 2.35.1-7+rpi1),
binutils-common (= 2.35.1-7+rpi1),
bsdextrautils (= 2.36.1-7),
bsdutils (= 1:2.36.1-6),
build-essential (= 12.9),
bzip2 (= 1.0.8-4),
coreutils (= 8.32-4),
cpp (= 4:10.2.1-1+rpi1),
cpp-10 (= 10.2.1-6+rpi1),
dash (= 0.5.11+git20200708+dd9ef66-5),
debconf (= 1.5.74),
debhelper (= 13.3.3),
debianutils (= 4.11.2),
dh-autoreconf (= 20),
dh-exec (= 0.23.2+b3),
dh-strip-nondeterminism (= 1.11.0-1),
diffutils (= 1:3.7-5),
dpkg (= 1.20.7.1+rpi1),
dpkg-dev (= 1.20.7.1+rpi1),
dwz (= 0.13+20210201-1),
file (= 1:5.39-3),
findutils (= 4.8.0-1),
g++ (= 4:10.2.1-1+rpi1),
g++-10 (= 10.2.1-6+rpi1),
gcc (= 4:10.2.1-1+rpi1),
gcc-10 (= 10.2.1-6+rpi1),
gcc-10-base (= 10.2.1-6+rpi1),
gettext (= 0.21-4),
gettext-base (= 0.21-4),
grep (= 3.6-1),
groff-base (= 1.22.4-6),
gzip (= 1.10-2),
hostname (= 3.23),
init-system-helpers (= 1.60),
intltool-debian (= 0.35.0+20060710.5),
libacl1 (= 2.2.53-10),
libarchive-zip-perl (= 1.68-1),
libasan6 (= 10.2.1-6+rpi1),
libatomic1 (= 10.2.1-6+rpi1),
libattr1 (= 1:2.4.48-6),
libaudit-common (= 1:3.0-2),
libaudit1 (= 1:3.0-2),
libbinutils (= 2.35.1-7+rpi1),
libblkid1 (= 2.36.1-6),
libbz2-1.0 (= 1.0.8-4),
libc-bin (= 2.31-9+rpi1),
libc-dev-bin (= 2.31-9+rpi1),
libc6 (= 2.31-9+rpi1),
libc6-dev (= 2.31-9+rpi1),
libcap-ng0 (= 0.7.9-2.2+b1),
libcc1-0 (= 10.2.1-6+rpi1),
libcom-err2 (= 1.45.7-1),
libcrypt-dev (= 1:4.4.17-1),
libcrypt1 (= 1:4.4.17-1),
libctf-nobfd0 (= 2.35.1-7+rpi1),
libctf0 (= 2.35.1-7+rpi1),
libdb5.3 (= 5.3.28+dfsg1-0.6),
libdebconfclient0 (= 0.256),
libdebhelper-perl (= 13.3.3),
libdpkg-perl (= 1.20.7.1+rpi1),
libelf1 (= 0.183-1),
libfile-stripnondeterminism-perl (= 1.11.0-1),
libgcc-10-dev (= 10.2.1-6+rpi1),
libgcc-s1 (= 10.2.1-6+rpi1),
libgcrypt20 (= 1.8.7-2),
libgdbm-compat4 (= 1.19-2),
libgdbm6 (= 1.19-2),
libgmp10 (= 2:6.2.1+dfsg-1),
libgomp1 (= 10.2.1-6+rpi1),
libgpg-error0 (= 1.38-2),
libgssapi-krb5-2 (= 1.18.3-4),
libicu67 (= 67.1-6),
libisl23 (= 0.23-1),
libk5crypto3 (= 1.18.3-4),
libkeyutils1 (= 1.6.1-2),
libkrb5-3 (= 1.18.3-4),
libkrb5support0 (= 1.18.3-4),
liblz4-1 (= 1.9.3-1+rpi1),
liblzma5 (= 5.2.5-1.0),
libmagic-mgc (= 1:5.39-3),
libmagic1 (= 1:5.39-3),
libmount1 (= 2.36.1-6),
libmpc3 (= 1.2.0-1),
libmpfr6 (= 4.1.0-3),
libnsl-dev (= 1.3.0-2),
libnsl2 (= 1.3.0-2),
libpam-modules (= 1.4.0-2),
libpam-modules-bin (= 1.4.0-2),
libpam-runtime (= 1.4.0-2),
libpam0g (= 1.4.0-2),
libpcre2-8-0 (= 10.36-2),
libpcre3 (= 2:8.39-13),
libperl5.32 (= 5.32.1-2),
libpipeline1 (= 1.5.3-1),
libseccomp2 (= 2.5.1-1+rpi1),
libselinux1 (= 3.1-2+b1),
libsigsegv2 (= 2.13-1),
libsmartcols1 (= 2.36.1-6),
libssl1.1 (= 1.1.1i-3),
libstdc++-10-dev (= 10.2.1-6+rpi1),
libstdc++6 (= 10.2.1-6+rpi1),
libsub-override-perl (= 0.09-2),
libsystemd0 (= 247.2-5+rpi1),
libtinfo6 (= 6.2+20201114-2),
libtirpc-common (= 1.3.1-1),
libtirpc-dev (= 1.3.1-1),
libtirpc3 (= 1.3.1-1),
libtool (= 2.4.6-15),
libubsan1 (= 10.2.1-6+rpi1),
libuchardet0 (= 0.0.7-1),
libudev1 (= 247.2-5+rpi1),
libunistring2 (= 0.9.10-4),
libuuid1 (= 2.36.1-6),
libxml2 (= 2.9.10+dfsg-6.3),
libzstd1 (= 1.4.8+dfsg-1),
linux-libc-dev (= 5.10.9-1+rpi1),
login (= 1:4.8.1-1),
lsb-base (= 11.1.0+rpi1),
m4 (= 1.4.18-5),
make (= 4.3-4),
man-db (= 2.9.4-2),
mawk (= 1.3.4.20200120-2),
ncurses-base (= 6.2+20201114-2),
ncurses-bin (= 6.2+20201114-2),
patch (= 2.7.6-7),
perl (= 5.32.1-2),
perl-base (= 5.32.1-2),
perl-modules-5.32 (= 5.32.1-2),
po-debconf (= 1.0.21+nmu1),
sed (= 4.7-1),
sensible-utils (= 0.0.14),
sysvinit-utils (= 2.96-5),
tar (= 1.32+dfsg-1+rpi1),
util-linux (= 2.36.1-6),
xz-utils (= 5.2.5-1.0),
zlib1g (= 1:1.2.11.dfsg-2)
Environment:
DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1613890043"
+------------------------------------------------------------------------------+
| Package contents |
+------------------------------------------------------------------------------+
picosat-dbgsym_965-2_armhf.deb
------------------------------
new Debian package, version 2.0.
size 459980 bytes: control archive=744 bytes.
489 bytes, 12 lines control
511 bytes, 5 lines md5sums
Package: picosat-dbgsym
Source: picosat
Version: 965-2
Auto-Built-Package: debug-symbols
Architecture: armhf
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size: 537
Depends: picosat (= 965-2)
Section: debug
Priority: optional
Description: debug symbols for picosat
Build-Ids: 69606b5c944c674f19b4fa1a53dcf6f9ccfa3ccb 713527842d83a2b39fa1eb657171e40eccc9f1b1 b131dea6f9e9ee3e9f868243d7c08dceed385a76 ccdbe25eee756acca6461e6ecd04be822dc7ad99
drwxr-xr-x root/root 0 2021-02-21 06:47 ./
drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/
drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/lib/
drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/lib/debug/
drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/lib/debug/.build-id/69/
-rw-r--r-- root/root 133852 2021-02-21 06:47 ./usr/lib/debug/.build-id/69/606b5c944c674f19b4fa1a53dcf6f9ccfa3ccb.debug
drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/lib/debug/.build-id/71/
-rw-r--r-- root/root 143072 2021-02-21 06:47 ./usr/lib/debug/.build-id/71/3527842d83a2b39fa1eb657171e40eccc9f1b1.debug
drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/lib/debug/.build-id/b1/
-rw-r--r-- root/root 122404 2021-02-21 06:47 ./usr/lib/debug/.build-id/b1/31dea6f9e9ee3e9f868243d7c08dceed385a76.debug
drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/lib/debug/.build-id/cc/
-rw-r--r-- root/root 122416 2021-02-21 06:47 ./usr/lib/debug/.build-id/cc/dbe25eee756acca6461e6ecd04be822dc7ad99.debug
drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/lib/debug/.dwz/
drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/lib/debug/.dwz/arm-linux-gnueabihf/
-rw-r--r-- root/root 10900 2021-02-21 06:47 ./usr/lib/debug/.dwz/arm-linux-gnueabihf/picosat.debug
drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/share/
drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/share/doc/
lrwxrwxrwx root/root 0 2021-02-21 06:47 ./usr/share/doc/picosat-dbgsym -> picosat
picosat_965-2_armhf.deb
-----------------------
new Debian package, version 2.0.
size 84308 bytes: control archive=1752 bytes.
752 bytes, 17 lines control
889 bytes, 13 lines md5sums
66 bytes, 2 lines shlibs
4584 bytes, 146 lines symbols
67 bytes, 2 lines triggers
Package: picosat
Version: 965-2
Architecture: armhf
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size: 706
Depends: libc6 (>= 2.7)
Section: science
Priority: optional
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 2021-02-21 06:47 ./
drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/
drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/bin/
-rwxr-xr-x root/root 87648 2021-02-21 06:47 ./usr/bin/picomus
-rwxr-xr-x root/root 95840 2021-02-21 06:47 ./usr/bin/picosat
-rwxr-xr-x root/root 95840 2021-02-21 06:47 ./usr/bin/picosat.trace
drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/include/
drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/include/picosat/
-rw-r--r-- root/root 28675 2016-01-13 07:19 ./usr/include/picosat/picosat.h
drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/lib/
drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/lib/arm-linux-gnueabihf/
-rw-r--r-- root/root 95844 2021-02-21 06:47 ./usr/lib/arm-linux-gnueabihf/libpicosat-trace.a
lrwxrwxrwx root/root 0 2021-02-21 06:47 ./usr/lib/arm-linux-gnueabihf/libpicosat-trace.so -> libpicosat-trace.so.1
lrwxrwxrwx root/root 0 2021-02-21 06:47 ./usr/lib/arm-linux-gnueabihf/libpicosat-trace.so.1 -> libpicosat-trace.so.1.0.0
-rw-r--r-- root/root 91576 2021-02-21 06:47 ./usr/lib/arm-linux-gnueabihf/libpicosat-trace.so.1.0.0
-rw-r--r-- root/root 95844 2021-02-21 06:47 ./usr/lib/arm-linux-gnueabihf/libpicosat.a
lrwxrwxrwx root/root 0 2021-02-21 06:47 ./usr/lib/arm-linux-gnueabihf/libpicosat.so -> libpicosat.so.1
lrwxrwxrwx root/root 0 2021-02-21 06:47 ./usr/lib/arm-linux-gnueabihf/libpicosat.so.1 -> libpicosat.so.1.0.0
-rw-r--r-- root/root 91576 2021-02-21 06:47 ./usr/lib/arm-linux-gnueabihf/libpicosat.so.1.0.0
drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/share/
drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/share/doc/
drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/share/doc/picosat/
-rw-r--r-- root/root 1401 2021-02-21 06:47 ./usr/share/doc/picosat/changelog.Debian.gz
-rw-r--r-- root/root 1934 2016-01-13 07:19 ./usr/share/doc/picosat/changelog.gz
-rw-r--r-- root/root 2263 2021-02-21 06:35 ./usr/share/doc/picosat/copyright
drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/share/man/
drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/share/man/man1/
-rw-r--r-- root/root 821 2021-02-21 06:47 ./usr/share/man/man1/picomus.1.gz
-rw-r--r-- root/root 1109 2021-02-21 06:47 ./usr/share/man/man1/picosat.1.gz
lrwxrwxrwx root/root 0 2021-02-21 06:47 ./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 Type: any
Build-Space: 7748
Build-Time: 54
Distribution: bullseye-staging
Host Architecture: armhf
Install-Time: 194
Job: picosat_965-2
Machine Architecture: armhf
Package: picosat
Package-Time: 273
Source-Version: 965-2
Space: 7748
Status: successful
Version: 965-2
--------------------------------------------------------------------------------
Finished at 2021-03-03T06:47:25Z
Build needed 00:04:33, 7748k disk space