I: pbuilder: network access will be disabled during build I: Current time: Thu May 21 13:43:43 +14 2020 I: pbuilder-time-stamp: 1590018224 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 Fri Oct 10 00:48:34 2014 +14 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 I: user script /srv/workspace/pbuilder/15810/tmp/hooks/D01_modify_environment starting debug: Running on p64b. I: Changing host+domainname to test build reproducibility I: Adding a custom variable just for the fun of it... I: Changing /bin/sh to bash Removing 'diversion of /bin/sh to /bin/sh.distrib by dash' Adding 'diversion of /bin/sh to /bin/sh.distrib by bash' Removing 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash' Adding 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by bash' I: Setting pbuilder2's login shell to /bin/bash I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other I: user script /srv/workspace/pbuilder/15810/tmp/hooks/D01_modify_environment finished I: user script /srv/workspace/pbuilder/15810/tmp/hooks/D02_print_environment starting I: set BASH=/bin/sh BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:hostcomplete:interactive_comments:progcomp:promptvars:sourcepath BASH_ALIASES=() BASH_ARGC=() BASH_ARGV=() BASH_CMDS=() BASH_LINENO=([0]="12" [1]="0") BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment") BASH_VERSINFO=([0]="5" [1]="0" [2]="3" [3]="1" [4]="release" [5]="arm-unknown-linux-gnueabihf") BASH_VERSION='5.0.3(1)-release' BUILDDIR=/build BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other' BUILDUSERNAME=pbuilder2 BUILD_ARCH=armhf DEBIAN_FRONTEND=noninteractive DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=4' DIRSTACK=() DISTRIBUTION= EUID=0 FUNCNAME=([0]="Echo" [1]="main") GROUPS=() HOME=/root HOSTNAME=i-capture-the-hostname HOSTTYPE=arm HOST_ARCH=armhf IFS=' ' INVOCATION_ID=057b5d9254ff4643b0d24cdfb8050ce1 LANG=C LANGUAGE=it_CH:it LC_ALL=C MACHTYPE=arm-unknown-linux-gnueabihf MAIL=/var/mail/root OPTERR=1 OPTIND=1 OSTYPE=linux-gnueabihf PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path PBCURRENTCOMMANDLINEOPERATION=build PBUILDER_OPERATION=build PBUILDER_PKGDATADIR=/usr/share/pbuilder PBUILDER_PKGLIBDIR=/usr/lib/pbuilder PBUILDER_SYSCONFDIR=/etc PIPESTATUS=([0]="0") POSIXLY_CORRECT=y PPID=15810 PS4='+ ' PWD=/ SHELL=/bin/bash SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix SHLVL=3 SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/tmp.9XMVz67XZj/pbuilderrc_lmyq --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/buster-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.9XMVz67XZj/b2 --logfile b2/build.log ladr_0.0.200911a-2.1.dsc' SUDO_GID=115 SUDO_UID=110 SUDO_USER=jenkins TERM=unknown TZ=/usr/share/zoneinfo/Etc/GMT-14 UID=0 USER=root _='I: set' http_proxy=http://10.0.0.15:8000/ I: uname -a Linux i-capture-the-hostname 4.19.0-9-arm64 #1 SMP Debian 4.19.118-2 (2020-04-29) aarch64 GNU/Linux I: ls -l /bin total 3328 -rwxr-xr-x 1 root root 767656 Apr 18 2019 bash -rwxr-xr-x 3 root root 26052 Jul 11 2019 bunzip2 -rwxr-xr-x 3 root root 26052 Jul 11 2019 bzcat lrwxrwxrwx 1 root root 6 Jul 11 2019 bzcmp -> bzdiff -rwxr-xr-x 1 root root 2227 Jul 11 2019 bzdiff lrwxrwxrwx 1 root root 6 Jul 11 2019 bzegrep -> bzgrep -rwxr-xr-x 1 root root 4877 Jun 25 2019 bzexe lrwxrwxrwx 1 root root 6 Jul 11 2019 bzfgrep -> bzgrep -rwxr-xr-x 1 root root 3641 Jul 11 2019 bzgrep -rwxr-xr-x 3 root root 26052 Jul 11 2019 bzip2 -rwxr-xr-x 1 root root 9636 Jul 11 2019 bzip2recover lrwxrwxrwx 1 root root 6 Jul 11 2019 bzless -> bzmore -rwxr-xr-x 1 root root 1297 Jul 11 2019 bzmore -rwxr-xr-x 1 root root 22432 Mar 1 2019 cat -rwxr-xr-x 1 root root 38868 Mar 1 2019 chgrp -rwxr-xr-x 1 root root 38836 Mar 1 2019 chmod -rwxr-xr-x 1 root root 42972 Mar 1 2019 chown -rwxr-xr-x 1 root root 88376 Mar 1 2019 cp -rwxr-xr-x 1 root root 75516 Jan 18 2019 dash -rwxr-xr-x 1 root root 71648 Mar 1 2019 date -rwxr-xr-x 1 root root 51212 Mar 1 2019 dd -rwxr-xr-x 1 root root 55672 Mar 1 2019 df -rwxr-xr-x 1 root root 88444 Mar 1 2019 dir -rwxr-xr-x 1 root root 54872 Jan 10 2019 dmesg lrwxrwxrwx 1 root root 8 Sep 27 2018 dnsdomainname -> hostname lrwxrwxrwx 1 root root 8 Sep 27 2018 domainname -> hostname -rwxr-xr-x 1 root root 22364 Mar 1 2019 echo -rwxr-xr-x 1 root root 28 Jan 8 2019 egrep -rwxr-xr-x 1 root root 18260 Mar 1 2019 false -rwxr-xr-x 1 root root 28 Jan 8 2019 fgrep -rwxr-xr-x 1 root root 47356 Jan 10 2019 findmnt -rwsr-xr-x 1 root root 21980 Apr 23 09:38 fusermount -rwxr-xr-x 1 root root 124508 Jan 8 2019 grep -rwxr-xr-x 2 root root 2345 Jan 6 2019 gunzip -rwxr-xr-x 1 root root 6375 Jan 6 2019 gzexe -rwxr-xr-x 1 root root 64232 Jan 6 2019 gzip -rwxr-xr-x 1 root root 13784 Sep 27 2018 hostname -rwxr-xr-x 1 root root 43044 Mar 1 2019 ln -rwxr-xr-x 1 root root 34932 Jul 27 2018 login -rwxr-xr-x 1 root root 88444 Mar 1 2019 ls -rwxr-xr-x 1 root root 67036 Jan 10 2019 lsblk -rwxr-xr-x 1 root root 47168 Mar 1 2019 mkdir -rwxr-xr-x 1 root root 43040 Mar 1 2019 mknod -rwxr-xr-x 1 root root 26552 Mar 1 2019 mktemp -rwxr-xr-x 1 root root 26024 Jan 10 2019 more -rwsr-xr-x 1 root root 34268 Jan 10 2019 mount -rwxr-xr-x 1 root root 9688 Jan 10 2019 mountpoint -rwxr-xr-x 1 root root 84284 Mar 1 2019 mv lrwxrwxrwx 1 root root 8 Sep 27 2018 nisdomainname -> hostname lrwxrwxrwx 1 root root 14 Feb 15 2019 pidof -> /sbin/killall5 -rwxr-xr-x 1 root root 22416 Mar 1 2019 pwd lrwxrwxrwx 1 root root 4 Apr 18 2019 rbash -> bash -rwxr-xr-x 1 root root 26504 Mar 1 2019 readlink -rwxr-xr-x 1 root root 42968 Mar 1 2019 rm -rwxr-xr-x 1 root root 26496 Mar 1 2019 rmdir -rwxr-xr-x 1 root root 14136 Jan 22 2019 run-parts -rwxr-xr-x 1 root root 76012 Dec 23 2018 sed lrwxrwxrwx 1 root root 4 May 21 13:44 sh -> bash lrwxrwxrwx 1 root root 4 May 19 22:27 sh.distrib -> dash -rwxr-xr-x 1 root root 22384 Mar 1 2019 sleep -rwxr-xr-x 1 root root 51124 Mar 1 2019 stty -rwsr-xr-x 1 root root 42472 Jan 10 2019 su -rwxr-xr-x 1 root root 22392 Mar 1 2019 sync -rwxr-xr-x 1 root root 283324 Apr 24 2019 tar -rwxr-xr-x 1 root root 9808 Jan 22 2019 tempfile -rwxr-xr-x 1 root root 63464 Mar 1 2019 touch -rwxr-xr-x 1 root root 18260 Mar 1 2019 true -rwxr-xr-x 1 root root 9636 Apr 23 09:38 ulockmgr_server -rwsr-xr-x 1 root root 21976 Jan 10 2019 umount -rwxr-xr-x 1 root root 22380 Mar 1 2019 uname -rwxr-xr-x 2 root root 2345 Jan 6 2019 uncompress -rwxr-xr-x 1 root root 88444 Mar 1 2019 vdir -rwxr-xr-x 1 root root 21980 Jan 10 2019 wdctl -rwxr-xr-x 1 root root 946 Jan 22 2019 which lrwxrwxrwx 1 root root 8 Sep 27 2018 ypdomainname -> hostname -rwxr-xr-x 1 root root 1983 Jan 6 2019 zcat -rwxr-xr-x 1 root root 1677 Jan 6 2019 zcmp -rwxr-xr-x 1 root root 5879 Jan 6 2019 zdiff -rwxr-xr-x 1 root root 29 Jan 6 2019 zegrep -rwxr-xr-x 1 root root 29 Jan 6 2019 zfgrep -rwxr-xr-x 1 root root 2080 Jan 6 2019 zforce -rwxr-xr-x 1 root root 7584 Jan 6 2019 zgrep -rwxr-xr-x 1 root root 2205 Jan 6 2019 zless -rwxr-xr-x 1 root root 1841 Jan 6 2019 zmore -rwxr-xr-x 1 root root 4552 Jan 6 2019 znew I: user script /srv/workspace/pbuilder/15810/tmp/hooks/D02_print_environment finished -> 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 (1707 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:/i/capture/the/path" HOME="/nonexistent/second-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_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_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_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 'libladr-dev' in '../libladr-dev_0.0.200911a-2.1_armhf.deb'. dpkg-deb: building package 'libladr4-dbgsym' in '../libladr4-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-dbgsym' in '../ladr4-apps-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 'prover9' in '../prover9_0.0.200911a-2.1_armhf.deb'. dpkg-deb: building package 'libladr4' in '../libladr4_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: user script /srv/workspace/pbuilder/15810/tmp/hooks/B01_cleanup starting I: user script /srv/workspace/pbuilder/15810/tmp/hooks/B01_cleanup finished 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/15810 and its subdirectories I: Current time: Thu May 21 13:49:06 +14 2020 I: pbuilder-time-stamp: 1590018546