Wed May 20 23:40:20 UTC 2020 I: starting to build ladr/buster/armhf on jenkins on '2020-05-20 23:40' Wed May 20 23:40:20 UTC 2020 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/armhf_14/3024/console.log Wed May 20 23:40:20 UTC 2020 I: Downloading source for buster/ladr=0.0.200911a-2.1 --2020-05-20 23:40:20-- http://deb.debian.org/debian/pool/main/l/ladr/ladr_0.0.200911a-2.1.dsc Connecting to 78.137.99.97:3128... connected. Proxy request sent, awaiting response... 200 OK Length: 1337 (1.3K) Saving to: ‘ladr_0.0.200911a-2.1.dsc’ 0K . 100% 18.0M=0s 2020-05-20 23:40:20 (18.0 MB/s) - ‘ladr_0.0.200911a-2.1.dsc’ saved [1337/1337] Wed May 20 23:40:21 UTC 2020 I: ladr_0.0.200911a-2.1.dsc -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 3.0 (quilt) Source: ladr Binary: libladr-dev, libladr4, prover9, ladr4-apps Architecture: any Version: 0.0.200911a-2.1 Maintainer: Debian QA Group Homepage: http://www.cs.unm.edu/~mccune/mace4/ Standards-Version: 3.9.4 Vcs-Bzr: nosmart+http://bzr.debian.org/collab-maint/ladr/unstable/ Build-Depends: debhelper (>= 7.0.50~), libtool, libtool-bin Package-List: ladr4-apps deb math optional arch=any libladr-dev deb libdevel optional arch=any libladr4 deb libs optional arch=any prover9 deb math optional arch=any Checksums-Sha1: 0b30a80f36512c0958b0e77ce18d0d8056e33bb1 1795750 ladr_0.0.200911a.orig.tar.gz 40a6c0502b2e1104a3bf7dd1f146283238d36276 19388 ladr_0.0.200911a-2.1.debian.tar.xz Checksums-Sha256: c32bed5807000c0b7161c276e50d9ca0af0cb248df2c1affb2f6fc02471b51d0 1795750 ladr_0.0.200911a.orig.tar.gz 000d2791796f1dabcfb366f284760bb59d4d66b10c8dd81cc0e1c307ef129694 19388 ladr_0.0.200911a-2.1.debian.tar.xz Files: ab409f31ecbb4410b1c7d75deadea2c6 1795750 ladr_0.0.200911a.orig.tar.gz 0fbb593b779deabb43303557995d05fc 19388 ladr_0.0.200911a-2.1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlQ2aAIACgkQStlRaw+TLJx39QCffzpAnRCGqhzJ1P0OC47cuD1t hRcAoLdZkbXSiUBjLn0mVmx8SwcetXA6 =Zxio -----END PGP SIGNATURE----- Wed May 20 23:40:21 UTC 2020 I: Checking whether the package is not for us Wed May 20 23:40:21 UTC 2020 I: Starting 1st build on remote node ff2b-armhf-rb.debian.net. Wed May 20 23:40:21 UTC 2020 I: Preparing to do remote build '1' on ff2b-armhf-rb.debian.net. Wed May 20 23:43:30 UTC 2020 I: Deleting $TMPDIR on ff2b-armhf-rb.debian.net. I: pbuilder: network access will be disabled during build I: Current time: Wed May 20 11:40:35 -12 2020 I: pbuilder-time-stamp: 1590018035 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/buster-reproducible-base.tgz] I: copying local configuration I: mounting /proc filesystem I: mounting /sys filesystem I: creating /{dev,run}/shm I: mounting /dev/pts filesystem I: redirecting /dev/ptmx to /dev/pts/ptmx I: policy-rc.d already exists I: Copying source file I: copying [ladr_0.0.200911a-2.1.dsc] I: copying [./ladr_0.0.200911a.orig.tar.gz] I: copying [./ladr_0.0.200911a-2.1.debian.tar.xz] I: Extracting source gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/root/.gnupg/trustedkeys.kbx': General error gpgv: Signature made Wed Oct 8 22:48:34 2014 -12 gpgv: using DSA key 4AD9516B0F932C9C gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./ladr_0.0.200911a-2.1.dsc dpkg-source: info: extracting ladr in ladr-0.0.200911a dpkg-source: info: unpacking ladr_0.0.200911a.orig.tar.gz dpkg-source: info: unpacking ladr_0.0.200911a-2.1.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying 01-libtoolise.patch dpkg-source: info: applying 03-no-2.5isms.patch I: using fakeroot in build. I: Installing the build-deps -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: armhf Maintainer: Debian Pbuilder Team Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. Depends: debhelper (>= 7.0.50~), libtool, libtool-bin dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 18932 files and directories currently installed.) Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ... Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ... dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested: pbuilder-satisfydepends-dummy depends on debhelper (>= 7.0.50~); however: Package debhelper is not installed. pbuilder-satisfydepends-dummy depends on libtool; however: Package libtool is not installed. pbuilder-satisfydepends-dummy depends on libtool-bin; however: Package libtool-bin is not installed. Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ... Reading package lists... Building dependency tree... Reading state information... Initializing package states... Writing extended state information... Building tag database... pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) The following NEW packages will be installed: autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdmainutils{a} debhelper{a} dh-autoreconf{a} dh-strip-nondeterminism{a} dwz{a} file{a} gettext{a} gettext-base{a} groff-base{a} intltool-debian{a} libarchive-zip-perl{a} libbsd0{a} libcroco3{a} libelf1{a} libfile-stripnondeterminism-perl{a} libglib2.0-0{a} libicu63{a} libmagic-mgc{a} libmagic1{a} libncurses6{a} libpipeline1{a} libsigsegv2{a} libtool{a} libtool-bin{a} libuchardet0{a} libxml2{a} m4{a} man-db{a} po-debconf{a} sensible-utils{a} The following packages are RECOMMENDED but will NOT be installed: curl libarchive-cpio-perl libglib2.0-data libgpm2 libltdl-dev libmail-sendmail-perl lynx shared-mime-info wget xdg-user-dirs 0 packages upgraded, 34 newly installed, 0 to remove and 0 not upgraded. Need to get 18.6 MB of archives. After unpacking 64.2 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian buster/main armhf libbsd0 armhf 0.9.1-2 [103 kB] Get: 2 http://deb.debian.org/debian buster/main armhf bsdmainutils armhf 11.1.2+b1 [186 kB] Get: 3 http://deb.debian.org/debian buster/main armhf libuchardet0 armhf 0.0.6-3 [62.2 kB] Get: 4 http://deb.debian.org/debian buster/main armhf groff-base armhf 1.22.4-3 [828 kB] Get: 5 http://deb.debian.org/debian buster/main armhf libpipeline1 armhf 1.5.1-2 [26.8 kB] Get: 6 http://deb.debian.org/debian buster/main armhf man-db armhf 2.8.5-2 [1240 kB] Get: 7 http://deb.debian.org/debian buster/main armhf sensible-utils all 0.0.12 [15.8 kB] Get: 8 http://deb.debian.org/debian buster/main armhf libmagic-mgc armhf 1:5.35-4+deb10u1 [242 kB] Get: 9 http://deb.debian.org/debian buster/main armhf libmagic1 armhf 1:5.35-4+deb10u1 [110 kB] Get: 10 http://deb.debian.org/debian buster/main armhf file armhf 1:5.35-4+deb10u1 [65.5 kB] Get: 11 http://deb.debian.org/debian buster/main armhf gettext-base armhf 0.19.8.1-9 [118 kB] Get: 12 http://deb.debian.org/debian buster/main armhf libsigsegv2 armhf 2.12-2 [32.1 kB] Get: 13 http://deb.debian.org/debian buster/main armhf m4 armhf 1.4.18-2 [190 kB] Get: 14 http://deb.debian.org/debian buster/main armhf autoconf all 2.69-11 [341 kB] Get: 15 http://deb.debian.org/debian buster/main armhf autotools-dev all 20180224.1 [77.0 kB] Get: 16 http://deb.debian.org/debian buster/main armhf automake all 1:1.16.1-4 [771 kB] Get: 17 http://deb.debian.org/debian buster/main armhf autopoint all 0.19.8.1-9 [434 kB] Get: 18 http://deb.debian.org/debian buster/main armhf libtool all 2.4.6-9 [547 kB] Get: 19 http://deb.debian.org/debian buster/main armhf dh-autoreconf all 19 [16.9 kB] Get: 20 http://deb.debian.org/debian buster/main armhf libarchive-zip-perl all 1.64-1 [96.8 kB] Get: 21 http://deb.debian.org/debian buster/main armhf libfile-stripnondeterminism-perl all 1.1.2-1 [19.8 kB] Get: 22 http://deb.debian.org/debian buster/main armhf dh-strip-nondeterminism all 1.1.2-1 [13.0 kB] Get: 23 http://deb.debian.org/debian buster/main armhf libelf1 armhf 0.176-1.1 [158 kB] Get: 24 http://deb.debian.org/debian buster/main armhf dwz armhf 0.12-3 [72.0 kB] Get: 25 http://deb.debian.org/debian buster/main armhf libglib2.0-0 armhf 2.58.3-2+deb10u2 [1101 kB] Get: 26 http://deb.debian.org/debian buster/main armhf libicu63 armhf 63.1-6+deb10u1 [8005 kB] Get: 27 http://deb.debian.org/debian buster/main armhf libxml2 armhf 2.9.4+dfsg1-7+b3 [595 kB] Get: 28 http://deb.debian.org/debian buster/main armhf libcroco3 armhf 0.6.12-3 [133 kB] Get: 29 http://deb.debian.org/debian buster/main armhf libncurses6 armhf 6.1+20181013-2+deb10u2 [79.8 kB] Get: 30 http://deb.debian.org/debian buster/main armhf gettext armhf 0.19.8.1-9 [1242 kB] Get: 31 http://deb.debian.org/debian buster/main armhf intltool-debian all 0.35.0+20060710.5 [26.8 kB] Get: 32 http://deb.debian.org/debian buster/main armhf po-debconf all 1.0.21 [248 kB] Get: 33 http://deb.debian.org/debian buster/main armhf debhelper all 12.1.1 [1016 kB] Get: 34 http://deb.debian.org/debian buster/main armhf libtool-bin armhf 2.4.6-9 [431 kB] Fetched 18.6 MB in 11s (1651 kB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libbsd0:armhf. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 18932 files and directories currently installed.) Preparing to unpack .../00-libbsd0_0.9.1-2_armhf.deb ... Unpacking libbsd0:armhf (0.9.1-2) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../01-bsdmainutils_11.1.2+b1_armhf.deb ... Unpacking bsdmainutils (11.1.2+b1) ... Selecting previously unselected package libuchardet0:armhf. Preparing to unpack .../02-libuchardet0_0.0.6-3_armhf.deb ... Unpacking libuchardet0:armhf (0.0.6-3) ... Selecting previously unselected package groff-base. Preparing to unpack .../03-groff-base_1.22.4-3_armhf.deb ... Unpacking groff-base (1.22.4-3) ... Selecting previously unselected package libpipeline1:armhf. Preparing to unpack .../04-libpipeline1_1.5.1-2_armhf.deb ... Unpacking libpipeline1:armhf (1.5.1-2) ... Selecting previously unselected package man-db. Preparing to unpack .../05-man-db_2.8.5-2_armhf.deb ... Unpacking man-db (2.8.5-2) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../06-sensible-utils_0.0.12_all.deb ... Unpacking sensible-utils (0.0.12) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../07-libmagic-mgc_1%3a5.35-4+deb10u1_armhf.deb ... Unpacking libmagic-mgc (1:5.35-4+deb10u1) ... Selecting previously unselected package libmagic1:armhf. Preparing to unpack .../08-libmagic1_1%3a5.35-4+deb10u1_armhf.deb ... Unpacking libmagic1:armhf (1:5.35-4+deb10u1) ... Selecting previously unselected package file. Preparing to unpack .../09-file_1%3a5.35-4+deb10u1_armhf.deb ... Unpacking file (1:5.35-4+deb10u1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../10-gettext-base_0.19.8.1-9_armhf.deb ... Unpacking gettext-base (0.19.8.1-9) ... Selecting previously unselected package libsigsegv2:armhf. Preparing to unpack .../11-libsigsegv2_2.12-2_armhf.deb ... Unpacking libsigsegv2:armhf (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../12-m4_1.4.18-2_armhf.deb ... Unpacking m4 (1.4.18-2) ... Selecting previously unselected package autoconf. Preparing to unpack .../13-autoconf_2.69-11_all.deb ... Unpacking autoconf (2.69-11) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../14-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../15-automake_1%3a1.16.1-4_all.deb ... Unpacking automake (1:1.16.1-4) ... Selecting previously unselected package autopoint. Preparing to unpack .../16-autopoint_0.19.8.1-9_all.deb ... Unpacking autopoint (0.19.8.1-9) ... Selecting previously unselected package libtool. Preparing to unpack .../17-libtool_2.4.6-9_all.deb ... Unpacking libtool (2.4.6-9) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../18-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../19-libarchive-zip-perl_1.64-1_all.deb ... Unpacking libarchive-zip-perl (1.64-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../20-libfile-stripnondeterminism-perl_1.1.2-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.1.2-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../21-dh-strip-nondeterminism_1.1.2-1_all.deb ... Unpacking dh-strip-nondeterminism (1.1.2-1) ... Selecting previously unselected package libelf1:armhf. Preparing to unpack .../22-libelf1_0.176-1.1_armhf.deb ... Unpacking libelf1:armhf (0.176-1.1) ... Selecting previously unselected package dwz. Preparing to unpack .../23-dwz_0.12-3_armhf.deb ... Unpacking dwz (0.12-3) ... Selecting previously unselected package libglib2.0-0:armhf. Preparing to unpack .../24-libglib2.0-0_2.58.3-2+deb10u2_armhf.deb ... Unpacking libglib2.0-0:armhf (2.58.3-2+deb10u2) ... Selecting previously unselected package libicu63:armhf. Preparing to unpack .../25-libicu63_63.1-6+deb10u1_armhf.deb ... Unpacking libicu63:armhf (63.1-6+deb10u1) ... Selecting previously unselected package libxml2:armhf. Preparing to unpack .../26-libxml2_2.9.4+dfsg1-7+b3_armhf.deb ... Unpacking libxml2:armhf (2.9.4+dfsg1-7+b3) ... Selecting previously unselected package libcroco3:armhf. Preparing to unpack .../27-libcroco3_0.6.12-3_armhf.deb ... Unpacking libcroco3:armhf (0.6.12-3) ... Selecting previously unselected package libncurses6:armhf. Preparing to unpack .../28-libncurses6_6.1+20181013-2+deb10u2_armhf.deb ... Unpacking libncurses6:armhf (6.1+20181013-2+deb10u2) ... Selecting previously unselected package gettext. Preparing to unpack .../29-gettext_0.19.8.1-9_armhf.deb ... Unpacking gettext (0.19.8.1-9) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../30-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 .../31-po-debconf_1.0.21_all.deb ... Unpacking po-debconf (1.0.21) ... Selecting previously unselected package debhelper. Preparing to unpack .../32-debhelper_12.1.1_all.deb ... Unpacking debhelper (12.1.1) ... Selecting previously unselected package libtool-bin. Preparing to unpack .../33-libtool-bin_2.4.6-9_armhf.deb ... Unpacking libtool-bin (2.4.6-9) ... Setting up libpipeline1:armhf (1.5.1-2) ... Setting up libmagic-mgc (1:5.35-4+deb10u1) ... Setting up libarchive-zip-perl (1.64-1) ... Setting up libglib2.0-0:armhf (2.58.3-2+deb10u2) ... No schema files found: doing nothing. Setting up libmagic1:armhf (1:5.35-4+deb10u1) ... Setting up gettext-base (0.19.8.1-9) ... Setting up file (1:5.35-4+deb10u1) ... Setting up libicu63:armhf (63.1-6+deb10u1) ... Setting up autotools-dev (20180224.1) ... Setting up libncurses6:armhf (6.1+20181013-2+deb10u2) ... Setting up libsigsegv2:armhf (2.12-2) ... Setting up autopoint (0.19.8.1-9) ... Setting up sensible-utils (0.0.12) ... Setting up libuchardet0:armhf (0.0.6-3) ... Setting up libbsd0:armhf (0.9.1-2) ... Setting up libelf1:armhf (0.176-1.1) ... Setting up libxml2:armhf (2.9.4+dfsg1-7+b3) ... Setting up libfile-stripnondeterminism-perl (1.1.2-1) ... Setting up libtool (2.4.6-9) ... Setting up m4 (1.4.18-2) ... Setting up bsdmainutils (11.1.2+b1) ... 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 libcroco3:armhf (0.6.12-3) ... Setting up autoconf (2.69-11) ... Setting up dwz (0.12-3) ... Setting up groff-base (1.22.4-3) ... Setting up automake (1:1.16.1-4) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up libtool-bin (2.4.6-9) ... Setting up gettext (0.19.8.1-9) ... Setting up man-db (2.8.5-2) ... Not building database; man-db/auto-update is not 'true'. Setting up intltool-debian (0.35.0+20060710.5) ... Setting up po-debconf (1.0.21) ... Setting up debhelper (12.1.1) ... Setting up dh-autoreconf (19) ... Setting up dh-strip-nondeterminism (1.1.2-1) ... Processing triggers for libc-bin (2.28-10) ... Reading package lists... Building dependency tree... Reading state information... Reading extended state information... Initializing package states... Writing extended state information... Building tag database... -> Finished parsing the build-deps Reading package lists... Building dependency tree... Reading state information... fakeroot is already the newest version (1.23-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: Building the package I: Running cd /build/ladr-0.0.200911a/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b dpkg-buildpackage: info: source package ladr dpkg-buildpackage: info: source version 0.0.200911a-2.1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Matthias Klose dpkg-source --before-build . dpkg-buildpackage: info: host architecture armhf fakeroot debian/rules clean dh clean dh: Compatibility levels before 9 are deprecated (level 7 in use) dh_auto_clean dh_auto_clean: Compatibility levels before 9 are deprecated (level 7 in use) make -j1 realclean make[1]: Entering directory '/build/ladr-0.0.200911a' make clean make[2]: Entering directory '/build/ladr-0.0.200911a' cd ladr && make realclean make[3]: Entering directory '/build/ladr-0.0.200911a/ladr' libtool --mode=clean /bin/rm -f *.lo *.la make[3]: Leaving directory '/build/ladr-0.0.200911a/ladr' cd apps.src && make realclean make[3]: Entering directory '/build/ladr-0.0.200911a/apps.src' libtool --mode=clean /bin/rm -f *.o latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest directproof test_clause_eval test_complex complex gen_trc_defs make[3]: Leaving directory '/build/ladr-0.0.200911a/apps.src' cd mace4.src && make realclean make[3]: Entering directory '/build/ladr-0.0.200911a/mace4.src' libtool --mode=clean /bin/rm -f *.o *.a mace4 make[3]: Leaving directory '/build/ladr-0.0.200911a/mace4.src' cd provers.src && make realclean make[3]: Entering directory '/build/ladr-0.0.200911a/provers.src' libtool --mode=clean /bin/rm -f *.o prover9 fof-prover9 autosketches4 newauto newsax ladr_to_tptp tptp_to_ladr make[3]: Leaving directory '/build/ladr-0.0.200911a/provers.src' make[2]: Leaving directory '/build/ladr-0.0.200911a' /bin/rm -f bin/* make[1]: Leaving directory '/build/ladr-0.0.200911a' debian/rules override_dh_clean make[1]: Entering directory '/build/ladr-0.0.200911a' /usr/bin/make realclean make[2]: Entering directory '/build/ladr-0.0.200911a' /usr/bin/make clean make[3]: Entering directory '/build/ladr-0.0.200911a' cd ladr && /usr/bin/make realclean make[4]: Entering directory '/build/ladr-0.0.200911a/ladr' libtool --mode=clean /bin/rm -f *.lo *.la make[4]: Leaving directory '/build/ladr-0.0.200911a/ladr' cd apps.src && /usr/bin/make realclean make[4]: Entering directory '/build/ladr-0.0.200911a/apps.src' libtool --mode=clean /bin/rm -f *.o latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest directproof test_clause_eval test_complex complex gen_trc_defs make[4]: Leaving directory '/build/ladr-0.0.200911a/apps.src' cd mace4.src && /usr/bin/make realclean make[4]: Entering directory '/build/ladr-0.0.200911a/mace4.src' libtool --mode=clean /bin/rm -f *.o *.a mace4 make[4]: Leaving directory '/build/ladr-0.0.200911a/mace4.src' cd provers.src && /usr/bin/make realclean make[4]: Entering directory '/build/ladr-0.0.200911a/provers.src' libtool --mode=clean /bin/rm -f *.o prover9 fof-prover9 autosketches4 newauto newsax ladr_to_tptp tptp_to_ladr make[4]: Leaving directory '/build/ladr-0.0.200911a/provers.src' make[3]: Leaving directory '/build/ladr-0.0.200911a' /bin/rm -f bin/* make[2]: Leaving directory '/build/ladr-0.0.200911a' dh_clean dh_clean: Compatibility levels before 9 are deprecated (level 7 in use) make[1]: Leaving directory '/build/ladr-0.0.200911a' debian/rules build dh build dh: Compatibility levels before 9 are deprecated (level 7 in use) dh_update_autotools_config dh_auto_configure dh_auto_configure: Compatibility levels before 9 are deprecated (level 7 in use) debian/rules override_dh_auto_build make[1]: Entering directory '/build/ladr-0.0.200911a' dh_auto_build -- all dh_auto_build: Compatibility levels before 9 are deprecated (level 7 in use) make -j1 all make[2]: Entering directory '/build/ladr-0.0.200911a' cd ladr && make lib make[3]: Entering directory '/build/ladr-0.0.200911a/ladr' make libladr.la make[4]: Entering directory '/build/ladr-0.0.200911a/ladr' libtool --mode=compile gcc -c -O -Wall -o order.lo order.c libtool: compile: gcc -c -O -Wall order.c -fPIC -DPIC -o .libs/order.o libtool: compile: gcc -c -O -Wall order.c -o order.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o clock.lo clock.c libtool: compile: gcc -c -O -Wall clock.c -fPIC -DPIC -o .libs/clock.o libtool: compile: gcc -c -O -Wall clock.c -o clock.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o nonport.lo nonport.c libtool: compile: gcc -c -O -Wall nonport.c -fPIC -DPIC -o .libs/nonport.o libtool: compile: gcc -c -O -Wall nonport.c -o nonport.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o fatal.lo fatal.c libtool: compile: gcc -c -O -Wall fatal.c -fPIC -DPIC -o .libs/fatal.o libtool: compile: gcc -c -O -Wall fatal.c -o fatal.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o ibuffer.lo ibuffer.c libtool: compile: gcc -c -O -Wall ibuffer.c -fPIC -DPIC -o .libs/ibuffer.o libtool: compile: gcc -c -O -Wall ibuffer.c -o ibuffer.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o memory.lo memory.c libtool: compile: gcc -c -O -Wall memory.c -fPIC -DPIC -o .libs/memory.o libtool: compile: gcc -c -O -Wall memory.c -o memory.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o hash.lo hash.c libtool: compile: gcc -c -O -Wall hash.c -fPIC -DPIC -o .libs/hash.o libtool: compile: gcc -c -O -Wall hash.c -o hash.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o string.lo string.c libtool: compile: gcc -c -O -Wall string.c -fPIC -DPIC -o .libs/string.o libtool: compile: gcc -c -O -Wall string.c -o string.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o strbuf.lo strbuf.c libtool: compile: gcc -c -O -Wall strbuf.c -fPIC -DPIC -o .libs/strbuf.o libtool: compile: gcc -c -O -Wall strbuf.c -o strbuf.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o glist.lo glist.c libtool: compile: gcc -c -O -Wall glist.c -fPIC -DPIC -o .libs/glist.o libtool: compile: gcc -c -O -Wall glist.c -o glist.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o options.lo options.c libtool: compile: gcc -c -O -Wall options.c -fPIC -DPIC -o .libs/options.o libtool: compile: gcc -c -O -Wall options.c -o options.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o symbols.lo symbols.c libtool: compile: gcc -c -O -Wall symbols.c -fPIC -DPIC -o .libs/symbols.o symbols.c: In function 'declare_base_symbols': symbols.c:1304:7: warning: variable 'sn' set but not used [-Wunused-but-set-variable] int sn; ^~ libtool: compile: gcc -c -O -Wall symbols.c -o symbols.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o avltree.lo avltree.c libtool: compile: gcc -c -O -Wall avltree.c -fPIC -DPIC -o .libs/avltree.o libtool: compile: gcc -c -O -Wall avltree.c -o avltree.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o term.lo term.c libtool: compile: gcc -c -O -Wall term.c -fPIC -DPIC -o .libs/term.o libtool: compile: gcc -c -O -Wall term.c -o term.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o termflag.lo termflag.c libtool: compile: gcc -c -O -Wall termflag.c -fPIC -DPIC -o .libs/termflag.o libtool: compile: gcc -c -O -Wall termflag.c -o termflag.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o listterm.lo listterm.c libtool: compile: gcc -c -O -Wall listterm.c -fPIC -DPIC -o .libs/listterm.o libtool: compile: gcc -c -O -Wall listterm.c -o listterm.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o tlist.lo tlist.c libtool: compile: gcc -c -O -Wall tlist.c -fPIC -DPIC -o .libs/tlist.o libtool: compile: gcc -c -O -Wall tlist.c -o tlist.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o flatterm.lo flatterm.c libtool: compile: gcc -c -O -Wall flatterm.c -fPIC -DPIC -o .libs/flatterm.o libtool: compile: gcc -c -O -Wall flatterm.c -o flatterm.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o multiset.lo multiset.c libtool: compile: gcc -c -O -Wall multiset.c -fPIC -DPIC -o .libs/multiset.o libtool: compile: gcc -c -O -Wall multiset.c -o multiset.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o termorder.lo termorder.c libtool: compile: gcc -c -O -Wall termorder.c -fPIC -DPIC -o .libs/termorder.o libtool: compile: gcc -c -O -Wall termorder.c -o termorder.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o parse.lo parse.c libtool: compile: gcc -c -O -Wall parse.c -fPIC -DPIC -o .libs/parse.o libtool: compile: gcc -c -O -Wall parse.c -o parse.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o accanon.lo accanon.c libtool: compile: gcc -c -O -Wall accanon.c -fPIC -DPIC -o .libs/accanon.o libtool: compile: gcc -c -O -Wall accanon.c -o accanon.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o unify.lo unify.c libtool: compile: gcc -c -O -Wall unify.c -fPIC -DPIC -o .libs/unify.o libtool: compile: gcc -c -O -Wall unify.c -o unify.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o fpalist.lo fpalist.c libtool: compile: gcc -c -O -Wall fpalist.c -fPIC -DPIC -o .libs/fpalist.o libtool: compile: gcc -c -O -Wall fpalist.c -o fpalist.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o fpa.lo fpa.c libtool: compile: gcc -c -O -Wall fpa.c -fPIC -DPIC -o .libs/fpa.o libtool: compile: gcc -c -O -Wall fpa.c -o fpa.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o discrim.lo discrim.c libtool: compile: gcc -c -O -Wall discrim.c -fPIC -DPIC -o .libs/discrim.o libtool: compile: gcc -c -O -Wall discrim.c -o discrim.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o discrimb.lo discrimb.c libtool: compile: gcc -c -O -Wall discrimb.c -fPIC -DPIC -o .libs/discrimb.o discrimb.c:487:7: warning: 'check_flat2' defined but not used [-Wunused-function] Flat2 check_flat2(Flat2 f) ^~~~~~~~~~~ libtool: compile: gcc -c -O -Wall discrimb.c -o discrimb.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o discrimw.lo discrimw.c libtool: compile: gcc -c -O -Wall discrimw.c -fPIC -DPIC -o .libs/discrimw.o discrimw.c:146:6: warning: 'check_flat' defined but not used [-Wunused-function] Flat check_flat(Flat f) ^~~~~~~~~~ libtool: compile: gcc -c -O -Wall discrimw.c -o discrimw.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o dioph.lo dioph.c libtool: compile: gcc -c -O -Wall dioph.c -fPIC -DPIC -o .libs/dioph.o libtool: compile: gcc -c -O -Wall dioph.c -o dioph.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o btu.lo btu.c libtool: compile: gcc -c -O -Wall btu.c -fPIC -DPIC -o .libs/btu.o libtool: compile: gcc -c -O -Wall btu.c -o btu.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o btm.lo btm.c libtool: compile: gcc -c -O -Wall btm.c -fPIC -DPIC -o .libs/btm.o libtool: compile: gcc -c -O -Wall btm.c -o btm.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o mindex.lo mindex.c libtool: compile: gcc -c -O -Wall mindex.c -fPIC -DPIC -o .libs/mindex.o mindex.c: In function 'mindex_retrieve_next': mindex.c:650:11: warning: variable 'tr' set but not used [-Wunused-but-set-variable] Trail tr; ^~ libtool: compile: gcc -c -O -Wall mindex.c -o mindex.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o basic.lo basic.c libtool: compile: gcc -c -O -Wall basic.c -fPIC -DPIC -o .libs/basic.o libtool: compile: gcc -c -O -Wall basic.c -o basic.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o attrib.lo attrib.c libtool: compile: gcc -c -O -Wall attrib.c -fPIC -DPIC -o .libs/attrib.o libtool: compile: gcc -c -O -Wall attrib.c -o attrib.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o formula.lo formula.c libtool: compile: gcc -c -O -Wall formula.c -fPIC -DPIC -o .libs/formula.o libtool: compile: gcc -c -O -Wall formula.c -o formula.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o definitions.lo definitions.c libtool: compile: gcc -c -O -Wall definitions.c -fPIC -DPIC -o .libs/definitions.o libtool: compile: gcc -c -O -Wall definitions.c -o definitions.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o literals.lo literals.c libtool: compile: gcc -c -O -Wall literals.c -fPIC -DPIC -o .libs/literals.o libtool: compile: gcc -c -O -Wall literals.c -o literals.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o topform.lo topform.c libtool: compile: gcc -c -O -Wall topform.c -fPIC -DPIC -o .libs/topform.o libtool: compile: gcc -c -O -Wall topform.c -o topform.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o clist.lo clist.c libtool: compile: gcc -c -O -Wall clist.c -fPIC -DPIC -o .libs/clist.o libtool: compile: gcc -c -O -Wall clist.c -o clist.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o clauseid.lo clauseid.c libtool: compile: gcc -c -O -Wall clauseid.c -fPIC -DPIC -o .libs/clauseid.o libtool: compile: gcc -c -O -Wall clauseid.c -o clauseid.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o clauses.lo clauses.c libtool: compile: gcc -c -O -Wall clauses.c -fPIC -DPIC -o .libs/clauses.o libtool: compile: gcc -c -O -Wall clauses.c -o clauses.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o just.lo just.c libtool: compile: gcc -c -O -Wall just.c -fPIC -DPIC -o .libs/just.o libtool: compile: gcc -c -O -Wall just.c -o just.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o cnf.lo cnf.c libtool: compile: gcc -c -O -Wall cnf.c -fPIC -DPIC -o .libs/cnf.o libtool: compile: gcc -c -O -Wall cnf.c -o cnf.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o clausify.lo clausify.c libtool: compile: gcc -c -O -Wall clausify.c -fPIC -DPIC -o .libs/clausify.o libtool: compile: gcc -c -O -Wall clausify.c -o clausify.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o parautil.lo parautil.c libtool: compile: gcc -c -O -Wall parautil.c -fPIC -DPIC -o .libs/parautil.o libtool: compile: gcc -c -O -Wall parautil.c -o parautil.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o pindex.lo pindex.c libtool: compile: gcc -c -O -Wall pindex.c -fPIC -DPIC -o .libs/pindex.o libtool: compile: gcc -c -O -Wall pindex.c -o pindex.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o compress.lo compress.c libtool: compile: gcc -c -O -Wall compress.c -fPIC -DPIC -o .libs/compress.o libtool: compile: gcc -c -O -Wall compress.c -o compress.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o maximal.lo maximal.c libtool: compile: gcc -c -O -Wall maximal.c -fPIC -DPIC -o .libs/maximal.o libtool: compile: gcc -c -O -Wall maximal.c -o maximal.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o lindex.lo lindex.c libtool: compile: gcc -c -O -Wall lindex.c -fPIC -DPIC -o .libs/lindex.o libtool: compile: gcc -c -O -Wall lindex.c -o lindex.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o weight.lo weight.c libtool: compile: gcc -c -O -Wall weight.c -fPIC -DPIC -o .libs/weight.o libtool: compile: gcc -c -O -Wall weight.c -o weight.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o weight2.lo weight2.c libtool: compile: gcc -c -O -Wall weight2.c -fPIC -DPIC -o .libs/weight2.o libtool: compile: gcc -c -O -Wall weight2.c -o weight2.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o int_code.lo int_code.c libtool: compile: gcc -c -O -Wall int_code.c -fPIC -DPIC -o .libs/int_code.o libtool: compile: gcc -c -O -Wall int_code.c -o int_code.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o features.lo features.c libtool: compile: gcc -c -O -Wall features.c -fPIC -DPIC -o .libs/features.o libtool: compile: gcc -c -O -Wall features.c -o features.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o di_tree.lo di_tree.c libtool: compile: gcc -c -O -Wall di_tree.c -fPIC -DPIC -o .libs/di_tree.o libtool: compile: gcc -c -O -Wall di_tree.c -o di_tree.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o fastparse.lo fastparse.c libtool: compile: gcc -c -O -Wall fastparse.c -fPIC -DPIC -o .libs/fastparse.o libtool: compile: gcc -c -O -Wall fastparse.c -o fastparse.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o random.lo random.c libtool: compile: gcc -c -O -Wall random.c -fPIC -DPIC -o .libs/random.o libtool: compile: gcc -c -O -Wall random.c -o random.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o subsume.lo subsume.c libtool: compile: gcc -c -O -Wall subsume.c -fPIC -DPIC -o .libs/subsume.o libtool: compile: gcc -c -O -Wall subsume.c -o subsume.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o clause_misc.lo clause_misc.c libtool: compile: gcc -c -O -Wall clause_misc.c -fPIC -DPIC -o .libs/clause_misc.o libtool: compile: gcc -c -O -Wall clause_misc.c -o clause_misc.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o clause_eval.lo clause_eval.c libtool: compile: gcc -c -O -Wall clause_eval.c -fPIC -DPIC -o .libs/clause_eval.o libtool: compile: gcc -c -O -Wall clause_eval.c -o clause_eval.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o complex.lo complex.c libtool: compile: gcc -c -O -Wall complex.c -fPIC -DPIC -o .libs/complex.o complex.c: In function 'complex4_p1': complex.c:275:8: warning: variable 'dummy' set but not used [-Wunused-but-set-variable] BOOL dummy; ^~~~~ libtool: compile: gcc -c -O -Wall complex.c -o complex.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o dollar.lo dollar.c libtool: compile: gcc -c -O -Wall dollar.c -fPIC -DPIC -o .libs/dollar.o libtool: compile: gcc -c -O -Wall dollar.c -o dollar.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o flatdemod.lo flatdemod.c libtool: compile: gcc -c -O -Wall flatdemod.c -fPIC -DPIC -o .libs/flatdemod.o flatdemod.c: In function 'discrim_flat_retrieve_leaf': flatdemod.c:122:16: warning: comparison between 'BOOL' {aka 'enum '} and 'enum ' [-Wenum-compare] if (status == BACKTRACK) { ^~ flatdemod.c:158:15: warning: variable 'dd' set but not used [-Wunused-but-set-variable] Discrim dd = NULL; ^~ flatdemod.c:167:16: warning: comparison between 'BOOL' {aka 'enum '} and 'enum ' [-Wenum-compare] if (status == GO) { ^~ libtool: compile: gcc -c -O -Wall flatdemod.c -o flatdemod.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o demod.lo demod.c libtool: compile: gcc -c -O -Wall demod.c -fPIC -DPIC -o .libs/demod.o demod.c: In function 'demod1': demod.c:376:8: warning: variable 'result' set but not used [-Wunused-but-set-variable] Term result; ^~~~~~ libtool: compile: gcc -c -O -Wall demod.c -o demod.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o clash.lo clash.c libtool: compile: gcc -c -O -Wall clash.c -fPIC -DPIC -o .libs/clash.o clash.c: In function 'clash_recurse': clash.c:283:12: warning: suggest parentheses around operand of '!' or change '|' to '||' or '!' to '~' [-Wparentheses] else if (!p->clashable | p->clashed) ^~~~~~~~~~~~~ libtool: compile: gcc -c -O -Wall clash.c -o clash.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o resolve.lo resolve.c libtool: compile: gcc -c -O -Wall resolve.c -fPIC -DPIC -o .libs/resolve.o libtool: compile: gcc -c -O -Wall resolve.c -o resolve.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o paramod.lo paramod.c libtool: compile: gcc -c -O -Wall paramod.c -fPIC -DPIC -o .libs/paramod.o paramod.c: In function 'para_into': paramod.c:347:8: warning: suggest parentheses around operand of '!' or change '|' to '||' or '!' to '~' [-Wparentheses] if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { libtool: compile: gcc -c -O -Wall paramod.c -o paramod.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o backdemod.lo backdemod.c libtool: compile: gcc -c -O -Wall backdemod.c -fPIC -DPIC -o .libs/backdemod.o libtool: compile: gcc -c -O -Wall backdemod.c -o backdemod.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o hints.lo hints.c libtool: compile: gcc -c -O -Wall hints.c -fPIC -DPIC -o .libs/hints.o libtool: compile: gcc -c -O -Wall hints.c -o hints.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o ac_redun.lo ac_redun.c libtool: compile: gcc -c -O -Wall ac_redun.c -fPIC -DPIC -o .libs/ac_redun.o libtool: compile: gcc -c -O -Wall ac_redun.c -o ac_redun.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o xproofs.lo xproofs.c libtool: compile: gcc -c -O -Wall xproofs.c -fPIC -DPIC -o .libs/xproofs.o libtool: compile: gcc -c -O -Wall xproofs.c -o xproofs.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o ivy.lo ivy.c libtool: compile: gcc -c -O -Wall ivy.c -fPIC -DPIC -o .libs/ivy.o ivy.c: In function 'factor2_instances': ivy.c:633:14: warning: variable 'l1i' set but not used [-Wunused-but-set-variable] Literals l1i, l2i, lit; ^~~ libtool: compile: gcc -c -O -Wall ivy.c -o ivy.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o interp.lo interp.c libtool: compile: gcc -c -O -Wall interp.c -fPIC -DPIC -o .libs/interp.o interp.c: In function 'transpose_binary': interp.c:358:10: warning: variable 'rc' set but not used [-Wunused-but-set-variable] int i, rc; ^~ libtool: compile: gcc -c -O -Wall interp.c -o interp.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o std_options.lo std_options.c libtool: compile: gcc -c -O -Wall std_options.c -fPIC -DPIC -o .libs/std_options.o libtool: compile: gcc -c -O -Wall std_options.c -o std_options.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o banner.lo banner.c libtool: compile: gcc -c -O -Wall banner.c -fPIC -DPIC -o .libs/banner.o libtool: compile: gcc -c -O -Wall banner.c -o banner.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o ioutil.lo ioutil.c libtool: compile: gcc -c -O -Wall ioutil.c -fPIC -DPIC -o .libs/ioutil.o libtool: compile: gcc -c -O -Wall ioutil.c -o ioutil.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o tptp_trans.lo tptp_trans.c libtool: compile: gcc -c -O -Wall tptp_trans.c -fPIC -DPIC -o .libs/tptp_trans.o libtool: compile: gcc -c -O -Wall tptp_trans.c -o tptp_trans.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O -Wall -o top_input.lo top_input.c libtool: compile: gcc -c -O -Wall top_input.c -fPIC -DPIC -o .libs/top_input.o libtool: compile: gcc -c -O -Wall top_input.c -o top_input.o >/dev/null 2>&1 libtool --mode=link gcc -rpath /usr/lib -version-info 4:0:0 -o libladr.la order.lo clock.lo nonport.lo fatal.lo ibuffer.lo memory.lo hash.lo string.lo strbuf.lo glist.lo options.lo symbols.lo avltree.lo term.lo termflag.lo listterm.lo tlist.lo flatterm.lo multiset.lo termorder.lo parse.lo accanon.lo unify.lo fpalist.lo fpa.lo discrim.lo discrimb.lo discrimw.lo dioph.lo btu.lo btm.lo mindex.lo basic.lo attrib.lo formula.lo definitions.lo literals.lo topform.lo clist.lo clauseid.lo clauses.lo just.lo cnf.lo clausify.lo parautil.lo pindex.lo compress.lo maximal.lo lindex.lo weight.lo weight2.lo int_code.lo features.lo di_tree.lo fastparse.lo random.lo subsume.lo clause_misc.lo clause_eval.lo complex.lo dollar.lo flatdemod.lo demod.lo clash.lo resolve.lo paramod.lo backdemod.lo hints.lo ac_redun.lo xproofs.lo ivy.lo interp.lo std_options.lo banner.lo ioutil.lo tptp_trans.lo top_input.lo -lm libtool: link: gcc -shared -fPIC -DPIC .libs/order.o .libs/clock.o .libs/nonport.o .libs/fatal.o .libs/ibuffer.o .libs/memory.o .libs/hash.o .libs/string.o .libs/strbuf.o .libs/glist.o .libs/options.o .libs/symbols.o .libs/avltree.o .libs/term.o .libs/termflag.o .libs/listterm.o .libs/tlist.o .libs/flatterm.o .libs/multiset.o .libs/termorder.o .libs/parse.o .libs/accanon.o .libs/unify.o .libs/fpalist.o .libs/fpa.o .libs/discrim.o .libs/discrimb.o .libs/discrimw.o .libs/dioph.o .libs/btu.o .libs/btm.o .libs/mindex.o .libs/basic.o .libs/attrib.o .libs/formula.o .libs/definitions.o .libs/literals.o .libs/topform.o .libs/clist.o .libs/clauseid.o .libs/clauses.o .libs/just.o .libs/cnf.o .libs/clausify.o .libs/parautil.o .libs/pindex.o .libs/compress.o .libs/maximal.o .libs/lindex.o .libs/weight.o .libs/weight2.o .libs/int_code.o .libs/features.o .libs/di_tree.o .libs/fastparse.o .libs/random.o .libs/subsume.o .libs/clause_misc.o .libs/clause_eval.o .libs/complex.o .libs/dollar.o .libs/flatdemod.o .libs/demod.o .libs/clash.o .libs/resolve.o .libs/paramod.o .libs/backdemod.o .libs/hints.o .libs/ac_redun.o .libs/xproofs.o .libs/ivy.o .libs/interp.o .libs/std_options.o .libs/banner.o .libs/ioutil.o .libs/tptp_trans.o .libs/top_input.o -lm -Wl,-soname -Wl,libladr.so.4 -o .libs/libladr.so.4.0.0 libtool: link: (cd ".libs" && rm -f "libladr.so.4" && ln -s "libladr.so.4.0.0" "libladr.so.4") libtool: link: (cd ".libs" && rm -f "libladr.so" && ln -s "libladr.so.4.0.0" "libladr.so") libtool: link: ar cru .libs/libladr.a order.o clock.o nonport.o fatal.o ibuffer.o memory.o hash.o string.o strbuf.o glist.o options.o symbols.o avltree.o term.o termflag.o listterm.o tlist.o flatterm.o multiset.o termorder.o parse.o accanon.o unify.o fpalist.o fpa.o discrim.o discrimb.o discrimw.o dioph.o btu.o btm.o mindex.o basic.o attrib.o formula.o definitions.o literals.o topform.o clist.o clauseid.o clauses.o just.o cnf.o clausify.o parautil.o pindex.o compress.o maximal.o lindex.o weight.o weight2.o int_code.o features.o di_tree.o fastparse.o random.o subsume.o clause_misc.o clause_eval.o complex.o dollar.o flatdemod.o demod.o clash.o resolve.o paramod.o backdemod.o hints.o ac_redun.o xproofs.o ivy.o interp.o std_options.o banner.o ioutil.o tptp_trans.o top_input.o ar: `u' modifier ignored since `D' is the default (see `U') libtool: link: ranlib .libs/libladr.a libtool: link: ( cd ".libs" && rm -f "libladr.la" && ln -s "../libladr.la" "libladr.la" ) make[4]: Leaving directory '/build/ladr-0.0.200911a/ladr' make[3]: Leaving directory '/build/ladr-0.0.200911a/ladr' cd mace4.src && make all make[3]: Entering directory '/build/ladr-0.0.200911a/mace4.src' cd ../ladr && make libladr.la make[4]: Entering directory '/build/ladr-0.0.200911a/ladr' make[4]: 'libladr.la' is up to date. make[4]: Leaving directory '/build/ladr-0.0.200911a/ladr' make clean make[4]: Entering directory '/build/ladr-0.0.200911a/mace4.src' libtool --mode=clean /bin/rm -f *.o make[4]: Leaving directory '/build/ladr-0.0.200911a/mace4.src' make libmace4.a make[4]: Entering directory '/build/ladr-0.0.200911a/mace4.src' gcc -O -Wall -c -o estack.o estack.c gcc -O -Wall -c -o util.o util.c gcc -O -Wall -c -o print.o print.c gcc -O -Wall -c -o syms.o syms.c gcc -O -Wall -c -o ground.o ground.c gcc -O -Wall -c -o arithmetic.o arithmetic.c gcc -O -Wall -c -o select.o select.c select.c: In function 'select_concentric_band': select.c:236:5: warning: type of 'min_id' defaults to 'int' [-Wimplicit-int] int select_concentric_band(min_id, max_id, max_constrained) ^~~~~~~~~~~~~~~~~~~~~~ select.c:236:5: warning: type of 'max_id' defaults to 'int' [-Wimplicit-int] select.c:236:5: warning: type of 'max_constrained' defaults to 'int' [-Wimplicit-int] gcc -O -Wall -c -o propagate.o propagate.c gcc -O -Wall -c -o mstate.o mstate.c gcc -O -Wall -c -o negpropindex.o negpropindex.c gcc -O -Wall -c -o negprop.o negprop.c gcc -O -Wall -c -o ordercells.o ordercells.c gcc -O -Wall -c -o commandline.o commandline.c gcc -O -Wall -c -o msearch.o msearch.c msearch.c: In function 'next_domain_size': msearch.c:850:5: warning: type of 'n' defaults to 'int' [-Wimplicit-int] int next_domain_size(n) ^~~~~~~~~~~~~~~~ ar rs libmace4.a estack.o util.o print.o syms.o ground.o arithmetic.o select.o propagate.o mstate.o negpropindex.o negprop.o ordercells.o commandline.o msearch.o ar: creating libmace4.a make[4]: Leaving directory '/build/ladr-0.0.200911a/mace4.src' gcc -O -Wall -c -o mace4.o mace4.c mace4.c: In function 'init_attrs': mace4.c:36:7: warning: variable 'id' set but not used [-Wunused-but-set-variable] int id; ^~ libtool --mode=link gcc -O -Wall -o mace4 mace4.o libmace4.a ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/mace4 mace4.o libmace4.a ../ladr/.libs/libladr.so libtool --mode=install /bin/cp mace4 `pwd`/../bin libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/mace4 /build/ladr-0.0.200911a/mace4.src/../bin/mace4 make[3]: Leaving directory '/build/ladr-0.0.200911a/mace4.src' cd provers.src && make all make[3]: Entering directory '/build/ladr-0.0.200911a/provers.src' cd ../ladr && make libladr make[4]: Entering directory '/build/ladr-0.0.200911a/ladr' make libladr.la make[5]: Entering directory '/build/ladr-0.0.200911a/ladr' make[5]: 'libladr.la' is up to date. make[5]: Leaving directory '/build/ladr-0.0.200911a/ladr' make[4]: Leaving directory '/build/ladr-0.0.200911a/ladr' make clean make[4]: Entering directory '/build/ladr-0.0.200911a/provers.src' libtool --mode=clean /bin/rm -f *.o make[4]: Leaving directory '/build/ladr-0.0.200911a/provers.src' cd ../mace4.src && make libmace4 make[4]: Entering directory '/build/ladr-0.0.200911a/mace4.src' make libmace4.a make[5]: Entering directory '/build/ladr-0.0.200911a/mace4.src' make[5]: 'libmace4.a' is up to date. make[5]: Leaving directory '/build/ladr-0.0.200911a/mace4.src' make[4]: Leaving directory '/build/ladr-0.0.200911a/mace4.src' make clean make[4]: Entering directory '/build/ladr-0.0.200911a/provers.src' libtool --mode=clean /bin/rm -f *.o make[4]: Leaving directory '/build/ladr-0.0.200911a/provers.src' gcc -O -Wall -c -o prover9.o prover9.c gcc -O -Wall -c -o index_lits.o index_lits.c gcc -O -Wall -c -o forward_subsume.o forward_subsume.c gcc -O -Wall -c -o demodulate.o demodulate.c gcc -O -Wall -c -o pred_elim.o pred_elim.c gcc -O -Wall -c -o unfold.o unfold.c gcc -O -Wall -c -o semantics.o semantics.c gcc -O -Wall -c -o giv_select.o giv_select.c gcc -O -Wall -c -o white_black.o white_black.c gcc -O -Wall -c -o actions.o actions.c gcc -O -Wall -c -o search.o search.c gcc -O -Wall -c -o utilities.o utilities.c gcc -O -Wall -c -o provers.o provers.c gcc -O -Wall -c -o foffer.o foffer.c libtool --mode=link gcc -O -Wall -lm -o prover9 prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/prover9 prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o -lm ../ladr/.libs/libladr.so gcc -O -Wall -c -o fof-prover9.o fof-prover9.c libtool --mode=link gcc -O -Wall -lm -o fof-prover9 fof-prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/fof-prover9 fof-prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o -lm ../ladr/.libs/libladr.so gcc -O -Wall -c -o autosketches4.o autosketches4.c libtool --mode=link gcc -O -Wall -lm -o autosketches4 autosketches4.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/autosketches4 autosketches4.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o -lm ../ladr/.libs/libladr.so gcc -O -Wall -c -o newauto.o newauto.c libtool --mode=link gcc -O -Wall -lm -o newauto newauto.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/newauto newauto.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o -lm ../ladr/.libs/libladr.so gcc -O -Wall -c -o newsax.o newsax.c libtool --mode=link gcc -O -Wall -lm -o newsax newsax.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/newsax newsax.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o -lm ../ladr/.libs/libladr.so gcc -O -Wall -c -o ladr_to_tptp.o ladr_to_tptp.c libtool --mode=link gcc -O -Wall -lm -o ladr_to_tptp ladr_to_tptp.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/ladr_to_tptp ladr_to_tptp.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o -lm ../ladr/.libs/libladr.so gcc -O -Wall -c -o tptp_to_ladr.o tptp_to_ladr.c tptp_to_ladr.c: In function 'main': tptp_to_ladr.c:84:7: warning: variable 'i' set but not used [-Wunused-but-set-variable] int i; ^ libtool --mode=link gcc -O -Wall -lm -o tptp_to_ladr tptp_to_ladr.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/tptp_to_ladr tptp_to_ladr.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o -lm ../ladr/.libs/libladr.so libtool --mode=install /bin/cp -p prover9 fof-prover9 autosketches4 newauto newsax ladr_to_tptp tptp_to_ladr `pwd`/../bin libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp -p .libs/prover9 /build/ladr-0.0.200911a/provers.src/../bin/prover9 libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp -p .libs/fof-prover9 /build/ladr-0.0.200911a/provers.src/../bin/fof-prover9 libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp -p .libs/autosketches4 /build/ladr-0.0.200911a/provers.src/../bin/autosketches4 libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp -p .libs/newauto /build/ladr-0.0.200911a/provers.src/../bin/newauto libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp -p .libs/newsax /build/ladr-0.0.200911a/provers.src/../bin/newsax libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp -p .libs/ladr_to_tptp /build/ladr-0.0.200911a/provers.src/../bin/ladr_to_tptp libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp -p .libs/tptp_to_ladr /build/ladr-0.0.200911a/provers.src/../bin/tptp_to_ladr libtool --mode=clean /bin/rm -f *.o libtool: clean: /bin/rm -f actions.o libtool: clean: /bin/rm -f autosketches4.o libtool: clean: /bin/rm -f demodulate.o libtool: clean: /bin/rm -f fof-prover9.o libtool: clean: /bin/rm -f foffer.o libtool: clean: /bin/rm -f forward_subsume.o libtool: clean: /bin/rm -f giv_select.o libtool: clean: /bin/rm -f index_lits.o libtool: clean: /bin/rm -f ladr_to_tptp.o libtool: clean: /bin/rm -f newauto.o libtool: clean: /bin/rm -f newsax.o libtool: clean: /bin/rm -f pred_elim.o libtool: clean: /bin/rm -f prover9.o libtool: clean: /bin/rm -f provers.o libtool: clean: /bin/rm -f search.o libtool: clean: /bin/rm -f semantics.o libtool: clean: /bin/rm -f tptp_to_ladr.o libtool: clean: /bin/rm -f unfold.o libtool: clean: /bin/rm -f utilities.o libtool: clean: /bin/rm -f white_black.o libtool: clean: rmdir .libs >/dev/null 2>&1 make[3]: Leaving directory '/build/ladr-0.0.200911a/provers.src' cd apps.src && make all make[3]: Entering directory '/build/ladr-0.0.200911a/apps.src' cd ../ladr && make libladr.la make[4]: Entering directory '/build/ladr-0.0.200911a/ladr' make[4]: 'libladr.la' is up to date. make[4]: Leaving directory '/build/ladr-0.0.200911a/ladr' gcc -O -Wall -c -o latfilter.o latfilter.c libtool --mode=link gcc -O -Wall -o latfilter latfilter.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/latfilter latfilter.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o olfilter.o olfilter.c libtool --mode=link gcc -O -Wall -o olfilter olfilter.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/olfilter olfilter.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o clausefilter.o clausefilter.c clausefilter.c: In function 'main': clausefilter.c:109:7: warning: variable 'i' set but not used [-Wunused-but-set-variable] int i; ^ libtool --mode=link gcc -O -Wall -o clausefilter clausefilter.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/clausefilter clausefilter.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o idfilter.o idfilter.c libtool --mode=link gcc -O -Wall -o idfilter idfilter.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/idfilter idfilter.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o renamer.o renamer.c renamer.c: In function 'main': renamer.c:54:9: warning: variable 'i' set but not used [-Wunused-but-set-variable] int i; ^ libtool --mode=link gcc -O -Wall -o renamer renamer.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/renamer renamer.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o unfast.o unfast.c libtool --mode=link gcc -O -Wall -o unfast unfast.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/unfast unfast.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o clausetester.o clausetester.c libtool --mode=link gcc -O -Wall -o clausetester clausetester.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/clausetester clausetester.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o rewriter.o rewriter.c libtool --mode=link gcc -O -Wall -o rewriter rewriter.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/rewriter rewriter.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o isofilter0.o isofilter0.c libtool --mode=link gcc -O -Wall -o isofilter0 isofilter0.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/isofilter0 isofilter0.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o isofilter.o isofilter.c libtool --mode=link gcc -O -Wall -o isofilter isofilter.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/isofilter isofilter.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o isofilter2.o isofilter2.c libtool --mode=link gcc -O -Wall -o isofilter2 isofilter2.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/isofilter2 isofilter2.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o dprofiles.o dprofiles.c libtool --mode=link gcc -O -Wall -o dprofiles dprofiles.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/dprofiles dprofiles.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o interpfilter.o interpfilter.c interpfilter.c: In function 'main': interpfilter.c:66:7: warning: variable 'i' set but not used [-Wunused-but-set-variable] int i; ^ libtool --mode=link gcc -O -Wall -o interpfilter interpfilter.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/interpfilter interpfilter.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o upper-covers.o upper-covers.c libtool --mode=link gcc -O -Wall -o upper-covers upper-covers.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/upper-covers upper-covers.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o miniscope.o miniscope.c libtool --mode=link gcc -O -Wall -o miniscope miniscope.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/miniscope miniscope.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o interpformat.o interpformat.c libtool --mode=link gcc -O -Wall -o interpformat interpformat.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/interpformat interpformat.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o prooftrans.o prooftrans.c prooftrans.c: In function 'main': prooftrans.c:225:32: warning: variable 'props_attr' set but not used [-Wunused-but-set-variable] int label_attr, answer_attr, props_attr; ^~~~~~~~~~ prooftrans.c:222:7: warning: variable 'rc' set but not used [-Wunused-but-set-variable] int rc, n, number_of_proofs; ^~ libtool --mode=link gcc -O -Wall -o prooftrans prooftrans.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/prooftrans prooftrans.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o mirror-flip.o mirror-flip.c mirror-flip.c: In function 'main': mirror-flip.c:129:7: warning: variable 'i' set but not used [-Wunused-but-set-variable] int i; ^ libtool --mode=link gcc -O -Wall -o mirror-flip mirror-flip.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/mirror-flip mirror-flip.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o perm3.o perm3.c perm3.c: In function 'main': perm3.c:120:7: warning: variable 'i' set but not used [-Wunused-but-set-variable] int i; ^ libtool --mode=link gcc -O -Wall -o perm3 perm3.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/perm3 perm3.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o sigtest.o sigtest.c sigtest.c: In function 'main': sigtest.c:33:7: warning: variable 'i' set but not used [-Wunused-but-set-variable] int i; ^ libtool --mode=link gcc -O -Wall -o sigtest sigtest.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/sigtest sigtest.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o directproof.o directproof.c directproof.c: In function 'main': directproof.c:645:32: warning: variable 'props_attr' set but not used [-Wunused-but-set-variable] int label_attr, answer_attr, props_attr; ^~~~~~~~~~ directproof.c:645:7: warning: variable 'label_attr' set but not used [-Wunused-but-set-variable] int label_attr, answer_attr, props_attr; ^~~~~~~~~~ directproof.c:642:7: warning: variable 'rc' set but not used [-Wunused-but-set-variable] int rc, n, number_of_proofs; ^~ libtool --mode=link gcc -O -Wall -o directproof directproof.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/directproof directproof.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o test_clause_eval.o test_clause_eval.c test_clause_eval.c: In function 'main': test_clause_eval.c:31:7: warning: variable 'i' set but not used [-Wunused-but-set-variable] int i; ^ libtool --mode=link gcc -O -Wall -o test_clause_eval test_clause_eval.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/test_clause_eval test_clause_eval.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o test_complex.o test_complex.c libtool --mode=link gcc -O -Wall -o test_complex test_complex.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/test_complex test_complex.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o complex.o complex.c complex.c: In function 'complex4_p1': complex.c:79:8: warning: variable 'dummy' set but not used [-Wunused-but-set-variable] BOOL dummy; ^~~~~ complex.c: In function 'main': complex.c:126:12: warning: variable 'd' set but not used [-Wunused-but-set-variable] double d; ^ libtool --mode=link gcc -O -Wall -o complex complex.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/complex complex.o ../ladr/.libs/libladr.so gcc -O -Wall -c -o gen_trc_defs.o gen_trc_defs.c libtool --mode=link gcc -O -Wall -o gen_trc_defs gen_trc_defs.o ../ladr/libladr.la libtool: link: gcc -O -Wall -o .libs/gen_trc_defs gen_trc_defs.o ../ladr/.libs/libladr.so libtool --mode=install /bin/cp latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest directproof test_clause_eval test_complex complex gen_trc_defs `pwd`/../bin libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/latfilter /build/ladr-0.0.200911a/apps.src/../bin/latfilter libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/olfilter /build/ladr-0.0.200911a/apps.src/../bin/olfilter libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/clausefilter /build/ladr-0.0.200911a/apps.src/../bin/clausefilter libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/idfilter /build/ladr-0.0.200911a/apps.src/../bin/idfilter libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/renamer /build/ladr-0.0.200911a/apps.src/../bin/renamer libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/unfast /build/ladr-0.0.200911a/apps.src/../bin/unfast libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/clausetester /build/ladr-0.0.200911a/apps.src/../bin/clausetester libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/rewriter /build/ladr-0.0.200911a/apps.src/../bin/rewriter libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/isofilter0 /build/ladr-0.0.200911a/apps.src/../bin/isofilter0 libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/isofilter /build/ladr-0.0.200911a/apps.src/../bin/isofilter libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/isofilter2 /build/ladr-0.0.200911a/apps.src/../bin/isofilter2 libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/dprofiles /build/ladr-0.0.200911a/apps.src/../bin/dprofiles libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/interpfilter /build/ladr-0.0.200911a/apps.src/../bin/interpfilter libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/upper-covers /build/ladr-0.0.200911a/apps.src/../bin/upper-covers libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/miniscope /build/ladr-0.0.200911a/apps.src/../bin/miniscope libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/interpformat /build/ladr-0.0.200911a/apps.src/../bin/interpformat libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/prooftrans /build/ladr-0.0.200911a/apps.src/../bin/prooftrans libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/mirror-flip /build/ladr-0.0.200911a/apps.src/../bin/mirror-flip libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/perm3 /build/ladr-0.0.200911a/apps.src/../bin/perm3 libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/sigtest /build/ladr-0.0.200911a/apps.src/../bin/sigtest libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/directproof /build/ladr-0.0.200911a/apps.src/../bin/directproof libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/test_clause_eval /build/ladr-0.0.200911a/apps.src/../bin/test_clause_eval libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/test_complex /build/ladr-0.0.200911a/apps.src/../bin/test_complex libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/complex /build/ladr-0.0.200911a/apps.src/../bin/complex libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/gen_trc_defs /build/ladr-0.0.200911a/apps.src/../bin/gen_trc_defs libtool --mode=clean /bin/rm -f *.o latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest directproof test_clause_eval test_complex complex gen_trc_defs libtool: clean: /bin/rm -f clausefilter.o libtool: clean: /bin/rm -f clausetester.o libtool: clean: /bin/rm -f complex.o libtool: clean: /bin/rm -f directproof.o libtool: clean: /bin/rm -f dprofiles.o libtool: clean: /bin/rm -f gen_trc_defs.o libtool: clean: /bin/rm -f idfilter.o libtool: clean: /bin/rm -f interpfilter.o libtool: clean: /bin/rm -f interpformat.o libtool: clean: /bin/rm -f isofilter.o libtool: clean: /bin/rm -f isofilter0.o libtool: clean: /bin/rm -f isofilter2.o libtool: clean: /bin/rm -f latfilter.o libtool: clean: /bin/rm -f miniscope.o libtool: clean: /bin/rm -f mirror-flip.o libtool: clean: /bin/rm -f olfilter.o libtool: clean: /bin/rm -f perm3.o libtool: clean: /bin/rm -f prooftrans.o libtool: clean: /bin/rm -f renamer.o libtool: clean: /bin/rm -f rewriter.o libtool: clean: /bin/rm -f sigtest.o libtool: clean: /bin/rm -f test_clause_eval.o libtool: clean: /bin/rm -f test_complex.o libtool: clean: /bin/rm -f unfast.o libtool: clean: /bin/rm -f upper-covers.o libtool: clean: /bin/rm -f latfilter .libs/latfilter .libs/latfilterS.o libtool: clean: /bin/rm -f olfilter .libs/olfilter .libs/olfilterS.o libtool: clean: /bin/rm -f clausefilter .libs/clausefilter .libs/clausefilterS.o libtool: clean: /bin/rm -f idfilter .libs/idfilter .libs/idfilterS.o libtool: clean: /bin/rm -f renamer .libs/renamer .libs/renamerS.o libtool: clean: /bin/rm -f unfast .libs/unfast .libs/unfastS.o libtool: clean: /bin/rm -f clausetester .libs/clausetester .libs/clausetesterS.o libtool: clean: /bin/rm -f rewriter .libs/rewriter .libs/rewriterS.o libtool: clean: /bin/rm -f isofilter0 .libs/isofilter0 .libs/isofilter0S.o libtool: clean: /bin/rm -f isofilter .libs/isofilter .libs/isofilterS.o libtool: clean: /bin/rm -f isofilter2 .libs/isofilter2 .libs/isofilter2S.o libtool: clean: /bin/rm -f dprofiles .libs/dprofiles .libs/dprofilesS.o libtool: clean: /bin/rm -f interpfilter .libs/interpfilter .libs/interpfilterS.o libtool: clean: /bin/rm -f upper-covers .libs/upper-covers .libs/upper-coversS.o libtool: clean: /bin/rm -f miniscope .libs/miniscope .libs/miniscopeS.o libtool: clean: /bin/rm -f interpformat .libs/interpformat .libs/interpformatS.o libtool: clean: /bin/rm -f prooftrans .libs/prooftrans .libs/prooftransS.o libtool: clean: /bin/rm -f mirror-flip .libs/mirror-flip .libs/mirror-flipS.o libtool: clean: /bin/rm -f perm3 .libs/perm3 .libs/perm3S.o libtool: clean: /bin/rm -f sigtest .libs/sigtest .libs/sigtestS.o libtool: clean: /bin/rm -f directproof .libs/directproof .libs/directproofS.o libtool: clean: /bin/rm -f test_clause_eval .libs/test_clause_eval .libs/test_clause_evalS.o libtool: clean: /bin/rm -f test_complex .libs/test_complex .libs/test_complexS.o libtool: clean: /bin/rm -f complex .libs/complex .libs/complexS.o libtool: clean: /bin/rm -f gen_trc_defs .libs/gen_trc_defs .libs/gen_trc_defsS.o libtool: clean: rmdir .libs >/dev/null 2>&1 make[3]: Leaving directory '/build/ladr-0.0.200911a/apps.src' /bin/cp -p utilities/* bin **** Now try 'make test1'. **** make[2]: Leaving directory '/build/ladr-0.0.200911a' mkdir -p "/build/ladr-0.0.200911a/usr/lib/`dpkg-architecture -qDEB_BUILD_MULTIARCH`" && libtool --mode=install install -m0644 ladr/libladr.la "/build/ladr-0.0.200911a/usr/lib/`dpkg-architecture -qDEB_BUILD_MULTIARCH`" libtool: install: install -m0644 ladr/.libs/libladr.so.4.0.0 /build/ladr-0.0.200911a/usr/lib/arm-linux-gnueabihf/libladr.so.4.0.0 libtool: install: (cd /build/ladr-0.0.200911a/usr/lib/arm-linux-gnueabihf && { ln -s -f libladr.so.4.0.0 libladr.so.4 || { rm -f libladr.so.4 && ln -s libladr.so.4.0.0 libladr.so.4; }; }) libtool: install: (cd /build/ladr-0.0.200911a/usr/lib/arm-linux-gnueabihf && { ln -s -f libladr.so.4.0.0 libladr.so || { rm -f libladr.so && ln -s libladr.so.4.0.0 libladr.so; }; }) libtool: install: install -m0644 ladr/.libs/libladr.lai /build/ladr-0.0.200911a/usr/lib/arm-linux-gnueabihf/libladr.la libtool: install: install -m0644 ladr/.libs/libladr.a /build/ladr-0.0.200911a/usr/lib/arm-linux-gnueabihf/libladr.a libtool: install: chmod 644 /build/ladr-0.0.200911a/usr/lib/arm-linux-gnueabihf/libladr.a libtool: install: ranlib /build/ladr-0.0.200911a/usr/lib/arm-linux-gnueabihf/libladr.a libtool: warning: remember to run 'libtool --finish /usr/lib' make[1]: Leaving directory '/build/ladr-0.0.200911a' dh_auto_test dh_auto_test: Compatibility levels before 9 are deprecated (level 7 in use) fakeroot debian/rules binary dh binary dh: Compatibility levels before 9 are deprecated (level 7 in use) dh_testroot dh_prep dh_installdirs dh_installdirs: Compatibility levels before 9 are deprecated (level 7 in use) dh_auto_install dh_auto_install: Compatibility levels before 9 are deprecated (level 7 in use) dh_install dh_install: Compatibility levels before 9 are deprecated (level 7 in use) dh_installdocs dh_installdocs: Compatibility levels before 9 are deprecated (level 7 in use) dh_installchangelogs dh_installchangelogs: Compatibility levels before 9 are deprecated (level 7 in use) dh_installexamples dh_installexamples: Compatibility levels before 9 are deprecated (level 7 in use) dh_installman dh_installman: Compatibility levels before 9 are deprecated (level 7 in use) dh_perl dh_link dh_link: Compatibility levels before 9 are deprecated (level 7 in use) dh_strip_nondeterminism dh_compress dh_compress: Compatibility levels before 9 are deprecated (level 7 in use) dh_compress: Compatibility levels before 9 are deprecated (level 7 in use) dh_fixperms dh_missing dh_missing: Compatibility levels before 9 are deprecated (level 7 in use) dh_strip dh_strip: Compatibility levels before 9 are deprecated (level 7 in use) dh_strip: Compatibility levels before 9 are deprecated (level 7 in use) dh_makeshlibs dh_makeshlibs: Compatibility levels before 9 are deprecated (level 7 in use) dh_shlibdeps dh_shlibdeps: Compatibility levels before 9 are deprecated (level 7 in use) dh_shlibdeps: Compatibility levels before 9 are deprecated (level 7 in use) dh_installdeb dh_installdeb: Compatibility levels before 9 are deprecated (level 7 in use) dh_gencontrol dh_md5sums dh_builddeb dpkg-deb: building package 'prover9' in '../prover9_0.0.200911a-2.1_armhf.deb'. dpkg-deb: building package 'libladr-dev' in '../libladr-dev_0.0.200911a-2.1_armhf.deb'. dpkg-deb: building package 'ladr4-apps-dbgsym' in '../ladr4-apps-dbgsym_0.0.200911a-2.1_armhf.deb'. dpkg-deb: building package 'prover9-dbgsym' in '../prover9-dbgsym_0.0.200911a-2.1_armhf.deb'. dpkg-deb: building package 'ladr4-apps' in '../ladr4-apps_0.0.200911a-2.1_armhf.deb'. dpkg-deb: building package 'libladr4' in '../libladr4_0.0.200911a-2.1_armhf.deb'. dpkg-deb: building package 'libladr4-dbgsym' in '../libladr4-dbgsym_0.0.200911a-2.1_armhf.deb'. dpkg-genbuildinfo --build=binary dpkg-genchanges --build=binary >../ladr_0.0.200911a-2.1_armhf.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: copying local configuration I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env I: removing directory /srv/workspace/pbuilder/22415 and its subdirectories I: Current time: Wed May 20 11:43:12 -12 2020 I: pbuilder-time-stamp: 1590018192 Wed May 20 23:43:33 UTC 2020 I: 1st build successful. Starting 2nd build on remote node p64b-armhf-rb.debian.net. Wed May 20 23:43:33 UTC 2020 I: Preparing to do remote build '2' on p64b-armhf-rb.debian.net. Wed May 20 23:49:22 UTC 2020 I: Deleting $TMPDIR on p64b-armhf-rb.debian.net. Wed May 20 23:49:26 UTC 2020 I: ladr_0.0.200911a-2.1_armhf.changes: Format: 1.8 Date: Thu, 09 Oct 2014 10:37:43 +0000 Source: ladr Binary: ladr4-apps ladr4-apps-dbgsym libladr-dev libladr4 libladr4-dbgsym prover9 prover9-dbgsym Architecture: armhf Version: 0.0.200911a-2.1 Distribution: unstable Urgency: medium Maintainer: Debian QA Group Changed-By: Matthias Klose Description: ladr4-apps - the LADR deduction library, miscellaneous applications libladr-dev - the LADR deduction library, development files libladr4 - the LADR deduction library prover9 - theorem prover and countermodel generator Closes: 761761 Changes: ladr (0.0.200911a-2.1) unstable; urgency=medium . * Non-maintainer upload. * Build-depend on libtool-bin. Closes: #761761. Checksums-Sha1: 23c766dd23e199da1914c318cf4d333e286018b5 28808 ladr4-apps-dbgsym_0.0.200911a-2.1_armhf.deb fd72d28ee9723a8c2afc6bd2576427646c4d14e2 130236 ladr4-apps_0.0.200911a-2.1_armhf.deb 8e6c9ea44a2b50471601057688a0e0bd9cee871f 5979 ladr_0.0.200911a-2.1_armhf.buildinfo 35a8fd4733f3cf30730ea70539d160ff771c0d66 259336 libladr-dev_0.0.200911a-2.1_armhf.deb e67245f8f4649e62bbe00949a784432d1da73d2d 26276 libladr4-dbgsym_0.0.200911a-2.1_armhf.deb c7f3bede457190ff101d0fff39e48fcb6d305d52 157252 libladr4_0.0.200911a-2.1_armhf.deb 3a4670cf21e67a6fb0613b1b779a640ef95c2ae0 15468 prover9-dbgsym_0.0.200911a-2.1_armhf.deb fc3381a192903c8db98d7fbc34c23b0ab0c65dc4 95020 prover9_0.0.200911a-2.1_armhf.deb Checksums-Sha256: 70af7922cd032d0859790e9691609713bc78422470cdb35552ab6bd5f2a8e229 28808 ladr4-apps-dbgsym_0.0.200911a-2.1_armhf.deb 35c7727606ab32b0a266f12bbac9cbb07217bee52152f439aa6cec912c13d225 130236 ladr4-apps_0.0.200911a-2.1_armhf.deb ce413469c9b7f7eb8b512459392c3568548b705948d9f67a4f75c005bf8da62b 5979 ladr_0.0.200911a-2.1_armhf.buildinfo 7323283e4738eba7d852cad0b49d6d7cc4cb2b331383d609e89dce0fc0d5f224 259336 libladr-dev_0.0.200911a-2.1_armhf.deb b4f3cadda03a97f989ca551b6f4730ef95f56b90fa9812667ca5d619e6eb6077 26276 libladr4-dbgsym_0.0.200911a-2.1_armhf.deb b1bc3dc52bca6b310bcb110a48bd87b2eaea0205239bb01388241e1f31bc0b4d 157252 libladr4_0.0.200911a-2.1_armhf.deb a73964931d707eb9605dd0725cbe9c2e06e64c86cae8075235d36cafc3ef27e4 15468 prover9-dbgsym_0.0.200911a-2.1_armhf.deb 32d9d96340589f605550f67e74cb7f46a932a2720e31fbe77a2bb75927ec5848 95020 prover9_0.0.200911a-2.1_armhf.deb Files: c7499d2cbc9e11aab0ee35658fcd9ab7 28808 debug optional ladr4-apps-dbgsym_0.0.200911a-2.1_armhf.deb 497aebf31f3551bc57718df2e77748c1 130236 math optional ladr4-apps_0.0.200911a-2.1_armhf.deb 1f0bd41500516a1e9c65e228b34a36f7 5979 math optional ladr_0.0.200911a-2.1_armhf.buildinfo dd69827673c322d4f9428afca16b7d92 259336 libdevel optional libladr-dev_0.0.200911a-2.1_armhf.deb 695d27e7774e54537bb414556cbc42ba 26276 debug optional libladr4-dbgsym_0.0.200911a-2.1_armhf.deb e5adc622374fd224e16ddb690b5a559d 157252 libs optional libladr4_0.0.200911a-2.1_armhf.deb a587326fd0a78f868769e3ab5841b1ba 15468 debug optional prover9-dbgsym_0.0.200911a-2.1_armhf.deb 3796bb51fe08f46d457921e791870fd2 95020 math optional prover9_0.0.200911a-2.1_armhf.deb Wed May 20 23:49:29 UTC 2020 I: diffoscope 144 will be used to compare the two builds: # Profiling output for: /usr/bin/diffoscope --html /srv/reproducible-results/rbuild-debian/tmp.9XMVz67XZj/ladr_0.0.200911a-2.1.diffoscope.html --text /srv/reproducible-results/rbuild-debian/tmp.9XMVz67XZj/ladr_0.0.200911a-2.1.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/tmp.9XMVz67XZj/ladr_0.0.200911a-2.1.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/tmp.9XMVz67XZj/b1/ladr_0.0.200911a-2.1_armhf.changes /srv/reproducible-results/rbuild-debian/tmp.9XMVz67XZj/b2/ladr_0.0.200911a-2.1_armhf.changes ## command (total time: 0.000s) 0.000s 1 call cmp (internal) ## has_same_content_as (total time: 0.000s) 0.000s 1 call abc.DotChangesFile ## main (total time: 0.400s) 0.400s 2 calls outputs 0.000s 1 call cleanup ## recognizes (total time: 0.026s) 0.026s 10 calls diffoscope.comparators.binary.FilesystemFile Wed May 20 23:54:32 UTC 2020 I: diffoscope 144 found no differences in the changes files, and a .buildinfo file also exists. Wed May 20 23:54:32 UTC 2020 I: ladr from buster built successfully and reproducibly on armhf. Wed May 20 23:54:34 UTC 2020 I: Submitting .buildinfo files to external archives: Wed May 20 23:54:34 UTC 2020 I: Submitting 8.0K b1/ladr_0.0.200911a-2.1_armhf.buildinfo.asc Wed May 20 23:54:35 UTC 2020 I: Submitting 8.0K b2/ladr_0.0.200911a-2.1_armhf.buildinfo.asc Wed May 20 23:54:36 UTC 2020 I: Done submitting .buildinfo files to http://buildinfo.debian.net/api/submit. Wed May 20 23:54:36 UTC 2020 I: Done submitting .buildinfo files. Wed May 20 23:54:36 UTC 2020 I: Removing signed ladr_0.0.200911a-2.1_armhf.buildinfo.asc files: removed './b1/ladr_0.0.200911a-2.1_armhf.buildinfo.asc' removed './b2/ladr_0.0.200911a-2.1_armhf.buildinfo.asc'