RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: 3.2.0-37-generic #58-Ubuntu SMP Thu Jan 24 15:28:10 UTC 2013 x86_64 Buildd toolchain package versions: launchpad-buildd_114-0~53~0.IS.08.04 python-lpbuildd_114-0~53~0.IS.08.04 bzr_2.5.1-0ubuntu2. Syncing the system clock with the buildd NTP service... 25 May 18:45:17 ntpdate[24191]: adjust time server 10.211.37.1 offset 0.000009 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', '42952a66631224be6c3a20ea48fc63c482b4a720', '/home/buildd/filecache-default/e4b7082d2a3b0b950d5c0d7f3857ae0333e0db90'] Unpacking chroot for build 42952a66631224be6c3a20ea48fc63c482b4a720 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', '42952a66631224be6c3a20ea48fc63c482b4a720'] Mounting chroot for build 42952a66631224be6c3a20ea48fc63c482b4a720 RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', '42952a66631224be6c3a20ea48fc63c482b4a720', 'deb http://ftpmaster.internal/ubuntu saucy main universe', 'deb http://ftpmaster.internal/ubuntu saucy-security main universe', 'deb http://ftpmaster.internal/ubuntu saucy-updates main universe', 'deb http://ftpmaster.internal/ubuntu saucy-proposed main universe'] Overriding sources.list in build-42952a66631224be6c3a20ea48fc63c482b4a720 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', '42952a66631224be6c3a20ea48fc63c482b4a720', 'amd64'] Updating debian chroot for build 42952a66631224be6c3a20ea48fc63c482b4a720 Ign http://archive-team.internal saucy Release.gpg Get:1 http://ftpmaster.internal saucy Release.gpg [933 B] Get:2 http://ftpmaster.internal saucy-security Release.gpg [933 B] Get:3 http://archive-team.internal saucy Release [728 B] Get:4 http://ftpmaster.internal saucy-updates Release.gpg [933 B] Get:5 http://ftpmaster.internal saucy-proposed Release.gpg [933 B] Get:6 http://ftpmaster.internal saucy Release [40.8 kB] Get:7 http://ftpmaster.internal saucy-security Release [40.8 kB] Get:8 http://ftpmaster.internal saucy-updates Release [40.8 kB] Get:9 http://ftpmaster.internal saucy-proposed Release [40.8 kB] Get:10 http://archive-team.internal saucy/main amd64 Packages Get:11 http://ftpmaster.internal saucy/main amd64 Packages [1187 kB] Ign http://archive-team.internal saucy/main Translation-en Get:12 http://ftpmaster.internal saucy/universe amd64 Packages [5512 kB] Get:13 http://ftpmaster.internal saucy/main Translation-en [686 kB] Get:14 http://ftpmaster.internal saucy/universe Translation-en [3818 kB] Get:15 http://ftpmaster.internal saucy-security/main amd64 Packages [14 B] Get:16 http://ftpmaster.internal saucy-security/universe amd64 Packages [14 B] Get:17 http://ftpmaster.internal saucy-security/main Translation-en [14 B] Get:18 http://ftpmaster.internal saucy-security/universe Translation-en [14 B] Get:19 http://ftpmaster.internal saucy-updates/main amd64 Packages [14 B] Get:20 http://ftpmaster.internal saucy-updates/universe amd64 Packages [14 B] Get:21 http://ftpmaster.internal saucy-updates/main Translation-en [14 B] Get:22 http://ftpmaster.internal saucy-updates/universe Translation-en [14 B] Get:23 http://ftpmaster.internal saucy-proposed/main amd64 Packages [48.6 kB] Get:24 http://ftpmaster.internal saucy-proposed/universe amd64 Packages [211 kB] Get:25 http://ftpmaster.internal saucy-proposed/main Translation-en [25.9 kB] Get:26 http://ftpmaster.internal saucy-proposed/universe Translation-en [115 kB] Fetched 11.8 MB in 4s (2877 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', '42952a66631224be6c3a20ea48fc63c482b4a720', 'amd64', 'saucy-proposed', '--nolog', '--batch', '--archive=ubuntu', '--dist=saucy-proposed', '--purpose=PRIMARY', '--architecture=amd64', '--comp=universe', 'ladr_0.0.200911a-2.dsc'] Initiating build 42952a66631224be6c3a20ea48fc63c482b4a720 with 8 jobs across 8 processor cores. Kernel reported to sbuild: 3.2.0-37-generic #58-Ubuntu SMP Thu Jan 24 15:28:10 UTC 2013 x86_64 Automatic build of ladr_0.0.200911a-2 on komainu by sbuild/amd64 1.170.5 Build started at 20130525-1845 ****************************************************************************** ladr_0.0.200911a-2.dsc exists in cwd ** Using build dependencies supplied by package: Build-Depends: debhelper (>= 7.0.50~), libtool Checking for already installed source dependencies... debhelper: missing libtool: missing Checking for source dependency conflicts... /usr/bin/sudo /usr/bin/apt-get --purge $CHROOT_OPTIONS -q -y install debhelper libtool Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: autotools-dev bsdmainutils dh-apparmor file gettext gettext-base groff-base html2text intltool-debian libasprintf-dev libasprintf0c2 libcroco3 libffi6 libgettextpo-dev libgettextpo0 libglib2.0-0 libmagic1 libpipeline1 libunistring0 libxml2 man-db po-debconf Suggested packages: wamerican wordlist whois vacation dh-make gettext-doc groff libtool-doc autoconf automaken gfortran fortran95-compiler gcj less www-browser libmail-box-perl Recommended packages: curl wget lynx-cur libglib2.0-data shared-mime-info libltdl-dev xml-core libmail-sendmail-perl The following NEW packages will be installed: autotools-dev bsdmainutils debhelper dh-apparmor file gettext gettext-base groff-base html2text intltool-debian libasprintf-dev libasprintf0c2 libcroco3 libffi6 libgettextpo-dev libgettextpo0 libglib2.0-0 libmagic1 libpipeline1 libtool libunistring0 libxml2 man-db po-debconf 0 upgraded, 24 newly installed, 0 to remove and 0 not upgraded. Need to get 6751 kB of archives. After this operation, 24.3 MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libmagic1 libffi6 libglib2.0-0 libasprintf0c2 libpipeline1 libxml2 groff-base bsdmainutils man-db libcroco3 libunistring0 libgettextpo0 file gettext-base autotools-dev html2text libasprintf-dev libgettextpo-dev gettext intltool-debian po-debconf dh-apparmor debhelper libtool Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ saucy/main libmagic1 amd64 5.11-2ubuntu4 [170 kB] Get:2 http://ftpmaster.internal/ubuntu/ saucy/main libffi6 amd64 3.0.13-2ubuntu1 [19.5 kB] Get:3 http://ftpmaster.internal/ubuntu/ saucy/main libglib2.0-0 amd64 2.37.0-0ubuntu2 [1020 kB] Get:4 http://ftpmaster.internal/ubuntu/ saucy/main libasprintf0c2 amd64 0.18.1.1-10ubuntu3 [6864 B] Get:5 http://ftpmaster.internal/ubuntu/ saucy/main libpipeline1 amd64 1.2.3-1 [26.9 kB] Get:6 http://ftpmaster.internal/ubuntu/ saucy/main libxml2 amd64 2.9.0+dfsg1-4ubuntu5 [692 kB] Get:7 http://ftpmaster.internal/ubuntu/ saucy/main groff-base amd64 1.22.2-2 [719 kB] Get:8 http://ftpmaster.internal/ubuntu/ saucy/main bsdmainutils amd64 9.0.4ubuntu4 [202 kB] Get:9 http://ftpmaster.internal/ubuntu/ saucy/main man-db amd64 2.6.3-6 [637 kB] Get:10 http://ftpmaster.internal/ubuntu/ saucy/main libcroco3 amd64 0.6.8-2 [82.6 kB] Get:11 http://ftpmaster.internal/ubuntu/ saucy/main libunistring0 amd64 0.9.3-5build1 [430 kB] Get:12 http://ftpmaster.internal/ubuntu/ saucy/main libgettextpo0 amd64 0.18.1.1-10ubuntu3 [123 kB] Get:13 http://ftpmaster.internal/ubuntu/ saucy/main file amd64 5.11-2ubuntu4 [18.4 kB] Get:14 http://ftpmaster.internal/ubuntu/ saucy/main gettext-base amd64 0.18.1.1-10ubuntu3 [77.8 kB] Get:15 http://ftpmaster.internal/ubuntu/ saucy/main autotools-dev all 20120608.1 [42.9 kB] Get:16 http://ftpmaster.internal/ubuntu/ saucy/main html2text amd64 1.3.2a-15ubuntu3 [92.9 kB] Get:17 http://ftpmaster.internal/ubuntu/ saucy/main libasprintf-dev amd64 0.18.1.1-10ubuntu3 [4544 B] Get:18 http://ftpmaster.internal/ubuntu/ saucy/main libgettextpo-dev amd64 0.18.1.1-10ubuntu3 [164 kB] Get:19 http://ftpmaster.internal/ubuntu/ saucy/main gettext amd64 0.18.1.1-10ubuntu3 [1039 kB] Get:20 http://ftpmaster.internal/ubuntu/ saucy/main intltool-debian all 0.35.0+20060710.1 [31.6 kB] Get:21 http://ftpmaster.internal/ubuntu/ saucy/main po-debconf all 1.0.16+nmu2ubuntu1 [210 kB] Get:22 http://ftpmaster.internal/ubuntu/ saucy/main dh-apparmor all 2.8.0-0ubuntu12 [8324 B] Get:23 http://ftpmaster.internal/ubuntu/ saucy/main debhelper all 9.20120909ubuntu3 [629 kB] Get:24 http://ftpmaster.internal/ubuntu/ saucy/main libtool amd64 2.4.2-1.2ubuntu1 [305 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 6751 kB in 0s (22.4 MB/s) Selecting previously unselected package libmagic1:amd64. (Reading database ... 12011 files and directories currently installed.) Unpacking libmagic1:amd64 (from .../libmagic1_5.11-2ubuntu4_amd64.deb) ... Selecting previously unselected package libffi6:amd64. Unpacking libffi6:amd64 (from .../libffi6_3.0.13-2ubuntu1_amd64.deb) ... Selecting previously unselected package libglib2.0-0:amd64. Unpacking libglib2.0-0:amd64 (from .../libglib2.0-0_2.37.0-0ubuntu2_amd64.deb) ... Selecting previously unselected package libasprintf0c2:amd64. Unpacking libasprintf0c2:amd64 (from .../libasprintf0c2_0.18.1.1-10ubuntu3_amd64.deb) ... Selecting previously unselected package libpipeline1:amd64. Unpacking libpipeline1:amd64 (from .../libpipeline1_1.2.3-1_amd64.deb) ... Selecting previously unselected package libxml2:amd64. Unpacking libxml2:amd64 (from .../libxml2_2.9.0+dfsg1-4ubuntu5_amd64.deb) ... Selecting previously unselected package groff-base. Unpacking groff-base (from .../groff-base_1.22.2-2_amd64.deb) ... Selecting previously unselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_9.0.4ubuntu4_amd64.deb) ... Selecting previously unselected package man-db. Unpacking man-db (from .../man-db_2.6.3-6_amd64.deb) ... Selecting previously unselected package libcroco3:amd64. Unpacking libcroco3:amd64 (from .../libcroco3_0.6.8-2_amd64.deb) ... Selecting previously unselected package libunistring0:amd64. Unpacking libunistring0:amd64 (from .../libunistring0_0.9.3-5build1_amd64.deb) ... Selecting previously unselected package libgettextpo0:amd64. Unpacking libgettextpo0:amd64 (from .../libgettextpo0_0.18.1.1-10ubuntu3_amd64.deb) ... Selecting previously unselected package file. Unpacking file (from .../file_5.11-2ubuntu4_amd64.deb) ... Selecting previously unselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.1.1-10ubuntu3_amd64.deb) ... Selecting previously unselected package autotools-dev. Unpacking autotools-dev (from .../autotools-dev_20120608.1_all.deb) ... Selecting previously unselected package html2text. Unpacking html2text (from .../html2text_1.3.2a-15ubuntu3_amd64.deb) ... Selecting previously unselected package libasprintf-dev:amd64. Unpacking libasprintf-dev:amd64 (from .../libasprintf-dev_0.18.1.1-10ubuntu3_amd64.deb) ... Selecting previously unselected package libgettextpo-dev:amd64. Unpacking libgettextpo-dev:amd64 (from .../libgettextpo-dev_0.18.1.1-10ubuntu3_amd64.deb) ... Selecting previously unselected package gettext. Unpacking gettext (from .../gettext_0.18.1.1-10ubuntu3_amd64.deb) ... Selecting previously unselected package intltool-debian. Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ... Selecting previously unselected package po-debconf. Unpacking po-debconf (from .../po-debconf_1.0.16+nmu2ubuntu1_all.deb) ... Selecting previously unselected package dh-apparmor. Unpacking dh-apparmor (from .../dh-apparmor_2.8.0-0ubuntu12_all.deb) ... Selecting previously unselected package debhelper. Unpacking debhelper (from .../debhelper_9.20120909ubuntu3_all.deb) ... Selecting previously unselected package libtool. Unpacking libtool (from .../libtool_2.4.2-1.2ubuntu1_amd64.deb) ... Setting up libmagic1:amd64 (5.11-2ubuntu4) ... Setting up libffi6:amd64 (3.0.13-2ubuntu1) ... Setting up libglib2.0-0:amd64 (2.37.0-0ubuntu2) ... No schema files found: doing nothing. Setting up libasprintf0c2:amd64 (0.18.1.1-10ubuntu3) ... Setting up libpipeline1:amd64 (1.2.3-1) ... Setting up libxml2:amd64 (2.9.0+dfsg1-4ubuntu5) ... Setting up groff-base (1.22.2-2) ... Setting up bsdmainutils (9.0.4ubuntu4) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up man-db (2.6.3-6) ... Not building database; man-db/auto-update is not 'true'. Setting up libcroco3:amd64 (0.6.8-2) ... Setting up libunistring0:amd64 (0.9.3-5build1) ... Setting up libgettextpo0:amd64 (0.18.1.1-10ubuntu3) ... Setting up file (5.11-2ubuntu4) ... Setting up gettext-base (0.18.1.1-10ubuntu3) ... Setting up autotools-dev (20120608.1) ... Setting up html2text (1.3.2a-15ubuntu3) ... Setting up libasprintf-dev:amd64 (0.18.1.1-10ubuntu3) ... Setting up libgettextpo-dev:amd64 (0.18.1.1-10ubuntu3) ... Setting up gettext (0.18.1.1-10ubuntu3) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu2ubuntu1) ... Setting up dh-apparmor (2.8.0-0ubuntu12) ... Setting up debhelper (9.20120909ubuntu3) ... Setting up libtool (2.4.2-1.2ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place Checking correctness of source dependencies... Toolchain package versions: libc6-dev_2.17-0ubuntu5 make_3.81-8.2ubuntu2 dpkg-dev_1.16.10ubuntu1 gcc-4.8_4.8.0-7ubuntu1 g++-4.8_4.8.0-7ubuntu1 binutils_2.23.2-2ubuntu1 libstdc++-4.8-dev_4.8.0-7ubuntu1 libstdc++6_4.8.0-7ubuntu1 ------------------------------------------------------------------------------ dpkg-source: warning: -sn is not a valid option for Dpkg::Source::Package::V3::quilt gpgv: Signature made Sat May 25 10:03:58 2013 UTC using DSA key ID 5B713DF0 gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./ladr_0.0.200911a-2.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.debian.tar.gz dpkg-source: info: applying 01-libtoolise.patch dpkg-source: info: applying 03-no-2.5isms.patch dpkg-buildpackage: source package ladr dpkg-buildpackage: source version 0.0.200911a-2 dpkg-source --before-build ladr-0.0.200911a dpkg-buildpackage: host architecture amd64 /usr/bin/fakeroot debian/rules clean dh clean dh_testdir dh_auto_clean make[1]: Entering directory `/build/buildd/ladr-0.0.200911a' make clean make[2]: Entering directory `/build/buildd/ladr-0.0.200911a' cd ladr && make realclean make[3]: Entering directory `/build/buildd/ladr-0.0.200911a/ladr' libtool --mode=clean /bin/rm -f *.lo *.la make[3]: Leaving directory `/build/buildd/ladr-0.0.200911a/ladr' cd apps.src && make realclean make[3]: Entering directory `/build/buildd/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/buildd/ladr-0.0.200911a/apps.src' cd mace4.src && make realclean make[3]: Entering directory `/build/buildd/ladr-0.0.200911a/mace4.src' libtool --mode=clean /bin/rm -f *.o *.a mace4 make[3]: Leaving directory `/build/buildd/ladr-0.0.200911a/mace4.src' cd provers.src && make realclean make[3]: Entering directory `/build/buildd/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/buildd/ladr-0.0.200911a/provers.src' make[2]: Leaving directory `/build/buildd/ladr-0.0.200911a' /bin/rm -f bin/* make[1]: Leaving directory `/build/buildd/ladr-0.0.200911a' debian/rules override_dh_clean make[1]: Entering directory `/build/buildd/ladr-0.0.200911a' /usr/bin/make realclean make[2]: Entering directory `/build/buildd/ladr-0.0.200911a' /usr/bin/make clean make[3]: Entering directory `/build/buildd/ladr-0.0.200911a' cd ladr && /usr/bin/make realclean make[4]: Entering directory `/build/buildd/ladr-0.0.200911a/ladr' libtool --mode=clean /bin/rm -f *.lo *.la make[4]: Leaving directory `/build/buildd/ladr-0.0.200911a/ladr' cd apps.src && /usr/bin/make realclean make[4]: Entering directory `/build/buildd/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/buildd/ladr-0.0.200911a/apps.src' cd mace4.src && /usr/bin/make realclean make[4]: Entering directory `/build/buildd/ladr-0.0.200911a/mace4.src' libtool --mode=clean /bin/rm -f *.o *.a mace4 make[4]: Leaving directory `/build/buildd/ladr-0.0.200911a/mace4.src' cd provers.src && /usr/bin/make realclean make[4]: Entering directory `/build/buildd/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/buildd/ladr-0.0.200911a/provers.src' make[3]: Leaving directory `/build/buildd/ladr-0.0.200911a' /bin/rm -f bin/* make[2]: Leaving directory `/build/buildd/ladr-0.0.200911a' dh_clean make[1]: Leaving directory `/build/buildd/ladr-0.0.200911a' debian/rules build-arch dh build-arch dh_testdir -a dh_auto_configure -a debian/rules override_dh_auto_build make[1]: Entering directory `/build/buildd/ladr-0.0.200911a' dh_auto_build -- all make[2]: Entering directory `/build/buildd/ladr-0.0.200911a' cd ladr && make lib make[3]: Entering directory `/build/buildd/ladr-0.0.200911a/ladr' make libladr.la make[4]: Entering directory `/build/buildd/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 avltree.c: In function 'p_avl': avltree.c:658:21: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] printf("%4d\n", (int) p->item); ^ 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' 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' 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 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/buildd/ladr-0.0.200911a/ladr' make[3]: Leaving directory `/build/buildd/ladr-0.0.200911a/ladr' cd mace4.src && make all make[3]: Entering directory `/build/buildd/ladr-0.0.200911a/mace4.src' cd ../ladr && make libladr.la make[4]: Entering directory `/build/buildd/ladr-0.0.200911a/ladr' make[4]: `libladr.la' is up to date. make[4]: Leaving directory `/build/buildd/ladr-0.0.200911a/ladr' make clean make[4]: Entering directory `/build/buildd/ladr-0.0.200911a/mace4.src' libtool --mode=clean /bin/rm -f *.o make[4]: Leaving directory `/build/buildd/ladr-0.0.200911a/mace4.src' make libmace4.a make[4]: Entering directory `/build/buildd/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 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 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/buildd/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: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp .libs/mace4 /build/buildd/ladr-0.0.200911a/mace4.src/../bin/mace4 make[3]: Leaving directory `/build/buildd/ladr-0.0.200911a/mace4.src' cd provers.src && make all make[3]: Entering directory `/build/buildd/ladr-0.0.200911a/provers.src' cd ../ladr && make libladr make[4]: Entering directory `/build/buildd/ladr-0.0.200911a/ladr' make libladr.la make[5]: Entering directory `/build/buildd/ladr-0.0.200911a/ladr' make[5]: `libladr.la' is up to date. make[5]: Leaving directory `/build/buildd/ladr-0.0.200911a/ladr' make[4]: Leaving directory `/build/buildd/ladr-0.0.200911a/ladr' make clean make[4]: Entering directory `/build/buildd/ladr-0.0.200911a/provers.src' libtool --mode=clean /bin/rm -f *.o make[4]: Leaving directory `/build/buildd/ladr-0.0.200911a/provers.src' cd ../mace4.src && make libmace4 make[4]: Entering directory `/build/buildd/ladr-0.0.200911a/mace4.src' make libmace4.a make[5]: Entering directory `/build/buildd/ladr-0.0.200911a/mace4.src' make[5]: `libmace4.a' is up to date. make[5]: Leaving directory `/build/buildd/ladr-0.0.200911a/mace4.src' make[4]: Leaving directory `/build/buildd/ladr-0.0.200911a/mace4.src' make clean make[4]: Entering directory `/build/buildd/ladr-0.0.200911a/provers.src' libtool --mode=clean /bin/rm -f *.o make[4]: Leaving directory `/build/buildd/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: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp -p .libs/prover9 /build/buildd/ladr-0.0.200911a/provers.src/../bin/prover9 libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp -p .libs/fof-prover9 /build/buildd/ladr-0.0.200911a/provers.src/../bin/fof-prover9 libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp -p .libs/autosketches4 /build/buildd/ladr-0.0.200911a/provers.src/../bin/autosketches4 libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp -p .libs/newauto /build/buildd/ladr-0.0.200911a/provers.src/../bin/newauto libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp -p .libs/newsax /build/buildd/ladr-0.0.200911a/provers.src/../bin/newsax libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp -p .libs/ladr_to_tptp /build/buildd/ladr-0.0.200911a/provers.src/../bin/ladr_to_tptp libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp -p .libs/tptp_to_ladr /build/buildd/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/buildd/ladr-0.0.200911a/provers.src' cd apps.src && make all make[3]: Entering directory `/build/buildd/ladr-0.0.200911a/apps.src' cd ../ladr && make libladr.la make[4]: Entering directory `/build/buildd/ladr-0.0.200911a/ladr' make[4]: `libladr.la' is up to date. make[4]: Leaving directory `/build/buildd/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; ^ prooftrans.c:361:12: warning: ignoring return value of 'fgets', declared with attribute warn_unused_result [-Wunused-result] fgets(s, BUF_MAX, fin); ^ 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; ^ directproof.c:706:12: warning: ignoring return value of 'fgets', declared with attribute warn_unused_result [-Wunused-result] fgets(s, BUF_MAX, fin); ^ 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: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp .libs/latfilter /build/buildd/ladr-0.0.200911a/apps.src/../bin/latfilter libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp .libs/olfilter /build/buildd/ladr-0.0.200911a/apps.src/../bin/olfilter libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp .libs/clausefilter /build/buildd/ladr-0.0.200911a/apps.src/../bin/clausefilter libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp .libs/idfilter /build/buildd/ladr-0.0.200911a/apps.src/../bin/idfilter libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp .libs/renamer /build/buildd/ladr-0.0.200911a/apps.src/../bin/renamer libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp .libs/unfast /build/buildd/ladr-0.0.200911a/apps.src/../bin/unfast libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp .libs/clausetester /build/buildd/ladr-0.0.200911a/apps.src/../bin/clausetester libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp .libs/rewriter /build/buildd/ladr-0.0.200911a/apps.src/../bin/rewriter libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp .libs/isofilter0 /build/buildd/ladr-0.0.200911a/apps.src/../bin/isofilter0 libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp .libs/isofilter /build/buildd/ladr-0.0.200911a/apps.src/../bin/isofilter libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp .libs/isofilter2 /build/buildd/ladr-0.0.200911a/apps.src/../bin/isofilter2 libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp .libs/dprofiles /build/buildd/ladr-0.0.200911a/apps.src/../bin/dprofiles libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp .libs/interpfilter /build/buildd/ladr-0.0.200911a/apps.src/../bin/interpfilter libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp .libs/upper-covers /build/buildd/ladr-0.0.200911a/apps.src/../bin/upper-covers libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp .libs/miniscope /build/buildd/ladr-0.0.200911a/apps.src/../bin/miniscope libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp .libs/interpformat /build/buildd/ladr-0.0.200911a/apps.src/../bin/interpformat libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp .libs/prooftrans /build/buildd/ladr-0.0.200911a/apps.src/../bin/prooftrans libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp .libs/mirror-flip /build/buildd/ladr-0.0.200911a/apps.src/../bin/mirror-flip libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp .libs/perm3 /build/buildd/ladr-0.0.200911a/apps.src/../bin/perm3 libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp .libs/sigtest /build/buildd/ladr-0.0.200911a/apps.src/../bin/sigtest libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp .libs/directproof /build/buildd/ladr-0.0.200911a/apps.src/../bin/directproof libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp .libs/test_clause_eval /build/buildd/ladr-0.0.200911a/apps.src/../bin/test_clause_eval libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp .libs/test_complex /build/buildd/ladr-0.0.200911a/apps.src/../bin/test_complex libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp .libs/complex /build/buildd/ladr-0.0.200911a/apps.src/../bin/complex libtool: install: warning: `../ladr/libladr.la' has not been installed in `/usr/lib' libtool: install: /bin/cp .libs/gen_trc_defs /build/buildd/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 .libs/lt-latfilter libtool: clean: /bin/rm -f olfilter .libs/olfilter .libs/olfilterS.o .libs/lt-olfilter libtool: clean: /bin/rm -f clausefilter .libs/clausefilter .libs/clausefilterS.o .libs/lt-clausefilter libtool: clean: /bin/rm -f idfilter .libs/idfilter .libs/idfilterS.o .libs/lt-idfilter libtool: clean: /bin/rm -f renamer .libs/renamer .libs/renamerS.o .libs/lt-renamer libtool: clean: /bin/rm -f unfast .libs/unfast .libs/unfastS.o .libs/lt-unfast libtool: clean: /bin/rm -f clausetester .libs/clausetester .libs/clausetesterS.o .libs/lt-clausetester libtool: clean: /bin/rm -f rewriter .libs/rewriter .libs/rewriterS.o .libs/lt-rewriter libtool: clean: /bin/rm -f isofilter0 .libs/isofilter0 .libs/isofilter0S.o .libs/lt-isofilter0 libtool: clean: /bin/rm -f isofilter .libs/isofilter .libs/isofilterS.o .libs/lt-isofilter libtool: clean: /bin/rm -f isofilter2 .libs/isofilter2 .libs/isofilter2S.o .libs/lt-isofilter2 libtool: clean: /bin/rm -f dprofiles .libs/dprofiles .libs/dprofilesS.o .libs/lt-dprofiles libtool: clean: /bin/rm -f interpfilter .libs/interpfilter .libs/interpfilterS.o .libs/lt-interpfilter libtool: clean: /bin/rm -f upper-covers .libs/upper-covers .libs/upper-coversS.o .libs/lt-upper-covers libtool: clean: /bin/rm -f miniscope .libs/miniscope .libs/miniscopeS.o .libs/lt-miniscope libtool: clean: /bin/rm -f interpformat .libs/interpformat .libs/interpformatS.o .libs/lt-interpformat libtool: clean: /bin/rm -f prooftrans .libs/prooftrans .libs/prooftransS.o .libs/lt-prooftrans libtool: clean: /bin/rm -f mirror-flip .libs/mirror-flip .libs/mirror-flipS.o .libs/lt-mirror-flip libtool: clean: /bin/rm -f perm3 .libs/perm3 .libs/perm3S.o .libs/lt-perm3 libtool: clean: /bin/rm -f sigtest .libs/sigtest .libs/sigtestS.o .libs/lt-sigtest libtool: clean: /bin/rm -f directproof .libs/directproof .libs/directproofS.o .libs/lt-directproof libtool: clean: /bin/rm -f test_clause_eval .libs/test_clause_eval .libs/test_clause_evalS.o .libs/lt-test_clause_eval libtool: clean: /bin/rm -f test_complex .libs/test_complex .libs/test_complexS.o .libs/lt-test_complex libtool: clean: /bin/rm -f complex .libs/complex .libs/complexS.o .libs/lt-complex libtool: clean: /bin/rm -f gen_trc_defs .libs/gen_trc_defs .libs/gen_trc_defsS.o .libs/lt-gen_trc_defs libtool: clean: rmdir .libs >/dev/null 2>&1 make[3]: Leaving directory `/build/buildd/ladr-0.0.200911a/apps.src' /bin/cp -p utilities/* bin **** Now try 'make test1'. **** make[2]: Leaving directory `/build/buildd/ladr-0.0.200911a' mkdir -p "/build/buildd/ladr-0.0.200911a/usr/lib/`dpkg-architecture -qDEB_BUILD_MULTIARCH`" && libtool --mode=install install -m0644 ladr/libladr.la "/build/buildd/ladr-0.0.200911a/usr/lib/`dpkg-architecture -qDEB_BUILD_MULTIARCH`" libtool: install: install -m0644 ladr/.libs/libladr.so.4.0.0 /build/buildd/ladr-0.0.200911a/usr/lib/x86_64-linux-gnu/libladr.so.4.0.0 libtool: install: (cd /build/buildd/ladr-0.0.200911a/usr/lib/x86_64-linux-gnu && { 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/buildd/ladr-0.0.200911a/usr/lib/x86_64-linux-gnu && { 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/buildd/ladr-0.0.200911a/usr/lib/x86_64-linux-gnu/libladr.la libtool: install: install -m0644 ladr/.libs/libladr.a /build/buildd/ladr-0.0.200911a/usr/lib/x86_64-linux-gnu/libladr.a libtool: install: chmod 644 /build/buildd/ladr-0.0.200911a/usr/lib/x86_64-linux-gnu/libladr.a libtool: install: ranlib /build/buildd/ladr-0.0.200911a/usr/lib/x86_64-linux-gnu/libladr.a libtool: install: warning: remember to run `libtool --finish /usr/lib' make[1]: Leaving directory `/build/buildd/ladr-0.0.200911a' dh_auto_test -a /usr/bin/fakeroot debian/rules binary-arch dh binary-arch dh_testroot -a dh_prep -a dh_installdirs -a dh_auto_install -a dh_install -a dh_installdocs -a dh_installchangelogs -a dh_installexamples -a dh_installman -a dh_installcatalogs -a dh_installcron -a dh_installdebconf -a dh_installemacsen -a dh_installifupdown -a dh_installinfo -a dh_installinit -a dh_installmenu -a dh_installmime -a dh_installmodules -a dh_installlogcheck -a dh_installlogrotate -a dh_installpam -a dh_installppp -a dh_installudev -a dh_installwm -a dh_installxfonts -a dh_installgsettings -a dh_bugfiles -a dh_ucf -a dh_lintian -a dh_gconf -a dh_icons -a dh_perl -a dh_usrlocal -a dh_link -a dh_compress -a dh_fixperms -a dh_strip -a dh_strip debug symbol extraction: all non-arch-all packages for this build platform amd64: libladr-dev libladr4 prover9 ladr4-apps dh_strip debug symbol extraction: packages to act on: libladr-dev libladr4 prover9 ladr4-apps dh_strip debug symbol extraction: ignored packages: libladr-dev is already stripped, ignoring find: `/build/buildd/ladr-0.0.200911a/debian/libladr-dev-dbgsym': No such file or directory libladr4 is already stripped, ignoring find: `/build/buildd/ladr-0.0.200911a/debian/libladr4-dbgsym': No such file or directory prover9 is already stripped, ignoring find: `/build/buildd/ladr-0.0.200911a/debian/prover9-dbgsym': No such file or directory ladr4-apps is already stripped, ignoring find: `/build/buildd/ladr-0.0.200911a/debian/ladr4-apps-dbgsym': No such file or directory dh_makeshlibs -a dh_shlibdeps -a dh_installdeb -a dh_gencontrol -a dpkg-gencontrol: warning: Pre-Depends field of package libladr-dev: unknown substitution variable ${misc:Pre-Depends} dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe dh_md5sums -a dh_builddeb -a INFO: pkgstriptranslations version 118 pkgstriptranslations: processing libladr-dev (in debian/libladr-dev); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/libladr-dev/DEBIAN/control, package libladr-dev, directory debian/libladr-dev Searching for duplicated docs in dependency libladr4... symlinking changelog.Debian.gz in libladr-dev to file in libladr4 pkgstripfiles: PNG optimization for package libladr-dev took 0 s dpkg-deb: warning: 'debian/libladr-dev/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package `libladr-dev' in `../libladr-dev_0.0.200911a-2_amd64.deb'. INFO: pkgstriptranslations version 118 pkgstriptranslations: processing libladr4 (in debian/libladr4); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/libladr4/DEBIAN/control, package libladr4, directory debian/libladr4 pkgstripfiles: Truncating usr/share/doc/libladr4/changelog.Debian.gz to topmost ten records pkgstripfiles: PNG optimization for package libladr4 took 0 s dpkg-deb: warning: 'debian/libladr4/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package `libladr4' in `../libladr4_0.0.200911a-2_amd64.deb'. INFO: pkgstriptranslations version 118 pkgstriptranslations: processing prover9 (in debian/prover9); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/prover9/DEBIAN/control, package prover9, directory debian/prover9 Searching for duplicated docs in dependency libladr4... symlinking changelog.Debian.gz in prover9 to file in libladr4 pkgstripfiles: PNG optimization for package prover9 took 0 s dpkg-deb: warning: 'debian/prover9/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package `prover9' in `../prover9_0.0.200911a-2_amd64.deb'. INFO: pkgstriptranslations version 118 pkgstriptranslations: processing ladr4-apps (in debian/ladr4-apps); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/ladr4-apps/DEBIAN/control, package ladr4-apps, directory debian/ladr4-apps Searching for duplicated docs in dependency libladr4... symlinking changelog.Debian.gz in ladr4-apps to file in libladr4 pkgstripfiles: PNG optimization for package ladr4-apps took 0 s dpkg-deb: warning: 'debian/ladr4-apps/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package `ladr4-apps' in `../ladr4-apps_0.0.200911a-2_amd64.deb'. dpkg-genchanges -B -mUbuntu/amd64 Build Daemon >../ladr_0.0.200911a-2_amd64.changes dpkg-genchanges: arch-specific upload - not including arch-independent packages dpkg-genchanges: binary-only upload - not including any source code dpkg-source --after-build ladr-0.0.200911a dpkg-buildpackage: binary only upload (no source included) ****************************************************************************** Build finished at 20130525-1847 chroot-autobuild/build/buildd/libladr-dev_0.0.200911a-2_amd64.deb: new debian package, version 2.0. size 357856 bytes: control archive= 4927 bytes. 812 bytes, 20 lines control 10886 bytes, 158 lines md5sums Package: libladr-dev Source: ladr Version: 0.0.200911a-2 Architecture: amd64 Maintainer: Ubuntu Developers Original-Maintainer: Debian QA Group Installed-Size: 1479 Depends: libladr4 (= 0.0.200911a-2) Section: libdevel Priority: optional Multi-Arch: same Homepage: http://www.cs.unm.edu/~mccune/mace4/ Description: the LADR deduction library, development files LADR (Library for Automated Deduction Research) is a library for use in constructing theorem provers. Among other useful routines it provides facilities for applying inference rules such as resolution and paramodulation to clauses. LADR is used by the prover9 theorem prover, and by the mace4 countermodel generator. . This package provides development support files for LADR. chroot-autobuild/build/buildd/libladr4_0.0.200911a-2_amd64.deb: new debian package, version 2.0. size 198556 bytes: control archive= 7938 bytes. 726 bytes, 18 lines control 220 bytes, 3 lines md5sums 135 bytes, 7 lines * postinst #!/bin/sh 132 bytes, 7 lines * postrm #!/bin/sh 19 bytes, 1 lines shlibs 42267 bytes, 1281 lines symbols Package: libladr4 Source: ladr Version: 0.0.200911a-2 Architecture: amd64 Maintainer: Ubuntu Developers Original-Maintainer: Debian QA Group Installed-Size: 515 Pre-Depends: multiarch-support Depends: libc6 (>= 2.11) Section: libs Priority: optional Homepage: http://www.cs.unm.edu/~mccune/mace4/ Description: the LADR deduction library LADR (Library for Automated Deduction Research) is a library for use in constructing theorem provers. Among other useful routines it provides facilities for applying inference rules such as resolution and paramodulation to clauses. LADR is used by the prover9 theorem prover, and by the mace4 countermodel generator. chroot-autobuild/build/buildd/prover9_0.0.200911a-2_amd64.deb: new debian package, version 2.0. size 97956 bytes: control archive= 1454 bytes. 1355 bytes, 30 lines control 1392 bytes, 20 lines md5sums Package: prover9 Source: ladr Version: 0.0.200911a-2 Architecture: amd64 Maintainer: Ubuntu Developers Original-Maintainer: Debian QA Group Installed-Size: 298 Depends: libc6 (>= 2.11), libladr4 (>= 0.0.200911a-1) Suggests: ladr4-apps (= 0.0.200911a-2), prover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b) Section: math Priority: optional Homepage: http://www.cs.unm.edu/~mccune/mace4/ Description: theorem prover and countermodel generator This package provides the Prover9 resolution/paramodulation theorem prover and the Mace4 countermodel generator. . Prover9 is an automated theorem prover for first-order and equational logic. It is a successor of the Otter prover. Prover9 uses the inference techniques of ordered resolution and paramodulation with literal selection. . The program Mace4 searches for finite structures satisfying first-order and equational statements, the same kind of statement that Prover9 accepts. If the statement is the denial of some conjecture, any structures found by Mace4 are counterexamples to the conjecture. . Mace4 can be a valuable complement to Prover9, looking for counterexamples before (or at the same time as) using Prover9 to search for a proof. It can also be used to help debug input clauses and formulas for Prover9. chroot-autobuild/build/buildd/ladr4-apps_0.0.200911a-2_amd64.deb: new debian package, version 2.0. size 321870 bytes: control archive= 1766 bytes. 890 bytes, 20 lines control 2081 bytes, 37 lines md5sums Package: ladr4-apps Source: ladr Version: 0.0.200911a-2 Architecture: amd64 Maintainer: Ubuntu Developers Original-Maintainer: Debian QA Group Installed-Size: 921 Depends: libc6 (>= 2.11), libladr4 (>= 0.0.200902a), python Recommends: prover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b) Section: math Priority: optional Homepage: http://www.cs.unm.edu/~mccune/mace4/ Description: the LADR deduction library, miscellaneous applications LADR (Library for Automated Deduction Research) is a library for use in constructing theorem provers. Among other useful routines it provides facilities for applying inference rules such as resolution and paramodulation to clauses. LADR is used by the prover9 theorem prover, and by the mace4 countermodel generator. . This package provides miscellaneous LADR applications. chroot-autobuild/build/buildd/libladr-dev_0.0.200911a-2_amd64.deb: drwxr-xr-x root/root 0 2013-05-25 18:46 ./ drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/ drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/include/ drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/include/ladr/ -rw-r--r-- root/root 2883 2009-02-25 15:59 ./usr/include/ladr/ioutil.h -rw-r--r-- root/root 1148 2009-02-25 15:59 ./usr/include/ladr/weight2.h -rw-r--r-- root/root 1375 2009-02-25 15:59 ./usr/include/ladr/weight.h -rw-r--r-- root/root 1821 2009-02-25 15:59 ./usr/include/ladr/parautil.h -rw-r--r-- root/root 3392 2009-02-25 15:59 ./usr/include/ladr/discrim.h -rw-r--r-- root/root 1300 2009-02-25 15:59 ./usr/include/ladr/backdemod.h -rw-r--r-- root/root 2691 2009-02-25 15:59 ./usr/include/ladr/avltree.h -rw-r--r-- root/root 1190 2009-02-25 15:59 ./usr/include/ladr/banner.h -rw-r--r-- root/root 1126 2008-10-14 06:11 ./usr/include/ladr/header.h -rw-r--r-- root/root 3009 2009-02-25 15:59 ./usr/include/ladr/fpalist.h -rw-r--r-- root/root 1153 2009-02-25 15:59 ./usr/include/ladr/int_code.h -rw-r--r-- root/root 1221 2007-04-13 18:20 ./usr/include/ladr/index.h -rw-r--r-- root/root 1372 2009-02-25 15:59 ./usr/include/ladr/termflag.h -rw-r--r-- root/root 2480 2009-02-25 15:59 ./usr/include/ladr/lindex.h -rw-r--r-- root/root 1137 2009-02-25 15:59 ./usr/include/ladr/multiset.h -rw-r--r-- root/root 1537 2009-02-25 15:59 ./usr/include/ladr/hints.h -rw-r--r-- root/root 4079 2009-02-25 15:59 ./usr/include/ladr/options.h -rw-r--r-- root/root 2204 2009-02-25 15:59 ./usr/include/ladr/strbuf.h -rw-r--r-- root/root 1180 2009-02-25 15:59 ./usr/include/ladr/compress.h -rw-r--r-- root/root 1464 2009-02-25 15:59 ./usr/include/ladr/definitions.h -rw-r--r-- root/root 1263 2009-02-25 15:59 ./usr/include/ladr/complex.h -rw-r--r-- root/root 3867 2009-02-25 15:59 ./usr/include/ladr/mindex.h -rw-r--r-- root/root 1785 2009-02-25 15:59 ./usr/include/ladr/btm.h -rw-r--r-- root/root 1743 2009-02-25 15:59 ./usr/include/ladr/memory.h -rw-r--r-- root/root 1255 2009-02-25 15:59 ./usr/include/ladr/clausify.h -rw-r--r-- root/root 1661 2009-02-25 15:59 ./usr/include/ladr/subsume.h -rw-r--r-- root/root 2446 2009-02-25 15:59 ./usr/include/ladr/pindex.h -rw-r--r-- root/root 3283 2009-02-25 15:59 ./usr/include/ladr/literals.h -rw-r--r-- root/root 1799 2009-02-25 15:59 ./usr/include/ladr/btu.h -rw-r--r-- root/root 2651 2009-02-25 15:59 ./usr/include/ladr/dioph.h -rw-r--r-- root/root 1185 2009-02-25 15:59 ./usr/include/ladr/std_options.h -rw-r--r-- root/root 2959 2009-03-17 17:04 ./usr/include/ladr/parse.h -rw-r--r-- root/root 1340 2009-02-25 15:59 ./usr/include/ladr/clauseid.h -rw-r--r-- root/root 1442 2009-02-25 15:59 ./usr/include/ladr/cnf.h -rw-r--r-- root/root 1244 2009-02-25 15:59 ./usr/include/ladr/dollar.h -rw-r--r-- root/root 1183 2009-02-25 15:59 ./usr/include/ladr/fatal.h -rw-r--r-- root/root 1663 2009-02-25 15:59 ./usr/include/ladr/flatdemod.h -rw-r--r-- root/root 6057 2009-02-25 15:59 ./usr/include/ladr/just.h -rw-r--r-- root/root 3368 2009-02-25 15:59 ./usr/include/ladr/clist.h -rw-r--r-- root/root 1624 2009-04-10 23:04 ./usr/include/ladr/discrimb.h -rw-r--r-- root/root 1243 2009-02-25 15:59 ./usr/include/ladr/clause_eval.h -rw-r--r-- root/root 2271 2009-02-25 15:59 ./usr/include/ladr/fastparse.h -rw-r--r-- root/root 1718 2009-02-25 15:59 ./usr/include/ladr/string.h -rw-r--r-- root/root 1839 2009-02-25 15:59 ./usr/include/ladr/order.h -rw-r--r-- root/root 2723 2009-02-25 15:59 ./usr/include/ladr/fpa.h -rw-r--r-- root/root 1870 2009-02-25 15:59 ./usr/include/ladr/random.h -rw-r--r-- root/root 7690 2009-02-25 15:59 ./usr/include/ladr/term.h -rw-r--r-- root/root 1718 2009-02-25 15:59 ./usr/include/ladr/maximal.h -rw-r--r-- root/root 1159 2009-02-25 15:59 ./usr/include/ladr/ivy.h -rw-r--r-- root/root 6873 2009-02-25 15:59 ./usr/include/ladr/unify.h -rw-r--r-- root/root 4670 2009-02-25 15:59 ./usr/include/ladr/glist.h -rw-r--r-- root/root 1623 2009-02-25 15:59 ./usr/include/ladr/listterm.h -rw-r--r-- root/root 1490 2009-02-25 15:59 ./usr/include/ladr/clause_misc.h -rw-r--r-- root/root 1905 2009-02-25 15:59 ./usr/include/ladr/clash.h -rw-r--r-- root/root 1361 2009-02-25 15:59 ./usr/include/ladr/nonport.h -rw-r--r-- root/root 2010 2009-02-25 15:59 ./usr/include/ladr/termorder.h -rw-r--r-- root/root 1467 2009-02-25 15:59 ./usr/include/ladr/basic.h -rw-r--r-- root/root 2202 2009-02-25 15:59 ./usr/include/ladr/top_input.h -rw-r--r-- root/root 1950 2009-02-25 15:59 ./usr/include/ladr/paramod.h -rw-r--r-- root/root 3513 2009-02-25 15:59 ./usr/include/ladr/attrib.h -rw-r--r-- root/root 2206 2009-02-25 15:59 ./usr/include/ladr/resolve.h -rw-r--r-- root/root 1392 2009-02-25 15:59 ./usr/include/ladr/accanon.h -rw-r--r-- root/root 1079 2009-01-23 06:01 ./usr/include/ladr/ladr.h -rw-r--r-- root/root 4339 2009-02-25 15:59 ./usr/include/ladr/topform.h -rw-r--r-- root/root 1399 2009-02-25 15:59 ./usr/include/ladr/xproofs.h -rw-r--r-- root/root 1408 2009-02-25 15:59 ./usr/include/ladr/tlist.h -rw-r--r-- root/root 2571 2009-02-25 15:59 ./usr/include/ladr/clock.h -rw-r--r-- root/root 1562 2009-07-09 21:35 ./usr/include/ladr/clauses.h -rw-r--r-- root/root 6882 2009-02-25 15:59 ./usr/include/ladr/symbols.h -rw-r--r-- root/root 3618 2009-02-25 15:59 ./usr/include/ladr/interp.h -rw-r--r-- root/root 1581 2009-02-25 15:59 ./usr/include/ladr/discrimw.h -rw-r--r-- root/root 1910 2009-02-25 15:59 ./usr/include/ladr/di_tree.h -rw-r--r-- root/root 1299 2009-02-25 15:59 ./usr/include/ladr/ac_redun.h -rw-r--r-- root/root 1691 2009-02-25 15:59 ./usr/include/ladr/ibuffer.h -rw-r--r-- root/root 1464 2009-02-25 15:59 ./usr/include/ladr/hash.h -rw-r--r-- root/root 2696 2009-04-10 16:25 ./usr/include/ladr/flatterm.h -rw-r--r-- root/root 1505 2009-02-25 15:59 ./usr/include/ladr/tptp_trans.h -rw-r--r-- root/root 4126 2009-02-25 15:59 ./usr/include/ladr/formula.h -rw-r--r-- root/root 1185 2009-02-25 15:59 ./usr/include/ladr/features.h -rw-r--r-- root/root 1622 2009-02-25 15:59 ./usr/include/ladr/demod.h drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/lib/ drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/lib/x86_64-linux-gnu/ -rw-r--r-- root/root 851772 2013-05-25 18:46 ./usr/lib/x86_64-linux-gnu/libladr.a drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/share/ drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/share/doc/ drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/share/doc/libladr-dev/ -rw-r--r-- root/root 2136 2012-12-12 16:44 ./usr/share/doc/libladr-dev/copyright drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/share/doc/libladr-dev/html/ -rw-r--r-- root/root 4127 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/top_input.html -rw-r--r-- root/root 2924 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/order.html -rw-r--r-- root/root 1206 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/ivy.html -rw-r--r-- root/root 12404 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/topform.html -rw-r--r-- root/root 2865 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/ibuffer.html -rw-r--r-- root/root 1991 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/definitions.html -rw-r--r-- root/root 1346 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/weight.html -rw-r--r-- root/root 3818 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/resolve.html -rw-r--r-- root/root 3441 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/di_tree.html -rw-r--r-- root/root 25048 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/term.html -rw-r--r-- root/root 4266 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/fpalist.html -rw-r--r-- root/root 11914 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/clist.html -rw-r--r-- root/root 5467 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/termorder.html -rw-r--r-- root/root 25956 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/symbols.html -rw-r--r-- root/root 6816 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/strbuf.html -rw-r--r-- root/root 4362 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/flatterm.html -rw-r--r-- root/root 5992 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/dioph.html -rw-r--r-- root/root 1298 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/std_options.html -rw-r--r-- root/root 10391 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/mindex.html -rw-r--r-- root/root 2222 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/backdemod.html -rw-r--r-- root/root 3348 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/ac_redun.html -rw-r--r-- root/root 4621 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/cnf.html -rw-r--r-- root/root 2443 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/xproofs.html -rw-r--r-- root/root 6152 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/clock.html -rw-r--r-- root/root 3693 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/clauses.html -rw-r--r-- root/root 2063 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/tlist.html -rw-r--r-- root/root 13298 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/literals.html -rw-r--r-- root/root 16911 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/formula.html -rw-r--r-- root/root 1788 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/features.html -rw-r--r-- root/root 4026 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/termflag.html -rw-r--r-- root/root 4644 2006-09-13 21:54 ./usr/share/doc/libladr-dev/html/sos.html -rw-r--r-- root/root 5580 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/parautil.html -rw-r--r-- root/root 3109 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/paramod.html -rw-r--r-- root/root 1692 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/fatal.html -rw-r--r-- root/root 4294 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/lindex.html -rw-r--r-- root/root 1889 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/tptp_trans.html -rw-r--r-- root/root 2827 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/demod.html -rw-r--r-- root/root 3032 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/clauseid.html -rw-r--r-- root/root 1585 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/nonport.html -rw-r--r-- root/root 1579 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/clause_eval.html -rw-r--r-- root/root 3597 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/clash.html -rw-r--r-- root/root 3136 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/index.html -rw-r--r-- root/root 4359 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/btm.html -rw-r--r-- root/root 4511 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/fastparse.html -rw-r--r-- root/root 2251 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/accanon.html -rw-r--r-- root/root 1101 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/banner.html -rw-r--r-- root/root 3496 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/memory.html -rw-r--r-- root/root 4299 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/discrimw.html -rw-r--r-- root/root 7804 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/fpa.html -rw-r--r-- root/root 11887 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/attrib.html -rw-r--r-- root/root 1148 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/multiset.html -rw-r--r-- root/root 3085 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/clausify.html -rw-r--r-- root/root 14981 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/just.html -rw-r--r-- root/root 3397 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/maximal.html -rw-r--r-- root/root 3630 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/random.html -rw-r--r-- root/root 5042 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/pindex.html -rw-r--r-- root/root 4599 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/btu.html -rw-r--r-- root/root 15379 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/unify.html -rw-r--r-- root/root 5204 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/discrim.html -rw-r--r-- root/root 1149 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/int_code.html -rw-r--r-- root/root 3597 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/clause_misc.html -rw-r--r-- root/root 3158 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/basic.html -rw-r--r-- root/root 2013 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/hints.html -rw-r--r-- root/root 2906 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/string.html -rw-r--r-- root/root 4157 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/subsume.html -rw-r--r-- root/root 10408 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/ioutil.html -rw-r--r-- root/root 3616 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/flatdemod.html -rw-r--r-- root/root 2281 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/hash.html -rw-r--r-- root/root 7267 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/parse.html -rw-r--r-- root/root 12258 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/options.html -rw-r--r-- root/root 18338 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/glist.html -rw-r--r-- root/root 17256 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/interp.html -rw-r--r-- root/root 6222 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/avltree.html -rw-r--r-- root/root 4736 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/discrimb.html -rw-r--r-- root/root 1663 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/compress.html -rw-r--r-- root/root 4479 2008-04-04 21:26 ./usr/share/doc/libladr-dev/html/listterm.html lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/share/doc/libladr-dev/changelog.Debian.gz -> ../libladr4/changelog.Debian.gz chroot-autobuild/build/buildd/libladr4_0.0.200911a-2_amd64.deb: drwxr-xr-x root/root 0 2013-05-25 18:46 ./ drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/ drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/lib/ drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/lib/x86_64-linux-gnu/ -rw-r--r-- root/root 447840 2013-05-25 18:46 ./usr/lib/x86_64-linux-gnu/libladr.so.4.0.0 drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/share/ drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/share/doc/ drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/share/doc/libladr4/ -rw-r--r-- root/root 1733 2013-05-25 18:46 ./usr/share/doc/libladr4/changelog.Debian.gz -rw-r--r-- root/root 2136 2012-12-12 16:44 ./usr/share/doc/libladr4/copyright lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/lib/x86_64-linux-gnu/libladr.so.4 -> libladr.so.4.0.0 chroot-autobuild/build/buildd/prover9_0.0.200911a-2_amd64.deb: drwxr-xr-x root/root 0 2013-05-25 18:46 ./ drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/ drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/bin/ -rwxr-xr-x root/root 10896 2013-05-25 18:46 ./usr/bin/isofilter -rwxr-xr-x root/root 60432 2013-05-25 18:46 ./usr/bin/mace4 -rwxr-xr-x root/root 19320 2013-05-25 18:46 ./usr/bin/prooftrans -rwxr-xr-x root/root 15336 2013-05-25 18:46 ./usr/bin/interpformat -rwxr-xr-x root/root 10856 2013-05-25 18:46 ./usr/bin/isofilter0 -rwxr-xr-x root/root 10896 2013-05-25 18:46 ./usr/bin/isofilter2 -rwxr-xr-x root/root 115336 2013-05-25 18:46 ./usr/bin/prover9 drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/share/ drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/share/doc/ drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/share/doc/prover9/ -rw-r--r-- root/root 2136 2012-12-12 16:44 ./usr/share/doc/prover9/copyright drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/share/doc/prover9/examples/ drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/share/doc/prover9/examples/prover9.examples/ -rw-r--r-- root/root 80 2007-10-22 19:54 ./usr/share/doc/prover9/examples/prover9.examples/README -rw-r--r-- root/root 152 2006-07-12 21:29 ./usr/share/doc/prover9/examples/prover9.examples/x2.in -rw-r--r-- root/root 1560 2006-05-05 14:04 ./usr/share/doc/prover9/examples/prover9.examples/x2.out.gz -rw-r--r-- root/root 496 2006-05-05 14:04 ./usr/share/doc/prover9/examples/prover9.examples/x2.hints drwxr-xr-x root/root 0 2007-10-22 19:56 ./usr/share/doc/prover9/examples/mace4.examples/ -rw-r--r-- root/root 80 2007-10-22 19:56 ./usr/share/doc/prover9/examples/mace4.examples/README -rw-r--r-- root/root 722 2007-10-22 19:53 ./usr/share/doc/prover9/examples/mace4.examples/rw1.in -rw-r--r-- root/root 601 2006-07-12 21:34 ./usr/share/doc/prover9/examples/mace4.examples/group2.in drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/share/man/ drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/share/man/man1/ -rw-r--r-- root/root 750 2013-05-25 18:46 ./usr/share/man/man1/prover9.1.gz -rw-r--r-- root/root 774 2013-05-25 18:46 ./usr/share/man/man1/interpformat.1.gz -rw-r--r-- root/root 1812 2013-05-25 18:46 ./usr/share/man/man1/mace4.1.gz -rw-r--r-- root/root 838 2013-05-25 18:46 ./usr/share/man/man1/prooftrans.1.gz -rw-r--r-- root/root 797 2013-05-25 18:46 ./usr/share/man/man1/isofilter.1.gz lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/share/doc/prover9/changelog.Debian.gz -> ../libladr4/changelog.Debian.gz lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/share/man/man1/isofilter0.1.gz -> isofilter.1.gz lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/share/man/man1/isofilter2.1.gz -> isofilter.1.gz chroot-autobuild/build/buildd/ladr4-apps_0.0.200911a-2_amd64.deb: drwxr-xr-x root/root 0 2013-05-25 18:46 ./ drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/ drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/bin/ -rwxr-xr-x root/root 10360 2013-05-25 18:46 ./usr/bin/perm3 -rwxr-xr-x root/root 190 2008-01-11 20:11 ./usr/bin/get_interps -rwxr-xr-x root/root 4795 2007-02-09 23:19 ./usr/bin/attack -rwxr-xr-x root/root 10632 2013-05-25 18:46 ./usr/bin/renamer -rwxr-xr-x root/root 10872 2013-05-25 18:46 ./usr/bin/latfilter -rwxr-xr-x root/root 11080 2013-05-25 18:46 ./usr/bin/rewriter -rwxr-xr-x root/root 72 2008-01-11 20:11 ./usr/bin/get_givens -rwxr-xr-x root/root 10488 2013-05-25 18:46 ./usr/bin/dprofiles -rwxr-xr-x root/root 115400 2013-05-25 18:46 ./usr/bin/autosketches4 -rwxr-xr-x root/root 10272 2013-05-25 18:46 ./usr/bin/complex -rwxr-xr-x root/root 115464 2013-05-25 18:46 ./usr/bin/tptp_to_ladr -rwxr-xr-x root/root 6560 2013-05-25 18:46 ./usr/bin/unfast -rwxr-xr-x root/root 115400 2013-05-25 18:46 ./usr/bin/newauto -rwxr-xr-x root/root 5084 2007-05-30 19:04 ./usr/bin/looper -rwxr-xr-x root/root 10632 2013-05-25 18:46 ./usr/bin/clausetester -rwxr-xr-x root/root 10752 2013-05-25 18:46 ./usr/bin/clausefilter -rwxr-xr-x root/root 10360 2013-05-25 18:46 ./usr/bin/mirror-flip -rwxr-xr-x root/root 11964 2013-05-25 18:46 ./usr/bin/gvizify -rwxr-xr-x root/root 115400 2013-05-25 18:46 ./usr/bin/newsax -rwxr-xr-x root/root 10360 2013-05-25 18:46 ./usr/bin/sigtest -rwxr-xr-x root/root 10856 2013-05-25 18:46 ./usr/bin/interpfilter -rwxr-xr-x root/root 115400 2013-05-25 18:46 ./usr/bin/ladr_to_tptp -rwxr-xr-x root/root 73 2008-01-11 20:11 ./usr/bin/get_kept -rwxr-xr-x root/root 19080 2013-05-25 18:46 ./usr/bin/directproof -rwxr-xr-x root/root 11168 2013-05-25 18:46 ./usr/bin/idfilter -rwxr-xr-x root/root 115336 2013-05-25 18:46 ./usr/bin/fof-prover9 -rwxr-xr-x root/root 10664 2013-05-25 18:46 ./usr/bin/upper-covers -rwxr-xr-x root/root 11000 2013-05-25 18:46 ./usr/bin/olfilter -rwxr-xr-x root/root 6200 2013-05-25 18:46 ./usr/bin/miniscope drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/share/ drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/share/doc/ drwxr-xr-x root/root 0 2013-05-25 18:47 ./usr/share/doc/ladr4-apps/ -rw-r--r-- root/root 372 2012-12-12 16:44 ./usr/share/doc/ladr4-apps/README.Debian -rw-r--r-- root/root 1610 2008-01-29 22:02 ./usr/share/doc/ladr4-apps/README.directproof.gz -rw-r--r-- root/root 2136 2012-12-12 16:44 ./usr/share/doc/ladr4-apps/copyright drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/share/man/ drwxr-xr-x root/root 0 2013-05-25 18:46 ./usr/share/man/man1/ -rw-r--r-- root/root 600 2013-05-25 18:46 ./usr/share/man/man1/clausefilter.1.gz -rw-r--r-- root/root 599 2013-05-25 18:46 ./usr/share/man/man1/interpfilter.1.gz -rw-r--r-- root/root 783 2013-05-25 18:46 ./usr/share/man/man1/rewriter.1.gz -rw-r--r-- root/root 554 2013-05-25 18:46 ./usr/share/man/man1/clausetester.1.gz -rw-r--r-- root/root 506 2013-05-25 18:46 ./usr/share/man/man1/ladr4-apps.1.gz lrwxrwxrwx root/root 0 2013-05-25 18:47 ./usr/share/doc/ladr4-apps/changelog.Debian.gz -> ../libladr4/changelog.Debian.gz lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/share/man/man1/looper.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/share/man/man1/attack.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/share/man/man1/gvizify.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/share/man/man1/directproof.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/share/man/man1/perm3.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/share/man/man1/newsax.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/share/man/man1/newauto.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/share/man/man1/latfilter.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/share/man/man1/autosketches4.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/share/man/man1/olfilter.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/share/man/man1/renamer.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/share/man/man1/complex.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/share/man/man1/sigtest.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/share/man/man1/miniscope.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/share/man/man1/dprofiles.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/share/man/man1/upper-covers.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/share/man/man1/unfast.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/share/man/man1/tptp_to_ladr.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/share/man/man1/mirror-flip.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/share/man/man1/ladr_to_tptp.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/share/man/man1/get_givens.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/share/man/man1/fof-prover9.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/share/man/man1/get_kept.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/share/man/man1/get_interps.1.gz -> ladr4-apps.1.gz lrwxrwxrwx root/root 0 2013-05-25 18:46 ./usr/share/man/man1/idfilter.1.gz -> ladr4-apps.1.gz ladr_0.0.200911a-2_amd64.changes: Format: 1.8 Date: Sat, 25 May 2013 11:43:32 +0200 Source: ladr Binary: libladr-dev libladr4 prover9 ladr4-apps Architecture: amd64 Version: 0.0.200911a-2 Distribution: saucy-proposed Urgency: low Maintainer: Ubuntu/amd64 Build Daemon Changed-By: Frank Lichtenheld 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 Changes: ladr (0.0.200911a-2) unstable; urgency=low . * QA upload. * Upload to unstable. * Change maintainer to QA group. Checksums-Sha1: 5db65b4942e6a3a323eb73aefd5791253ee77257 357856 libladr-dev_0.0.200911a-2_amd64.deb 0474d054737dafe91795f82b56689730c4151da4 198556 libladr4_0.0.200911a-2_amd64.deb 6daa2b064b7346308ab65208ffea6a157b0d590e 97956 prover9_0.0.200911a-2_amd64.deb 9abc346de40b54ba201c5443481b49eaf1d56606 321870 ladr4-apps_0.0.200911a-2_amd64.deb Checksums-Sha256: fc07c8960a9785d7b636cd70d8600b457f276797027cfdedaa729fb1e1aead34 357856 libladr-dev_0.0.200911a-2_amd64.deb 502ec400c54462c473a12b8c9f75f7d845df5e4fff2dae365a594a8b896a3b88 198556 libladr4_0.0.200911a-2_amd64.deb bfd51ccae5ea786ec6748b68405b60395a9b8b78206d273c72d8127ec34e60ba 97956 prover9_0.0.200911a-2_amd64.deb 7659ab08b64d2e10e19a31a9e7a3f707b0f19fd1ff7f2ea56d25e4d4f245c927 321870 ladr4-apps_0.0.200911a-2_amd64.deb Files: 0fea35980140e289586d216a20fcaf88 357856 libdevel optional libladr-dev_0.0.200911a-2_amd64.deb aa8fc7cd5b549e4e520906117fdfc1b8 198556 libs optional libladr4_0.0.200911a-2_amd64.deb 099c2604e5230e2baae79f8888b8c4c0 97956 math optional prover9_0.0.200911a-2_amd64.deb d353e2c09144743d8ea5db0b5e317e00 321870 math optional ladr4-apps_0.0.200911a-2_amd64.deb ****************************************************************************** Built successfully ****************************************************************************** Finished at 20130525-1847 Build needed 00:00:53, 22936k disk space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['/usr/share/launchpad-buildd/slavebin/scan-for-processes', '42952a66631224be6c3a20ea48fc63c482b4a720'] Scanning for processes to kill in build /home/buildd/build-42952a66631224be6c3a20ea48fc63c482b4a720/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', '42952a66631224be6c3a20ea48fc63c482b4a720'] Unmounting chroot for build 42952a66631224be6c3a20ea48fc63c482b4a720... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', '42952a66631224be6c3a20ea48fc63c482b4a720'] Removing build 42952a66631224be6c3a20ea48fc63c482b4a720