RUN: /bin/echo ['echo', 'Forking build subprocess...'] Forking build subprocess... RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', '99dfcbdfc8fe915515285df9a6a9e52334b3c41f', '/home/buildd/filecache-default/411424cd39a6a14ad4d8f2a37e5d6b68be0a5dbb'] Synching the system clock with the buildd NTP service... 19 Oct 21:24:27 ntpdate[11819]: adjust time server 10.211.37.1 offset -0.002093 sec Unpacking chroot for build 99dfcbdfc8fe915515285df9a6a9e52334b3c41f RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', '99dfcbdfc8fe915515285df9a6a9e52334b3c41f'] Mounting chroot for build 99dfcbdfc8fe915515285df9a6a9e52334b3c41f RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', '99dfcbdfc8fe915515285df9a6a9e52334b3c41f', 'deb http://ftpmaster.internal/ubuntu precise main universe'] Overriding sources.list in build-99dfcbdfc8fe915515285df9a6a9e52334b3c41f RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', '99dfcbdfc8fe915515285df9a6a9e52334b3c41f', 'armel'] Updating debian chroot for build 99dfcbdfc8fe915515285df9a6a9e52334b3c41f Ign http://ftpmaster.internal precise InRelease Get:1 http://ftpmaster.internal precise Release.gpg [198 B] Get:2 http://ftpmaster.internal precise Release [49.6 kB] Get:3 http://ftpmaster.internal precise/main armel Packages [1229 kB] Get:4 http://ftpmaster.internal precise/universe armel Packages [4393 kB] Get:5 http://ftpmaster.internal precise/main TranslationIndex [74 B] Get:6 http://ftpmaster.internal precise/universe TranslationIndex [75 B] Get:7 http://ftpmaster.internal precise/main Translation-en [714 kB] Get:8 http://ftpmaster.internal precise/universe Translation-en [3222 kB] Fetched 9607 kB in 33s (286 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: liblockfile-bin libp11-kit0 The following packages will be upgraded: apt apt-transport-https base-files binutils bzip2 coreutils cpp-4.6 debianutils dpkg dpkg-dev e2fslibs e2fsprogs fakeroot g++-4.6 gcc-4.6 gcc-4.6-base grep gzip iproute libalgorithm-diff-xs-perl libapt-pkg4.11 libbz2-1.0 libclass-isa-perl libcomerr2 libdbus-1-3 libdpkg-perl libffi6 libgcc1 libgcrypt11 libgmp10 libgmpxx4ldbl libgnutls26 libgomp1 libgpg-error0 libidn11 libkeyutils1 libldap-2.4-2 liblockfile1 liblzma2 libmpc2 libmpfr4 libncurses5 libncursesw5 libnih-dbus1 libnih1 libpcre3 libppl-c4 libppl9 libpwl5 libreadline6 librtmp0 libselinux1 libslang2 libss2 libstdc++6 libstdc++6-4.6-dev libswitch-perl libtinfo5 libudev0 libusb-0.1-4 linux-libc-dev lockfile-progs manpages manpages-dev ncurses-base ncurses-bin netbase perl perl-base perl-modules python-minimal readline-common tzdata udev xz-utils 75 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 43.4 MB of archives. After this operation, 13.5 MB disk space will be freed. WARNING: The following packages cannot be authenticated! base-files dpkg coreutils debianutils libgomp1 gcc-4.6-base libgcc1 cpp-4.6 libstdc++6-4.6-dev g++-4.6 gcc-4.6 libstdc++6 libgmp10 libmpfr4 libmpc2 binutils libcomerr2 e2fslibs e2fsprogs grep gzip ncurses-bin perl perl-base perl-modules bzip2 libbz2-1.0 ncurses-base python-minimal readline-common libncursesw5 libtinfo5 libncurses5 libreadline6 libusb-0.1-4 liblzma2 libselinux1 libslang2 libss2 liblockfile1 liblockfile-bin libdbus-1-3 libffi6 libpcre3 libudev0 libp11-kit0 libgnutls26 libgpg-error0 libgcrypt11 libidn11 libkeyutils1 libldap-2.4-2 libgmpxx4ldbl libppl-c4 libppl9 libpwl5 librtmp0 libapt-pkg4.11 apt tzdata xz-utils lockfile-progs netbase iproute libnih-dbus1 libnih1 udev apt-transport-https manpages dpkg-dev libdpkg-perl fakeroot libalgorithm-diff-xs-perl libclass-isa-perl libswitch-perl linux-libc-dev manpages-dev Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ precise/main base-files armel 6.4ubuntu6 [63.0 kB] Get:2 http://ftpmaster.internal/ubuntu/ precise/main dpkg armel 1.16.1ubuntu1 [1756 kB] Get:3 http://ftpmaster.internal/ubuntu/ precise/main coreutils armel 8.13-3ubuntu1 [1940 kB] Get:4 http://ftpmaster.internal/ubuntu/ precise/main debianutils armel 4.0.4 [61.8 kB] Get:5 http://ftpmaster.internal/ubuntu/ precise/main libgomp1 armel 4.6.1-15ubuntu1 [23.6 kB] Get:6 http://ftpmaster.internal/ubuntu/ precise/main gcc-4.6-base armel 4.6.1-15ubuntu1 [15.6 kB] Get:7 http://ftpmaster.internal/ubuntu/ precise/main libgcc1 armel 1:4.6.1-15ubuntu1 [22.1 kB] Get:8 http://ftpmaster.internal/ubuntu/ precise/main cpp-4.6 armel 4.6.1-15ubuntu1 [4071 kB] Get:9 http://ftpmaster.internal/ubuntu/ precise/main libstdc++6-4.6-dev armel 4.6.1-15ubuntu1 [1694 kB] Get:10 http://ftpmaster.internal/ubuntu/ precise/main g++-4.6 armel 4.6.1-15ubuntu1 [4914 kB] Get:11 http://ftpmaster.internal/ubuntu/ precise/main gcc-4.6 armel 4.6.1-15ubuntu1 [4499 kB] Get:12 http://ftpmaster.internal/ubuntu/ precise/main libstdc++6 armel 4.6.1-15ubuntu1 [268 kB] Get:13 http://ftpmaster.internal/ubuntu/ precise/main libgmp10 armel 2:5.0.2+dfsg-1ubuntu1 [190 kB] Get:14 http://ftpmaster.internal/ubuntu/ precise/main libmpfr4 armel 3.1.0-2 [180 kB] Get:15 http://ftpmaster.internal/ubuntu/ precise/main libmpc2 armel 0.9-4 [30.9 kB] Get:16 http://ftpmaster.internal/ubuntu/ precise/main binutils armel 2.21.90.20111004-2ubuntu1 [2265 kB] Get:17 http://ftpmaster.internal/ubuntu/ precise/main libcomerr2 armel 1.42~WIP-2011-10-09-1ubuntu1 [55.0 kB] Get:18 http://ftpmaster.internal/ubuntu/ precise/main e2fslibs armel 1.42~WIP-2011-10-09-1ubuntu1 [169 kB] Get:19 http://ftpmaster.internal/ubuntu/ precise/main e2fsprogs armel 1.42~WIP-2011-10-09-1ubuntu1 [880 kB] Get:20 http://ftpmaster.internal/ubuntu/ precise/main grep armel 2.9-2 [216 kB] Get:21 http://ftpmaster.internal/ubuntu/ precise/main gzip armel 1.4-1ubuntu1 [85.2 kB] Get:22 http://ftpmaster.internal/ubuntu/ precise/main ncurses-bin armel 5.9-2 [147 kB] Get:23 http://ftpmaster.internal/ubuntu/ precise/main perl armel 5.12.4-6 [3476 kB] Get:24 http://ftpmaster.internal/ubuntu/ precise/main perl-base armel 5.12.4-6 [1300 kB] Get:25 http://ftpmaster.internal/ubuntu/ precise/main perl-modules all 5.12.4-6 [4712 kB] Get:26 http://ftpmaster.internal/ubuntu/ precise/main bzip2 armel 1.0.5-7 [36.4 kB] Get:27 http://ftpmaster.internal/ubuntu/ precise/main libbz2-1.0 armel 1.0.5-7 [33.8 kB] Get:28 http://ftpmaster.internal/ubuntu/ precise/main ncurses-base all 5.9-2 [21.9 kB] Get:29 http://ftpmaster.internal/ubuntu/ precise/main python-minimal all 2.7.2-7ubuntu4 [29.8 kB] Get:30 http://ftpmaster.internal/ubuntu/ precise/main readline-common all 6.2-7 [49.9 kB] Get:31 http://ftpmaster.internal/ubuntu/ precise/main libncursesw5 armel 5.9-2 [132 kB] Get:32 http://ftpmaster.internal/ubuntu/ precise/main libtinfo5 armel 5.9-2 [58.6 kB] Get:33 http://ftpmaster.internal/ubuntu/ precise/main libncurses5 armel 5.9-2 [110 kB] Get:34 http://ftpmaster.internal/ubuntu/ precise/main libreadline6 armel 6.2-7 [112 kB] Get:35 http://ftpmaster.internal/ubuntu/ precise/main libusb-0.1-4 armel 2:0.1.12-19 [15.2 kB] Get:36 http://ftpmaster.internal/ubuntu/ precise/main liblzma2 armel 5.1.1alpha+20110809-2 [81.5 kB] Get:37 http://ftpmaster.internal/ubuntu/ precise/main libselinux1 armel 2.1.0-1 [55.7 kB] Get:38 http://ftpmaster.internal/ubuntu/ precise/main libslang2 armel 2.2.4-3ubuntu1 [427 kB] Get:39 http://ftpmaster.internal/ubuntu/ precise/main libss2 armel 1.42~WIP-2011-10-09-1ubuntu1 [59.0 kB] Get:40 http://ftpmaster.internal/ubuntu/ precise/main liblockfile1 armel 1.09-3 [7654 B] Get:41 http://ftpmaster.internal/ubuntu/ precise/main liblockfile-bin armel 1.09-3 [11.0 kB] Get:42 http://ftpmaster.internal/ubuntu/ precise/main libdbus-1-3 armel 1.4.16-1ubuntu1 [117 kB] Get:43 http://ftpmaster.internal/ubuntu/ precise/main libffi6 armel 3.0.11~rc1-5 [16.7 kB] Get:44 http://ftpmaster.internal/ubuntu/ precise/main libpcre3 armel 8.12-4 [143 kB] Get:45 http://ftpmaster.internal/ubuntu/ precise/main libudev0 armel 173-0ubuntu5 [27.4 kB] Get:46 http://ftpmaster.internal/ubuntu/ precise/main libp11-kit0 armel 0.6-0ubuntu2 [25.8 kB] Get:47 http://ftpmaster.internal/ubuntu/ precise/main libgnutls26 armel 2.12.11-1 [409 kB] Get:48 http://ftpmaster.internal/ubuntu/ precise/main libgpg-error0 armel 1.10-1ubuntu1 [14.0 kB] Get:49 http://ftpmaster.internal/ubuntu/ precise/main libgcrypt11 armel 1.5.0-3 [270 kB] Get:50 http://ftpmaster.internal/ubuntu/ precise/main libidn11 armel 1.22-3 [107 kB] Get:51 http://ftpmaster.internal/ubuntu/ precise/main libkeyutils1 armel 1.5.2-2 [6894 B] Get:52 http://ftpmaster.internal/ubuntu/ precise/main libldap-2.4-2 armel 2.4.25-3ubuntu1 [150 kB] Get:53 http://ftpmaster.internal/ubuntu/ precise/main libgmpxx4ldbl armel 2:5.0.2+dfsg-1ubuntu1 [7502 B] Get:54 http://ftpmaster.internal/ubuntu/ precise/main libppl-c4 armel 0.11.2-6ubuntu1 [854 kB] Get:55 http://ftpmaster.internal/ubuntu/ precise/main libppl9 armel 0.11.2-6ubuntu1 [364 kB] Get:56 http://ftpmaster.internal/ubuntu/ precise/main libpwl5 armel 0.11.2-6ubuntu1 [11.1 kB] Get:57 http://ftpmaster.internal/ubuntu/ precise/main librtmp0 armel 2.4~20110711.gitc28f1bab-1 [49.8 kB] Get:58 http://ftpmaster.internal/ubuntu/ precise/main libapt-pkg4.11 armel 0.8.16~exp5ubuntu14.1 [450 kB] Get:59 http://ftpmaster.internal/ubuntu/ precise/main apt armel 0.8.16~exp5ubuntu14.1 [1029 kB] Get:60 http://ftpmaster.internal/ubuntu/ precise/main tzdata armel 2011l-2 [401 kB] Get:61 http://ftpmaster.internal/ubuntu/ precise/main xz-utils armel 5.1.1alpha+20110809-2 [83.9 kB] Get:62 http://ftpmaster.internal/ubuntu/ precise/main lockfile-progs armel 0.1.16 [9716 B] Get:63 http://ftpmaster.internal/ubuntu/ precise/main netbase all 4.46ubuntu1 [14.8 kB] Get:64 http://ftpmaster.internal/ubuntu/ precise/main iproute armel 20110629-1 [379 kB] Get:65 http://ftpmaster.internal/ubuntu/ precise/main libnih-dbus1 armel 1.0.3-4ubuntu3 [14.0 kB] Get:66 http://ftpmaster.internal/ubuntu/ precise/main libnih1 armel 1.0.3-4ubuntu3 [48.8 kB] Get:67 http://ftpmaster.internal/ubuntu/ precise/main udev armel 173-0ubuntu5 [292 kB] Get:68 http://ftpmaster.internal/ubuntu/ precise/main apt-transport-https armel 0.8.16~exp5ubuntu14.1 [16.7 kB] Get:69 http://ftpmaster.internal/ubuntu/ precise/main manpages all 3.32-0.2ubuntu1 [577 kB] Get:70 http://ftpmaster.internal/ubuntu/ precise/main dpkg-dev all 1.16.1ubuntu1 [480 kB] Get:71 http://ftpmaster.internal/ubuntu/ precise/main libdpkg-perl all 1.16.1ubuntu1 [180 kB] Get:72 http://ftpmaster.internal/ubuntu/ precise/main fakeroot armel 1.18.1-1 [72.0 kB] Get:73 http://ftpmaster.internal/ubuntu/ precise/main libalgorithm-diff-xs-perl armel 0.04-2 [13.0 kB] Get:74 http://ftpmaster.internal/ubuntu/ precise/main libclass-isa-perl all 0.36-2 [11.7 kB] Get:75 http://ftpmaster.internal/ubuntu/ precise/main libswitch-perl all 2.16-2 [19.2 kB] Get:76 http://ftpmaster.internal/ubuntu/ precise/main linux-libc-dev armel 3.1.0-1.1 [809 kB] Get:77 http://ftpmaster.internal/ubuntu/ precise/main manpages-dev all 3.32-0.2ubuntu1 [1653 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 43.4 MB in 10s (3983 kB/s) (Reading database ... 13976 files and directories currently installed.) Preparing to replace base-files 6.4ubuntu5 (using .../base-files_6.4ubuntu6_armel.deb) ... Unpacking replacement base-files ... Setting up base-files (6.4ubuntu6) ... Installing new version of config file /etc/issue ... Installing new version of config file /etc/issue.net ... Installing new version of config file /etc/lsb-release ... (Reading database ... 13976 files and directories currently installed.) Preparing to replace dpkg 1.16.0.3ubuntu5 (using .../dpkg_1.16.1ubuntu1_armel.deb) ... Unpacking replacement dpkg ... Setting up dpkg (1.16.1ubuntu1) ... (Reading database ... 13973 files and directories currently installed.) Preparing to replace coreutils 8.5-1ubuntu6 (using .../coreutils_8.13-3ubuntu1_armel.deb) ... Unpacking replacement coreutils ... Setting up coreutils (8.13-3ubuntu1) ... (Reading database ... 13973 files and directories currently installed.) Preparing to replace debianutils 4.0.2 (using .../debianutils_4.0.4_armel.deb) ... Unpacking replacement debianutils ... Setting up debianutils (4.0.4) ... (Reading database ... 13973 files and directories currently installed.) Preparing to replace libgomp1 4.6.1-9ubuntu3 (using .../libgomp1_4.6.1-15ubuntu1_armel.deb) ... Unpacking replacement libgomp1 ... Preparing to replace gcc-4.6-base 4.6.1-9ubuntu3 (using .../gcc-4.6-base_4.6.1-15ubuntu1_armel.deb) ... Unpacking replacement gcc-4.6-base ... Setting up gcc-4.6-base (4.6.1-15ubuntu1) ... (Reading database ... 13973 files and directories currently installed.) Preparing to replace libgcc1 1:4.6.1-9ubuntu3 (using .../libgcc1_1%3a4.6.1-15ubuntu1_armel.deb) ... Unpacking replacement libgcc1 ... Setting up libgcc1 (1:4.6.1-15ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13973 files and directories currently installed.) Preparing to replace cpp-4.6 4.6.1-9ubuntu3 (using .../cpp-4.6_4.6.1-15ubuntu1_armel.deb) ... Unpacking replacement cpp-4.6 ... Preparing to replace libstdc++6-4.6-dev 4.6.1-9ubuntu3 (using .../libstdc++6-4.6-dev_4.6.1-15ubuntu1_armel.deb) ... Unpacking replacement libstdc++6-4.6-dev ... Preparing to replace g++-4.6 4.6.1-9ubuntu3 (using .../g++-4.6_4.6.1-15ubuntu1_armel.deb) ... Unpacking replacement g++-4.6 ... Preparing to replace gcc-4.6 4.6.1-9ubuntu3 (using .../gcc-4.6_4.6.1-15ubuntu1_armel.deb) ... Unpacking replacement gcc-4.6 ... Preparing to replace libstdc++6 4.6.1-9ubuntu3 (using .../libstdc++6_4.6.1-15ubuntu1_armel.deb) ... Unpacking replacement libstdc++6 ... Setting up libstdc++6 (4.6.1-15ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13973 files and directories currently installed.) Preparing to replace libgmp10 2:5.0.1+dfsg-7ubuntu2 (using .../libgmp10_2%3a5.0.2+dfsg-1ubuntu1_armel.deb) ... Unpacking replacement libgmp10 ... Preparing to replace libmpfr4 3.0.1-5 (using .../libmpfr4_3.1.0-2_armel.deb) ... Unpacking replacement libmpfr4 ... Preparing to replace libmpc2 0.9-3 (using .../libmpc2_0.9-4_armel.deb) ... Unpacking replacement libmpc2 ... Preparing to replace binutils 2.21.53.20110810-0ubuntu3 (using .../binutils_2.21.90.20111004-2ubuntu1_armel.deb) ... Unpacking replacement binutils ... Preparing to replace libcomerr2 1.41.14-1ubuntu3 (using .../libcomerr2_1.42~WIP-2011-10-09-1ubuntu1_armel.deb) ... Unpacking replacement libcomerr2 ... Setting up libcomerr2 (1.42~WIP-2011-10-09-1ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13973 files and directories currently installed.) Preparing to replace e2fslibs 1.41.14-1ubuntu3 (using .../e2fslibs_1.42~WIP-2011-10-09-1ubuntu1_armel.deb) ... Unpacking replacement e2fslibs ... Setting up e2fslibs (1.42~WIP-2011-10-09-1ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13973 files and directories currently installed.) Preparing to replace e2fsprogs 1.41.14-1ubuntu3 (using .../e2fsprogs_1.42~WIP-2011-10-09-1ubuntu1_armel.deb) ... Unpacking replacement e2fsprogs ... Setting up e2fsprogs (1.42~WIP-2011-10-09-1ubuntu1) ... Installing new version of config file /etc/mke2fs.conf ... (Reading database ... 13974 files and directories currently installed.) Preparing to replace grep 2.9-1 (using .../archives/grep_2.9-2_armel.deb) ... Unpacking replacement grep ... Setting up grep (2.9-2) ... (Reading database ... 13974 files and directories currently installed.) Preparing to replace gzip 1.3.12-9ubuntu1.1 (using .../gzip_1.4-1ubuntu1_armel.deb) ... Unpacking replacement gzip ... Setting up gzip (1.4-1ubuntu1) ... (Reading database ... 13972 files and directories currently installed.) Preparing to replace ncurses-bin 5.9-1ubuntu5 (using .../ncurses-bin_5.9-2_armel.deb) ... Unpacking replacement ncurses-bin ... Setting up ncurses-bin (5.9-2) ... (Reading database ... 13972 files and directories currently installed.) Preparing to replace perl 5.12.4-4 (using .../perl_5.12.4-6_armel.deb) ... Unpacking replacement perl ... Preparing to replace perl-base 5.12.4-4 (using .../perl-base_5.12.4-6_armel.deb) ... Unpacking replacement perl-base ... Setting up perl-base (5.12.4-6) ... (Reading database ... 13972 files and directories currently installed.) Preparing to replace perl-modules 5.12.4-4 (using .../perl-modules_5.12.4-6_all.deb) ... Unpacking replacement perl-modules ... Preparing to replace bzip2 1.0.5-6ubuntu1 (using .../bzip2_1.0.5-7_armel.deb) ... Unpacking replacement bzip2 ... Preparing to replace libbz2-1.0 1.0.5-6ubuntu1 (using .../libbz2-1.0_1.0.5-7_armel.deb) ... Unpacking replacement libbz2-1.0 ... Setting up libbz2-1.0 (1.0.5-7) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13973 files and directories currently installed.) Preparing to replace ncurses-base 5.9-1ubuntu5 (using .../ncurses-base_5.9-2_all.deb) ... Unpacking replacement ncurses-base ... Setting up ncurses-base (5.9-2) ... (Reading database ... 13973 files and directories currently installed.) Preparing to replace python-minimal 2.7.2-7ubuntu2 (using .../python-minimal_2.7.2-7ubuntu4_all.deb) ... Unpacking replacement python-minimal ... Setting up python-minimal (2.7.2-7ubuntu4) ... (Reading database ... 13973 files and directories currently installed.) Preparing to replace readline-common 6.2-2ubuntu1 (using .../readline-common_6.2-7_all.deb) ... Unpacking replacement readline-common ... Setting up readline-common (6.2-7) ... (Reading database ... 13973 files and directories currently installed.) Preparing to replace libncursesw5 5.9-1ubuntu5 (using .../libncursesw5_5.9-2_armel.deb) ... Unpacking replacement libncursesw5 ... Preparing to replace libtinfo5 5.9-1ubuntu5 (using .../libtinfo5_5.9-2_armel.deb) ... Unpacking replacement libtinfo5 ... Setting up libtinfo5 (5.9-2) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13973 files and directories currently installed.) Preparing to replace libncurses5 5.9-1ubuntu5 (using .../libncurses5_5.9-2_armel.deb) ... Unpacking replacement libncurses5 ... Setting up libncurses5 (5.9-2) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13973 files and directories currently installed.) Preparing to replace libreadline6 6.2-2ubuntu1 (using .../libreadline6_6.2-7_armel.deb) ... Unpacking replacement libreadline6 ... Setting up libreadline6 (6.2-7) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13973 files and directories currently installed.) Preparing to replace libusb-0.1-4 2:0.1.12-18 (using .../libusb-0.1-4_2%3a0.1.12-19_armel.deb) ... Unpacking replacement libusb-0.1-4 ... Setting up libusb-0.1-4 (2:0.1.12-19) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13973 files and directories currently installed.) Preparing to replace liblzma2 5.0.0-2 (using .../liblzma2_5.1.1alpha+20110809-2_armel.deb) ... Unpacking replacement liblzma2 ... Setting up liblzma2 (5.1.1alpha+20110809-2) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13973 files and directories currently installed.) Preparing to replace libselinux1 2.0.98-1.1 (using .../libselinux1_2.1.0-1_armel.deb) ... Unpacking replacement libselinux1 ... Setting up libselinux1 (2.1.0-1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13973 files and directories currently installed.) Preparing to replace libslang2 2.2.4-2ubuntu1 (using .../libslang2_2.2.4-3ubuntu1_armel.deb) ... Unpacking replacement libslang2 ... Setting up libslang2 (2.2.4-3ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13973 files and directories currently installed.) Preparing to replace libss2 1.41.14-1ubuntu3 (using .../libss2_1.42~WIP-2011-10-09-1ubuntu1_armel.deb) ... Unpacking replacement libss2 ... Setting up libss2 (1.42~WIP-2011-10-09-1ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13973 files and directories currently installed.) Preparing to replace liblockfile1 1.08-4 (using .../liblockfile1_1.09-3_armel.deb) ... Unpacking replacement liblockfile1 ... Selecting previously unselected package liblockfile-bin. Unpacking liblockfile-bin (from .../liblockfile-bin_1.09-3_armel.deb) ... Preparing to replace libdbus-1-3 1.4.14-1ubuntu1 (using .../libdbus-1-3_1.4.16-1ubuntu1_armel.deb) ... Unpacking replacement libdbus-1-3 ... Preparing to replace libffi6 3.0.11~rc1-2 (using .../libffi6_3.0.11~rc1-5_armel.deb) ... Unpacking replacement libffi6 ... Preparing to replace libpcre3 8.12-3ubuntu2 (using .../libpcre3_8.12-4_armel.deb) ... Unpacking replacement libpcre3 ... Preparing to replace libudev0 173-0ubuntu4 (using .../libudev0_173-0ubuntu5_armel.deb) ... Unpacking replacement libudev0 ... Selecting previously unselected package libp11-kit0. Unpacking libp11-kit0 (from .../libp11-kit0_0.6-0ubuntu2_armel.deb) ... Preparing to replace libgnutls26 2.10.5-1ubuntu3 (using .../libgnutls26_2.12.11-1_armel.deb) ... Unpacking replacement libgnutls26 ... Preparing to replace libgpg-error0 1.10-0.3ubuntu1 (using .../libgpg-error0_1.10-1ubuntu1_armel.deb) ... Unpacking replacement libgpg-error0 ... Preparing to replace libgcrypt11 1.5.0-1 (using .../libgcrypt11_1.5.0-3_armel.deb) ... Unpacking replacement libgcrypt11 ... Preparing to replace libidn11 1.22-2 (using .../libidn11_1.22-3_armel.deb) ... Unpacking replacement libidn11 ... Preparing to replace libkeyutils1 1.4-6 (using .../libkeyutils1_1.5.2-2_armel.deb) ... Unpacking replacement libkeyutils1 ... Preparing to replace libldap-2.4-2 2.4.25-1.1ubuntu4 (using .../libldap-2.4-2_2.4.25-3ubuntu1_armel.deb) ... Unpacking replacement libldap-2.4-2 ... Preparing to replace libgmpxx4ldbl 2:5.0.1+dfsg-7ubuntu2 (using .../libgmpxx4ldbl_2%3a5.0.2+dfsg-1ubuntu1_armel.deb) ... Unpacking replacement libgmpxx4ldbl ... Preparing to replace libppl-c4 0.11.2-3ubuntu1 (using .../libppl-c4_0.11.2-6ubuntu1_armel.deb) ... Unpacking replacement libppl-c4 ... Preparing to replace libppl9 0.11.2-3ubuntu1 (using .../libppl9_0.11.2-6ubuntu1_armel.deb) ... Unpacking replacement libppl9 ... Preparing to replace libpwl5 0.11.2-3ubuntu1 (using .../libpwl5_0.11.2-6ubuntu1_armel.deb) ... Unpacking replacement libpwl5 ... Preparing to replace librtmp0 2.3-2ubuntu1 (using .../librtmp0_2.4~20110711.gitc28f1bab-1_armel.deb) ... Unpacking replacement librtmp0 ... Preparing to replace libapt-pkg4.11 0.8.16~exp5ubuntu13 (using .../libapt-pkg4.11_0.8.16~exp5ubuntu14.1_armel.deb) ... Unpacking replacement libapt-pkg4.11 ... Setting up libapt-pkg4.11 (0.8.16~exp5ubuntu14.1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13979 files and directories currently installed.) Preparing to replace apt 0.8.16~exp5ubuntu13 (using .../apt_0.8.16~exp5ubuntu14.1_armel.deb) ... Unpacking replacement apt ... Setting up apt (0.8.16~exp5ubuntu14.1) ... gpg: key 437D05B5: "Ubuntu Archive Automatic Signing Key " not changed gpg: key FBB75451: "Ubuntu CD Image Automatic Signing Key " not changed gpg: Total number processed: 2 gpg: unchanged: 2 (Reading database ... 13979 files and directories currently installed.) Preparing to replace tzdata 2011k-1 (using .../tzdata_2011l-2_armel.deb) ... Unpacking replacement tzdata ... Setting up tzdata (2011l-2) ... Current default time zone: 'Etc/UTC' Local time is now: Wed Oct 19 21:29:37 UTC 2011. Universal Time is now: Wed Oct 19 21:29:37 UTC 2011. Run 'dpkg-reconfigure tzdata' if you wish to change it. (Reading database ... 13979 files and directories currently installed.) Preparing to replace xz-utils 5.0.0-2 (using .../xz-utils_5.1.1alpha+20110809-2_armel.deb) ... Unpacking replacement xz-utils ... Setting up xz-utils (5.1.1alpha+20110809-2) ... (Reading database ... 13979 files and directories currently installed.) Preparing to replace lockfile-progs 0.1.15ubuntu1 (using .../lockfile-progs_0.1.16_armel.deb) ... Unpacking replacement lockfile-progs ... Preparing to replace netbase 4.45ubuntu3 (using .../netbase_4.46ubuntu1_all.deb) ... Unpacking replacement netbase ... Preparing to replace iproute 20110315-1build1 (using .../iproute_20110629-1_armel.deb) ... Unpacking replacement iproute ... Preparing to replace libnih-dbus1 1.0.3-4ubuntu2 (using .../libnih-dbus1_1.0.3-4ubuntu3_armel.deb) ... Unpacking replacement libnih-dbus1 ... Preparing to replace libnih1 1.0.3-4ubuntu2 (using .../libnih1_1.0.3-4ubuntu3_armel.deb) ... Unpacking replacement libnih1 ... Preparing to replace udev 173-0ubuntu4 (using .../udev_173-0ubuntu5_armel.deb) ... Adding 'diversion of /sbin/udevadm to /sbin/udevadm.upgrade by fake-udev' Unpacking replacement udev ... Preparing to replace apt-transport-https 0.8.16~exp5ubuntu13 (using .../apt-transport-https_0.8.16~exp5ubuntu14.1_armel.deb) ... Unpacking replacement apt-transport-https ... Preparing to replace manpages 3.27-1ubuntu2 (using .../manpages_3.32-0.2ubuntu1_all.deb) ... Unpacking replacement manpages ... Preparing to replace dpkg-dev 1.16.0.3ubuntu5 (using .../dpkg-dev_1.16.1ubuntu1_all.deb) ... Unpacking replacement dpkg-dev ... Preparing to replace libdpkg-perl 1.16.0.3ubuntu5 (using .../libdpkg-perl_1.16.1ubuntu1_all.deb) ... Unpacking replacement libdpkg-perl ... Preparing to replace fakeroot 1.17-1 (using .../fakeroot_1.18.1-1_armel.deb) ... Unpacking replacement fakeroot ... Preparing to replace libalgorithm-diff-xs-perl 0.04-1build1 (using .../libalgorithm-diff-xs-perl_0.04-2_armel.deb) ... Unpacking replacement libalgorithm-diff-xs-perl ... Preparing to replace libclass-isa-perl 0.36-1 (using .../libclass-isa-perl_0.36-2_all.deb) ... Unpacking replacement libclass-isa-perl ... Preparing to replace libswitch-perl 2.16-1 (using .../libswitch-perl_2.16-2_all.deb) ... Unpacking replacement libswitch-perl ... Preparing to replace linux-libc-dev 3.0.0-12.20 (using .../linux-libc-dev_3.1.0-1.1_armel.deb) ... Unpacking replacement linux-libc-dev ... Preparing to replace manpages-dev 3.27-1ubuntu2 (using .../manpages-dev_3.32-0.2ubuntu1_all.deb) ... Unpacking replacement manpages-dev ... Setting up libgomp1 (4.6.1-15ubuntu1) ... Setting up libgmp10 (2:5.0.2+dfsg-1ubuntu1) ... Setting up libmpfr4 (3.1.0-2) ... Setting up libmpc2 (0.9-4) ... Setting up cpp-4.6 (4.6.1-15ubuntu1) ... Setting up binutils (2.21.90.20111004-2ubuntu1) ... Setting up gcc-4.6 (4.6.1-15ubuntu1) ... Setting up bzip2 (1.0.5-7) ... Setting up libncursesw5 (5.9-2) ... Setting up liblockfile-bin (1.09-3) ... Setting up liblockfile1 (1.09-3) ... Setting up libdbus-1-3 (1.4.16-1ubuntu1) ... Setting up libffi6 (3.0.11~rc1-5) ... Setting up libpcre3 (8.12-4) ... Setting up libudev0 (173-0ubuntu5) ... Setting up libp11-kit0 (0.6-0ubuntu2) ... Setting up libgpg-error0 (1.10-1ubuntu1) ... Setting up libgcrypt11 (1.5.0-3) ... Setting up libgnutls26 (2.12.11-1) ... Setting up libidn11 (1.22-3) ... Setting up libkeyutils1 (1.5.2-2) ... Setting up libldap-2.4-2 (2.4.25-3ubuntu1) ... Setting up libgmpxx4ldbl (2:5.0.2+dfsg-1ubuntu1) ... Setting up libppl9 (0.11.2-6ubuntu1) ... Setting up libpwl5 (0.11.2-6ubuntu1) ... Setting up libppl-c4 (0.11.2-6ubuntu1) ... Setting up librtmp0 (2.4~20110711.gitc28f1bab-1) ... Setting up lockfile-progs (0.1.16) ... Setting up netbase (4.46ubuntu1) ... Installing new version of config file /etc/protocols ... Installing new version of config file /etc/services ... Setting up iproute (20110629-1) ... Setting up libnih1 (1.0.3-4ubuntu3) ... Setting up libnih-dbus1 (1.0.3-4ubuntu3) ... Setting up udev (173-0ubuntu5) ... Removing 'diversion of /sbin/udevadm to /sbin/udevadm.upgrade by fake-udev' update-initramfs: deferring update (trigger activated) Setting up apt-transport-https (0.8.16~exp5ubuntu14.1) ... Setting up manpages (3.32-0.2ubuntu1) ... Setting up fakeroot (1.18.1-1) ... Setting up linux-libc-dev (3.1.0-1.1) ... Setting up manpages-dev (3.32-0.2ubuntu1) ... Setting up libstdc++6-4.6-dev (4.6.1-15ubuntu1) ... Setting up perl-modules (5.12.4-6) ... Setting up perl (5.12.4-6) ... Setting up libdpkg-perl (1.16.1ubuntu1) ... Setting up dpkg-dev (1.16.1ubuntu1) ... Setting up libalgorithm-diff-xs-perl (0.04-2) ... Setting up libclass-isa-perl (0.36-2) ... Setting up libswitch-perl (2.16-2) ... Setting up g++-4.6 (4.6.1-15ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place Processing triggers for initramfs-tools ... RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', '99dfcbdfc8fe915515285df9a6a9e52334b3c41f', 'armel', 'precise', '--nolog', '--batch', '--archive=ubuntu', '--dist=precise', '--purpose=PRIMARY', '--architecture=armel', '--comp=universe', 'spass_3.7-3.dsc'] Initiating build 99dfcbdfc8fe915515285df9a6a9e52334b3c41f with 2 processor cores. Automatic build of spass_3.7-3 on shedir by sbuild/armel 1.170.5 Build started at 20111019-2130 ****************************************************************************** spass_3.7-3.dsc exists in cwd sh: gcc: not found ** Using build dependencies supplied by package: Build-Depends: debhelper (>= 7) sh: gcc: not found sh: gcc: not found sh: gcc: not found sh: gcc: not found sh: gcc: not found sh: gcc: not found sh: gcc: not found sh: gcc: not found Checking for already installed source dependencies... debhelper: missing Checking for source dependency conflicts... /usr/bin/sudo /usr/bin/apt-get --purge $CHROOT_OPTIONS -q -y install debhelper Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: bsdmainutils file gettext gettext-base groff-base html2text intltool-debian libcroco3 libmagic1 libpipeline1 libunistring0 libxml2 man-db po-debconf Suggested packages: wamerican wordlist whois vacation dh-make gettext-doc groff less www-browser libmail-box-perl Recommended packages: curl wget lynx-cur xml-core libmail-sendmail-perl The following NEW packages will be installed: bsdmainutils debhelper file gettext gettext-base groff-base html2text intltool-debian libcroco3 libmagic1 libpipeline1 libunistring0 libxml2 man-db po-debconf 0 upgraded, 15 newly installed, 0 to remove and 0 not upgraded. Need to get 5115 kB of archives. After this operation, 16.9 MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libpipeline1 libmagic1 file bsdmainutils gettext-base groff-base libxml2 man-db html2text libcroco3 libunistring0 gettext intltool-debian po-debconf debhelper Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ precise/main libpipeline1 armel 1.2.0-3 [20.6 kB] Get:2 http://ftpmaster.internal/ubuntu/ precise/main libmagic1 armel 5.08-1 [210 kB] Get:3 http://ftpmaster.internal/ubuntu/ precise/main file armel 5.08-1 [19.0 kB] Get:4 http://ftpmaster.internal/ubuntu/ precise/main bsdmainutils armel 8.2.3 [194 kB] Get:5 http://ftpmaster.internal/ubuntu/ precise/main gettext-base armel 0.18.1.1-3ubuntu1 [56.1 kB] Get:6 http://ftpmaster.internal/ubuntu/ precise/main groff-base armel 1.21-6 [934 kB] Get:7 http://ftpmaster.internal/ubuntu/ precise/main libxml2 armel 2.7.8.dfsg-5 [551 kB] Get:8 http://ftpmaster.internal/ubuntu/ precise/main man-db armel 2.6.0.2-2 [675 kB] Get:9 http://ftpmaster.internal/ubuntu/ precise/main html2text armel 1.3.2a-15 [94.3 kB] Get:10 http://ftpmaster.internal/ubuntu/ precise/main libcroco3 armel 0.6.2-1 [89.5 kB] Get:11 http://ftpmaster.internal/ubuntu/ precise/main libunistring0 armel 0.9.3-4 [394 kB] Get:12 http://ftpmaster.internal/ubuntu/ precise/main gettext armel 0.18.1.1-3ubuntu1 [1156 kB] Get:13 http://ftpmaster.internal/ubuntu/ precise/main intltool-debian all 0.35.0+20060710.1 [31.6 kB] Get:14 http://ftpmaster.internal/ubuntu/ precise/main po-debconf all 1.0.16+nmu1 [212 kB] Get:15 http://ftpmaster.internal/ubuntu/ precise/main debhelper all 8.9.8ubuntu1 [478 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 5115 kB in 1s (3967 kB/s) Selecting previously unselected package libpipeline1. (Reading database ... 13993 files and directories currently installed.) Unpacking libpipeline1 (from .../libpipeline1_1.2.0-3_armel.deb) ... Selecting previously unselected package libmagic1. Unpacking libmagic1 (from .../libmagic1_5.08-1_armel.deb) ... Selecting previously unselected package file. Unpacking file (from .../archives/file_5.08-1_armel.deb) ... Selecting previously unselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_8.2.3_armel.deb) ... Selecting previously unselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.1.1-3ubuntu1_armel.deb) ... Selecting previously unselected package groff-base. Unpacking groff-base (from .../groff-base_1.21-6_armel.deb) ... Selecting previously unselected package libxml2. Unpacking libxml2 (from .../libxml2_2.7.8.dfsg-5_armel.deb) ... Selecting previously unselected package man-db. Unpacking man-db (from .../man-db_2.6.0.2-2_armel.deb) ... Selecting previously unselected package html2text. Unpacking html2text (from .../html2text_1.3.2a-15_armel.deb) ... Selecting previously unselected package libcroco3. Unpacking libcroco3 (from .../libcroco3_0.6.2-1_armel.deb) ... Selecting previously unselected package libunistring0. Unpacking libunistring0 (from .../libunistring0_0.9.3-4_armel.deb) ... Selecting previously unselected package gettext. Unpacking gettext (from .../gettext_0.18.1.1-3ubuntu1_armel.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+nmu1_all.deb) ... Selecting previously unselected package debhelper. Unpacking debhelper (from .../debhelper_8.9.8ubuntu1_all.deb) ... Setting up libpipeline1 (1.2.0-3) ... Setting up libmagic1 (5.08-1) ... Setting up file (5.08-1) ... Setting up bsdmainutils (8.2.3) ... 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 gettext-base (0.18.1.1-3ubuntu1) ... Setting up groff-base (1.21-6) ... Setting up libxml2 (2.7.8.dfsg-5) ... Setting up man-db (2.6.0.2-2) ... Building database of manual pages ... Setting up html2text (1.3.2a-15) ... Setting up libcroco3 (0.6.2-1) ... Setting up libunistring0 (0.9.3-4) ... Setting up gettext (0.18.1.1-3ubuntu1) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu1) ... Setting up debhelper (8.9.8ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place Checking correctness of source dependencies... Toolchain package versions: libc6-dev_2.13-20ubuntu5 make_3.81-8.1ubuntu1 dpkg-dev_1.16.1ubuntu1 gcc-4.6_4.6.1-15ubuntu1 g++-4.6_4.6.1-15ubuntu1 binutils_2.21.90.20111004-2ubuntu1 libstdc++6-4.6-dev_4.6.1-15ubuntu1 libstdc++6_4.6.1-15ubuntu1 ------------------------------------------------------------------------------ dpkg-source: warning: -sn is not a valid option for Dpkg::Source::Package::V3::quilt gpgv: Signature made Mon Aug 15 20:20:03 2011 UTC using DSA key ID 1BF8DE0F gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./spass_3.7-3.dsc dpkg-source: info: extracting spass in spass-3.7 dpkg-source: info: unpacking spass_3.7.orig.tar.gz dpkg-source: info: unpacking spass_3.7-3.debian.tar.gz dpkg-buildpackage: export CFLAGS from dpkg-buildflags (origin: vendor): -g -O2 -fstack-protector --param=ssp-buffer-size=4 -D_FORTIFY_SOURCE=2 -Wformat -Wformat-security -Werror=format-security dpkg-buildpackage: export CPPFLAGS from dpkg-buildflags (origin: vendor): dpkg-buildpackage: export CXXFLAGS from dpkg-buildflags (origin: vendor): -g -O2 -fstack-protector --param=ssp-buffer-size=4 -D_FORTIFY_SOURCE=2 -Wformat -Wformat-security -Werror=format-security dpkg-buildpackage: export FFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export LDFLAGS from dpkg-buildflags (origin: vendor): -Wl,-Bsymbolic-functions -Wl,-z,relro dpkg-buildpackage: source package spass dpkg-buildpackage: source version 3.7-3 dpkg-source --before-build spass-3.7 dpkg-buildpackage: host architecture armel /usr/bin/fakeroot debian/rules clean dh_testdir dh_testroot rm -f install-stamp build-stamp configure-stamp source-stamp [ ! -f Makefile ] || /usr/bin/make distclean rm -f scripts/FLOTTER dh_clean debian/rules build dh_testdir ./configure --build arm-linux-gnueabi \ --prefix=/usr \ --infodir=/usr/share/info \ --mandir=/usr/share/man checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... /bin/mkdir -p checking for gawk... no checking for mawk... mawk checking whether make sets $(MAKE)... yes checking for gcc... gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking for style of include used by make... GNU checking dependency style of gcc... gcc3 checking for g++... g++ checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking dependency style of g++... gcc3 checking for ranlib... ranlib checking whether gcc and cc understand -c and -o together... yes checking for a BSD-compatible install... /usr/bin/install -c checking whether ln -s works... yes checking whether make sets $(MAKE)... (cached) yes checking for bison... no checking for flex... no checking for gnutar... no checking for gtar... no checking for tar... tar checking for perl... /usr/bin/perl checking for perl version greater than or equal to 5.0004... ok checking for texi2html... no configure: WARNING: texi2html not found checking for pod2man... /usr/bin/pod2man checking for log10 in -lm... yes checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking limits.h usability... yes checking limits.h presence... yes checking for limits.h... yes checking malloc.h usability... yes checking malloc.h presence... yes checking for malloc.h... yes checking mmsystem.h usability... no checking mmsystem.h presence... no checking for mmsystem.h... no checking for unistd.h... (cached) yes checking windows.h usability... no checking windows.h presence... no checking for windows.h... no checking for an ANSI C-conforming const... yes checking return type of signal handlers... void checking for vprintf... yes checking for _doprnt... no checking for gettimeofday... yes checking for time... yes checking for strtol... yes checking for strtoul... yes configure: creating ./config.status config.status: creating Makefile config.status: creating scripts/dfg2otter.pl config.status: creating scripts/texi2pod.pl config.status: creating SPASS/config.h config.status: executing depfiles commands config.status: executing dfg2otter commands config.status: executing texi2pod commands touch configure-stamp dh_testdir /usr/bin/make make[1]: Entering directory `/build/buildd/spass-3.7' /usr/bin/make all-am make[2]: Entering directory `/build/buildd/spass-3.7' depbase=`echo SPASS/clause.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/clause.o -MD -MP -MF $depbase.Tpo -c -o SPASS/clause.o SPASS/clause.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/cmdline.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/cmdline.o -MD -MP -MF $depbase.Tpo -c -o SPASS/cmdline.o SPASS/cmdline.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/context.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/context.o -MD -MP -MF $depbase.Tpo -c -o SPASS/context.o SPASS/context.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/description.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/description.o -MD -MP -MF $depbase.Tpo -c -o SPASS/description.o SPASS/description.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/dfgparser.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/dfgparser.o -MD -MP -MF $depbase.Tpo -c -o SPASS/dfgparser.o SPASS/dfgparser.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/dfgscanner.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/dfgscanner.o -MD -MP -MF $depbase.Tpo -c -o SPASS/dfgscanner.o SPASS/dfgscanner.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/tptpparser.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/tptpparser.o -MD -MP -MF $depbase.Tpo -c -o SPASS/tptpparser.o SPASS/tptpparser.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/tptpscanner.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/tptpscanner.o -MD -MP -MF $depbase.Tpo -c -o SPASS/tptpscanner.o SPASS/tptpscanner.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/eml.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/eml.o -MD -MP -MF $depbase.Tpo -c -o SPASS/eml.o SPASS/eml.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/flags.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/flags.o -MD -MP -MF $depbase.Tpo -c -o SPASS/flags.o SPASS/flags.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/foldfg.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/foldfg.o -MD -MP -MF $depbase.Tpo -c -o SPASS/foldfg.o SPASS/foldfg.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/hashmap.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/hashmap.o -MD -MP -MF $depbase.Tpo -c -o SPASS/hashmap.o SPASS/hashmap.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/kbo.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/kbo.o -MD -MP -MF $depbase.Tpo -c -o SPASS/kbo.o SPASS/kbo.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/list.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/list.o -MD -MP -MF $depbase.Tpo -c -o SPASS/list.o SPASS/list.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/memory.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/memory.o -MD -MP -MF $depbase.Tpo -c -o SPASS/memory.o SPASS/memory.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/misc.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/misc.o -MD -MP -MF $depbase.Tpo -c -o SPASS/misc.o SPASS/misc.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/order.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/order.o -MD -MP -MF $depbase.Tpo -c -o SPASS/order.o SPASS/order.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/rpos.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/rpos.o -MD -MP -MF $depbase.Tpo -c -o SPASS/rpos.o SPASS/rpos.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/sharing.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/sharing.o -MD -MP -MF $depbase.Tpo -c -o SPASS/sharing.o SPASS/sharing.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/st.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/st.o -MD -MP -MF $depbase.Tpo -c -o SPASS/st.o SPASS/st.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/stack.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/stack.o -MD -MP -MF $depbase.Tpo -c -o SPASS/stack.o SPASS/stack.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/strings.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/strings.o -MD -MP -MF $depbase.Tpo -c -o SPASS/strings.o SPASS/strings.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/subst.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/subst.o -MD -MP -MF $depbase.Tpo -c -o SPASS/subst.o SPASS/subst.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/symbol.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/symbol.o -MD -MP -MF $depbase.Tpo -c -o SPASS/symbol.o SPASS/symbol.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/term.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/term.o -MD -MP -MF $depbase.Tpo -c -o SPASS/term.o SPASS/term.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/unify.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/unify.o -MD -MP -MF $depbase.Tpo -c -o SPASS/unify.o SPASS/unify.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/analyze.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/analyze.o -MD -MP -MF $depbase.Tpo -c -o SPASS/analyze.o SPASS/analyze.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/clock.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/clock.o -MD -MP -MF $depbase.Tpo -c -o SPASS/clock.o SPASS/clock.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/closure.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/closure.o -MD -MP -MF $depbase.Tpo -c -o SPASS/closure.o SPASS/closure.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/cnf.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/cnf.o -MD -MP -MF $depbase.Tpo -c -o SPASS/cnf.o SPASS/cnf.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/component.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/component.o -MD -MP -MF $depbase.Tpo -c -o SPASS/component.o SPASS/component.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/condensing.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/condensing.o -MD -MP -MF $depbase.Tpo -c -o SPASS/condensing.o SPASS/condensing.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/defs.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/defs.o -MD -MP -MF $depbase.Tpo -c -o SPASS/defs.o SPASS/defs.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/doc-proof.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/doc-proof.o -MD -MP -MF $depbase.Tpo -c -o SPASS/doc-proof.o SPASS/doc-proof.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/graph.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/graph.o -MD -MP -MF $depbase.Tpo -c -o SPASS/graph.o SPASS/graph.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/hash.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/hash.o -MD -MP -MF $depbase.Tpo -c -o SPASS/hash.o SPASS/hash.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/hasharray.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/hasharray.o -MD -MP -MF $depbase.Tpo -c -o SPASS/hasharray.o SPASS/hasharray.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/iaparser.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/iaparser.o -MD -MP -MF $depbase.Tpo -c -o SPASS/iaparser.o SPASS/iaparser.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/iascanner.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/iascanner.o -MD -MP -MF $depbase.Tpo -c -o SPASS/iascanner.o SPASS/iascanner.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/partition.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/partition.o -MD -MP -MF $depbase.Tpo -c -o SPASS/partition.o SPASS/partition.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/proofcheck.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/proofcheck.o -MD -MP -MF $depbase.Tpo -c -o SPASS/proofcheck.o SPASS/proofcheck.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/ras.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/ras.o -MD -MP -MF $depbase.Tpo -c -o SPASS/ras.o SPASS/ras.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/renaming.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/renaming.o -MD -MP -MF $depbase.Tpo -c -o SPASS/renaming.o SPASS/renaming.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/resolution.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/resolution.o -MD -MP -MF $depbase.Tpo -c -o SPASS/resolution.o SPASS/resolution.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/rules-inf.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/rules-inf.o -MD -MP -MF $depbase.Tpo -c -o SPASS/rules-inf.o SPASS/rules-inf.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/rules-red.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/rules-red.o -MD -MP -MF $depbase.Tpo -c -o SPASS/rules-red.o SPASS/rules-red.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/rules-sort.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/rules-sort.o -MD -MP -MF $depbase.Tpo -c -o SPASS/rules-sort.o SPASS/rules-sort.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/rules-split.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/rules-split.o -MD -MP -MF $depbase.Tpo -c -o SPASS/rules-split.o SPASS/rules-split.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/rules-ur.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/rules-ur.o -MD -MP -MF $depbase.Tpo -c -o SPASS/rules-ur.o SPASS/rules-ur.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/search.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/search.o -MD -MP -MF $depbase.Tpo -c -o SPASS/search.o SPASS/search.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/sort.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/sort.o -MD -MP -MF $depbase.Tpo -c -o SPASS/sort.o SPASS/sort.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/subsumption.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/subsumption.o -MD -MP -MF $depbase.Tpo -c -o SPASS/subsumption.o SPASS/subsumption.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/table.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/table.o -MD -MP -MF $depbase.Tpo -c -o SPASS/table.o SPASS/table.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/tableau.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/tableau.o -MD -MP -MF $depbase.Tpo -c -o SPASS/tableau.o SPASS/tableau.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/terminator.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/terminator.o -MD -MP -MF $depbase.Tpo -c -o SPASS/terminator.o SPASS/terminator.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/top.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/top.o -MD -MP -MF $depbase.Tpo -c -o SPASS/top.o SPASS/top.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/vector.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/vector.o -MD -MP -MF $depbase.Tpo -c -o SPASS/vector.o SPASS/vector.c &&\ mv -f $depbase.Tpo $depbase.Po gcc -O3 -DSPASS_SIGNALS=1 -D__inline__= -Wl,-Bsymbolic-functions -Wl,-z,relro -o SPASS/SPASS SPASS/clause.o SPASS/cmdline.o SPASS/context.o SPASS/description.o SPASS/dfgparser.o SPASS/dfgscanner.o SPASS/tptpparser.o SPASS/tptpscanner.o SPASS/eml.o SPASS/flags.o SPASS/foldfg.o SPASS/hashmap.o SPASS/kbo.o SPASS/list.o SPASS/memory.o SPASS/misc.o SPASS/order.o SPASS/rpos.o SPASS/sharing.o SPASS/st.o SPASS/stack.o SPASS/strings.o SPASS/subst.o SPASS/symbol.o SPASS/term.o SPASS/unify.o SPASS/analyze.o SPASS/clock.o SPASS/closure.o SPASS/cnf.o SPASS/component.o SPASS/condensing.o SPASS/defs.o SPASS/doc-proof.o SPASS/graph.o SPASS/hash.o SPASS/hasharray.o SPASS/iaparser.o SPASS/iascanner.o SPASS/partition.o SPASS/proofcheck.o SPASS/ras.o SPASS/renaming.o SPASS/resolution.o SPASS/rules-inf.o SPASS/rules-red.o SPASS/rules-sort.o SPASS/rules-split.o SPASS/rules-ur.o SPASS/search.o SPASS/sort.o SPASS/subsumption.o SPASS/table.o SPASS/tableau.o SPASS/terminator.o SPASS/top.o SPASS/vector.o -lm depbase=`echo SPASS/dfg2otter.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/dfg2otter.o -MD -MP -MF $depbase.Tpo -c -o SPASS/dfg2otter.o SPASS/dfg2otter.c &&\ mv -f $depbase.Tpo $depbase.Po gcc -O3 -DSPASS_SIGNALS=1 -D__inline__= -Wl,-Bsymbolic-functions -Wl,-z,relro -o SPASS/dfg2otter SPASS/clause.o SPASS/cmdline.o SPASS/context.o SPASS/description.o SPASS/dfgparser.o SPASS/dfgscanner.o SPASS/tptpparser.o SPASS/tptpscanner.o SPASS/eml.o SPASS/flags.o SPASS/foldfg.o SPASS/hashmap.o SPASS/kbo.o SPASS/list.o SPASS/memory.o SPASS/misc.o SPASS/order.o SPASS/rpos.o SPASS/sharing.o SPASS/st.o SPASS/stack.o SPASS/strings.o SPASS/subst.o SPASS/symbol.o SPASS/term.o SPASS/unify.o SPASS/dfg2otter.o -lm depbase=`echo SPASS/dfg2tptp.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/dfg2tptp.o -MD -MP -MF $depbase.Tpo -c -o SPASS/dfg2tptp.o SPASS/dfg2tptp.c &&\ mv -f $depbase.Tpo $depbase.Po gcc -O3 -DSPASS_SIGNALS=1 -D__inline__= -Wl,-Bsymbolic-functions -Wl,-z,relro -o SPASS/dfg2tptp SPASS/clause.o SPASS/cmdline.o SPASS/context.o SPASS/description.o SPASS/dfgparser.o SPASS/dfgscanner.o SPASS/tptpparser.o SPASS/tptpscanner.o SPASS/eml.o SPASS/flags.o SPASS/foldfg.o SPASS/hashmap.o SPASS/kbo.o SPASS/list.o SPASS/memory.o SPASS/misc.o SPASS/order.o SPASS/rpos.o SPASS/sharing.o SPASS/st.o SPASS/stack.o SPASS/strings.o SPASS/subst.o SPASS/symbol.o SPASS/term.o SPASS/unify.o SPASS/dfg2tptp.o -lm depbase=`echo SPASS/tptp2dfg.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/tptp2dfg.o -MD -MP -MF $depbase.Tpo -c -o SPASS/tptp2dfg.o SPASS/tptp2dfg.c &&\ mv -f $depbase.Tpo $depbase.Po gcc -O3 -DSPASS_SIGNALS=1 -D__inline__= -Wl,-Bsymbolic-functions -Wl,-z,relro -o SPASS/tptp2dfg SPASS/clause.o SPASS/cmdline.o SPASS/context.o SPASS/description.o SPASS/dfgparser.o SPASS/dfgscanner.o SPASS/tptpparser.o SPASS/tptpscanner.o SPASS/eml.o SPASS/flags.o SPASS/foldfg.o SPASS/hashmap.o SPASS/kbo.o SPASS/list.o SPASS/memory.o SPASS/misc.o SPASS/order.o SPASS/rpos.o SPASS/sharing.o SPASS/st.o SPASS/stack.o SPASS/strings.o SPASS/subst.o SPASS/symbol.o SPASS/term.o SPASS/unify.o SPASS/tptp2dfg.o -lm depbase=`echo SPASS/dfg2ascii.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/dfg2ascii.o -MD -MP -MF $depbase.Tpo -c -o SPASS/dfg2ascii.o SPASS/dfg2ascii.c &&\ mv -f $depbase.Tpo $depbase.Po gcc -O3 -DSPASS_SIGNALS=1 -D__inline__= -Wl,-Bsymbolic-functions -Wl,-z,relro -o SPASS/dfg2ascii SPASS/clause.o SPASS/cmdline.o SPASS/context.o SPASS/description.o SPASS/dfgparser.o SPASS/dfgscanner.o SPASS/tptpparser.o SPASS/tptpscanner.o SPASS/eml.o SPASS/flags.o SPASS/foldfg.o SPASS/hashmap.o SPASS/kbo.o SPASS/list.o SPASS/memory.o SPASS/misc.o SPASS/order.o SPASS/rpos.o SPASS/sharing.o SPASS/st.o SPASS/stack.o SPASS/strings.o SPASS/subst.o SPASS/symbol.o SPASS/term.o SPASS/unify.o SPASS/dfg2ascii.o -lm depbase=`echo SPASS/approx.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/approx.o -MD -MP -MF $depbase.Tpo -c -o SPASS/approx.o SPASS/approx.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/dfg2dfg.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/dfg2dfg.o -MD -MP -MF $depbase.Tpo -c -o SPASS/dfg2dfg.o SPASS/dfg2dfg.c &&\ mv -f $depbase.Tpo $depbase.Po gcc -O3 -DSPASS_SIGNALS=1 -D__inline__= -Wl,-Bsymbolic-functions -Wl,-z,relro -o SPASS/dfg2dfg SPASS/clause.o SPASS/cmdline.o SPASS/context.o SPASS/description.o SPASS/dfgparser.o SPASS/dfgscanner.o SPASS/tptpparser.o SPASS/tptpscanner.o SPASS/eml.o SPASS/flags.o SPASS/foldfg.o SPASS/hashmap.o SPASS/kbo.o SPASS/list.o SPASS/memory.o SPASS/misc.o SPASS/order.o SPASS/rpos.o SPASS/sharing.o SPASS/st.o SPASS/stack.o SPASS/strings.o SPASS/subst.o SPASS/symbol.o SPASS/term.o SPASS/unify.o SPASS/approx.o SPASS/dfg2dfg.o -lm rm -f scripts/FLOTTER ln -s SPASS/SPASS scripts/FLOTTER make[2]: Leaving directory `/build/buildd/spass-3.7' make[1]: Leaving directory `/build/buildd/spass-3.7' touch build-stamp /usr/bin/fakeroot debian/rules binary-arch dh_testdir dh_testroot dh_prep /usr/bin/make install DESTDIR=/build/buildd/spass-3.7/debian/spass make[1]: Entering directory `/build/buildd/spass-3.7' /usr/bin/make install-am make[2]: Entering directory `/build/buildd/spass-3.7' rm -f scripts/FLOTTER ln -s SPASS/SPASS scripts/FLOTTER make[3]: Entering directory `/build/buildd/spass-3.7' test -z "/usr/bin" || /bin/mkdir -p "/build/buildd/spass-3.7/debian/spass/usr/bin" /usr/bin/install -c 'SPASS/SPASS' '/build/buildd/spass-3.7/debian/spass/usr/bin/SPASS' /usr/bin/install -c 'SPASS/dfg2otter' '/build/buildd/spass-3.7/debian/spass/usr/bin/dfg2otter' /usr/bin/install -c 'SPASS/dfg2tptp' '/build/buildd/spass-3.7/debian/spass/usr/bin/dfg2tptp' /usr/bin/install -c 'SPASS/tptp2dfg' '/build/buildd/spass-3.7/debian/spass/usr/bin/tptp2dfg' /usr/bin/install -c 'SPASS/dfg2ascii' '/build/buildd/spass-3.7/debian/spass/usr/bin/dfg2ascii' /usr/bin/install -c 'SPASS/dfg2dfg' '/build/buildd/spass-3.7/debian/spass/usr/bin/dfg2dfg' rm -f scripts/FLOTTER ln -s SPASS/SPASS scripts/FLOTTER test -z "/usr/bin" || /bin/mkdir -p "/build/buildd/spass-3.7/debian/spass/usr/bin" /usr/bin/install -c 'scripts/dfg2otter.pl' '/build/buildd/spass-3.7/debian/spass/usr/bin/dfg2otter.pl' test -z "/usr/share/spass/html/" || /bin/mkdir -p "/build/buildd/spass-3.7/debian/spass/usr/share/spass/html/" /usr/bin/install -c -m 644 'doc/html/script.html' '/build/buildd/spass-3.7/debian/spass/usr/share/spass/html//script.html' /usr/bin/install -c -m 644 'doc/html/script_1.html' '/build/buildd/spass-3.7/debian/spass/usr/share/spass/html//script_1.html' /usr/bin/install -c -m 644 'doc/html/script_2.html' '/build/buildd/spass-3.7/debian/spass/usr/share/spass/html//script_2.html' /usr/bin/install -c -m 644 'doc/html/script_3.html' '/build/buildd/spass-3.7/debian/spass/usr/share/spass/html//script_3.html' /usr/bin/install -c -m 644 'doc/html/script_4.html' '/build/buildd/spass-3.7/debian/spass/usr/share/spass/html//script_4.html' /usr/bin/install -c -m 644 'doc/html/script_5.html' '/build/buildd/spass-3.7/debian/spass/usr/share/spass/html//script_5.html' /usr/bin/install -c -m 644 'doc/html/script_6.html' '/build/buildd/spass-3.7/debian/spass/usr/share/spass/html//script_6.html' /usr/bin/install -c -m 644 'doc/html/script_7.html' '/build/buildd/spass-3.7/debian/spass/usr/share/spass/html//script_7.html' /usr/bin/install -c -m 644 'doc/html/script_abt.html' '/build/buildd/spass-3.7/debian/spass/usr/share/spass/html//script_abt.html' /usr/bin/install -c -m 644 'doc/html/script_ovr.html' '/build/buildd/spass-3.7/debian/spass/usr/share/spass/html//script_ovr.html' /usr/bin/install -c -m 644 'doc/html/LICENCE.html' '/build/buildd/spass-3.7/debian/spass/usr/share/spass/html//LICENCE.html' test -z "/usr/share/info" || /bin/mkdir -p "/build/buildd/spass-3.7/debian/spass/usr/share/info" /usr/bin/install -c -m 644 './doc/texinfo/script.info' '/build/buildd/spass-3.7/debian/spass/usr/share/info/script.info' install-info --info-dir='/build/buildd/spass-3.7/debian/spass/usr/share/info' '/build/buildd/spass-3.7/debian/spass/usr/share/info/script.info' install-info: warning: nothing done since /usr/bin/install-info doesn't exist, install-info: warning: you might want to install an info-browser package. test -z "/usr/share/man/man1" || /bin/mkdir -p "/build/buildd/spass-3.7/debian/spass/usr/share/man/man1" /usr/bin/install -c -m 644 './doc/man/SPASS.1' '/build/buildd/spass-3.7/debian/spass/usr/share/man/man1/SPASS.1' /usr/bin/install -c -m 644 './doc/man/dfg2otter.pl.1' '/build/buildd/spass-3.7/debian/spass/usr/share/man/man1/dfg2otter.pl.1' /usr/bin/install -c -m 644 './doc/man/dfg2dfg.1' '/build/buildd/spass-3.7/debian/spass/usr/share/man/man1/dfg2dfg.1' /usr/bin/install -c -m 644 './doc/man/dfg2ascii.1' '/build/buildd/spass-3.7/debian/spass/usr/share/man/man1/dfg2ascii.1' /usr/bin/install -c -m 644 './doc/man/dfg2otter.1' '/build/buildd/spass-3.7/debian/spass/usr/share/man/man1/dfg2otter.1' /usr/bin/install -c -m 644 './doc/man/dfg2tptp.1' '/build/buildd/spass-3.7/debian/spass/usr/share/man/man1/dfg2tptp.1' /usr/bin/install -c -m 644 './doc/man/tptp2dfg.1' '/build/buildd/spass-3.7/debian/spass/usr/share/man/man1/tptp2dfg.1' test -z "/usr/share/spass/pdf/" || /bin/mkdir -p "/build/buildd/spass-3.7/debian/spass/usr/share/spass/pdf/" /usr/bin/install -c -m 644 'doc/handbook/handbook-spass.pdf' '/build/buildd/spass-3.7/debian/spass/usr/share/spass/pdf//handbook-spass.pdf' /usr/bin/install -c -m 644 'doc/syntax/spass-input-syntax.pdf' '/build/buildd/spass-3.7/debian/spass/usr/share/spass/pdf//spass-input-syntax.pdf' /usr/bin/install -c -m 644 'doc/tutorial/tutorial.pdf' '/build/buildd/spass-3.7/debian/spass/usr/share/spass/pdf//tutorial.pdf' make[3]: Leaving directory `/build/buildd/spass-3.7' make[2]: Leaving directory `/build/buildd/spass-3.7' make[1]: Leaving directory `/build/buildd/spass-3.7' rm -f /build/buildd/spass-3.7/debian/spass/usr/share/info/dir # until fixed upstream: rm -rf /build/buildd/spass-3.7/debian/spass/usr/share/info touch install-stamp dh_testdir dh_testroot rm -f /build/buildd/spass-3.7/debian/spass/usr/bin/FLOTTER ln -s SPASS /build/buildd/spass-3.7/debian/spass/usr/bin/FLOTTER ln -s SPASS.1 /build/buildd/spass-3.7/debian/spass/usr/share/man/man1/FLOTTER.1 dh_installdocs `find doc -name '*.pdf'` README VERSIONHISTORY dh_installexamples examples/* dh_installchangelogs dh_lintian dh_strip dh_strip debug symbol extraction: all non-arch-all packages for this build platform armel: spass dh_strip debug symbol extraction: packages to act on: spass dh_strip debug symbol extraction: ignored packages: spass is already stripped, ignoring dh_compress dh_fixperms dh_installdeb dh_shlibdeps dh_gencontrol dh_md5sums dh_builddeb INFO: pkgstriptranslations version 104 pkgstriptranslations: processing control file: ./debian/spass/DEBIAN/control, package spass, directory ./debian/spass pkgstriptranslations: spass does not contain translations, skipping pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/spass/DEBIAN/control, package spass, directory debian/spass pkgstripfiles: Truncating changelog to topmost ten records dpkg-deb: warning: 'debian/spass/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package `spass' in `../spass_3.7-3_armel.deb'. dpkg-genchanges -B -mUbuntu/armel Build Daemon >../spass_3.7-3_armel.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 spass-3.7 dpkg-buildpackage: binary only upload (no source included) ****************************************************************************** Build finished at 20111019-2136 chroot-autobuild/build/buildd/spass_3.7-3_armel.deb: new debian package, version 2.0. size 1985166 bytes: control archive= 1960 bytes. 1195 bytes, 24 lines control 2449 bytes, 37 lines md5sums Package: spass Version: 3.7-3 Architecture: armel Maintainer: Ubuntu Developers Original-Maintainer: Roland Stigge Installed-Size: 3056 Depends: dpkg (>= 1.15.4) | install-info, libc6 (>= 2.4) Section: science Priority: optional Description: An automated theorem prover for first-order logic with equality SPASS is a saturation-based automated theorem prover for first-order logic with equality. It is unique due to the combination of the superposition calculus with specific inference/reduction rules for sorts (types) and a splitting rule for case analysis motivated by the beta-rule of analytic tableaux and the case analysis employed in the Davis-Putnam procedure. Furthermore, SPASS provides a sophisticated clause normal form translation. . This package consists of the SPASS/FLOTTER binary, documentation, and a small example collection. The tools collections contain the proof checker pcs, the syntax translators dfg2otter and dfg2tptp, and the ASCII pretty printer dfg2ascii. . For more information, additional and partly huge example collections, consider the project homepage at http://spass.mpi-sb.mpg.de/. chroot-autobuild/build/buildd/spass_3.7-3_armel.deb: drwxr-xr-x root/root 0 2011-10-19 21:36 ./ drwxr-xr-x root/root 0 2011-10-19 21:36 ./usr/ drwxr-xr-x root/root 0 2011-10-19 21:36 ./usr/share/ drwxr-xr-x root/root 0 2011-10-19 21:36 ./usr/share/spass/ drwxr-xr-x root/root 0 2011-10-19 21:36 ./usr/share/spass/pdf/ -rw-r--r-- root/root 567186 2011-10-19 21:36 ./usr/share/spass/pdf/handbook-spass.pdf -rw-r--r-- root/root 204814 2011-10-19 21:36 ./usr/share/spass/pdf/spass-input-syntax.pdf -rw-r--r-- root/root 25575 2011-10-19 21:36 ./usr/share/spass/pdf/tutorial.pdf drwxr-xr-x root/root 0 2011-10-19 21:36 ./usr/share/spass/html/ -rw-r--r-- root/root 11451 2011-10-19 21:36 ./usr/share/spass/html/script_2.html -rw-r--r-- root/root 8022 2011-10-19 21:36 ./usr/share/spass/html/script_5.html -rw-r--r-- root/root 3829 2011-10-19 21:36 ./usr/share/spass/html/script_ovr.html -rw-r--r-- root/root 1827 2011-10-19 21:36 ./usr/share/spass/html/LICENCE.html -rw-r--r-- root/root 6868 2011-10-19 21:36 ./usr/share/spass/html/script_7.html -rw-r--r-- root/root 5129 2011-10-19 21:36 ./usr/share/spass/html/script_abt.html -rw-r--r-- root/root 5000 2011-10-19 21:36 ./usr/share/spass/html/script_6.html -rw-r--r-- root/root 31919 2011-10-19 21:36 ./usr/share/spass/html/script_1.html -rw-r--r-- root/root 5406 2011-10-19 21:36 ./usr/share/spass/html/script_3.html -rw-r--r-- root/root 9173 2011-10-19 21:36 ./usr/share/spass/html/script_4.html -rw-r--r-- root/root 5778 2011-10-19 21:36 ./usr/share/spass/html/script.html drwxr-xr-x root/root 0 2011-10-19 21:36 ./usr/share/man/ drwxr-xr-x root/root 0 2011-10-19 21:36 ./usr/share/man/man1/ -rw-r--r-- root/root 2185 2011-10-19 21:36 ./usr/share/man/man1/dfg2otter.pl.1.gz -rw-r--r-- root/root 2797 2011-10-19 21:36 ./usr/share/man/man1/dfg2dfg.1.gz -rw-r--r-- root/root 8974 2011-10-19 21:36 ./usr/share/man/man1/SPASS.1.gz -rw-r--r-- root/root 2107 2011-10-19 21:36 ./usr/share/man/man1/dfg2tptp.1.gz -rw-r--r-- root/root 2160 2011-10-19 21:36 ./usr/share/man/man1/dfg2otter.1.gz -rw-r--r-- root/root 2196 2011-10-19 21:36 ./usr/share/man/man1/tptp2dfg.1.gz -rw-r--r-- root/root 2020 2011-10-19 21:36 ./usr/share/man/man1/dfg2ascii.1.gz drwxr-xr-x root/root 0 2011-10-19 21:36 ./usr/share/lintian/ drwxr-xr-x root/root 0 2011-10-19 21:36 ./usr/share/lintian/overrides/ -rw-r--r-- root/root 155 2010-06-27 17:51 ./usr/share/lintian/overrides/spass drwxr-xr-x root/root 0 2011-10-19 21:36 ./usr/share/doc/ drwxr-xr-x root/root 0 2011-10-19 21:36 ./usr/share/doc/spass/ -rw-r--r-- root/root 343882 2010-02-23 12:42 ./usr/share/doc/spass/handbook-spass.pdf.gz -rw-r--r-- root/root 1748 2010-06-27 17:37 ./usr/share/doc/spass/copyright -rw-r--r-- root/root 21509 2006-02-20 10:28 ./usr/share/doc/spass/tutorial.pdf.gz drwxr-xr-x root/root 0 2011-10-19 21:36 ./usr/share/doc/spass/examples/ -rw-r--r-- root/root 669 2006-02-20 10:28 ./usr/share/doc/spass/examples/problem54.dfg -rw-r--r-- root/root 4185 2010-02-23 12:33 ./usr/share/doc/spass/VERSIONHISTORY.gz -rw-r--r-- root/root 2298 2010-01-04 11:00 ./usr/share/doc/spass/README -rw-r--r-- root/root 97634 2010-02-23 12:42 ./usr/share/doc/spass/spass-input-syntax.pdf.gz -rw-r--r-- root/root 771 2011-10-19 21:36 ./usr/share/doc/spass/changelog.Debian.gz drwxr-xr-x root/root 0 2011-10-19 21:36 ./usr/bin/ -rwxr-xr-x root/root 243252 2011-10-19 21:36 ./usr/bin/dfg2tptp -rwxr-xr-x root/root 243260 2011-10-19 21:36 ./usr/bin/dfg2otter -rwxr-xr-x root/root 452188 2011-10-19 21:36 ./usr/bin/SPASS -rwxr-xr-x root/root 243252 2011-10-19 21:36 ./usr/bin/tptp2dfg -rwxr-xr-x root/root 7353 2011-10-19 21:36 ./usr/bin/dfg2otter.pl -rwxr-xr-x root/root 243260 2011-10-19 21:36 ./usr/bin/dfg2ascii -rwxr-xr-x root/root 247356 2011-10-19 21:36 ./usr/bin/dfg2dfg lrwxrwxrwx root/root 0 2011-10-19 21:36 ./usr/share/man/man1/FLOTTER.1.gz -> SPASS.1.gz lrwxrwxrwx root/root 0 2011-10-19 21:36 ./usr/bin/FLOTTER -> SPASS spass_3.7-3_armel.changes: Format: 1.8 Date: Mon, 15 Aug 2011 22:07:12 +0200 Source: spass Binary: spass Architecture: armel Version: 3.7-3 Distribution: precise Urgency: low Maintainer: Ubuntu/armel Build Daemon Changed-By: Roland Stigge Description: spass - An automated theorem prover for first-order logic with equality Changes: spass (3.7-3) unstable; urgency=low . * Added debian/watch Checksums-Sha1: fc92bd54da0755e522683343ac056aeda44b4bb9 1985166 spass_3.7-3_armel.deb Checksums-Sha256: c5391901e64c91cd1a2b4a7c5134285eb333496f5b2f78d1b4f736a38a960fc3 1985166 spass_3.7-3_armel.deb Files: 4ea04f31917524e1d39dd869ac0f729d 1985166 science optional spass_3.7-3_armel.deb ****************************************************************************** Built successfully Purging chroot-autobuild/build/buildd/spass-3.7 ------------------------------------------------------------------------------ /usr/bin/sudo dpkg --purge po-debconf libunistring0 intltool-debian groff-base libcroco3 libmagic1 gettext file libpipeline1 libxml2 bsdmainutils html2text gettext-base man-db debhelper (Reading database ... 15133 files and directories currently installed.) Removing debhelper ... Removing po-debconf ... Removing intltool-debian ... Removing gettext ... Removing file ... Removing html2text ... Purging configuration files for html2text ... Removing gettext-base ... Removing man-db ... Purging configuration files for man-db ... Removing catpages as well as /var/cache/man hierarchy. Removing libunistring0 ... Purging configuration files for libunistring0 ... Removing groff-base ... Purging configuration files for groff-base ... Removing libcroco3 ... Purging configuration files for libcroco3 ... Removing libmagic1 ... Purging configuration files for libmagic1 ... Removing libpipeline1 ... Purging configuration files for libpipeline1 ... Removing libxml2 ... Purging configuration files for libxml2 ... Removing bsdmainutils ... Purging configuration files for bsdmainutils ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place ****************************************************************************** Finished at 20111019-2137 Build needed 00:04:14, 14540k disk space Can't open average time db /var/debbuild/avg-build-times Can't open average space db /var/debbuild/avg-build-space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['/usr/share/launchpad-buildd/slavebin/scan-for-processes', '99dfcbdfc8fe915515285df9a6a9e52334b3c41f'] Scanning for processes to kill in build /home/buildd/build-99dfcbdfc8fe915515285df9a6a9e52334b3c41f/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', '99dfcbdfc8fe915515285df9a6a9e52334b3c41f'] Unmounting chroot for build 99dfcbdfc8fe915515285df9a6a9e52334b3c41f... none /home/buildd/build-99dfcbdfc8fe915515285df9a6a9e52334b3c41f/chroot-autobuild/proc proc rw,relatime 0 0 none /home/buildd/build-99dfcbdfc8fe915515285df9a6a9e52334b3c41f/chroot-autobuild/dev/pts devpts rw,relatime,mode=600 0 0 none /home/buildd/build-99dfcbdfc8fe915515285df9a6a9e52334b3c41f/chroot-autobuild/sys sysfs rw,relatime 0 0 none /home/buildd/build-99dfcbdfc8fe915515285df9a6a9e52334b3c41f/chroot-autobuild/dev/shm tmpfs rw,relatime 0 0 RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', '99dfcbdfc8fe915515285df9a6a9e52334b3c41f'] Removing build 99dfcbdfc8fe915515285df9a6a9e52334b3c41f