https://launchpad.net/ubuntu/+archive/test-rebuild-20181222/+build/16005697 RUN: /usr/share/launchpad-buildd/slavebin/slave-prep Forking launchpad-buildd slave process... Kernel version: Linux bos02-ppc64el-014 4.4.0-141-generic #167-Ubuntu SMP Wed Dec 5 10:33:00 UTC 2018 ppc64le Buildd toolchain package versions: launchpad-buildd_165 python-lpbuildd_165 sbuild_0.67.0-2ubuntu7.1 bzr-builder_0.7.3+bzr174~ppa13~ubuntu14.10.1 bzr_2.7.0-2ubuntu3.1 git-build-recipe_0.3.4~git201611291343.dcee459~ubuntu16.04.1 git_1:2.7.4-0ubuntu1.6 dpkg-dev_1.18.4ubuntu1.5 python-debian_0.1.27ubuntu2. Syncing the system clock with the buildd NTP service... 28 Jan 12:39:43 ntpdate[1789]: adjust time server 10.211.37.1 offset 0.001254 sec RUN: /usr/share/launchpad-buildd/slavebin/in-target unpack-chroot --backend=chroot --series=bionic --arch=ppc64el PACKAGEBUILD-16005697 /home/buildd/filecache-default/eae3490d19bb2e30261b695511cfc7c4419ff6fc Creating target for build PACKAGEBUILD-16005697 RUN: /usr/share/launchpad-buildd/slavebin/in-target mount-chroot --backend=chroot --series=bionic --arch=ppc64el PACKAGEBUILD-16005697 Starting target for build PACKAGEBUILD-16005697 RUN: /usr/share/launchpad-buildd/slavebin/in-target override-sources-list --backend=chroot --series=bionic --arch=ppc64el PACKAGEBUILD-16005697 'deb http://ftpmaster.internal/ubuntu bionic main restricted universe multiverse' 'deb http://ftpmaster.internal/ubuntu bionic-security main restricted universe multiverse' 'deb http://ftpmaster.internal/ubuntu bionic-updates main restricted universe multiverse' Overriding sources.list in build-PACKAGEBUILD-16005697 RUN: /usr/share/launchpad-buildd/slavebin/in-target update-debian-chroot --backend=chroot --series=bionic --arch=ppc64el PACKAGEBUILD-16005697 Updating target for build PACKAGEBUILD-16005697 Get:1 http://ftpmaster.internal/ubuntu bionic InRelease [242 kB] Get:2 http://ftpmaster.internal/ubuntu bionic-security InRelease [88.7 kB] Get:3 http://ftpmaster.internal/ubuntu bionic-updates InRelease [88.7 kB] Get:4 http://ftpmaster.internal/ubuntu bionic/main ppc64el Packages [974 kB] Get:5 http://ftpmaster.internal/ubuntu bionic/main Translation-en [516 kB] Get:6 http://ftpmaster.internal/ubuntu bionic/universe ppc64el Packages [8260 kB] Get:7 http://ftpmaster.internal/ubuntu bionic/universe Translation-en [4941 kB] Get:8 http://ftpmaster.internal/ubuntu bionic/multiverse ppc64el Packages [133 kB] Get:9 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el Packages [172 kB] Get:10 http://ftpmaster.internal/ubuntu bionic-security/main Translation-en [92.3 kB] Get:11 http://ftpmaster.internal/ubuntu bionic-security/universe ppc64el Packages [104 kB] Get:12 http://ftpmaster.internal/ubuntu bionic-security/universe Translation-en [64.4 kB] Get:13 http://ftpmaster.internal/ubuntu bionic-security/multiverse ppc64el Packages [1440 B] Get:14 http://ftpmaster.internal/ubuntu bionic-security/multiverse Translation-en [1848 B] Get:15 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el Packages [396 kB] Get:16 http://ftpmaster.internal/ubuntu bionic-updates/main Translation-en [184 kB] Get:17 http://ftpmaster.internal/ubuntu bionic-updates/restricted ppc64el Packages [668 B] Get:18 http://ftpmaster.internal/ubuntu bionic-updates/restricted Translation-en [3076 B] Get:19 http://ftpmaster.internal/ubuntu bionic-updates/universe ppc64el Packages [593 kB] Get:20 http://ftpmaster.internal/ubuntu bionic-updates/universe Translation-en [177 kB] Get:21 http://ftpmaster.internal/ubuntu bionic-updates/multiverse ppc64el Packages [2152 B] Get:22 http://ftpmaster.internal/ubuntu bionic-updates/multiverse Translation-en [3356 B] Fetched 17.0 MB in 11s (1513 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: apt base-files binutils binutils-common binutils-powerpc64le-linux-gnu bsdutils cpp cpp-7 dpkg dpkg-dev e2fslibs e2fsprogs fdisk g++ g++-7 gcc gcc-7 gcc-7-base gcc-8-base gpg gpg-agent gpgconf gpgv libapparmor1 libapt-pkg5.0 libasan4 libatomic1 libbinutils libblkid1 libcc1-0 libcom-err2 libcomerr2 libcryptsetup12 libdpkg-perl libext2fs2 libfdisk1 libgcc-7-dev libgcc1 libgcrypt20 libgomp1 libitm1 libkmod2 liblsan0 libmount1 libncurses5 libncursesw5 libperl5.26 libpng16-16 libprocps6 libsmartcols1 libss2 libssl1.1 libstdc++-7-dev libstdc++6 libsystemd0 libtinfo5 libtsan0 libubsan0 libudev1 libuuid1 linux-libc-dev mount ncurses-base ncurses-bin openssl perl perl-base perl-modules-5.26 pkgbinarymangler procps systemd systemd-sysv tzdata ubuntu-keyring util-linux 75 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 50.3 MB of archives. After this operation, 256 kB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el base-files ppc64el 10.1ubuntu2.3 [60.6 kB] Get:2 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el bsdutils ppc64el 1:2.31.1-0.4ubuntu3.3 [61.9 kB] Get:3 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el dpkg ppc64el 1.19.0.5ubuntu2.1 [1146 kB] Get:4 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libext2fs2 ppc64el 1.44.1-1ubuntu1 [173 kB] Get:5 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el e2fsprogs ppc64el 1.44.1-1ubuntu1 [402 kB] Get:6 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el ncurses-bin ppc64el 6.1-1ubuntu1.18.04 [171 kB] Get:7 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libperl5.26 ppc64el 5.26.1-6ubuntu0.3 [3404 kB] Get:8 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el perl ppc64el 5.26.1-6ubuntu0.3 [201 kB] Get:9 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el perl-base ppc64el 5.26.1-6ubuntu0.3 [1305 kB] Get:10 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el perl-modules-5.26 all 5.26.1-6ubuntu0.3 [2763 kB] Get:11 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libuuid1 ppc64el 2.31.1-0.4ubuntu3.3 [21.2 kB] Get:12 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libblkid1 ppc64el 2.31.1-0.4ubuntu3.3 [133 kB] Get:13 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libfdisk1 ppc64el 2.31.1-0.4ubuntu3.3 [167 kB] Get:14 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libmount1 ppc64el 2.31.1-0.4ubuntu3.3 [143 kB] Get:15 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libncurses5 ppc64el 6.1-1ubuntu1.18.04 [101 kB] Get:16 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libtinfo5 ppc64el 6.1-1ubuntu1.18.04 [91.3 kB] Get:17 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libncursesw5 ppc64el 6.1-1ubuntu1.18.04 [120 kB] Get:18 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libsmartcols1 ppc64el 2.31.1-0.4ubuntu3.3 [89.3 kB] Get:19 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el fdisk ppc64el 2.31.1-0.4ubuntu3.3 [110 kB] Get:20 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el util-linux ppc64el 2.31.1-0.4ubuntu3.3 [903 kB] Get:21 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el ncurses-base all 6.1-1ubuntu1.18.04 [17.8 kB] Get:22 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libtsan0 ppc64el 8.2.0-1ubuntu2~18.04 [295 kB] Get:23 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el liblsan0 ppc64el 8.2.0-1ubuntu2~18.04 [144 kB] Get:24 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libitm1 ppc64el 8.2.0-1ubuntu2~18.04 [29.3 kB] Get:25 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libgomp1 ppc64el 8.2.0-1ubuntu2~18.04 [79.9 kB] Get:26 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el gcc-8-base ppc64el 8.2.0-1ubuntu2~18.04 [18.3 kB] Get:27 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libgcc1 ppc64el 1:8.2.0-1ubuntu2~18.04 [30.2 kB] Get:28 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libcc1-0 ppc64el 8.2.0-1ubuntu2~18.04 [40.8 kB] Get:29 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libatomic1 ppc64el 8.2.0-1ubuntu2~18.04 [9892 B] Get:30 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libstdc++6 ppc64el 8.2.0-1ubuntu2~18.04 [445 kB] Get:31 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libudev1 ppc64el 237-3ubuntu10.11 [60.3 kB] Get:32 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libapt-pkg5.0 ppc64el 1.6.6ubuntu0.1 [903 kB] Get:33 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libgcrypt20 ppc64el 1.8.1-4ubuntu1.1 [449 kB] Get:34 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el gpgv ppc64el 2.2.4-1ubuntu1.2 [229 kB] Get:35 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el ubuntu-keyring all 2018.09.18.1~18.04.0 [22.4 kB] Get:36 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el apt ppc64el 1.6.6ubuntu0.1 [1214 kB] Get:37 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libapparmor1 ppc64el 2.12-4ubuntu5.1 [32.3 kB] Get:38 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libcryptsetup12 ppc64el 2:2.0.2-1ubuntu1.1 [159 kB] Get:39 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libkmod2 ppc64el 24-1ubuntu3.1 [42.7 kB] Get:40 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el mount ppc64el 2.31.1-0.4ubuntu3.3 [107 kB] Get:41 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libprocps6 ppc64el 2:3.3.12-3ubuntu1.1 [33.2 kB] Get:42 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el procps ppc64el 2:3.3.12-3ubuntu1.1 [239 kB] Get:43 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el systemd ppc64el 237-3ubuntu10.11 [3114 kB] Get:44 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libsystemd0 ppc64el 237-3ubuntu10.11 [222 kB] Get:45 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el systemd-sysv ppc64el 237-3ubuntu10.11 [12.0 kB] Get:46 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libcom-err2 ppc64el 1.44.1-1ubuntu1 [9520 B] Get:47 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libss2 ppc64el 1.44.1-1ubuntu1 [11.4 kB] Get:48 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libssl1.1 ppc64el 1.1.0g-2ubuntu4.3 [915 kB] Get:49 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el openssl ppc64el 1.1.0g-2ubuntu4.3 [530 kB] Get:50 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el tzdata all 2018i-0ubuntu0.18.04 [189 kB] Get:51 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libpng16-16 ppc64el 1.6.34-1ubuntu0.18.04.1 [201 kB] Get:52 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el binutils-powerpc64le-linux-gnu ppc64el 2.30-21ubuntu1~18.04 [2003 kB] Get:53 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libbinutils ppc64el 2.30-21ubuntu1~18.04 [468 kB] Get:54 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el binutils ppc64el 2.30-21ubuntu1~18.04 [3388 B] Get:55 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el binutils-common ppc64el 2.30-21ubuntu1~18.04 [193 kB] Get:56 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libubsan0 ppc64el 7.3.0-27ubuntu1~18.04 [136 kB] Get:57 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libasan4 ppc64el 7.3.0-27ubuntu1~18.04 [366 kB] Get:58 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el g++-7 ppc64el 7.3.0-27ubuntu1~18.04 [7124 kB] Get:59 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el gcc-7 ppc64el 7.3.0-27ubuntu1~18.04 [6941 kB] Get:60 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libstdc++-7-dev ppc64el 7.3.0-27ubuntu1~18.04 [1529 kB] Get:61 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libgcc-7-dev ppc64el 7.3.0-27ubuntu1~18.04 [984 kB] Get:62 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el cpp-7 ppc64el 7.3.0-27ubuntu1~18.04 [6277 kB] Get:63 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el gcc-7-base ppc64el 7.3.0-27ubuntu1~18.04 [18.9 kB] Get:64 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el cpp ppc64el 4:7.3.0-3ubuntu2.1 [27.6 kB] Get:65 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el dpkg-dev all 1.19.0.5ubuntu2.1 [608 kB] Get:66 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libdpkg-perl all 1.19.0.5ubuntu2.1 [211 kB] Get:67 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el e2fslibs ppc64el 1.44.1-1ubuntu1 [2712 B] Get:68 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el gcc ppc64el 4:7.3.0-3ubuntu2.1 [5204 B] Get:69 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el g++ ppc64el 4:7.3.0-3ubuntu2.1 [1564 B] Get:70 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el gpg ppc64el 2.2.4-1ubuntu1.2 [526 kB] Get:71 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el gpgconf ppc64el 2.2.4-1ubuntu1.2 [144 kB] Get:72 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el gpg-agent ppc64el 2.2.4-1ubuntu1.2 [260 kB] Get:73 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libcomerr2 ppc64el 1.44.1-1ubuntu1 [2712 B] Get:74 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el linux-libc-dev ppc64el 4.15.0-43.46 [1003 kB] Get:75 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el pkgbinarymangler all 138.18.04.0 [52.8 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 50.3 MB in 1s (68.8 MB/s) (Reading database ... 12528 files and directories currently installed.) Preparing to unpack .../base-files_10.1ubuntu2.3_ppc64el.deb ... Unpacking base-files (10.1ubuntu2.3) over (10.1ubuntu2) ... Setting up base-files (10.1ubuntu2.3) ... 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 ... Installing new version of config file /etc/update-motd.d/50-motd-news ... (Reading database ... 12530 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.31.1-0.4ubuntu3.3_ppc64el.deb ... Unpacking bsdutils (1:2.31.1-0.4ubuntu3.3) over (1:2.31.1-0.4ubuntu3) ... Setting up bsdutils (1:2.31.1-0.4ubuntu3.3) ... (Reading database ... 12530 files and directories currently installed.) Preparing to unpack .../dpkg_1.19.0.5ubuntu2.1_ppc64el.deb ... Unpacking dpkg (1.19.0.5ubuntu2.1) over (1.19.0.5ubuntu2) ... Setting up dpkg (1.19.0.5ubuntu2.1) ... (Reading database ... 12530 files and directories currently installed.) Preparing to unpack .../libext2fs2_1.44.1-1ubuntu1_ppc64el.deb ... Unpacking libext2fs2:ppc64el (1.44.1-1ubuntu1) over (1.44.1-1) ... Setting up libext2fs2:ppc64el (1.44.1-1ubuntu1) ... (Reading database ... 12530 files and directories currently installed.) Preparing to unpack .../e2fsprogs_1.44.1-1ubuntu1_ppc64el.deb ... Unpacking e2fsprogs (1.44.1-1ubuntu1) over (1.44.1-1) ... Setting up e2fsprogs (1.44.1-1ubuntu1) ... (Reading database ... 12530 files and directories currently installed.) Preparing to unpack .../ncurses-bin_6.1-1ubuntu1.18.04_ppc64el.deb ... Unpacking ncurses-bin (6.1-1ubuntu1.18.04) over (6.1-1ubuntu1) ... Setting up ncurses-bin (6.1-1ubuntu1.18.04) ... (Reading database ... 12530 files and directories currently installed.) Preparing to unpack .../libperl5.26_5.26.1-6ubuntu0.3_ppc64el.deb ... Unpacking libperl5.26:ppc64el (5.26.1-6ubuntu0.3) over (5.26.1-6) ... Preparing to unpack .../perl_5.26.1-6ubuntu0.3_ppc64el.deb ... Unpacking perl (5.26.1-6ubuntu0.3) over (5.26.1-6) ... Preparing to unpack .../perl-base_5.26.1-6ubuntu0.3_ppc64el.deb ... Unpacking perl-base (5.26.1-6ubuntu0.3) over (5.26.1-6) ... Setting up perl-base (5.26.1-6ubuntu0.3) ... (Reading database ... 12530 files and directories currently installed.) Preparing to unpack .../perl-modules-5.26_5.26.1-6ubuntu0.3_all.deb ... Unpacking perl-modules-5.26 (5.26.1-6ubuntu0.3) over (5.26.1-6) ... Preparing to unpack .../libuuid1_2.31.1-0.4ubuntu3.3_ppc64el.deb ... Unpacking libuuid1:ppc64el (2.31.1-0.4ubuntu3.3) over (2.31.1-0.4ubuntu3) ... Setting up libuuid1:ppc64el (2.31.1-0.4ubuntu3.3) ... (Reading database ... 12530 files and directories currently installed.) Preparing to unpack .../libblkid1_2.31.1-0.4ubuntu3.3_ppc64el.deb ... Unpacking libblkid1:ppc64el (2.31.1-0.4ubuntu3.3) over (2.31.1-0.4ubuntu3) ... Setting up libblkid1:ppc64el (2.31.1-0.4ubuntu3.3) ... (Reading database ... 12530 files and directories currently installed.) Preparing to unpack .../libfdisk1_2.31.1-0.4ubuntu3.3_ppc64el.deb ... Unpacking libfdisk1:ppc64el (2.31.1-0.4ubuntu3.3) over (2.31.1-0.4ubuntu3) ... Setting up libfdisk1:ppc64el (2.31.1-0.4ubuntu3.3) ... (Reading database ... 12530 files and directories currently installed.) Preparing to unpack .../libmount1_2.31.1-0.4ubuntu3.3_ppc64el.deb ... Unpacking libmount1:ppc64el (2.31.1-0.4ubuntu3.3) over (2.31.1-0.4ubuntu3) ... Setting up libmount1:ppc64el (2.31.1-0.4ubuntu3.3) ... (Reading database ... 12530 files and directories currently installed.) Preparing to unpack .../libncurses5_6.1-1ubuntu1.18.04_ppc64el.deb ... Unpacking libncurses5:ppc64el (6.1-1ubuntu1.18.04) over (6.1-1ubuntu1) ... Preparing to unpack .../libtinfo5_6.1-1ubuntu1.18.04_ppc64el.deb ... Unpacking libtinfo5:ppc64el (6.1-1ubuntu1.18.04) over (6.1-1ubuntu1) ... Setting up libtinfo5:ppc64el (6.1-1ubuntu1.18.04) ... (Reading database ... 12530 files and directories currently installed.) Preparing to unpack .../libncursesw5_6.1-1ubuntu1.18.04_ppc64el.deb ... Unpacking libncursesw5:ppc64el (6.1-1ubuntu1.18.04) over (6.1-1ubuntu1) ... Setting up libncursesw5:ppc64el (6.1-1ubuntu1.18.04) ... (Reading database ... 12530 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.31.1-0.4ubuntu3.3_ppc64el.deb ... Unpacking libsmartcols1:ppc64el (2.31.1-0.4ubuntu3.3) over (2.31.1-0.4ubuntu3) ... Setting up libsmartcols1:ppc64el (2.31.1-0.4ubuntu3.3) ... (Reading database ... 12530 files and directories currently installed.) Preparing to unpack .../fdisk_2.31.1-0.4ubuntu3.3_ppc64el.deb ... Unpacking fdisk (2.31.1-0.4ubuntu3.3) over (2.31.1-0.4ubuntu3) ... Setting up fdisk (2.31.1-0.4ubuntu3.3) ... (Reading database ... 12530 files and directories currently installed.) Preparing to unpack .../util-linux_2.31.1-0.4ubuntu3.3_ppc64el.deb ... Unpacking util-linux (2.31.1-0.4ubuntu3.3) over (2.31.1-0.4ubuntu3) ... Setting up util-linux (2.31.1-0.4ubuntu3.3) ... (Reading database ... 12530 files and directories currently installed.) Preparing to unpack .../ncurses-base_6.1-1ubuntu1.18.04_all.deb ... Unpacking ncurses-base (6.1-1ubuntu1.18.04) over (6.1-1ubuntu1) ... Setting up ncurses-base (6.1-1ubuntu1.18.04) ... (Reading database ... 12532 files and directories currently installed.) Preparing to unpack .../libtsan0_8.2.0-1ubuntu2~18.04_ppc64el.deb ... Unpacking libtsan0:ppc64el (8.2.0-1ubuntu2~18.04) over (8-20180414-1ubuntu2) ... Preparing to unpack .../liblsan0_8.2.0-1ubuntu2~18.04_ppc64el.deb ... Unpacking liblsan0:ppc64el (8.2.0-1ubuntu2~18.04) over (8-20180414-1ubuntu2) ... Preparing to unpack .../libitm1_8.2.0-1ubuntu2~18.04_ppc64el.deb ... Unpacking libitm1:ppc64el (8.2.0-1ubuntu2~18.04) over (8-20180414-1ubuntu2) ... Preparing to unpack .../libgomp1_8.2.0-1ubuntu2~18.04_ppc64el.deb ... Unpacking libgomp1:ppc64el (8.2.0-1ubuntu2~18.04) over (8-20180414-1ubuntu2) ... Preparing to unpack .../gcc-8-base_8.2.0-1ubuntu2~18.04_ppc64el.deb ... Unpacking gcc-8-base:ppc64el (8.2.0-1ubuntu2~18.04) over (8-20180414-1ubuntu2) ... Setting up gcc-8-base:ppc64el (8.2.0-1ubuntu2~18.04) ... (Reading database ... 12531 files and directories currently installed.) Preparing to unpack .../libgcc1_1%3a8.2.0-1ubuntu2~18.04_ppc64el.deb ... Unpacking libgcc1:ppc64el (1:8.2.0-1ubuntu2~18.04) over (1:8-20180414-1ubuntu2) ... Setting up libgcc1:ppc64el (1:8.2.0-1ubuntu2~18.04) ... (Reading database ... 12531 files and directories currently installed.) Preparing to unpack .../libcc1-0_8.2.0-1ubuntu2~18.04_ppc64el.deb ... Unpacking libcc1-0:ppc64el (8.2.0-1ubuntu2~18.04) over (8-20180414-1ubuntu2) ... Preparing to unpack .../libatomic1_8.2.0-1ubuntu2~18.04_ppc64el.deb ... Unpacking libatomic1:ppc64el (8.2.0-1ubuntu2~18.04) over (8-20180414-1ubuntu2) ... Preparing to unpack .../libstdc++6_8.2.0-1ubuntu2~18.04_ppc64el.deb ... Unpacking libstdc++6:ppc64el (8.2.0-1ubuntu2~18.04) over (8-20180414-1ubuntu2) ... Setting up libstdc++6:ppc64el (8.2.0-1ubuntu2~18.04) ... (Reading database ... 12531 files and directories currently installed.) Preparing to unpack .../libudev1_237-3ubuntu10.11_ppc64el.deb ... Unpacking libudev1:ppc64el (237-3ubuntu10.11) over (237-3ubuntu10) ... Setting up libudev1:ppc64el (237-3ubuntu10.11) ... (Reading database ... 12531 files and directories currently installed.) Preparing to unpack .../libapt-pkg5.0_1.6.6ubuntu0.1_ppc64el.deb ... Unpacking libapt-pkg5.0:ppc64el (1.6.6ubuntu0.1) over (1.6.1) ... Setting up libapt-pkg5.0:ppc64el (1.6.6ubuntu0.1) ... (Reading database ... 12531 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.8.1-4ubuntu1.1_ppc64el.deb ... Unpacking libgcrypt20:ppc64el (1.8.1-4ubuntu1.1) over (1.8.1-4ubuntu1) ... Setting up libgcrypt20:ppc64el (1.8.1-4ubuntu1.1) ... (Reading database ... 12531 files and directories currently installed.) Preparing to unpack .../gpgv_2.2.4-1ubuntu1.2_ppc64el.deb ... Unpacking gpgv (2.2.4-1ubuntu1.2) over (2.2.4-1ubuntu1) ... Setting up gpgv (2.2.4-1ubuntu1.2) ... (Reading database ... 12531 files and directories currently installed.) Preparing to unpack .../ubuntu-keyring_2018.09.18.1~18.04.0_all.deb ... Unpacking ubuntu-keyring (2018.09.18.1~18.04.0) over (2018.02.28) ... Setting up ubuntu-keyring (2018.09.18.1~18.04.0) ... (Reading database ... 12532 files and directories currently installed.) Preparing to unpack .../apt_1.6.6ubuntu0.1_ppc64el.deb ... Unpacking apt (1.6.6ubuntu0.1) over (1.6.1) ... Setting up apt (1.6.6ubuntu0.1) ... (Reading database ... 12532 files and directories currently installed.) Preparing to unpack .../0-libapparmor1_2.12-4ubuntu5.1_ppc64el.deb ... Unpacking libapparmor1:ppc64el (2.12-4ubuntu5.1) over (2.12-4ubuntu5) ... Preparing to unpack .../1-libcryptsetup12_2%3a2.0.2-1ubuntu1.1_ppc64el.deb ... Unpacking libcryptsetup12:ppc64el (2:2.0.2-1ubuntu1.1) over (2:2.0.2-1ubuntu1) ... Preparing to unpack .../2-libkmod2_24-1ubuntu3.1_ppc64el.deb ... Unpacking libkmod2:ppc64el (24-1ubuntu3.1) over (24-1ubuntu3) ... Preparing to unpack .../3-mount_2.31.1-0.4ubuntu3.3_ppc64el.deb ... Unpacking mount (2.31.1-0.4ubuntu3.3) over (2.31.1-0.4ubuntu3) ... Preparing to unpack .../4-libprocps6_2%3a3.3.12-3ubuntu1.1_ppc64el.deb ... Unpacking libprocps6:ppc64el (2:3.3.12-3ubuntu1.1) over (2:3.3.12-3ubuntu1) ... Preparing to unpack .../5-procps_2%3a3.3.12-3ubuntu1.1_ppc64el.deb ... Unpacking procps (2:3.3.12-3ubuntu1.1) over (2:3.3.12-3ubuntu1) ... Setting up libcryptsetup12:ppc64el (2:2.0.2-1ubuntu1.1) ... (Reading database ... 12532 files and directories currently installed.) Preparing to unpack .../systemd_237-3ubuntu10.11_ppc64el.deb ... Unpacking systemd (237-3ubuntu10.11) over (237-3ubuntu10) ... Preparing to unpack .../libsystemd0_237-3ubuntu10.11_ppc64el.deb ... Unpacking libsystemd0:ppc64el (237-3ubuntu10.11) over (237-3ubuntu10) ... Setting up libsystemd0:ppc64el (237-3ubuntu10.11) ... Setting up libapparmor1:ppc64el (2.12-4ubuntu5.1) ... Setting up libkmod2:ppc64el (24-1ubuntu3.1) ... Setting up mount (2.31.1-0.4ubuntu3.3) ... Setting up libncurses5:ppc64el (6.1-1ubuntu1.18.04) ... Setting up libprocps6:ppc64el (2:3.3.12-3ubuntu1.1) ... Setting up procps (2:3.3.12-3ubuntu1.1) ... Setting up systemd (237-3ubuntu10.11) ... (Reading database ... 12532 files and directories currently installed.) Preparing to unpack .../systemd-sysv_237-3ubuntu10.11_ppc64el.deb ... Unpacking systemd-sysv (237-3ubuntu10.11) over (237-3ubuntu10) ... Preparing to unpack .../libcom-err2_1.44.1-1ubuntu1_ppc64el.deb ... Unpacking libcom-err2:ppc64el (1.44.1-1ubuntu1) over (1.44.1-1) ... Setting up libcom-err2:ppc64el (1.44.1-1ubuntu1) ... (Reading database ... 12532 files and directories currently installed.) Preparing to unpack .../libss2_1.44.1-1ubuntu1_ppc64el.deb ... Unpacking libss2:ppc64el (1.44.1-1ubuntu1) over (1.44.1-1) ... Setting up libss2:ppc64el (1.44.1-1ubuntu1) ... (Reading database ... 12532 files and directories currently installed.) Preparing to unpack .../00-libssl1.1_1.1.0g-2ubuntu4.3_ppc64el.deb ... Unpacking libssl1.1:ppc64el (1.1.0g-2ubuntu4.3) over (1.1.0g-2ubuntu4) ... Preparing to unpack .../01-openssl_1.1.0g-2ubuntu4.3_ppc64el.deb ... Unpacking openssl (1.1.0g-2ubuntu4.3) over (1.1.0g-2ubuntu4) ... Preparing to unpack .../02-tzdata_2018i-0ubuntu0.18.04_all.deb ... Unpacking tzdata (2018i-0ubuntu0.18.04) over (2018d-1) ... Preparing to unpack .../03-libpng16-16_1.6.34-1ubuntu0.18.04.1_ppc64el.deb ... Unpacking libpng16-16:ppc64el (1.6.34-1ubuntu0.18.04.1) over (1.6.34-1) ... Preparing to unpack .../04-binutils-powerpc64le-linux-gnu_2.30-21ubuntu1~18.04_ppc64el.deb ... Unpacking binutils-powerpc64le-linux-gnu (2.30-21ubuntu1~18.04) over (2.30-15ubuntu1) ... Preparing to unpack .../05-libbinutils_2.30-21ubuntu1~18.04_ppc64el.deb ... Unpacking libbinutils:ppc64el (2.30-21ubuntu1~18.04) over (2.30-15ubuntu1) ... Preparing to unpack .../06-binutils_2.30-21ubuntu1~18.04_ppc64el.deb ... Unpacking binutils (2.30-21ubuntu1~18.04) over (2.30-15ubuntu1) ... Preparing to unpack .../07-binutils-common_2.30-21ubuntu1~18.04_ppc64el.deb ... Unpacking binutils-common:ppc64el (2.30-21ubuntu1~18.04) over (2.30-15ubuntu1) ... Preparing to unpack .../08-libubsan0_7.3.0-27ubuntu1~18.04_ppc64el.deb ... Unpacking libubsan0:ppc64el (7.3.0-27ubuntu1~18.04) over (7.3.0-16ubuntu3) ... Preparing to unpack .../09-libasan4_7.3.0-27ubuntu1~18.04_ppc64el.deb ... Unpacking libasan4:ppc64el (7.3.0-27ubuntu1~18.04) over (7.3.0-16ubuntu3) ... Preparing to unpack .../10-g++-7_7.3.0-27ubuntu1~18.04_ppc64el.deb ... Unpacking g++-7 (7.3.0-27ubuntu1~18.04) over (7.3.0-16ubuntu3) ... Preparing to unpack .../11-gcc-7_7.3.0-27ubuntu1~18.04_ppc64el.deb ... Unpacking gcc-7 (7.3.0-27ubuntu1~18.04) over (7.3.0-16ubuntu3) ... Preparing to unpack .../12-libstdc++-7-dev_7.3.0-27ubuntu1~18.04_ppc64el.deb ... Unpacking libstdc++-7-dev:ppc64el (7.3.0-27ubuntu1~18.04) over (7.3.0-16ubuntu3) ... Preparing to unpack .../13-libgcc-7-dev_7.3.0-27ubuntu1~18.04_ppc64el.deb ... Unpacking libgcc-7-dev:ppc64el (7.3.0-27ubuntu1~18.04) over (7.3.0-16ubuntu3) ... Preparing to unpack .../14-cpp-7_7.3.0-27ubuntu1~18.04_ppc64el.deb ... Unpacking cpp-7 (7.3.0-27ubuntu1~18.04) over (7.3.0-16ubuntu3) ... Preparing to unpack .../15-gcc-7-base_7.3.0-27ubuntu1~18.04_ppc64el.deb ... Unpacking gcc-7-base:ppc64el (7.3.0-27ubuntu1~18.04) over (7.3.0-16ubuntu3) ... Preparing to unpack .../16-cpp_4%3a7.3.0-3ubuntu2.1_ppc64el.deb ... Unpacking cpp (4:7.3.0-3ubuntu2.1) over (4:7.3.0-3ubuntu2) ... Preparing to unpack .../17-dpkg-dev_1.19.0.5ubuntu2.1_all.deb ... Unpacking dpkg-dev (1.19.0.5ubuntu2.1) over (1.19.0.5ubuntu2) ... Preparing to unpack .../18-libdpkg-perl_1.19.0.5ubuntu2.1_all.deb ... Unpacking libdpkg-perl (1.19.0.5ubuntu2.1) over (1.19.0.5ubuntu2) ... Preparing to unpack .../19-e2fslibs_1.44.1-1ubuntu1_ppc64el.deb ... Unpacking e2fslibs:ppc64el (1.44.1-1ubuntu1) over (1.44.1-1) ... Preparing to unpack .../20-gcc_4%3a7.3.0-3ubuntu2.1_ppc64el.deb ... Unpacking gcc (4:7.3.0-3ubuntu2.1) over (4:7.3.0-3ubuntu2) ... Preparing to unpack .../21-g++_4%3a7.3.0-3ubuntu2.1_ppc64el.deb ... Unpacking g++ (4:7.3.0-3ubuntu2.1) over (4:7.3.0-3ubuntu2) ... Preparing to unpack .../22-gpg_2.2.4-1ubuntu1.2_ppc64el.deb ... Unpacking gpg (2.2.4-1ubuntu1.2) over (2.2.4-1ubuntu1) ... Preparing to unpack .../23-gpgconf_2.2.4-1ubuntu1.2_ppc64el.deb ... Unpacking gpgconf (2.2.4-1ubuntu1.2) over (2.2.4-1ubuntu1) ... Preparing to unpack .../24-gpg-agent_2.2.4-1ubuntu1.2_ppc64el.deb ... Unpacking gpg-agent (2.2.4-1ubuntu1.2) over (2.2.4-1ubuntu1) ... Preparing to unpack .../25-libcomerr2_1.44.1-1ubuntu1_ppc64el.deb ... Unpacking libcomerr2:ppc64el (1.44.1-1ubuntu1) over (1.44.1-1) ... Preparing to unpack .../26-linux-libc-dev_4.15.0-43.46_ppc64el.deb ... Unpacking linux-libc-dev:ppc64el (4.15.0-43.46) over (4.15.0-20.21) ... Preparing to unpack .../27-pkgbinarymangler_138.18.04.0_all.deb ... Unpacking pkgbinarymangler (138.18.04.0) over (138) ... Setting up libgomp1:ppc64el (8.2.0-1ubuntu2~18.04) ... Setting up libatomic1:ppc64el (8.2.0-1ubuntu2~18.04) ... Setting up libcc1-0:ppc64el (8.2.0-1ubuntu2~18.04) ... Setting up pkgbinarymangler (138.18.04.0) ... Setting up e2fslibs:ppc64el (1.44.1-1ubuntu1) ... Setting up libpng16-16:ppc64el (1.6.34-1ubuntu0.18.04.1) ... Setting up tzdata (2018i-0ubuntu0.18.04) ... Current default time zone: 'Etc/UTC' Local time is now: Mon Jan 28 12:40:25 UTC 2019. Universal Time is now: Mon Jan 28 12:40:25 UTC 2019. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up systemd-sysv (237-3ubuntu10.11) ... Setting up libtsan0:ppc64el (8.2.0-1ubuntu2~18.04) ... Setting up gpgconf (2.2.4-1ubuntu1.2) ... Setting up linux-libc-dev:ppc64el (4.15.0-43.46) ... Setting up gpg-agent (2.2.4-1ubuntu1.2) ... Setting up perl-modules-5.26 (5.26.1-6ubuntu0.3) ... Setting up liblsan0:ppc64el (8.2.0-1ubuntu2~18.04) ... Setting up gcc-7-base:ppc64el (7.3.0-27ubuntu1~18.04) ... Setting up binutils-common:ppc64el (2.30-21ubuntu1~18.04) ... Processing triggers for libc-bin (2.27-3ubuntu1) ... Setting up libperl5.26:ppc64el (5.26.1-6ubuntu0.3) ... Setting up libssl1.1:ppc64el (1.1.0g-2ubuntu4.3) ... Setting up openssl (1.1.0g-2ubuntu4.3) ... Setting up libcomerr2:ppc64el (1.44.1-1ubuntu1) ... Setting up libitm1:ppc64el (8.2.0-1ubuntu2~18.04) ... Setting up gpg (2.2.4-1ubuntu1.2) ... Setting up libasan4:ppc64el (7.3.0-27ubuntu1~18.04) ... Setting up libbinutils:ppc64el (2.30-21ubuntu1~18.04) ... Setting up libubsan0:ppc64el (7.3.0-27ubuntu1~18.04) ... Setting up binutils-powerpc64le-linux-gnu (2.30-21ubuntu1~18.04) ... Setting up libgcc-7-dev:ppc64el (7.3.0-27ubuntu1~18.04) ... Setting up cpp-7 (7.3.0-27ubuntu1~18.04) ... Setting up libstdc++-7-dev:ppc64el (7.3.0-27ubuntu1~18.04) ... Setting up perl (5.26.1-6ubuntu0.3) ... Setting up binutils (2.30-21ubuntu1~18.04) ... Setting up cpp (4:7.3.0-3ubuntu2.1) ... Setting up gcc-7 (7.3.0-27ubuntu1~18.04) ... Setting up g++-7 (7.3.0-27ubuntu1~18.04) ... Setting up libdpkg-perl (1.19.0.5ubuntu2.1) ... Setting up gcc (4:7.3.0-3ubuntu2.1) ... Setting up dpkg-dev (1.19.0.5ubuntu2.1) ... Setting up g++ (4:7.3.0-3ubuntu2.1) ... Processing triggers for libc-bin (2.27-3ubuntu1) ... RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package PACKAGEBUILD-16005697 ppc64el bionic -c chroot:build-PACKAGEBUILD-16005697 --arch=ppc64el --dist=bionic --nolog acl2_8.0dfsg-1.dsc Initiating build PACKAGEBUILD-16005697 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 4.4.0-141-generic #167-Ubuntu SMP Wed Dec 5 10:33:00 UTC 2018 ppc64le sbuild (Debian sbuild) 0.67.0 (26 Dec 2015) on bos02-ppc64el-014.buildd +==============================================================================+ | acl2 8.0dfsg-1 (ppc64el) 28 Jan 2019 12:40 | +==============================================================================+ Package: acl2 Version: 8.0dfsg-1 Source Version: 8.0dfsg-1 Distribution: bionic Machine Architecture: ppc64el Host Architecture: ppc64el Build Architecture: ppc64el I: NOTICE: Log filtering will replace 'build/acl2-IRJ3DO/acl2-8.0dfsg' with '<>' I: NOTICE: Log filtering will replace 'build/acl2-IRJ3DO' with '<>' I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-16005697/chroot-autobuild' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- acl2_8.0dfsg-1.dsc exists in .; copying to chroot Check architectures ------------------- Check dependencies ------------------ Merged Build-Depends: build-essential, fakeroot Filtered Build-Depends: build-essential, fakeroot dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<>/resolver-wF9rIw/apt_archive/sbuild-build-depends-core-dummy.deb'. Ign:1 copy:/<>/resolver-wF9rIw/apt_archive ./ InRelease Get:2 copy:/<>/resolver-wF9rIw/apt_archive ./ Release [1747 B] Ign:3 copy:/<>/resolver-wF9rIw/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-wF9rIw/apt_archive ./ Sources [214 B] Get:5 copy:/<>/resolver-wF9rIw/apt_archive ./ Packages [528 B] Fetched 2489 B in 0s (174 kB/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install core build dependencies (apt-based resolver) | +------------------------------------------------------------------------------+ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: sbuild-build-depends-core-dummy 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 856 B of archives. After this operation, 0 B of additional disk space will be used. Get:1 copy:/<>/resolver-wF9rIw/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [856 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 856 B in 0s (0 B/s) Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... 12535 files and directories currently installed.) Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_ppc64el.deb ... Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... Merged Build-Depends: gcl (>= 2.6.12-59), libgmp3-dev, libreadline-dev, emacs25 | emacsen, debhelper (>= 5), texlive-latex-recommended, libxmu-dev, libxaw7-dev, time, tex-common, texinfo Filtered Build-Depends: gcl (>= 2.6.12-59), libgmp3-dev, libreadline-dev, emacs25 | emacsen, debhelper (>= 5), texlive-latex-recommended, libxmu-dev, libxaw7-dev, time, tex-common, texinfo dpkg-deb: building package 'sbuild-build-depends-acl2-dummy' in '/<>/resolver-_FW00K/apt_archive/sbuild-build-depends-acl2-dummy.deb'. Ign:1 copy:/<>/resolver-_FW00K/apt_archive ./ InRelease Get:2 copy:/<>/resolver-_FW00K/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-_FW00K/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-_FW00K/apt_archive ./ Sources [289 B] Get:5 copy:/<>/resolver-_FW00K/apt_archive ./ Packages [609 B] Fetched 3017 B in 0s (238 kB/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install acl2 build dependencies (apt-based resolver) | +------------------------------------------------------------------------------+ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: autoconf automake autopoint autotools-dev bsdmainutils debhelper dh-autoreconf dh-strip-nondeterminism emacsen-common file fontconfig-config fonts-dejavu-core fonts-lmodern gcl gettext gettext-base groff-base intltool-debian libarchive-zip-perl libasn1-8-heimdal libavahi-client3 libavahi-common-data libavahi-common3 libbsd0 libcairo2 libcanna1g libcompfaceg1 libcroco3 libcups2 libcupsimage2 libdbus-1-3 libexpat1 libfile-stripnondeterminism-perl libfontconfig1 libfreetype6 libglib2.0-0 libgmp-dev libgmp3-dev libgmpxx4ldbl libgpm2 libgraphite2-3 libgs9 libgs9-common libgssapi-krb5-2 libgssapi3-heimdal libharfbuzz-icu0 libharfbuzz0b libhcrypto4-heimdal libheimbase1-heimdal libheimntlm0-heimdal libhx509-5-heimdal libice-dev libice6 libicu60 libijs-0.35 libjbig0 libjbig2dec0 libjpeg-turbo8 libjpeg8 libk5crypto3 libkeyutils1 libkpathsea6 libkrb5-26-heimdal libkrb5-3 libkrb5support0 liblcms2-2 libldap-2.4-2 libldap-common libmagic-mgc libmagic1 libnspr4 libnss3 libpaper-utils libpaper1 libpipeline1 libpixman-1-0 libpoppler73 libpotrace0 libptexenc1 libpthread-stubs0-dev libreadline-dev libroken18-heimdal libsasl2-2 libsasl2-modules-db libsigsegv2 libsm-dev libsm6 libsynctex1 libtcl8.6 libtexlua52 libtext-unidecode-perl libtiff5 libtimedate-perl libtinfo-dev libtk8.6 libtool libwind0-heimdal libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxaw7 libxaw7-dev libxcb-render0 libxcb-shm0 libxcb1 libxcb1-dev libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxft2 libxi6 libxml-libxml-perl libxml-namespacesupport-perl libxml-sax-base-perl libxml-sax-perl libxml2 libxmu-dev libxmu-headers libxmu6 libxpm-dev libxpm4 libxrender1 libxss1 libxt-dev libxt6 libzzip-0-13 m4 man-db po-debconf poppler-data t1utils tex-common texinfo texlive-base texlive-binaries texlive-latex-base texlive-latex-recommended time ucf x11-common x11proto-core-dev x11proto-dev x11proto-xext-dev xdg-utils xemacs21-basesupport xemacs21-bin xemacs21-mule-canna-wnn xemacs21-mulesupport xemacs21-support xorg-sgml-doctools xtrans-dev Suggested packages: autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois vacation dh-make dwz gcl-doc gettext-doc libasprintf-dev libgettextpo-dev groff cups-common gmp-doc libgmp10-doc libmpfr-dev gpm krb5-doc krb5-user libice-doc liblcms2-utils readline-doc libsm-doc tcl8.6 tk8.6 libtool-doc gfortran | fortran95-compiler gcj-jdk libxaw-doc libxcb-doc libxext-doc libxt-doc m4-doc apparmor less libmail-box-perl poppler-utils ghostscript fonts-japanese-mincho | fonts-ipafont-mincho fonts-japanese-gothic | fonts-ipafont-gothic fonts-arphic-ukai fonts-arphic-uming fonts-nanum texlive-generic-recommended texinfo-doc-nonfree texlive-fonts-recommended gv | postscript-viewer perl-tk xpdf-reader | pdf-viewer texlive-latex-base-doc texlive-latex-recommended-doc texlive-pstricks xfonts-cjk xemacs21-supportel Recommended packages: curl | wget | lynx libcupsfilters1 dbus libarchive-cpio-perl libglib2.0-data shared-mime-info xdg-user-dirs fonts-droid-fallback krb5-locales libsasl2-modules libltdl-dev libx11-doc libxml-sax-expat-perl libmail-sendmail-perl lmodern libfile-mimeinfo-perl libnet-dbus-perl libx11-protocol-perl x11-utils x11-xserver-utils The following NEW packages will be installed: autoconf automake autopoint autotools-dev bsdmainutils debhelper dh-autoreconf dh-strip-nondeterminism emacsen-common file fontconfig-config fonts-dejavu-core fonts-lmodern gcl gettext gettext-base groff-base intltool-debian libarchive-zip-perl libasn1-8-heimdal libavahi-client3 libavahi-common-data libavahi-common3 libbsd0 libcairo2 libcanna1g libcompfaceg1 libcroco3 libcups2 libcupsimage2 libdbus-1-3 libexpat1 libfile-stripnondeterminism-perl libfontconfig1 libfreetype6 libglib2.0-0 libgmp-dev libgmp3-dev libgmpxx4ldbl libgpm2 libgraphite2-3 libgs9 libgs9-common libgssapi-krb5-2 libgssapi3-heimdal libharfbuzz-icu0 libharfbuzz0b libhcrypto4-heimdal libheimbase1-heimdal libheimntlm0-heimdal libhx509-5-heimdal libice-dev libice6 libicu60 libijs-0.35 libjbig0 libjbig2dec0 libjpeg-turbo8 libjpeg8 libk5crypto3 libkeyutils1 libkpathsea6 libkrb5-26-heimdal libkrb5-3 libkrb5support0 liblcms2-2 libldap-2.4-2 libldap-common libmagic-mgc libmagic1 libnspr4 libnss3 libpaper-utils libpaper1 libpipeline1 libpixman-1-0 libpoppler73 libpotrace0 libptexenc1 libpthread-stubs0-dev libreadline-dev libroken18-heimdal libsasl2-2 libsasl2-modules-db libsigsegv2 libsm-dev libsm6 libsynctex1 libtcl8.6 libtexlua52 libtext-unidecode-perl libtiff5 libtimedate-perl libtinfo-dev libtk8.6 libtool libwind0-heimdal libx11-6 libx11-data libx11-dev libxau-dev libxau6 libxaw7 libxaw7-dev libxcb-render0 libxcb-shm0 libxcb1 libxcb1-dev libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxft2 libxi6 libxml-libxml-perl libxml-namespacesupport-perl libxml-sax-base-perl libxml-sax-perl libxml2 libxmu-dev libxmu-headers libxmu6 libxpm-dev libxpm4 libxrender1 libxss1 libxt-dev libxt6 libzzip-0-13 m4 man-db po-debconf poppler-data sbuild-build-depends-acl2-dummy t1utils tex-common texinfo texlive-base texlive-binaries texlive-latex-base texlive-latex-recommended time ucf x11-common x11proto-core-dev x11proto-dev x11proto-xext-dev xdg-utils xemacs21-basesupport xemacs21-bin xemacs21-mule-canna-wnn xemacs21-mulesupport xemacs21-support xorg-sgml-doctools xtrans-dev 0 upgraded, 155 newly installed, 0 to remove and 0 not upgraded. Need to get 144 MB of archives. After this operation, 727 MB of additional disk space will be used. Get:1 copy:/<>/resolver-_FW00K/apt_archive ./ sbuild-build-depends-acl2-dummy 0.invalid.0 [940 B] Get:2 http://ftpmaster.internal/ubuntu bionic/main ppc64el libxau6 ppc64el 1:1.0.8-1 [7460 B] Get:3 http://ftpmaster.internal/ubuntu bionic/main ppc64el libbsd0 ppc64el 0.8.7-1 [49.8 kB] Get:4 http://ftpmaster.internal/ubuntu bionic/main ppc64el libxdmcp6 ppc64el 1:1.1.2-3 [11.0 kB] Get:5 http://ftpmaster.internal/ubuntu bionic/main ppc64el libxcb1 ppc64el 1.13-1 [44.5 kB] Get:6 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libx11-data all 2:1.6.4-3ubuntu0.1 [113 kB] Get:7 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libx11-6 ppc64el 2:1.6.4-3ubuntu0.1 [602 kB] Get:8 http://ftpmaster.internal/ubuntu bionic/main ppc64el libxext6 ppc64el 2:1.3.3-1 [30.7 kB] Get:9 http://ftpmaster.internal/ubuntu bionic/main ppc64el bsdmainutils ppc64el 11.1.2ubuntu1 [185 kB] Get:10 http://ftpmaster.internal/ubuntu bionic/main ppc64el groff-base ppc64el 1.22.3-10 [1468 kB] Get:11 http://ftpmaster.internal/ubuntu bionic/main ppc64el libpipeline1 ppc64el 1.5.0-1 [24.7 kB] Get:12 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el man-db ppc64el 2.8.3-2ubuntu0.1 [1035 kB] Get:13 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libjpeg-turbo8 ppc64el 1.5.2-0ubuntu5.18.04.1 [147 kB] Get:14 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el x11-common all 1:7.7+19ubuntu7.1 [22.5 kB] Get:15 http://ftpmaster.internal/ubuntu bionic/main ppc64el libice6 ppc64el 2:1.0.9-2 [38.0 kB] Get:16 http://ftpmaster.internal/ubuntu bionic/main ppc64el libsm6 ppc64el 2:1.2.2-1 [15.1 kB] Get:17 http://ftpmaster.internal/ubuntu bionic/main ppc64el libexpat1 ppc64el 2.2.5-3 [89.5 kB] Get:18 http://ftpmaster.internal/ubuntu bionic/main ppc64el libfreetype6 ppc64el 2.8.1-2ubuntu2 [386 kB] Get:19 http://ftpmaster.internal/ubuntu bionic/main ppc64el ucf all 3.0038 [50.5 kB] Get:20 http://ftpmaster.internal/ubuntu bionic/main ppc64el fonts-dejavu-core all 2.37-1 [1041 kB] Get:21 http://ftpmaster.internal/ubuntu bionic/main ppc64el fontconfig-config all 2.12.6-0ubuntu2 [55.8 kB] Get:22 http://ftpmaster.internal/ubuntu bionic/main ppc64el libfontconfig1 ppc64el 2.12.6-0ubuntu2 [167 kB] Get:23 http://ftpmaster.internal/ubuntu bionic/main ppc64el libxrender1 ppc64el 1:0.9.10-1 [17.6 kB] Get:24 http://ftpmaster.internal/ubuntu bionic/main ppc64el libxft2 ppc64el 2.3.2-1 [39.3 kB] Get:25 http://ftpmaster.internal/ubuntu bionic/main ppc64el libxss1 ppc64el 1:1.2.2-1 [7510 B] Get:26 http://ftpmaster.internal/ubuntu bionic/main ppc64el poppler-data all 0.4.8-2 [1479 kB] Get:27 http://ftpmaster.internal/ubuntu bionic/main ppc64el tex-common all 6.09 [33.0 kB] Get:28 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libmagic-mgc ppc64el 1:5.32-2ubuntu0.1 [184 kB] Get:29 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libmagic1 ppc64el 1:5.32-2ubuntu0.1 [76.7 kB] Get:30 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el file ppc64el 1:5.32-2ubuntu0.1 [22.7 kB] Get:31 http://ftpmaster.internal/ubuntu bionic/main ppc64el libdbus-1-3 ppc64el 1.12.2-1ubuntu1 [183 kB] Get:32 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libglib2.0-0 ppc64el 2.56.3-0ubuntu0.18.04.1 [1162 kB] Get:33 http://ftpmaster.internal/ubuntu bionic/main ppc64el libicu60 ppc64el 60.2-3ubuntu3 [8351 kB] Get:34 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libxml2 ppc64el 2.9.4+dfsg1-6.1ubuntu1.2 [615 kB] Get:35 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el gettext-base ppc64el 0.19.8.1-6ubuntu0.1 [50.3 kB] Get:36 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libkrb5support0 ppc64el 1.16-2ubuntu0.1 [32.1 kB] Get:37 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libk5crypto3 ppc64el 1.16-2ubuntu0.1 [106 kB] Get:38 http://ftpmaster.internal/ubuntu bionic/main ppc64el libkeyutils1 ppc64el 1.5.9-9.2ubuntu2 [9096 B] Get:39 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libkrb5-3 ppc64el 1.16-2ubuntu0.1 [309 kB] Get:40 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libgssapi-krb5-2 ppc64el 1.16-2ubuntu0.1 [123 kB] Get:41 http://ftpmaster.internal/ubuntu bionic/main ppc64el time ppc64el 1.7-25.1build1 [26.6 kB] Get:42 http://ftpmaster.internal/ubuntu bionic/main ppc64el libsigsegv2 ppc64el 2.12-1 [14.7 kB] Get:43 http://ftpmaster.internal/ubuntu bionic/main ppc64el m4 ppc64el 1.4.18-1 [202 kB] Get:44 http://ftpmaster.internal/ubuntu bionic/main ppc64el autoconf all 2.69-11 [322 kB] Get:45 http://ftpmaster.internal/ubuntu bionic/main ppc64el autotools-dev all 20180224.1 [39.6 kB] Get:46 http://ftpmaster.internal/ubuntu bionic/main ppc64el automake all 1:1.15.1-3ubuntu2 [509 kB] Get:47 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el autopoint all 0.19.8.1-6ubuntu0.1 [412 kB] Get:48 http://ftpmaster.internal/ubuntu bionic/main ppc64el libtool all 2.4.6-2 [194 kB] Get:49 http://ftpmaster.internal/ubuntu bionic/main ppc64el dh-autoreconf all 17 [15.8 kB] Get:50 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libarchive-zip-perl all 1.60-1ubuntu0.1 [84.6 kB] Get:51 http://ftpmaster.internal/ubuntu bionic/main ppc64el libfile-stripnondeterminism-perl all 0.040-1.1~build1 [13.8 kB] Get:52 http://ftpmaster.internal/ubuntu bionic/main ppc64el libtimedate-perl all 2.3000-2 [37.5 kB] Get:53 http://ftpmaster.internal/ubuntu bionic/main ppc64el dh-strip-nondeterminism all 0.040-1.1~build1 [5208 B] Get:54 http://ftpmaster.internal/ubuntu bionic/main ppc64el libcroco3 ppc64el 0.6.12-2 [82.5 kB] Get:55 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el gettext ppc64el 0.19.8.1-6ubuntu0.1 [953 kB] Get:56 http://ftpmaster.internal/ubuntu bionic/main ppc64el intltool-debian all 0.35.0+20060710.4 [24.9 kB] Get:57 http://ftpmaster.internal/ubuntu bionic/main ppc64el po-debconf all 1.0.20 [232 kB] Get:58 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el debhelper all 11.1.6ubuntu2 [902 kB] Get:59 http://ftpmaster.internal/ubuntu bionic/main ppc64el emacsen-common all 2.0.8 [17.6 kB] Get:60 http://ftpmaster.internal/ubuntu bionic/main ppc64el fonts-lmodern all 2.004.5-3 [4551 kB] Get:61 http://ftpmaster.internal/ubuntu bionic/main ppc64el libtcl8.6 ppc64el 8.6.8+dfsg-3 [928 kB] Get:62 http://ftpmaster.internal/ubuntu bionic/main ppc64el libtk8.6 ppc64el 8.6.8-4 [718 kB] Get:63 http://ftpmaster.internal/ubuntu bionic/universe ppc64el xemacs21-support all 21.4.24-5ubuntu1 [3991 kB] Get:64 http://ftpmaster.internal/ubuntu bionic/universe ppc64el xemacs21-bin ppc64el 21.4.24-5ubuntu1 [400 kB] Get:65 http://ftpmaster.internal/ubuntu bionic/universe ppc64el libcanna1g ppc64el 3.7p3-14 [313 kB] Get:66 http://ftpmaster.internal/ubuntu bionic/universe ppc64el libcompfaceg1 ppc64el 1:1.5.2-5build1 [11.7 kB] Get:67 http://ftpmaster.internal/ubuntu bionic/main ppc64el libgpm2 ppc64el 1.20.7-5 [15.8 kB] Get:68 http://ftpmaster.internal/ubuntu bionic/main ppc64el libjpeg8 ppc64el 8c-2ubuntu8 [2146 B] Get:69 http://ftpmaster.internal/ubuntu bionic/main ppc64el libroken18-heimdal ppc64el 7.5.0+dfsg-1 [42.2 kB] Get:70 http://ftpmaster.internal/ubuntu bionic/main ppc64el libasn1-8-heimdal ppc64el 7.5.0+dfsg-1 [140 kB] Get:71 http://ftpmaster.internal/ubuntu bionic/main ppc64el libheimbase1-heimdal ppc64el 7.5.0+dfsg-1 [30.5 kB] Get:72 http://ftpmaster.internal/ubuntu bionic/main ppc64el libhcrypto4-heimdal ppc64el 7.5.0+dfsg-1 [100 kB] Get:73 http://ftpmaster.internal/ubuntu bionic/main ppc64el libwind0-heimdal ppc64el 7.5.0+dfsg-1 [48.0 kB] Get:74 http://ftpmaster.internal/ubuntu bionic/main ppc64el libhx509-5-heimdal ppc64el 7.5.0+dfsg-1 [108 kB] Get:75 http://ftpmaster.internal/ubuntu bionic/main ppc64el libkrb5-26-heimdal ppc64el 7.5.0+dfsg-1 [216 kB] Get:76 http://ftpmaster.internal/ubuntu bionic/main ppc64el libheimntlm0-heimdal ppc64el 7.5.0+dfsg-1 [16.4 kB] Get:77 http://ftpmaster.internal/ubuntu bionic/main ppc64el libgssapi3-heimdal ppc64el 7.5.0+dfsg-1 [92.6 kB] Get:78 http://ftpmaster.internal/ubuntu bionic/main ppc64el libsasl2-modules-db ppc64el 2.1.27~101-g0780600+dfsg-3ubuntu2 [15.0 kB] Get:79 http://ftpmaster.internal/ubuntu bionic/main ppc64el libsasl2-2 ppc64el 2.1.27~101-g0780600+dfsg-3ubuntu2 [53.8 kB] Get:80 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libldap-common all 2.4.45+dfsg-1ubuntu1.1 [16.6 kB] Get:81 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libldap-2.4-2 ppc64el 2.4.45+dfsg-1ubuntu1.1 [158 kB] Get:82 http://ftpmaster.internal/ubuntu bionic/main ppc64el libjbig0 ppc64el 2.1-3.1build1 [26.9 kB] Get:83 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libtiff5 ppc64el 4.0.9-5ubuntu0.1 [165 kB] Get:84 http://ftpmaster.internal/ubuntu bionic/main ppc64el libxt6 ppc64el 1:1.1.5-1 [152 kB] Get:85 http://ftpmaster.internal/ubuntu bionic/main ppc64el libxmu6 ppc64el 2:1.1.2-2 [43.4 kB] Get:86 http://ftpmaster.internal/ubuntu bionic/main ppc64el libxpm4 ppc64el 1:3.5.12-1 [35.9 kB] Get:87 http://ftpmaster.internal/ubuntu bionic/main ppc64el libxaw7 ppc64el 2:1.0.13-1 [176 kB] Get:88 http://ftpmaster.internal/ubuntu bionic/universe ppc64el xemacs21-mulesupport all 2009.02.17.dfsg.2-4 [3125 kB] Get:89 http://ftpmaster.internal/ubuntu bionic/universe ppc64el xemacs21-basesupport all 2009.02.17.dfsg.2-4 [15.9 MB] Get:90 http://ftpmaster.internal/ubuntu bionic/universe ppc64el xemacs21-mule-canna-wnn ppc64el 21.4.24-5ubuntu1 [1682 kB] Get:91 http://ftpmaster.internal/ubuntu bionic/universe ppc64el gcl ppc64el 2.6.12-76 [29.4 MB] Get:92 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libavahi-common-data ppc64el 0.7-3.1ubuntu1.1 [22.1 kB] Get:93 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libavahi-common3 ppc64el 0.7-3.1ubuntu1.1 [20.5 kB] Get:94 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libavahi-client3 ppc64el 0.7-3.1ubuntu1.1 [25.4 kB] Get:95 http://ftpmaster.internal/ubuntu bionic/main ppc64el libpixman-1-0 ppc64el 0.34.0-2 [268 kB] Get:96 http://ftpmaster.internal/ubuntu bionic/main ppc64el libxcb-render0 ppc64el 1.13-1 [13.4 kB] Get:97 http://ftpmaster.internal/ubuntu bionic/main ppc64el libxcb-shm0 ppc64el 1.13-1 [5548 B] Get:98 http://ftpmaster.internal/ubuntu bionic/main ppc64el libcairo2 ppc64el 1.15.10-2 [680 kB] Get:99 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libcups2 ppc64el 2.2.7-1ubuntu2.3 [240 kB] Get:100 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libcupsimage2 ppc64el 2.2.7-1ubuntu2.3 [23.7 kB] Get:101 http://ftpmaster.internal/ubuntu bionic/main ppc64el libgmpxx4ldbl ppc64el 2:6.1.2+dfsg-2 [9500 B] Get:102 http://ftpmaster.internal/ubuntu bionic/main ppc64el libgmp-dev ppc64el 2:6.1.2+dfsg-2 [298 kB] Get:103 http://ftpmaster.internal/ubuntu bionic/main ppc64el libgmp3-dev ppc64el 2:6.1.2+dfsg-2 [2000 B] Get:104 http://ftpmaster.internal/ubuntu bionic/main ppc64el libgraphite2-3 ppc64el 1.3.11-2 [67.8 kB] Get:105 http://ftpmaster.internal/ubuntu bionic/main ppc64el libijs-0.35 ppc64el 0.35-13 [15.7 kB] Get:106 http://ftpmaster.internal/ubuntu bionic/main ppc64el libjbig2dec0 ppc64el 0.13-6 [57.5 kB] Get:107 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el liblcms2-2 ppc64el 2.9-1ubuntu0.1 [177 kB] Get:108 http://ftpmaster.internal/ubuntu bionic/main ppc64el libpaper1 ppc64el 1.1.24+nmu5ubuntu1 [13.4 kB] Get:109 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libgs9-common all 9.26~dfsg+0-0ubuntu0.18.04.4 [5093 kB] Get:110 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libgs9 ppc64el 9.26~dfsg+0-0ubuntu0.18.04.4 [2580 kB] Get:111 http://ftpmaster.internal/ubuntu bionic/main ppc64el libharfbuzz0b ppc64el 1.7.2-1ubuntu1 [237 kB] Get:112 http://ftpmaster.internal/ubuntu bionic/main ppc64el libharfbuzz-icu0 ppc64el 1.7.2-1ubuntu1 [5812 B] Get:113 http://ftpmaster.internal/ubuntu bionic/main ppc64el xorg-sgml-doctools all 1:1.11-1 [12.9 kB] Get:114 http://ftpmaster.internal/ubuntu bionic/main ppc64el x11proto-dev all 2018.4-4 [251 kB] Get:115 http://ftpmaster.internal/ubuntu bionic/main ppc64el x11proto-core-dev all 2018.4-4 [2620 B] Get:116 http://ftpmaster.internal/ubuntu bionic/main ppc64el libice-dev ppc64el 2:1.0.9-2 [48.6 kB] Get:117 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libkpathsea6 ppc64el 2017.20170613.44572-8ubuntu0.1 [58.5 kB] Get:118 http://ftpmaster.internal/ubuntu bionic/main ppc64el libnspr4 ppc64el 2:4.18-1ubuntu1 [105 kB] Get:119 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libnss3 ppc64el 2:3.35-2ubuntu2.1 [1156 kB] Get:120 http://ftpmaster.internal/ubuntu bionic/main ppc64el libpaper-utils ppc64el 1.1.24+nmu5ubuntu1 [8368 B] Get:121 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libpoppler73 ppc64el 0.62.0-2ubuntu2.6 [853 kB] Get:122 http://ftpmaster.internal/ubuntu bionic/main ppc64el libpotrace0 ppc64el 1.14-2 [18.3 kB] Get:123 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libptexenc1 ppc64el 2017.20170613.44572-8ubuntu0.1 [35.9 kB] Get:124 http://ftpmaster.internal/ubuntu bionic/main ppc64el libpthread-stubs0-dev ppc64el 0.3-4 [3894 B] Get:125 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el libtinfo-dev ppc64el 6.1-1ubuntu1.18.04 [100 kB] Get:126 http://ftpmaster.internal/ubuntu bionic/main ppc64el libreadline-dev ppc64el 7.0-3 [174 kB] Get:127 http://ftpmaster.internal/ubuntu bionic/main ppc64el libsm-dev ppc64el 2:1.2.2-1 [16.6 kB] Get:128 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libsynctex1 ppc64el 2017.20170613.44572-8ubuntu0.1 [40.4 kB] Get:129 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libtexlua52 ppc64el 2017.20170613.44572-8ubuntu0.1 [107 kB] Get:130 http://ftpmaster.internal/ubuntu bionic/universe ppc64el libtext-unidecode-perl all 1.30-1 [99.0 kB] Get:131 http://ftpmaster.internal/ubuntu bionic/main ppc64el libxau-dev ppc64el 1:1.0.8-1 [9358 B] Get:132 http://ftpmaster.internal/ubuntu bionic/main ppc64el libxdmcp-dev ppc64el 1:1.1.2-3 [26.1 kB] Get:133 http://ftpmaster.internal/ubuntu bionic/main ppc64el xtrans-dev all 1.3.5-1 [70.5 kB] Get:134 http://ftpmaster.internal/ubuntu bionic/main ppc64el libxcb1-dev ppc64el 1.13-1 [83.8 kB] Get:135 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libx11-dev ppc64el 2:1.6.4-3ubuntu0.1 [689 kB] Get:136 http://ftpmaster.internal/ubuntu bionic/main ppc64el x11proto-xext-dev all 2018.4-4 [2620 B] Get:137 http://ftpmaster.internal/ubuntu bionic/main ppc64el libxext-dev ppc64el 2:1.3.3-1 [86.5 kB] Get:138 http://ftpmaster.internal/ubuntu bionic/main ppc64el libxt-dev ppc64el 1:1.1.5-1 [406 kB] Get:139 http://ftpmaster.internal/ubuntu bionic/main ppc64el libxmu-headers all 2:1.1.2-2 [54.3 kB] Get:140 http://ftpmaster.internal/ubuntu bionic/main ppc64el libxmu-dev ppc64el 2:1.1.2-2 [53.3 kB] Get:141 http://ftpmaster.internal/ubuntu bionic/main ppc64el libxpm-dev ppc64el 1:3.5.12-1 [89.9 kB] Get:142 http://ftpmaster.internal/ubuntu bionic/main ppc64el libxaw7-dev ppc64el 2:1.0.13-1 [249 kB] Get:143 http://ftpmaster.internal/ubuntu bionic/main ppc64el libxi6 ppc64el 2:1.7.9-1 [29.0 kB] Get:144 http://ftpmaster.internal/ubuntu bionic/main ppc64el libxml-namespacesupport-perl all 1.12-1 [13.2 kB] Get:145 http://ftpmaster.internal/ubuntu bionic/main ppc64el libxml-sax-base-perl all 1.09-1 [18.8 kB] Get:146 http://ftpmaster.internal/ubuntu bionic/main ppc64el libxml-sax-perl all 0.99+dfsg-2ubuntu1 [64.6 kB] Get:147 http://ftpmaster.internal/ubuntu bionic/main ppc64el libxml-libxml-perl ppc64el 2.0128+dfsg-5 [305 kB] Get:148 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el libzzip-0-13 ppc64el 0.13.62-3.1ubuntu0.18.04.1 [25.6 kB] Get:149 http://ftpmaster.internal/ubuntu bionic/main ppc64el t1utils ppc64el 1.41-2 [61.8 kB] Get:150 http://ftpmaster.internal/ubuntu bionic/universe ppc64el texinfo ppc64el 6.5.0.dfsg.1-2 [752 kB] Get:151 http://ftpmaster.internal/ubuntu bionic-security/main ppc64el texlive-binaries ppc64el 2017.20170613.44572-8ubuntu0.1 [8613 kB] Get:152 http://ftpmaster.internal/ubuntu bionic-updates/main ppc64el xdg-utils all 1.1.2-1ubuntu2.3 [60.7 kB] Get:153 http://ftpmaster.internal/ubuntu bionic/main ppc64el texlive-base all 2017.20180305-1 [18.7 MB] Get:154 http://ftpmaster.internal/ubuntu bionic/main ppc64el texlive-latex-base all 2017.20180305-1 [951 kB] Get:155 http://ftpmaster.internal/ubuntu bionic/main ppc64el texlive-latex-recommended all 2017.20180305-1 [14.9 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 144 MB in 9s (16.9 MB/s) Selecting previously unselected package libxau6:ppc64el. (Reading database ... 12535 files and directories currently installed.) Preparing to unpack .../000-libxau6_1%3a1.0.8-1_ppc64el.deb ... Unpacking libxau6:ppc64el (1:1.0.8-1) ... Selecting previously unselected package libbsd0:ppc64el. Preparing to unpack .../001-libbsd0_0.8.7-1_ppc64el.deb ... Unpacking libbsd0:ppc64el (0.8.7-1) ... Selecting previously unselected package libxdmcp6:ppc64el. Preparing to unpack .../002-libxdmcp6_1%3a1.1.2-3_ppc64el.deb ... Unpacking libxdmcp6:ppc64el (1:1.1.2-3) ... Selecting previously unselected package libxcb1:ppc64el. Preparing to unpack .../003-libxcb1_1.13-1_ppc64el.deb ... Unpacking libxcb1:ppc64el (1.13-1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../004-libx11-data_2%3a1.6.4-3ubuntu0.1_all.deb ... Unpacking libx11-data (2:1.6.4-3ubuntu0.1) ... Selecting previously unselected package libx11-6:ppc64el. Preparing to unpack .../005-libx11-6_2%3a1.6.4-3ubuntu0.1_ppc64el.deb ... Unpacking libx11-6:ppc64el (2:1.6.4-3ubuntu0.1) ... Selecting previously unselected package libxext6:ppc64el. Preparing to unpack .../006-libxext6_2%3a1.3.3-1_ppc64el.deb ... Unpacking libxext6:ppc64el (2:1.3.3-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../007-bsdmainutils_11.1.2ubuntu1_ppc64el.deb ... Unpacking bsdmainutils (11.1.2ubuntu1) ... Selecting previously unselected package groff-base. Preparing to unpack .../008-groff-base_1.22.3-10_ppc64el.deb ... Unpacking groff-base (1.22.3-10) ... Selecting previously unselected package libpipeline1:ppc64el. Preparing to unpack .../009-libpipeline1_1.5.0-1_ppc64el.deb ... Unpacking libpipeline1:ppc64el (1.5.0-1) ... Selecting previously unselected package man-db. Preparing to unpack .../010-man-db_2.8.3-2ubuntu0.1_ppc64el.deb ... Unpacking man-db (2.8.3-2ubuntu0.1) ... Selecting previously unselected package libjpeg-turbo8:ppc64el. Preparing to unpack .../011-libjpeg-turbo8_1.5.2-0ubuntu5.18.04.1_ppc64el.deb ... Unpacking libjpeg-turbo8:ppc64el (1.5.2-0ubuntu5.18.04.1) ... Selecting previously unselected package x11-common. Preparing to unpack .../012-x11-common_1%3a7.7+19ubuntu7.1_all.deb ... dpkg-query: no packages found matching nux-tools Unpacking x11-common (1:7.7+19ubuntu7.1) ... Selecting previously unselected package libice6:ppc64el. Preparing to unpack .../013-libice6_2%3a1.0.9-2_ppc64el.deb ... Unpacking libice6:ppc64el (2:1.0.9-2) ... Selecting previously unselected package libsm6:ppc64el. Preparing to unpack .../014-libsm6_2%3a1.2.2-1_ppc64el.deb ... Unpacking libsm6:ppc64el (2:1.2.2-1) ... Selecting previously unselected package libexpat1:ppc64el. Preparing to unpack .../015-libexpat1_2.2.5-3_ppc64el.deb ... Unpacking libexpat1:ppc64el (2.2.5-3) ... Selecting previously unselected package libfreetype6:ppc64el. Preparing to unpack .../016-libfreetype6_2.8.1-2ubuntu2_ppc64el.deb ... Unpacking libfreetype6:ppc64el (2.8.1-2ubuntu2) ... Selecting previously unselected package ucf. Preparing to unpack .../017-ucf_3.0038_all.deb ... Moving old data out of the way Unpacking ucf (3.0038) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../018-fonts-dejavu-core_2.37-1_all.deb ... Unpacking fonts-dejavu-core (2.37-1) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../019-fontconfig-config_2.12.6-0ubuntu2_all.deb ... Unpacking fontconfig-config (2.12.6-0ubuntu2) ... Selecting previously unselected package libfontconfig1:ppc64el. Preparing to unpack .../020-libfontconfig1_2.12.6-0ubuntu2_ppc64el.deb ... Unpacking libfontconfig1:ppc64el (2.12.6-0ubuntu2) ... Selecting previously unselected package libxrender1:ppc64el. Preparing to unpack .../021-libxrender1_1%3a0.9.10-1_ppc64el.deb ... Unpacking libxrender1:ppc64el (1:0.9.10-1) ... Selecting previously unselected package libxft2:ppc64el. Preparing to unpack .../022-libxft2_2.3.2-1_ppc64el.deb ... Unpacking libxft2:ppc64el (2.3.2-1) ... Selecting previously unselected package libxss1:ppc64el. Preparing to unpack .../023-libxss1_1%3a1.2.2-1_ppc64el.deb ... Unpacking libxss1:ppc64el (1:1.2.2-1) ... Selecting previously unselected package poppler-data. Preparing to unpack .../024-poppler-data_0.4.8-2_all.deb ... Unpacking poppler-data (0.4.8-2) ... Selecting previously unselected package tex-common. Preparing to unpack .../025-tex-common_6.09_all.deb ... Unpacking tex-common (6.09) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../026-libmagic-mgc_1%3a5.32-2ubuntu0.1_ppc64el.deb ... Unpacking libmagic-mgc (1:5.32-2ubuntu0.1) ... Selecting previously unselected package libmagic1:ppc64el. Preparing to unpack .../027-libmagic1_1%3a5.32-2ubuntu0.1_ppc64el.deb ... Unpacking libmagic1:ppc64el (1:5.32-2ubuntu0.1) ... Selecting previously unselected package file. Preparing to unpack .../028-file_1%3a5.32-2ubuntu0.1_ppc64el.deb ... Unpacking file (1:5.32-2ubuntu0.1) ... Selecting previously unselected package libdbus-1-3:ppc64el. Preparing to unpack .../029-libdbus-1-3_1.12.2-1ubuntu1_ppc64el.deb ... Unpacking libdbus-1-3:ppc64el (1.12.2-1ubuntu1) ... Selecting previously unselected package libglib2.0-0:ppc64el. Preparing to unpack .../030-libglib2.0-0_2.56.3-0ubuntu0.18.04.1_ppc64el.deb ... Unpacking libglib2.0-0:ppc64el (2.56.3-0ubuntu0.18.04.1) ... Selecting previously unselected package libicu60:ppc64el. Preparing to unpack .../031-libicu60_60.2-3ubuntu3_ppc64el.deb ... Unpacking libicu60:ppc64el (60.2-3ubuntu3) ... Selecting previously unselected package libxml2:ppc64el. Preparing to unpack .../032-libxml2_2.9.4+dfsg1-6.1ubuntu1.2_ppc64el.deb ... Unpacking libxml2:ppc64el (2.9.4+dfsg1-6.1ubuntu1.2) ... Selecting previously unselected package gettext-base. Preparing to unpack .../033-gettext-base_0.19.8.1-6ubuntu0.1_ppc64el.deb ... Unpacking gettext-base (0.19.8.1-6ubuntu0.1) ... Selecting previously unselected package libkrb5support0:ppc64el. Preparing to unpack .../034-libkrb5support0_1.16-2ubuntu0.1_ppc64el.deb ... Unpacking libkrb5support0:ppc64el (1.16-2ubuntu0.1) ... Selecting previously unselected package libk5crypto3:ppc64el. Preparing to unpack .../035-libk5crypto3_1.16-2ubuntu0.1_ppc64el.deb ... Unpacking libk5crypto3:ppc64el (1.16-2ubuntu0.1) ... Selecting previously unselected package libkeyutils1:ppc64el. Preparing to unpack .../036-libkeyutils1_1.5.9-9.2ubuntu2_ppc64el.deb ... Unpacking libkeyutils1:ppc64el (1.5.9-9.2ubuntu2) ... Selecting previously unselected package libkrb5-3:ppc64el. Preparing to unpack .../037-libkrb5-3_1.16-2ubuntu0.1_ppc64el.deb ... Unpacking libkrb5-3:ppc64el (1.16-2ubuntu0.1) ... Selecting previously unselected package libgssapi-krb5-2:ppc64el. Preparing to unpack .../038-libgssapi-krb5-2_1.16-2ubuntu0.1_ppc64el.deb ... Unpacking libgssapi-krb5-2:ppc64el (1.16-2ubuntu0.1) ... Selecting previously unselected package time. Preparing to unpack .../039-time_1.7-25.1build1_ppc64el.deb ... Unpacking time (1.7-25.1build1) ... Selecting previously unselected package libsigsegv2:ppc64el. Preparing to unpack .../040-libsigsegv2_2.12-1_ppc64el.deb ... Unpacking libsigsegv2:ppc64el (2.12-1) ... Selecting previously unselected package m4. Preparing to unpack .../041-m4_1.4.18-1_ppc64el.deb ... Unpacking m4 (1.4.18-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../042-autoconf_2.69-11_all.deb ... Unpacking autoconf (2.69-11) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../043-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../044-automake_1%3a1.15.1-3ubuntu2_all.deb ... Unpacking automake (1:1.15.1-3ubuntu2) ... Selecting previously unselected package autopoint. Preparing to unpack .../045-autopoint_0.19.8.1-6ubuntu0.1_all.deb ... Unpacking autopoint (0.19.8.1-6ubuntu0.1) ... Selecting previously unselected package libtool. Preparing to unpack .../046-libtool_2.4.6-2_all.deb ... Unpacking libtool (2.4.6-2) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../047-dh-autoreconf_17_all.deb ... Unpacking dh-autoreconf (17) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../048-libarchive-zip-perl_1.60-1ubuntu0.1_all.deb ... Unpacking libarchive-zip-perl (1.60-1ubuntu0.1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../049-libfile-stripnondeterminism-perl_0.040-1.1~build1_all.deb ... Unpacking libfile-stripnondeterminism-perl (0.040-1.1~build1) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../050-libtimedate-perl_2.3000-2_all.deb ... Unpacking libtimedate-perl (2.3000-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../051-dh-strip-nondeterminism_0.040-1.1~build1_all.deb ... Unpacking dh-strip-nondeterminism (0.040-1.1~build1) ... Selecting previously unselected package libcroco3:ppc64el. Preparing to unpack .../052-libcroco3_0.6.12-2_ppc64el.deb ... Unpacking libcroco3:ppc64el (0.6.12-2) ... Selecting previously unselected package gettext. Preparing to unpack .../053-gettext_0.19.8.1-6ubuntu0.1_ppc64el.deb ... Unpacking gettext (0.19.8.1-6ubuntu0.1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../054-intltool-debian_0.35.0+20060710.4_all.deb ... Unpacking intltool-debian (0.35.0+20060710.4) ... Selecting previously unselected package po-debconf. Preparing to unpack .../055-po-debconf_1.0.20_all.deb ... Unpacking po-debconf (1.0.20) ... Selecting previously unselected package debhelper. Preparing to unpack .../056-debhelper_11.1.6ubuntu2_all.deb ... Unpacking debhelper (11.1.6ubuntu2) ... Selecting previously unselected package emacsen-common. Preparing to unpack .../057-emacsen-common_2.0.8_all.deb ... Unpacking emacsen-common (2.0.8) ... Selecting previously unselected package fonts-lmodern. Preparing to unpack .../058-fonts-lmodern_2.004.5-3_all.deb ... Unpacking fonts-lmodern (2.004.5-3) ... Selecting previously unselected package libtcl8.6:ppc64el. Preparing to unpack .../059-libtcl8.6_8.6.8+dfsg-3_ppc64el.deb ... Unpacking libtcl8.6:ppc64el (8.6.8+dfsg-3) ... Selecting previously unselected package libtk8.6:ppc64el. Preparing to unpack .../060-libtk8.6_8.6.8-4_ppc64el.deb ... Unpacking libtk8.6:ppc64el (8.6.8-4) ... Selecting previously unselected package xemacs21-support. Preparing to unpack .../061-xemacs21-support_21.4.24-5ubuntu1_all.deb ... Unpacking xemacs21-support (21.4.24-5ubuntu1) ... Selecting previously unselected package xemacs21-bin. Preparing to unpack .../062-xemacs21-bin_21.4.24-5ubuntu1_ppc64el.deb ... Unpacking xemacs21-bin (21.4.24-5ubuntu1) ... Selecting previously unselected package libcanna1g. Preparing to unpack .../063-libcanna1g_3.7p3-14_ppc64el.deb ... Unpacking libcanna1g (3.7p3-14) ... Selecting previously unselected package libcompfaceg1. Preparing to unpack .../064-libcompfaceg1_1%3a1.5.2-5build1_ppc64el.deb ... Unpacking libcompfaceg1 (1:1.5.2-5build1) ... Selecting previously unselected package libgpm2:ppc64el. Preparing to unpack .../065-libgpm2_1.20.7-5_ppc64el.deb ... Unpacking libgpm2:ppc64el (1.20.7-5) ... Selecting previously unselected package libjpeg8:ppc64el. Preparing to unpack .../066-libjpeg8_8c-2ubuntu8_ppc64el.deb ... Unpacking libjpeg8:ppc64el (8c-2ubuntu8) ... Selecting previously unselected package libroken18-heimdal:ppc64el. Preparing to unpack .../067-libroken18-heimdal_7.5.0+dfsg-1_ppc64el.deb ... Unpacking libroken18-heimdal:ppc64el (7.5.0+dfsg-1) ... Selecting previously unselected package libasn1-8-heimdal:ppc64el. Preparing to unpack .../068-libasn1-8-heimdal_7.5.0+dfsg-1_ppc64el.deb ... Unpacking libasn1-8-heimdal:ppc64el (7.5.0+dfsg-1) ... Selecting previously unselected package libheimbase1-heimdal:ppc64el. Preparing to unpack .../069-libheimbase1-heimdal_7.5.0+dfsg-1_ppc64el.deb ... Unpacking libheimbase1-heimdal:ppc64el (7.5.0+dfsg-1) ... Selecting previously unselected package libhcrypto4-heimdal:ppc64el. Preparing to unpack .../070-libhcrypto4-heimdal_7.5.0+dfsg-1_ppc64el.deb ... Unpacking libhcrypto4-heimdal:ppc64el (7.5.0+dfsg-1) ... Selecting previously unselected package libwind0-heimdal:ppc64el. Preparing to unpack .../071-libwind0-heimdal_7.5.0+dfsg-1_ppc64el.deb ... Unpacking libwind0-heimdal:ppc64el (7.5.0+dfsg-1) ... Selecting previously unselected package libhx509-5-heimdal:ppc64el. Preparing to unpack .../072-libhx509-5-heimdal_7.5.0+dfsg-1_ppc64el.deb ... Unpacking libhx509-5-heimdal:ppc64el (7.5.0+dfsg-1) ... Selecting previously unselected package libkrb5-26-heimdal:ppc64el. Preparing to unpack .../073-libkrb5-26-heimdal_7.5.0+dfsg-1_ppc64el.deb ... Unpacking libkrb5-26-heimdal:ppc64el (7.5.0+dfsg-1) ... Selecting previously unselected package libheimntlm0-heimdal:ppc64el. Preparing to unpack .../074-libheimntlm0-heimdal_7.5.0+dfsg-1_ppc64el.deb ... Unpacking libheimntlm0-heimdal:ppc64el (7.5.0+dfsg-1) ... Selecting previously unselected package libgssapi3-heimdal:ppc64el. Preparing to unpack .../075-libgssapi3-heimdal_7.5.0+dfsg-1_ppc64el.deb ... Unpacking libgssapi3-heimdal:ppc64el (7.5.0+dfsg-1) ... Selecting previously unselected package libsasl2-modules-db:ppc64el. Preparing to unpack .../076-libsasl2-modules-db_2.1.27~101-g0780600+dfsg-3ubuntu2_ppc64el.deb ... Unpacking libsasl2-modules-db:ppc64el (2.1.27~101-g0780600+dfsg-3ubuntu2) ... Selecting previously unselected package libsasl2-2:ppc64el. Preparing to unpack .../077-libsasl2-2_2.1.27~101-g0780600+dfsg-3ubuntu2_ppc64el.deb ... Unpacking libsasl2-2:ppc64el (2.1.27~101-g0780600+dfsg-3ubuntu2) ... Selecting previously unselected package libldap-common. Preparing to unpack .../078-libldap-common_2.4.45+dfsg-1ubuntu1.1_all.deb ... Unpacking libldap-common (2.4.45+dfsg-1ubuntu1.1) ... Selecting previously unselected package libldap-2.4-2:ppc64el. Preparing to unpack .../079-libldap-2.4-2_2.4.45+dfsg-1ubuntu1.1_ppc64el.deb ... Unpacking libldap-2.4-2:ppc64el (2.4.45+dfsg-1ubuntu1.1) ... Selecting previously unselected package libjbig0:ppc64el. Preparing to unpack .../080-libjbig0_2.1-3.1build1_ppc64el.deb ... Unpacking libjbig0:ppc64el (2.1-3.1build1) ... Selecting previously unselected package libtiff5:ppc64el. Preparing to unpack .../081-libtiff5_4.0.9-5ubuntu0.1_ppc64el.deb ... Unpacking libtiff5:ppc64el (4.0.9-5ubuntu0.1) ... Selecting previously unselected package libxt6:ppc64el. Preparing to unpack .../082-libxt6_1%3a1.1.5-1_ppc64el.deb ... Unpacking libxt6:ppc64el (1:1.1.5-1) ... Selecting previously unselected package libxmu6:ppc64el. Preparing to unpack .../083-libxmu6_2%3a1.1.2-2_ppc64el.deb ... Unpacking libxmu6:ppc64el (2:1.1.2-2) ... Selecting previously unselected package libxpm4:ppc64el. Preparing to unpack .../084-libxpm4_1%3a3.5.12-1_ppc64el.deb ... Unpacking libxpm4:ppc64el (1:3.5.12-1) ... Selecting previously unselected package libxaw7:ppc64el. Preparing to unpack .../085-libxaw7_2%3a1.0.13-1_ppc64el.deb ... Unpacking libxaw7:ppc64el (2:1.0.13-1) ... Selecting previously unselected package xemacs21-mulesupport. Preparing to unpack .../086-xemacs21-mulesupport_2009.02.17.dfsg.2-4_all.deb ... Unpacking xemacs21-mulesupport (2009.02.17.dfsg.2-4) ... Selecting previously unselected package xemacs21-basesupport. Preparing to unpack .../087-xemacs21-basesupport_2009.02.17.dfsg.2-4_all.deb ... Unpacking xemacs21-basesupport (2009.02.17.dfsg.2-4) ... Selecting previously unselected package xemacs21-mule-canna-wnn. Preparing to unpack .../088-xemacs21-mule-canna-wnn_21.4.24-5ubuntu1_ppc64el.deb ... Unpacking xemacs21-mule-canna-wnn (21.4.24-5ubuntu1) ... Selecting previously unselected package gcl. Preparing to unpack .../089-gcl_2.6.12-76_ppc64el.deb ... Unpacking gcl (2.6.12-76) ... Selecting previously unselected package libavahi-common-data:ppc64el. Preparing to unpack .../090-libavahi-common-data_0.7-3.1ubuntu1.1_ppc64el.deb ... Unpacking libavahi-common-data:ppc64el (0.7-3.1ubuntu1.1) ... Selecting previously unselected package libavahi-common3:ppc64el. Preparing to unpack .../091-libavahi-common3_0.7-3.1ubuntu1.1_ppc64el.deb ... Unpacking libavahi-common3:ppc64el (0.7-3.1ubuntu1.1) ... Selecting previously unselected package libavahi-client3:ppc64el. Preparing to unpack .../092-libavahi-client3_0.7-3.1ubuntu1.1_ppc64el.deb ... Unpacking libavahi-client3:ppc64el (0.7-3.1ubuntu1.1) ... Selecting previously unselected package libpixman-1-0:ppc64el. Preparing to unpack .../093-libpixman-1-0_0.34.0-2_ppc64el.deb ... Unpacking libpixman-1-0:ppc64el (0.34.0-2) ... Selecting previously unselected package libxcb-render0:ppc64el. Preparing to unpack .../094-libxcb-render0_1.13-1_ppc64el.deb ... Unpacking libxcb-render0:ppc64el (1.13-1) ... Selecting previously unselected package libxcb-shm0:ppc64el. Preparing to unpack .../095-libxcb-shm0_1.13-1_ppc64el.deb ... Unpacking libxcb-shm0:ppc64el (1.13-1) ... Selecting previously unselected package libcairo2:ppc64el. Preparing to unpack .../096-libcairo2_1.15.10-2_ppc64el.deb ... Unpacking libcairo2:ppc64el (1.15.10-2) ... Selecting previously unselected package libcups2:ppc64el. Preparing to unpack .../097-libcups2_2.2.7-1ubuntu2.3_ppc64el.deb ... Unpacking libcups2:ppc64el (2.2.7-1ubuntu2.3) ... Selecting previously unselected package libcupsimage2:ppc64el. Preparing to unpack .../098-libcupsimage2_2.2.7-1ubuntu2.3_ppc64el.deb ... Unpacking libcupsimage2:ppc64el (2.2.7-1ubuntu2.3) ... Selecting previously unselected package libgmpxx4ldbl:ppc64el. Preparing to unpack .../099-libgmpxx4ldbl_2%3a6.1.2+dfsg-2_ppc64el.deb ... Unpacking libgmpxx4ldbl:ppc64el (2:6.1.2+dfsg-2) ... Selecting previously unselected package libgmp-dev:ppc64el. Preparing to unpack .../100-libgmp-dev_2%3a6.1.2+dfsg-2_ppc64el.deb ... Unpacking libgmp-dev:ppc64el (2:6.1.2+dfsg-2) ... Selecting previously unselected package libgmp3-dev. Preparing to unpack .../101-libgmp3-dev_2%3a6.1.2+dfsg-2_ppc64el.deb ... Unpacking libgmp3-dev (2:6.1.2+dfsg-2) ... Selecting previously unselected package libgraphite2-3:ppc64el. Preparing to unpack .../102-libgraphite2-3_1.3.11-2_ppc64el.deb ... Unpacking libgraphite2-3:ppc64el (1.3.11-2) ... Selecting previously unselected package libijs-0.35:ppc64el. Preparing to unpack .../103-libijs-0.35_0.35-13_ppc64el.deb ... Unpacking libijs-0.35:ppc64el (0.35-13) ... Selecting previously unselected package libjbig2dec0:ppc64el. Preparing to unpack .../104-libjbig2dec0_0.13-6_ppc64el.deb ... Unpacking libjbig2dec0:ppc64el (0.13-6) ... Selecting previously unselected package liblcms2-2:ppc64el. Preparing to unpack .../105-liblcms2-2_2.9-1ubuntu0.1_ppc64el.deb ... Unpacking liblcms2-2:ppc64el (2.9-1ubuntu0.1) ... Selecting previously unselected package libpaper1:ppc64el. Preparing to unpack .../106-libpaper1_1.1.24+nmu5ubuntu1_ppc64el.deb ... Unpacking libpaper1:ppc64el (1.1.24+nmu5ubuntu1) ... Selecting previously unselected package libgs9-common. Preparing to unpack .../107-libgs9-common_9.26~dfsg+0-0ubuntu0.18.04.4_all.deb ... Unpacking libgs9-common (9.26~dfsg+0-0ubuntu0.18.04.4) ... Selecting previously unselected package libgs9:ppc64el. Preparing to unpack .../108-libgs9_9.26~dfsg+0-0ubuntu0.18.04.4_ppc64el.deb ... Unpacking libgs9:ppc64el (9.26~dfsg+0-0ubuntu0.18.04.4) ... Selecting previously unselected package libharfbuzz0b:ppc64el. Preparing to unpack .../109-libharfbuzz0b_1.7.2-1ubuntu1_ppc64el.deb ... Unpacking libharfbuzz0b:ppc64el (1.7.2-1ubuntu1) ... Selecting previously unselected package libharfbuzz-icu0:ppc64el. Preparing to unpack .../110-libharfbuzz-icu0_1.7.2-1ubuntu1_ppc64el.deb ... Unpacking libharfbuzz-icu0:ppc64el (1.7.2-1ubuntu1) ... Selecting previously unselected package xorg-sgml-doctools. Preparing to unpack .../111-xorg-sgml-doctools_1%3a1.11-1_all.deb ... Unpacking xorg-sgml-doctools (1:1.11-1) ... Selecting previously unselected package x11proto-dev. Preparing to unpack .../112-x11proto-dev_2018.4-4_all.deb ... Unpacking x11proto-dev (2018.4-4) ... Selecting previously unselected package x11proto-core-dev. Preparing to unpack .../113-x11proto-core-dev_2018.4-4_all.deb ... Unpacking x11proto-core-dev (2018.4-4) ... Selecting previously unselected package libice-dev:ppc64el. Preparing to unpack .../114-libice-dev_2%3a1.0.9-2_ppc64el.deb ... Unpacking libice-dev:ppc64el (2:1.0.9-2) ... Selecting previously unselected package libkpathsea6:ppc64el. Preparing to unpack .../115-libkpathsea6_2017.20170613.44572-8ubuntu0.1_ppc64el.deb ... Unpacking libkpathsea6:ppc64el (2017.20170613.44572-8ubuntu0.1) ... Selecting previously unselected package libnspr4:ppc64el. Preparing to unpack .../116-libnspr4_2%3a4.18-1ubuntu1_ppc64el.deb ... Unpacking libnspr4:ppc64el (2:4.18-1ubuntu1) ... Selecting previously unselected package libnss3:ppc64el. Preparing to unpack .../117-libnss3_2%3a3.35-2ubuntu2.1_ppc64el.deb ... Unpacking libnss3:ppc64el (2:3.35-2ubuntu2.1) ... Selecting previously unselected package libpaper-utils. Preparing to unpack .../118-libpaper-utils_1.1.24+nmu5ubuntu1_ppc64el.deb ... Unpacking libpaper-utils (1.1.24+nmu5ubuntu1) ... Selecting previously unselected package libpoppler73:ppc64el. Preparing to unpack .../119-libpoppler73_0.62.0-2ubuntu2.6_ppc64el.deb ... Unpacking libpoppler73:ppc64el (0.62.0-2ubuntu2.6) ... Selecting previously unselected package libpotrace0. Preparing to unpack .../120-libpotrace0_1.14-2_ppc64el.deb ... Unpacking libpotrace0 (1.14-2) ... Selecting previously unselected package libptexenc1:ppc64el. Preparing to unpack .../121-libptexenc1_2017.20170613.44572-8ubuntu0.1_ppc64el.deb ... Unpacking libptexenc1:ppc64el (2017.20170613.44572-8ubuntu0.1) ... Selecting previously unselected package libpthread-stubs0-dev:ppc64el. Preparing to unpack .../122-libpthread-stubs0-dev_0.3-4_ppc64el.deb ... Unpacking libpthread-stubs0-dev:ppc64el (0.3-4) ... Selecting previously unselected package libtinfo-dev:ppc64el. Preparing to unpack .../123-libtinfo-dev_6.1-1ubuntu1.18.04_ppc64el.deb ... Unpacking libtinfo-dev:ppc64el (6.1-1ubuntu1.18.04) ... Selecting previously unselected package libreadline-dev:ppc64el. Preparing to unpack .../124-libreadline-dev_7.0-3_ppc64el.deb ... Unpacking libreadline-dev:ppc64el (7.0-3) ... Selecting previously unselected package libsm-dev:ppc64el. Preparing to unpack .../125-libsm-dev_2%3a1.2.2-1_ppc64el.deb ... Unpacking libsm-dev:ppc64el (2:1.2.2-1) ... Selecting previously unselected package libsynctex1:ppc64el. Preparing to unpack .../126-libsynctex1_2017.20170613.44572-8ubuntu0.1_ppc64el.deb ... Unpacking libsynctex1:ppc64el (2017.20170613.44572-8ubuntu0.1) ... Selecting previously unselected package libtexlua52:ppc64el. Preparing to unpack .../127-libtexlua52_2017.20170613.44572-8ubuntu0.1_ppc64el.deb ... Unpacking libtexlua52:ppc64el (2017.20170613.44572-8ubuntu0.1) ... Selecting previously unselected package libtext-unidecode-perl. Preparing to unpack .../128-libtext-unidecode-perl_1.30-1_all.deb ... Unpacking libtext-unidecode-perl (1.30-1) ... Selecting previously unselected package libxau-dev:ppc64el. Preparing to unpack .../129-libxau-dev_1%3a1.0.8-1_ppc64el.deb ... Unpacking libxau-dev:ppc64el (1:1.0.8-1) ... Selecting previously unselected package libxdmcp-dev:ppc64el. Preparing to unpack .../130-libxdmcp-dev_1%3a1.1.2-3_ppc64el.deb ... Unpacking libxdmcp-dev:ppc64el (1:1.1.2-3) ... Selecting previously unselected package xtrans-dev. Preparing to unpack .../131-xtrans-dev_1.3.5-1_all.deb ... Unpacking xtrans-dev (1.3.5-1) ... Selecting previously unselected package libxcb1-dev:ppc64el. Preparing to unpack .../132-libxcb1-dev_1.13-1_ppc64el.deb ... Unpacking libxcb1-dev:ppc64el (1.13-1) ... Selecting previously unselected package libx11-dev:ppc64el. Preparing to unpack .../133-libx11-dev_2%3a1.6.4-3ubuntu0.1_ppc64el.deb ... Unpacking libx11-dev:ppc64el (2:1.6.4-3ubuntu0.1) ... Selecting previously unselected package x11proto-xext-dev. Preparing to unpack .../134-x11proto-xext-dev_2018.4-4_all.deb ... Unpacking x11proto-xext-dev (2018.4-4) ... Selecting previously unselected package libxext-dev:ppc64el. Preparing to unpack .../135-libxext-dev_2%3a1.3.3-1_ppc64el.deb ... Unpacking libxext-dev:ppc64el (2:1.3.3-1) ... Selecting previously unselected package libxt-dev:ppc64el. Preparing to unpack .../136-libxt-dev_1%3a1.1.5-1_ppc64el.deb ... Unpacking libxt-dev:ppc64el (1:1.1.5-1) ... Selecting previously unselected package libxmu-headers. Preparing to unpack .../137-libxmu-headers_2%3a1.1.2-2_all.deb ... Unpacking libxmu-headers (2:1.1.2-2) ... Selecting previously unselected package libxmu-dev:ppc64el. Preparing to unpack .../138-libxmu-dev_2%3a1.1.2-2_ppc64el.deb ... Unpacking libxmu-dev:ppc64el (2:1.1.2-2) ... Selecting previously unselected package libxpm-dev:ppc64el. Preparing to unpack .../139-libxpm-dev_1%3a3.5.12-1_ppc64el.deb ... Unpacking libxpm-dev:ppc64el (1:3.5.12-1) ... Selecting previously unselected package libxaw7-dev:ppc64el. Preparing to unpack .../140-libxaw7-dev_2%3a1.0.13-1_ppc64el.deb ... Unpacking libxaw7-dev:ppc64el (2:1.0.13-1) ... Selecting previously unselected package libxi6:ppc64el. Preparing to unpack .../141-libxi6_2%3a1.7.9-1_ppc64el.deb ... Unpacking libxi6:ppc64el (2:1.7.9-1) ... Selecting previously unselected package libxml-namespacesupport-perl. Preparing to unpack .../142-libxml-namespacesupport-perl_1.12-1_all.deb ... Unpacking libxml-namespacesupport-perl (1.12-1) ... Selecting previously unselected package libxml-sax-base-perl. Preparing to unpack .../143-libxml-sax-base-perl_1.09-1_all.deb ... Unpacking libxml-sax-base-perl (1.09-1) ... Selecting previously unselected package libxml-sax-perl. Preparing to unpack .../144-libxml-sax-perl_0.99+dfsg-2ubuntu1_all.deb ... Unpacking libxml-sax-perl (0.99+dfsg-2ubuntu1) ... Selecting previously unselected package libxml-libxml-perl. Preparing to unpack .../145-libxml-libxml-perl_2.0128+dfsg-5_ppc64el.deb ... Unpacking libxml-libxml-perl (2.0128+dfsg-5) ... Selecting previously unselected package libzzip-0-13:ppc64el. Preparing to unpack .../146-libzzip-0-13_0.13.62-3.1ubuntu0.18.04.1_ppc64el.deb ... Unpacking libzzip-0-13:ppc64el (0.13.62-3.1ubuntu0.18.04.1) ... Selecting previously unselected package t1utils. Preparing to unpack .../147-t1utils_1.41-2_ppc64el.deb ... Unpacking t1utils (1.41-2) ... Selecting previously unselected package texinfo. Preparing to unpack .../148-texinfo_6.5.0.dfsg.1-2_ppc64el.deb ... Unpacking texinfo (6.5.0.dfsg.1-2) ... Selecting previously unselected package texlive-binaries. Preparing to unpack .../149-texlive-binaries_2017.20170613.44572-8ubuntu0.1_ppc64el.deb ... Unpacking texlive-binaries (2017.20170613.44572-8ubuntu0.1) ... Selecting previously unselected package xdg-utils. Preparing to unpack .../150-xdg-utils_1.1.2-1ubuntu2.3_all.deb ... Unpacking xdg-utils (1.1.2-1ubuntu2.3) ... Selecting previously unselected package texlive-base. Preparing to unpack .../151-texlive-base_2017.20180305-1_all.deb ... Unpacking texlive-base (2017.20180305-1) ... Selecting previously unselected package texlive-latex-base. Preparing to unpack .../152-texlive-latex-base_2017.20180305-1_all.deb ... Unpacking texlive-latex-base (2017.20180305-1) ... Selecting previously unselected package texlive-latex-recommended. Preparing to unpack .../153-texlive-latex-recommended_2017.20180305-1_all.deb ... Unpacking texlive-latex-recommended (2017.20180305-1) ... Selecting previously unselected package sbuild-build-depends-acl2-dummy. Preparing to unpack .../154-sbuild-build-depends-acl2-dummy_0.invalid.0_ppc64el.deb ... Unpacking sbuild-build-depends-acl2-dummy (0.invalid.0) ... Setting up libgs9-common (9.26~dfsg+0-0ubuntu0.18.04.4) ... Setting up libkpathsea6:ppc64el (2017.20170613.44572-8ubuntu0.1) ... Setting up libtexlua52:ppc64el (2017.20170613.44572-8ubuntu0.1) ... Setting up libexpat1:ppc64el (2.2.5-3) ... Setting up libicu60:ppc64el (60.2-3ubuntu3) ... Setting up libsynctex1:ppc64el (2017.20170613.44572-8ubuntu0.1) ... Setting up libptexenc1:ppc64el (2017.20170613.44572-8ubuntu0.1) ... Setting up libarchive-zip-perl (1.60-1ubuntu0.1) ... Setting up time (1.7-25.1build1) ... Setting up libxml-namespacesupport-perl (1.12-1) ... Setting up libtimedate-perl (2.3000-2) ... Setting up liblcms2-2:ppc64el (2.9-1ubuntu0.1) ... Setting up libjbig0:ppc64el (2.1-3.1build1) ... Setting up libsigsegv2:ppc64el (2.12-1) ... Setting up libgpm2:ppc64el (1.20.7-5) ... Setting up libldap-common (2.4.45+dfsg-1ubuntu1.1) ... Setting up libpthread-stubs0-dev:ppc64el (0.3-4) ... Setting up fonts-dejavu-core (2.37-1) ... Setting up poppler-data (0.4.8-2) ... Setting up groff-base (1.22.3-10) ... Setting up libglib2.0-0:ppc64el (2.56.3-0ubuntu0.18.04.1) ... No schema files found: doing nothing. Setting up xorg-sgml-doctools (1:1.11-1) ... Setting up emacsen-common (2.0.8) ... Setting up libtext-unidecode-perl (1.30-1) ... Setting up libsasl2-modules-db:ppc64el (2.1.27~101-g0780600+dfsg-3ubuntu2) ... Setting up libsasl2-2:ppc64el (2.1.27~101-g0780600+dfsg-3ubuntu2) ... Setting up libtinfo-dev:ppc64el (6.1-1ubuntu1.18.04) ... Setting up libcanna1g (3.7p3-14) ... Setting up gettext-base (0.19.8.1-6ubuntu0.1) ... Setting up libjpeg-turbo8:ppc64el (1.5.2-0ubuntu5.18.04.1) ... Setting up libpipeline1:ppc64el (1.5.0-1) ... Setting up libroken18-heimdal:ppc64el (7.5.0+dfsg-1) ... Setting up m4 (1.4.18-1) ... Setting up libbsd0:ppc64el (0.8.7-1) ... Setting up libkrb5support0:ppc64el (1.16-2ubuntu0.1) ... Setting up libnspr4:ppc64el (2:4.18-1ubuntu1) ... Setting up ucf (3.0038) ... Setting up libxml2:ppc64el (2.9.4+dfsg1-6.1ubuntu1.2) ... Setting up x11proto-dev (2018.4-4) ... Setting up libfreetype6:ppc64el (2.8.1-2ubuntu2) ... Setting up libmagic-mgc (1:5.32-2ubuntu0.1) ... Setting up libmagic1:ppc64el (1:5.32-2ubuntu0.1) ... Setting up libgraphite2-3:ppc64el (1.3.11-2) ... Setting up xemacs21-support (21.4.24-5ubuntu1) ... Setting up libcroco3:ppc64el (0.6.12-2) ... Setting up libxml-sax-base-perl (1.09-1) ... Setting up libjbig2dec0:ppc64el (0.13-6) ... Setting up libpixman-1-0:ppc64el (0.34.0-2) ... Setting up xtrans-dev (1.3.5-1) ... Setting up x11proto-xext-dev (2018.4-4) ... Processing triggers for libc-bin (2.27-3ubuntu1) ... Setting up autotools-dev (20180224.1) ... Setting up t1utils (1.41-2) ... Setting up libheimbase1-heimdal:ppc64el (7.5.0+dfsg-1) ... Processing triggers for systemd (237-3ubuntu10.11) ... Setting up libreadline-dev:ppc64el (7.0-3) ... Setting up libijs-0.35:ppc64el (0.35-13) ... Setting up xemacs21-mulesupport (2009.02.17.dfsg.2-4) ... Setting up libpotrace0 (1.14-2) ... Setting up libtcl8.6:ppc64el (8.6.8+dfsg-3) ... Setting up libxdmcp6:ppc64el (1:1.1.2-3) ... Setting up libkeyutils1:ppc64el (1.5.9-9.2ubuntu2) ... Setting up libcompfaceg1 (1:1.5.2-5build1) ... Setting up bsdmainutils (11.1.2ubuntu1) ... 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 libgmpxx4ldbl:ppc64el (2:6.1.2+dfsg-2) ... Setting up x11-common (1:7.7+19ubuntu7.1) ... update-rc.d: warning: start and stop actions are no longer supported; falling back to defaults Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of start. Setting up libzzip-0-13:ppc64el (0.13.62-3.1ubuntu0.18.04.1) ... Setting up xemacs21-basesupport (2009.02.17.dfsg.2-4) ... Setting up xdg-utils (1.1.2-1ubuntu2.3) ... Setting up libx11-data (2:1.6.4-3ubuntu0.1) ... Setting up libxau6:ppc64el (1:1.0.8-1) ... Setting up autopoint (0.19.8.1-6ubuntu0.1) ... Setting up libdbus-1-3:ppc64el (1.12.2-1ubuntu1) ... Setting up fonts-lmodern (2.004.5-3) ... Setting up libavahi-common-data:ppc64el (0.7-3.1ubuntu1.1) ... Setting up xemacs21-bin (21.4.24-5ubuntu1) ... update-alternatives: using /usr/lib/xemacs-21.4.24/powerpc64le-linux-gnu/movemail to provide /usr/bin/movemail (movemail) in auto mode update-alternatives: using /usr/lib/xemacs-21.4.24/powerpc64le-linux-gnu/mmencode to provide /usr/bin/mmencode (mmencode) in auto mode update-alternatives: using /usr/bin/b2m.xemacs21 to provide /usr/bin/b2m (b2m) in auto mode update-alternatives: using /usr/bin/etags.xemacs21 to provide /usr/bin/etags (etags) in auto mode update-alternatives: using /usr/bin/gnuclient.xemacs21 to provide /usr/bin/gnuclient (gnuclient) in auto mode update-alternatives: using /usr/bin/gnuattach.xemacs21 to provide /usr/bin/gnuattach (gnuattach) in auto mode update-alternatives: using /usr/bin/gnudoit.xemacs21 to provide /usr/bin/gnudoit (gnudoit) in auto mode update-alternatives: using /usr/bin/rcs-checkin.xemacs21 to provide /usr/bin/rcs-checkin (rcs-checkin) in auto mode update-alternatives: using /usr/bin/ellcc.xemacs21 to provide /usr/bin/ellcc (ellcc) in auto mode Setting up libfile-stripnondeterminism-perl (0.040-1.1~build1) ... Setting up libxml-sax-perl (0.99+dfsg-2ubuntu1) ... update-perl-sax-parsers: Registering Perl SAX parser XML::SAX::PurePerl with priority 10... update-perl-sax-parsers: Updating overall Perl SAX parser modules info file... Creating config file /etc/perl/XML/SAX/ParserDetails.ini with new version Setting up libjpeg8:ppc64el (8c-2ubuntu8) ... Setting up libgmp-dev:ppc64el (2:6.1.2+dfsg-2) ... Setting up libpaper1:ppc64el (1.1.24+nmu5ubuntu1) ... Creating config file /etc/papersize with new version Setting up libk5crypto3:ppc64el (1.16-2ubuntu0.1) ... Setting up libpaper-utils (1.1.24+nmu5ubuntu1) ... Setting up fontconfig-config (2.12.6-0ubuntu2) ... Setting up tex-common (6.09) ... update-language: texlive-base not installed and configured, doing nothing! Setting up x11proto-core-dev (2018.4-4) ... Setting up libwind0-heimdal:ppc64el (7.5.0+dfsg-1) ... Setting up gettext (0.19.8.1-6ubuntu0.1) ... Setting up libasn1-8-heimdal:ppc64el (7.5.0+dfsg-1) ... Setting up libhcrypto4-heimdal:ppc64el (7.5.0+dfsg-1) ... Setting up libnss3:ppc64el (2:3.35-2ubuntu2.1) ... Setting up libharfbuzz0b:ppc64el (1.7.2-1ubuntu1) ... Setting up libtiff5:ppc64el (4.0.9-5ubuntu0.1) ... Setting up libxau-dev:ppc64el (1:1.0.8-1) ... Setting up autoconf (2.69-11) ... Setting up file (1:5.32-2ubuntu0.1) ... Setting up libhx509-5-heimdal:ppc64el (7.5.0+dfsg-1) ... Setting up intltool-debian (0.35.0+20060710.4) ... Setting up libxdmcp-dev:ppc64el (1:1.1.2-3) ... Setting up automake (1:1.15.1-3ubuntu2) ... update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode Setting up libice6:ppc64el (2:1.0.9-2) ... Setting up man-db (2.8.3-2ubuntu0.1) ... Not building database; man-db/auto-update is not 'true'. Setting up libkrb5-3:ppc64el (1.16-2ubuntu0.1) ... Setting up libavahi-common3:ppc64el (0.7-3.1ubuntu1.1) ... Setting up libxml-libxml-perl (2.0128+dfsg-5) ... update-perl-sax-parsers: Registering Perl SAX parser XML::LibXML::SAX::Parser with priority 50... update-perl-sax-parsers: Registering Perl SAX parser XML::LibXML::SAX with priority 50... update-perl-sax-parsers: Updating overall Perl SAX parser modules info file... Replacing config file /etc/perl/XML/SAX/ParserDetails.ini with new version Setting up libkrb5-26-heimdal:ppc64el (7.5.0+dfsg-1) ... Setting up libxcb1:ppc64el (1.13-1) ... Setting up libheimntlm0-heimdal:ppc64el (7.5.0+dfsg-1) ... Setting up libgmp3-dev (2:6.1.2+dfsg-2) ... Setting up libtool (2.4.6-2) ... Setting up libfontconfig1:ppc64el (2.12.6-0ubuntu2) ... Setting up libsm6:ppc64el (2:1.2.2-1) ... Setting up libxcb-render0:ppc64el (1.13-1) ... Setting up libharfbuzz-icu0:ppc64el (1.7.2-1ubuntu1) ... Setting up po-debconf (1.0.20) ... Setting up libx11-6:ppc64el (2:1.6.4-3ubuntu0.1) ... Setting up libgssapi-krb5-2:ppc64el (1.16-2ubuntu0.1) ... Setting up libpoppler73:ppc64el (0.62.0-2ubuntu2.6) ... Setting up libice-dev:ppc64el (2:1.0.9-2) ... Setting up libxcb-shm0:ppc64el (1.13-1) ... Setting up libxpm4:ppc64el (1:3.5.12-1) ... Setting up libxt6:ppc64el (1:1.1.5-1) ... Setting up libxrender1:ppc64el (1:0.9.10-1) ... Setting up libxcb1-dev:ppc64el (1.13-1) ... Setting up libavahi-client3:ppc64el (0.7-3.1ubuntu1.1) ... Setting up texinfo (6.5.0.dfsg.1-2) ... Running mktexlsr. This may take some time. ... done. Setting up libx11-dev:ppc64el (2:1.6.4-3ubuntu0.1) ... Setting up libxft2:ppc64el (2.3.2-1) ... Setting up libgssapi3-heimdal:ppc64el (7.5.0+dfsg-1) ... Setting up libcups2:ppc64el (2.2.7-1ubuntu2.3) ... Setting up libsm-dev:ppc64el (2:1.2.2-1) ... Setting up libxext6:ppc64el (2:1.3.3-1) ... Setting up libxpm-dev:ppc64el (1:3.5.12-1) ... Setting up libxmu-headers (2:1.1.2-2) ... Setting up libxss1:ppc64el (1:1.2.2-1) ... Setting up libxmu6:ppc64el (2:1.1.2-2) ... Setting up libcupsimage2:ppc64el (2.2.7-1ubuntu2.3) ... Setting up libldap-2.4-2:ppc64el (2.4.45+dfsg-1ubuntu1.1) ... Setting up libxext-dev:ppc64el (2:1.3.3-1) ... Setting up libgs9:ppc64el (9.26~dfsg+0-0ubuntu0.18.04.4) ... Setting up libxi6:ppc64el (2:1.7.9-1) ... Setting up libxaw7:ppc64el (2:1.0.13-1) ... Setting up libcairo2:ppc64el (1.15.10-2) ... Setting up libxt-dev:ppc64el (1:1.1.5-1) ... Setting up libxmu-dev:ppc64el (2:1.1.2-2) ... Setting up libxaw7-dev:ppc64el (2:1.0.13-1) ... Setting up libtk8.6:ppc64el (8.6.8-4) ... Setting up texlive-binaries (2017.20170613.44572-8ubuntu0.1) ... update-alternatives: using /usr/bin/xdvi-xaw to provide /usr/bin/xdvi.bin (xdvi.bin) in auto mode update-alternatives: using /usr/bin/bibtex.original to provide /usr/bin/bibtex (bibtex) in auto mode Setting up xemacs21-mule-canna-wnn (21.4.24-5ubuntu1) ... update-alternatives: using /usr/bin/xemacs21-mule-canna-wnn to provide /usr/bin/xemacs21 (xemacs21) in auto mode Install emacsen-common for xemacs21 emacsen-common: Handling install of emacsen flavor xemacs21 Loading /usr/share/emacs/site-lisp/debian-startup... Loading 00debian... Loading site-start... Loading 00debian-vars... Loading 50autoconf... Compiling /etc/xemacs21/site-start.d/00debian-vars.el... Wrote /etc/xemacs21/site-start.d/00debian-vars.elc Compiling /usr/share/xemacs21/site-lisp/debian-startup.el... Wrote /usr/share/xemacs21/site-lisp/debian-startup.elc Done Setting up texlive-base (2017.20180305-1) ... tl-paper: setting paper size for dvips to a4: /var/lib/texmf/dvips/config/config-paper.ps tl-paper: setting paper size for dvipdfmx to a4: /var/lib/texmf/dvipdfmx/dvipdfmx-paper.cfg tl-paper: setting paper size for xdvi to a4: /var/lib/texmf/xdvi/XDvi-paper tl-paper: setting paper size for pdftex to a4: /var/lib/texmf/tex/generic/config/pdftexconfig.tex Setting up gcl (2.6.12-76) ... Creating config file /etc/default/gcl with new version Install gcl for xemacs21 install/gcl: Handling install for emacsen flavor xemacs21 Loading /usr/share/emacs/site-lisp/debian-startup... Loading 00debian... Loading site-start... Loading 00debian-vars... Loading 50autoconf... Loading 50gcl... Compiling /usr/share/xemacs21/site-lisp/gcl/add-default.el... Wrote /usr/share/xemacs21/site-lisp/gcl/add-default.elc Compiling /usr/share/xemacs21/site-lisp/gcl/ansi-doc.el... Wrote /usr/share/xemacs21/site-lisp/gcl/ansi-doc.elc Compiling /usr/share/xemacs21/site-lisp/gcl/dbl.el... Wrote /usr/share/xemacs21/site-lisp/gcl/dbl.elc Compiling /usr/share/xemacs21/site-lisp/gcl/default.el... Wrote /usr/share/xemacs21/site-lisp/gcl/default.elc Compiling /usr/share/xemacs21/site-lisp/gcl/doc-to-texi.el... Wrote /usr/share/xemacs21/site-lisp/gcl/doc-to-texi.elc Compiling /usr/share/xemacs21/site-lisp/gcl/gcl.el... Wrote /usr/share/xemacs21/site-lisp/gcl/gcl.elc Compiling /usr/share/xemacs21/site-lisp/gcl/man1-to-texi.el... Wrote /usr/share/xemacs21/site-lisp/gcl/man1-to-texi.elc Compiling /usr/share/xemacs21/site-lisp/gcl/smart-complete.el... Wrote /usr/share/xemacs21/site-lisp/gcl/smart-complete.elc Compiling /usr/share/xemacs21/site-lisp/gcl/sshell.el... Wrote /usr/share/xemacs21/site-lisp/gcl/sshell.elc Done Setting up texlive-latex-base (2017.20180305-1) ... Setting up texlive-latex-recommended (2017.20180305-1) ... Setting up dh-autoreconf (17) ... Setting up debhelper (11.1.6ubuntu2) ... Setting up sbuild-build-depends-acl2-dummy (0.invalid.0) ... Setting up dh-strip-nondeterminism (0.040-1.1~build1) ... Processing triggers for libc-bin (2.27-3ubuntu1) ... Processing triggers for systemd (237-3ubuntu10.11) ... Processing triggers for tex-common (6.09) ... Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Building format(s) --all. This may take some time... done. +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.4.0-141-generic ppc64el (ppc64le) Toolchain package versions: binutils_2.30-21ubuntu1~18.04 dpkg-dev_1.19.0.5ubuntu2.1 g++-7_7.3.0-27ubuntu1~18.04 gcc-7_7.3.0-27ubuntu1~18.04 libc6-dev_2.27-3ubuntu1 libstdc++-7-dev_7.3.0-27ubuntu1~18.04 libstdc++6_8.2.0-1ubuntu2~18.04 linux-libc-dev_4.15.0-43.46 Package versions: adduser_3.116ubuntu1 advancecomp_2.1-1 apt_1.6.6ubuntu0.1 autoconf_2.69-11 automake_1:1.15.1-3ubuntu2 autopoint_0.19.8.1-6ubuntu0.1 autotools-dev_20180224.1 base-files_10.1ubuntu2.3 base-passwd_3.5.44 bash_4.4.18-2ubuntu1 binutils_2.30-21ubuntu1~18.04 binutils-common_2.30-21ubuntu1~18.04 binutils-powerpc64le-linux-gnu_2.30-21ubuntu1~18.04 bsdmainutils_11.1.2ubuntu1 bsdutils_1:2.31.1-0.4ubuntu3.3 build-essential_12.4ubuntu1 bzip2_1.0.6-8.1 ca-certificates_20180409 coreutils_8.28-1ubuntu1 cpp_4:7.3.0-3ubuntu2.1 cpp-7_7.3.0-27ubuntu1~18.04 dash_0.5.8-2.10 debconf_1.5.66 debhelper_11.1.6ubuntu2 debianutils_4.8.4 dh-autoreconf_17 dh-strip-nondeterminism_0.040-1.1~build1 diffutils_1:3.6-1 dmsetup_2:1.02.145-4.1ubuntu3 dpkg_1.19.0.5ubuntu2.1 dpkg-dev_1.19.0.5ubuntu2.1 e2fslibs_1.44.1-1ubuntu1 e2fsprogs_1.44.1-1ubuntu1 emacsen-common_2.0.8 fakeroot_1.22-2ubuntu1 fdisk_2.31.1-0.4ubuntu3.3 file_1:5.32-2ubuntu0.1 findutils_4.6.0+git+20170828-2 fontconfig-config_2.12.6-0ubuntu2 fonts-dejavu-core_2.37-1 fonts-lmodern_2.004.5-3 g++_4:7.3.0-3ubuntu2.1 g++-7_7.3.0-27ubuntu1~18.04 gcc_4:7.3.0-3ubuntu2.1 gcc-7_7.3.0-27ubuntu1~18.04 gcc-7-base_7.3.0-27ubuntu1~18.04 gcc-8-base_8.2.0-1ubuntu2~18.04 gcl_2.6.12-76 gettext_0.19.8.1-6ubuntu0.1 gettext-base_0.19.8.1-6ubuntu0.1 gpg_2.2.4-1ubuntu1.2 gpg-agent_2.2.4-1ubuntu1.2 gpgconf_2.2.4-1ubuntu1.2 gpgv_2.2.4-1ubuntu1.2 grep_3.1-2 groff-base_1.22.3-10 gzip_1.6-5ubuntu1 hostname_3.20 init_1.51 init-system-helpers_1.51 initscripts_2.88dsf-59.3ubuntu2 insserv_1.14.0-5ubuntu3 intltool-debian_0.35.0+20060710.4 libacl1_2.2.52-3build1 libapparmor1_2.12-4ubuntu5.1 libapt-pkg5.0_1.6.6ubuntu0.1 libarchive-zip-perl_1.60-1ubuntu0.1 libargon2-0_0~20161029-1.1 libasan4_7.3.0-27ubuntu1~18.04 libasn1-8-heimdal_7.5.0+dfsg-1 libassuan0_2.5.1-2 libatomic1_8.2.0-1ubuntu2~18.04 libattr1_1:2.4.47-2build1 libaudit-common_1:2.8.2-1ubuntu1 libaudit1_1:2.8.2-1ubuntu1 libavahi-client3_0.7-3.1ubuntu1.1 libavahi-common-data_0.7-3.1ubuntu1.1 libavahi-common3_0.7-3.1ubuntu1.1 libbinutils_2.30-21ubuntu1~18.04 libblkid1_2.31.1-0.4ubuntu3.3 libbsd0_0.8.7-1 libbz2-1.0_1.0.6-8.1 libc-bin_2.27-3ubuntu1 libc-dev-bin_2.27-3ubuntu1 libc6_2.27-3ubuntu1 libc6-dev_2.27-3ubuntu1 libcairo2_1.15.10-2 libcanna1g_3.7p3-14 libcap-ng0_0.7.7-3.1 libcap2_1:2.25-1.2 libcc1-0_8.2.0-1ubuntu2~18.04 libcom-err2_1.44.1-1ubuntu1 libcomerr2_1.44.1-1ubuntu1 libcompfaceg1_1:1.5.2-5build1 libcroco3_0.6.12-2 libcryptsetup12_2:2.0.2-1ubuntu1.1 libcups2_2.2.7-1ubuntu2.3 libcupsimage2_2.2.7-1ubuntu2.3 libdb5.3_5.3.28-13.1ubuntu1 libdbus-1-3_1.12.2-1ubuntu1 libdebconfclient0_0.213ubuntu1 libdevmapper1.02.1_2:1.02.145-4.1ubuntu3 libdpkg-perl_1.19.0.5ubuntu2.1 libexpat1_2.2.5-3 libext2fs2_1.44.1-1ubuntu1 libfakeroot_1.22-2ubuntu1 libfdisk1_2.31.1-0.4ubuntu3.3 libffi6_3.2.1-8 libfile-stripnondeterminism-perl_0.040-1.1~build1 libfontconfig1_2.12.6-0ubuntu2 libfreetype6_2.8.1-2ubuntu2 libgcc-7-dev_7.3.0-27ubuntu1~18.04 libgcc1_1:8.2.0-1ubuntu2~18.04 libgcrypt20_1.8.1-4ubuntu1.1 libgdbm-compat4_1.14.1-6 libgdbm5_1.14.1-6 libglib2.0-0_2.56.3-0ubuntu0.18.04.1 libgmp-dev_2:6.1.2+dfsg-2 libgmp10_2:6.1.2+dfsg-2 libgmp3-dev_2:6.1.2+dfsg-2 libgmpxx4ldbl_2:6.1.2+dfsg-2 libgnutls30_3.5.18-1ubuntu1 libgomp1_8.2.0-1ubuntu2~18.04 libgpg-error0_1.27-6 libgpm2_1.20.7-5 libgraphite2-3_1.3.11-2 libgs9_9.26~dfsg+0-0ubuntu0.18.04.4 libgs9-common_9.26~dfsg+0-0ubuntu0.18.04.4 libgssapi-krb5-2_1.16-2ubuntu0.1 libgssapi3-heimdal_7.5.0+dfsg-1 libharfbuzz-icu0_1.7.2-1ubuntu1 libharfbuzz0b_1.7.2-1ubuntu1 libhcrypto4-heimdal_7.5.0+dfsg-1 libheimbase1-heimdal_7.5.0+dfsg-1 libheimntlm0-heimdal_7.5.0+dfsg-1 libhogweed4_3.4-1 libhx509-5-heimdal_7.5.0+dfsg-1 libice-dev_2:1.0.9-2 libice6_2:1.0.9-2 libicu60_60.2-3ubuntu3 libidn11_1.33-2.1ubuntu1 libidn2-0_2.0.4-1.1build2 libijs-0.35_0.35-13 libip4tc0_1.6.1-2ubuntu2 libisl19_0.19-1 libitm1_8.2.0-1ubuntu2~18.04 libjbig0_2.1-3.1build1 libjbig2dec0_0.13-6 libjpeg-turbo8_1.5.2-0ubuntu5.18.04.1 libjpeg8_8c-2ubuntu8 libjson-c3_0.12.1-1.3 libk5crypto3_1.16-2ubuntu0.1 libkeyutils1_1.5.9-9.2ubuntu2 libkmod2_24-1ubuntu3.1 libkpathsea6_2017.20170613.44572-8ubuntu0.1 libkrb5-26-heimdal_7.5.0+dfsg-1 libkrb5-3_1.16-2ubuntu0.1 libkrb5support0_1.16-2ubuntu0.1 liblcms2-2_2.9-1ubuntu0.1 libldap-2.4-2_2.4.45+dfsg-1ubuntu1.1 libldap-common_2.4.45+dfsg-1ubuntu1.1 liblockfile-bin_1.14-1.1 liblockfile1_1.14-1.1 liblsan0_8.2.0-1ubuntu2~18.04 liblz4-1_0.0~r131-2ubuntu3 liblzma5_5.2.2-1.3 libmagic-mgc_1:5.32-2ubuntu0.1 libmagic1_1:5.32-2ubuntu0.1 libmount1_2.31.1-0.4ubuntu3.3 libmpc3_1.1.0-1 libmpfr6_4.0.1-1 libncurses5_6.1-1ubuntu1.18.04 libncursesw5_6.1-1ubuntu1.18.04 libnettle6_3.4-1 libnpth0_1.5-3 libnspr4_2:4.18-1ubuntu1 libnss3_2:3.35-2ubuntu2.1 libp11-kit0_0.23.9-2 libpam-modules_1.1.8-3.6ubuntu2 libpam-modules-bin_1.1.8-3.6ubuntu2 libpam-runtime_1.1.8-3.6ubuntu2 libpam0g_1.1.8-3.6ubuntu2 libpaper-utils_1.1.24+nmu5ubuntu1 libpaper1_1.1.24+nmu5ubuntu1 libpcre3_2:8.39-9 libperl5.26_5.26.1-6ubuntu0.3 libpipeline1_1.5.0-1 libpixman-1-0_0.34.0-2 libpng16-16_1.6.34-1ubuntu0.18.04.1 libpoppler73_0.62.0-2ubuntu2.6 libpotrace0_1.14-2 libprocps6_2:3.3.12-3ubuntu1.1 libptexenc1_2017.20170613.44572-8ubuntu0.1 libpthread-stubs0-dev_0.3-4 libreadline-dev_7.0-3 libreadline7_7.0-3 libroken18-heimdal_7.5.0+dfsg-1 libsasl2-2_2.1.27~101-g0780600+dfsg-3ubuntu2 libsasl2-modules-db_2.1.27~101-g0780600+dfsg-3ubuntu2 libseccomp2_2.3.1-2.1ubuntu4 libselinux1_2.7-2build2 libsemanage-common_2.7-2build2 libsemanage1_2.7-2build2 libsepol1_2.7-1 libsigsegv2_2.12-1 libslang2_2.3.1a-3ubuntu1 libsm-dev_2:1.2.2-1 libsm6_2:1.2.2-1 libsmartcols1_2.31.1-0.4ubuntu3.3 libsqlite3-0_3.22.0-1 libss2_1.44.1-1ubuntu1 libssl1.1_1.1.0g-2ubuntu4.3 libstdc++-7-dev_7.3.0-27ubuntu1~18.04 libstdc++6_8.2.0-1ubuntu2~18.04 libsynctex1_2017.20170613.44572-8ubuntu0.1 libsystemd0_237-3ubuntu10.11 libtasn1-6_4.13-2 libtcl8.6_8.6.8+dfsg-3 libtexlua52_2017.20170613.44572-8ubuntu0.1 libtext-unidecode-perl_1.30-1 libtiff5_4.0.9-5ubuntu0.1 libtimedate-perl_2.3000-2 libtinfo-dev_6.1-1ubuntu1.18.04 libtinfo5_6.1-1ubuntu1.18.04 libtk8.6_8.6.8-4 libtool_2.4.6-2 libtsan0_8.2.0-1ubuntu2~18.04 libubsan0_7.3.0-27ubuntu1~18.04 libudev1_237-3ubuntu10.11 libunistring2_0.9.9-0ubuntu1 libusb-0.1-4_2:0.1.12-31 libustr-1.0-1_1.0.4-6 libuuid1_2.31.1-0.4ubuntu3.3 libwind0-heimdal_7.5.0+dfsg-1 libx11-6_2:1.6.4-3ubuntu0.1 libx11-data_2:1.6.4-3ubuntu0.1 libx11-dev_2:1.6.4-3ubuntu0.1 libxau-dev_1:1.0.8-1 libxau6_1:1.0.8-1 libxaw7_2:1.0.13-1 libxaw7-dev_2:1.0.13-1 libxcb-render0_1.13-1 libxcb-shm0_1.13-1 libxcb1_1.13-1 libxcb1-dev_1.13-1 libxdmcp-dev_1:1.1.2-3 libxdmcp6_1:1.1.2-3 libxext-dev_2:1.3.3-1 libxext6_2:1.3.3-1 libxft2_2.3.2-1 libxi6_2:1.7.9-1 libxml-libxml-perl_2.0128+dfsg-5 libxml-namespacesupport-perl_1.12-1 libxml-sax-base-perl_1.09-1 libxml-sax-perl_0.99+dfsg-2ubuntu1 libxml2_2.9.4+dfsg1-6.1ubuntu1.2 libxmu-dev_2:1.1.2-2 libxmu-headers_2:1.1.2-2 libxmu6_2:1.1.2-2 libxpm-dev_1:3.5.12-1 libxpm4_1:3.5.12-1 libxrender1_1:0.9.10-1 libxss1_1:1.2.2-1 libxt-dev_1:1.1.5-1 libxt6_1:1.1.5-1 libzstd1_1.3.3+dfsg-2ubuntu1 libzzip-0-13_0.13.62-3.1ubuntu0.18.04.1 linux-libc-dev_4.15.0-43.46 lockfile-progs_0.1.17build1 login_1:4.5-1ubuntu1 lsb-base_9.20170808ubuntu1 m4_1.4.18-1 make_4.1-9.1ubuntu1 man-db_2.8.3-2ubuntu0.1 mawk_1.3.3-17ubuntu3 mount_2.31.1-0.4ubuntu3.3 multiarch-support_2.27-3ubuntu1 ncurses-base_6.1-1ubuntu1.18.04 ncurses-bin_6.1-1ubuntu1.18.04 openssl_1.1.0g-2ubuntu4.3 optipng_0.7.6-1.1 passwd_1:4.5-1ubuntu1 patch_2.7.6-2ubuntu1 perl_5.26.1-6ubuntu0.3 perl-base_5.26.1-6ubuntu0.3 perl-modules-5.26_5.26.1-6ubuntu0.3 pinentry-curses_1.1.0-1 pkgbinarymangler_138.18.04.0 po-debconf_1.0.20 policyrcd-script-zg2_0.1-3 poppler-data_0.4.8-2 procps_2:3.3.12-3ubuntu1.1 readline-common_7.0-3 sbuild-build-depends-acl2-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.4-2 sensible-utils_0.0.12 systemd_237-3ubuntu10.11 systemd-sysv_237-3ubuntu10.11 sysv-rc_2.88dsf-59.3ubuntu2 sysvinit-utils_2.88dsf-59.10ubuntu1 t1utils_1.41-2 tar_1.29b-2 tex-common_6.09 texinfo_6.5.0.dfsg.1-2 texlive-base_2017.20180305-1 texlive-binaries_2017.20170613.44572-8ubuntu0.1 texlive-latex-base_2017.20180305-1 texlive-latex-recommended_2017.20180305-1 time_1.7-25.1build1 tzdata_2018i-0ubuntu0.18.04 ubuntu-keyring_2018.09.18.1~18.04.0 ucf_3.0038 util-linux_2.31.1-0.4ubuntu3.3 x11-common_1:7.7+19ubuntu7.1 x11proto-core-dev_2018.4-4 x11proto-dev_2018.4-4 x11proto-xext-dev_2018.4-4 xdg-utils_1.1.2-1ubuntu2.3 xemacs21-basesupport_2009.02.17.dfsg.2-4 xemacs21-bin_21.4.24-5ubuntu1 xemacs21-mule-canna-wnn_21.4.24-5ubuntu1 xemacs21-mulesupport_2009.02.17.dfsg.2-4 xemacs21-support_21.4.24-5ubuntu1 xorg-sgml-doctools_1:1.11-1 xtrans-dev_1.3.5-1 xz-utils_5.2.2-1.3 zlib1g_1:1.2.11.dfsg-0ubuntu2 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- gpgv: Signature made Sat Jan 13 02:40:19 2018 UTC gpgv: using RSA key FE214F363697773242E816ECB845CE510F9B714D gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./acl2_8.0dfsg-1.dsc dpkg-source: info: extracting acl2 in acl2-8.0dfsg dpkg-source: info: unpacking acl2_8.0dfsg.orig.tar.gz dpkg-source: info: unpacking acl2_8.0dfsg-1.debian.tar.xz dpkg-source: info: applying remove-pcert-elementary-bounders-for-final-file dpkg-source: info: applying remove-pcert-local-elided-for-final-file dpkg-source: info: applying do-not-pre-allocate-contiguous-blocks1-in-acl2.lisp Check disc space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=noautodbgsym parallel=4 HOME=/sbuild-nonexistent LANG=C.UTF-8 LC_ALL=C.UTF-8 LOGNAME=buildd PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SCHROOT_ALIAS_NAME=build-PACKAGEBUILD-16005697 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-16005697 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-16005697 SCHROOT_UID=2001 SCHROOT_USER=buildd SHELL=/bin/sh TERM=unknown USER=buildd V=1 dpkg-buildpackage ----------------- dpkg-buildpackage: info: source package acl2 dpkg-buildpackage: info: source version 8.0dfsg-1 dpkg-buildpackage: info: source distribution unstable dpkg-source --before-build acl2-8.0dfsg dpkg-buildpackage: info: host architecture ppc64el fakeroot debian/rules clean sed -e "s,^DIR = .*,DIR = $(pwd)/books/interface/infix,1" \ -e "s,^LISP = .*,LISP = $(pwd)/saved_acl2,1" books/interface/infix/makefile > books/interface/infix/Makefile rm -f infix-stamp cd books/interface/infix && make -f Makefile clean make[1]: Entering directory '/<>/books/interface/infix' rm -f /<>/books/interface/infix/*.otl /<>/books/interface/infix/*.err /<>/books/interface/infix/*.ps /<>/books/interface/infix/*.aux rm -f /<>/books/interface/infix/*.dvi /<>/books/interface/infix/*.aux /<>/books/interface/infix/*.log /<>/books/interface/infix/*.idx /<>/books/interface/infix/.log rm -f *~* *#* workxxx *.o *.tex *.nqtex TAGS *.dvi *.ps *.err *.aux *.log *.idx make[1]: Leaving directory '/<>/books/interface/infix' rm -f books/interface/infix/Makefile dh_testdir dh_testroot rm -f build-stamp /usr/bin/make clean make[1]: Entering directory '/<>' ACL2_WD is /<> ACL2 is /<>/saved_acl2 rm -f *.o *#* *.c *.h *.data gazonk.* workxxx* workyyy* *.lib \ *.fasl *.fas *.sparcf *.ufsl *.64ufasl *.ufasl *.dfsl *.dxl \ *.d64fsl *.dx64fsl *.lx64fsl \ *.lx32fsl *.x86f *.sse2f *.o *.fn \ TAGS TAGS-acl2-doc acl2-status.txt acl2r.lisp acl2-proclaims.lisp \ .acl2rc *osaved_acl2* *.log devel-check.out TMP* rm -rf saved rm -f doc/*.o doc/*#* doc/*.c doc/*.h doc/*.data doc/gazonk.* \ doc/workxxx doc/workyyy doc/*.lib \ doc/*.fasl doc/*.fas doc/*.sparcf doc/*.ufsl doc/*.64ufasl doc/*.ufasl doc/*.dfsl \ doc/*.dxl doc/*.d64fsl doc/*.dx64fsl doc/*.lx64fsl \ doc/*.lx32fsl doc/*.x86f doc/*.sse2f doc/*.o doc/*.fn \ doc/*.cert doc/*.port doc/*.out \ doc/*.log doc/TMP* rm -rf doc/TEX doc/HTML doc/EMACS WARNING: The "clean" target is deprecated and will eventually cause an error. Target "clean-lite" has been invoked. Use target "clean-all" (or equivalently, "distclean") if you want a more thorough cleaning. make[1]: Leaving directory '/<>' /usr/bin/make clean-books make[1]: Entering directory '/<>' ACL2_WD is /<> ACL2 is /<>/saved_acl2 cd books ; /usr/bin/make -k ACL2=/<>/saved_acl2 moreclean make[2]: Entering directory '/<>/books' ACL2_SYSTEM_BOOKS is /<>/books Scanning for books... real 0m0.199s user 0m0.064s sys 0m0.016s Scanning for dependencies... real 0m41.956s user 0m40.788s sys 0m0.512s Done scanning. Reading book deps Makefile-deps created on Mon Jan 28 12:42:25 UTC 2019 Determining ACL2 features (for ACL2 = /<>/saved_acl2) ls: cannot access '/<>/books/build/Makefile-features': No such file or directory Determining whether Glucose is installed Determining whether an ipasir shared library is installed Determining whether ABC is installed Determining whether Z3 is installed, for use by SMTLink ACL2_HAS_HONS := ACL2_HAS_ANSI := ACL2_HAS_PARALLEL := ACL2_HAS_REALS := ACL2_COMP_EXT := ACL2_HOST_LISP := OS_HAS_ABC := OS_HAS_GLUCOSE := OS_HAS_IPASIR := OS_HAS_SMTLINK := USE_QUICKLISP := 1 Done with features. Excluding books that need ACL2(h) [...] Excluding books that are CCL-only: [] Excluding books that need ANSI Common Lisp [...] Excluding books that need ABC: [centaur/glmc/counter.cert centaur/glmc/glmc-test.cert ] Excluding books that need Glucose: [centaur/aig/aig-sat-tests.cert centaur/esim/tests/add.cert centaur/esim/tests/common.cert centaur/esim/tests/divide.cert centaur/esim/tests/idiv.cert centaur/esim/tests/multiply.cert centaur/esim/tests/regs.cert centaur/esim/tests/subtract.cert centaur/esim/tutorial/boothmul.cert centaur/glmc/counter.cert centaur/glmc/glmc-test.cert centaur/sv/tutorial/alu.cert centaur/sv/tutorial/boothpipe.cert centaur/sv/tutorial/counter.cert centaur/sv/tutorial/sums.cert doc/top.cert workshops/2017/swords/support/demos.cert ] Excluding books that need Ipasir: [centaur/ipasir/ipasir-backend.cert centaur/ipasir/ipasir-tests.cert centaur/sv/tutorial/sums.cert ] Excluding books that need SMTLINK: [workshops/2015/peng-greenstreet/support/examples/DPLL/DPLL_proof.cert workshops/2015/peng-greenstreet/support/examples/DPLL/DPLL_proof_floor.cert workshops/2015/peng-greenstreet/support/examples/examples.cert workshops/2015/peng-greenstreet/support/examples/other-examples.cert ] Excluding ACL2(r)-only books: [nonstd/fft/fft-trig-with-axioms.cert nonstd/fft/fft-trig.cert nonstd/integrals/continuous-function.cert nonstd/integrals/equivalence-continuous-function.cert nonstd/integrals/equivalence-ftc.cert nonstd/integrals/equivalence-integrals.cert nonstd/integrals/ftc-1.cert nonstd/integrals/ftc-2.cert nonstd/integrals/integrable-functions.cert nonstd/integrals/integral-of-polynomials.cert nonstd/integrals/integration-composition-equivalences.cert nonstd/integrals/integration-composition.cert nonstd/integrals/make-partition.cert nonstd/integrals/split-integral-by-subintervals.cert nonstd/nsa/alternating-series.cert nonstd/nsa/chain-rule.cert nonstd/nsa/complex-polar.cert nonstd/nsa/continuity-product.cert nonstd/nsa/continuity.cert nonstd/nsa/derivative-raise.cert nonstd/nsa/derivatives-composition.cert nonstd/nsa/derivatives.cert nonstd/nsa/equivalence-continuity.cert nonstd/nsa/equivalence-derivatives-composition.cert nonstd/nsa/equivalence-derivatives.cert nonstd/nsa/equivalence-limits.cert nonstd/nsa/exp-continuous.cert nonstd/nsa/exp-sum.cert nonstd/nsa/exp.cert nonstd/nsa/factorial.cert nonstd/nsa/intervals.cert nonstd/nsa/inverse-derivatives.cert nonstd/nsa/inverse-monotone.cert nonstd/nsa/inverse-square.cert nonstd/nsa/inverse-trig.cert nonstd/nsa/inverses.cert nonstd/nsa/ln.cert nonstd/nsa/next-integer.cert nonstd/nsa/norm.cert nonstd/nsa/nsa.cert nonstd/nsa/overspill-proof.cert nonstd/nsa/overspill-test.cert nonstd/nsa/overspill.cert nonstd/nsa/raise.cert nonstd/nsa/sine.cert nonstd/nsa/sqrt.cert nonstd/nsa/trig-approx.cert nonstd/nsa/trig.cert nonstd/polynomials/polynomial-calculus.cert nonstd/polynomials/polynomial-defuns.cert nonstd/polynomials/polynomial-lemmas.cert nonstd/sqrt/no-sqrt.cert nonstd/transcendentals/nested-intervals-revised.cert nonstd/transcendentals/nested-intervals.cert nonstd/transcendentals/reals-are-uncountable-1.cert nonstd/transcendentals/reals-are-uncountable-2.cert nonstd/workshops/1999/analysis/continuity.cert nonstd/workshops/1999/analysis/derivatives.cert nonstd/workshops/1999/analysis/exercise1.cert nonstd/workshops/1999/analysis/exercise2.cert nonstd/workshops/1999/analysis/exercise3.cert nonstd/workshops/1999/analysis/exercise4.cert nonstd/workshops/1999/analysis/exercise5.cert nonstd/workshops/1999/analysis/exercise6.cert nonstd/workshops/1999/analysis/exercise7.cert nonstd/workshops/1999/analysis/exercise8.cert nonstd/workshops/1999/calculus/book/between-i-close-implies-i-close.cert nonstd/workshops/1999/calculus/book/between-limited-implies-limited.cert nonstd/workshops/1999/calculus/book/defaxioms.cert nonstd/workshops/1999/calculus/book/equal-riemann-rcfn-refinement-reduction.cert nonstd/workshops/1999/calculus/book/ftoc-lemma.cert nonstd/workshops/1999/calculus/book/fundamental-theorem-of-calculus.cert nonstd/workshops/1999/calculus/book/i-close-implies-abs-difference-small.cert nonstd/workshops/1999/calculus/book/i-limited-rcfn.cert nonstd/workshops/1999/calculus/book/i-small-maxlist-abslist-difflist-maps.cert nonstd/workshops/1999/calculus/book/integral-rcfn-equal-if-i-close.cert nonstd/workshops/1999/calculus/book/integral-rcfn-lemmas.cert nonstd/workshops/1999/calculus/book/integral-rcfn-quotient-between-non-classical.cert nonstd/workshops/1999/calculus/book/integral-rcfn.cert nonstd/workshops/1999/calculus/book/make-partition.cert nonstd/workshops/1999/calculus/book/map-rcfn-close-to-map-rcfn-refinement.cert nonstd/workshops/1999/calculus/book/map-rcfn-refinement-cdr-co-member.cert nonstd/workshops/1999/calculus/book/max-and-min-attained.cert nonstd/workshops/1999/calculus/book/max-x-between.cert nonstd/workshops/1999/calculus/book/maxlist-abslist-difflist-maps-lt.cert nonstd/workshops/1999/calculus/book/min-max-x-rec-lemmas.cert nonstd/workshops/1999/calculus/book/min-x-and-max-x-lemmas.cert nonstd/workshops/1999/calculus/book/min-x-between.cert nonstd/workshops/1999/calculus/book/next-gte-close.cert nonstd/workshops/1999/calculus/book/nsa-lemmas.cert nonstd/workshops/1999/calculus/book/nsa.cert nonstd/workshops/1999/calculus/book/partitions-give-i-close-riemann-sum.cert nonstd/workshops/1999/calculus/book/proof-outline.cert nonstd/workshops/1999/calculus/book/rcfn-next-gte-close.cert nonstd/workshops/1999/calculus/book/rcfn-standard-part.cert nonstd/workshops/1999/calculus/book/refinement-makes-i-small-change-1.cert nonstd/workshops/1999/calculus/book/refinement-makes-i-small-change.cert nonstd/workshops/1999/calculus/book/riemann-bound.cert nonstd/workshops/1999/calculus/book/riemann-defuns.cert nonstd/workshops/1999/calculus/book/riemann-lemmas.cert nonstd/workshops/1999/calculus/book/riemann-rcfn-between.cert nonstd/workshops/1999/calculus/book/riemann-rcfn-lower-bound.cert nonstd/workshops/1999/calculus/book/riemann-rcfn-refinement-is-riemann-rcfn.cert nonstd/workshops/1999/calculus/book/riemann-rcfn-upper-bound.cert nonstd/workshops/1999/calculus/book/riemann-sum-approximates-integral-1.cert nonstd/workshops/1999/calculus/book/riemann-sum-approximates-integral-2.cert nonstd/workshops/1999/calculus/book/riemann-sum-approximates-integral.cert nonstd/workshops/1999/calculus/book/riemann.cert nonstd/workshops/1999/calculus/book/split-integral-by-subintervals.cert nonstd/workshops/1999/calculus/book/standard-part-equal-if-i-close.cert nonstd/workshops/1999/calculus/book/standard-part-preserves-between.cert nonstd/workshops/1999/calculus/book/standard-part-riemann-rcfn-is-standard.cert nonstd/workshops/1999/calculus/book/two-times-r-is-not-less-than-standard-part.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/abs-derivative.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/chain-composition.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/composition-elem.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/differentiator.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/exp-minimal.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/exp-properties.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/inverse-composition.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/inverse-derivative.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/inverse-square.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/inverse-trig-derivatives.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/inverse-trig-ex.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/ln-derivative-real.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/nsa-ex.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/product-composition.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/sin-cos-minimal.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/sqrt-derivative.cert nonstd/workshops/2011/reid-gamboa-differentiator/support/sum-composition.cert nonstd/workshops/2013/helms-gamboa-quantum/support/quantum.cert projects/hybrid-systems/abs.cert projects/hybrid-systems/arith-nsa4.cert projects/hybrid-systems/computed-hints.cert projects/hybrid-systems/eexp.cert projects/hybrid-systems/example.cert projects/hybrid-systems/nsa.cert projects/hybrid-systems/o-real-p.cert projects/hybrid-systems/phi-exists.cert projects/hybrid-systems/phi-properties.cert projects/hybrid-systems/phi-unique.cert projects/hybrid-systems/tm-floor.cert workshops/2015/chau-kaufmann-hunt/support/cosines-orthog.cert workshops/2015/chau-kaufmann-hunt/support/fourier-coefficients-2.cert workshops/2015/chau-kaufmann-hunt/support/fourier-coefficients.cert workshops/2015/chau-kaufmann-hunt/support/fourier-inner-product.cert workshops/2015/chau-kaufmann-hunt/support/fourier-sums.cert workshops/2015/chau-kaufmann-hunt/support/int-infinite-sum-1.cert workshops/2015/chau-kaufmann-hunt/support/int-infinite-sum-2.cert workshops/2015/chau-kaufmann-hunt/support/int-sum.cert workshops/2015/chau-kaufmann-hunt/support/riemann-integral/continuity-2.cert workshops/2015/chau-kaufmann-hunt/support/riemann-integral/continuous-function-2.cert workshops/2015/chau-kaufmann-hunt/support/riemann-integral/ftc-1-2.cert workshops/2015/chau-kaufmann-hunt/support/sine-cosine-orthog.cert workshops/2015/chau-kaufmann-hunt/support/sines-orthog.cert workshops/2015/chau-kaufmann-hunt/support/utils.cert ] Using clean.pl to remove certificates, etc. /<>/books/build/clean.pl clean.pl: scanning for generated files clean.pl: found 2 targets (1 seconds) clean.pl: deleted 2 files (0 seconds) Cleaning up Quicklisp files cd centaur/quicklisp; ./clean.sh Cleaning quicklisp/bundle (only compiled files 'bundle.*', since outside git repository) Cleaning asdf-home/cache/common-lisp Cleaning quicklisp books clean.pl: scanning for generated files clean.pl: found 0 targets (0 seconds) clean.pl: deleted 0 files (0 seconds) if [ -d projects/milawa/ACL2 ] ; then \ cd projects/milawa/ACL2; /usr/bin/make clean ; \ fi make[3]: Entering directory '/<>/books/projects/milawa/ACL2' Calculating cert dependencies... Calculating pcert dependencies... Done with dependencies. Cleaning ACL2 directory (certificates, ACL2 images, etc.) clean.pl: scanning for generated files clean.pl: found 1 targets (0 seconds) clean.pl: deleted 1 files (0 seconds) Cleaning ../Proofs directory. make[3]: Leaving directory '/<>/books/projects/milawa/ACL2' Cleaning centaur/vl/bin directory Cleaning centaur/vl2014/bin directory Removing extra, explicitly temporary files. rm -rf /<>/books/build/Makefile-comp /<>/books/build/Makefile-comp-pre /<>/books/build/Makefile-deps /<>/books/build/Makefile-books /<>/books/build/Makefile-features /<>/books/build/Makefile-cache serialize/test.sao bdd/benchmarks.lisp nonstd/workshops/1999/calculus/book/tree.lisp centaur/getopt/demo2.core centaur/getopt/demo2.gcl centaur/getopt/demo2.lw centaur/getopt/demo2.lx86cl64 centaur/getopt/demo2.ccl nonstd/workshops/1999/calculus/book/outline/ projects/sat/lrat/incremental/lrat-check projects/sat/lrat/incremental/lrat-check.* projects/sat/lrat/cube/cube-check projects/sat/lrat/cube/cube-check.* projects/apply-model/ex1/evaluation-apply.lisp projects/apply-model/ex1/evaluation-user-defs.lisp projects/apply-model/ex2/evaluation-apply.lisp projects/apply-model/ex2/evaluation-user-defs.lisp for dir in system/toothbrush/ clause-processors/SULFA/ projects/translators/l3-to-acl2/ workshops/1999/multiplier/ workshops/2003/greve-wilding-vanfleet/support/ workshops/2003/kaufmann/support/input/ workshops/2004/sumners-ray/support/ projects/apply-model/ \ workshops/2003/kaufmann/support/rtl ; \ do \ if [ -f $dir/Makefile ] ; then \ (cd $dir ; /usr/bin/make clean) ; \ fi ; \ done make[3]: Entering directory '/<>/books/system/toothbrush' Updating dependencies in /<>/books/system/toothbrush Note: For toothbrush, ACL2_DIR = /<>/. rm -f defined-syms.lsp rm -f success.txt cd tests ; /usr/bin/make clean make[4]: Entering directory '/<>/books/system/toothbrush/tests' make[5]: Entering directory '/<>/books/system/toothbrush/tests/test1' Updating dependencies in /<>/books/system/toothbrush/tests/test1 rm -f output.lsp success.txt tb-exec* rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[5]: Leaving directory '/<>/books/system/toothbrush/tests/test1' make[5]: Entering directory '/<>/books/system/toothbrush/tests/test2' Updating dependencies in /<>/books/system/toothbrush/tests/test2 rm -f output.lsp success.txt tb-exec* rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[5]: Leaving directory '/<>/books/system/toothbrush/tests/test2' make[5]: Entering directory '/<>/books/system/toothbrush/tests/test-par' Updating dependencies in /<>/books/system/toothbrush/tests/test-par rm -f output.lsp success.txt tb-exec* rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[5]: Leaving directory '/<>/books/system/toothbrush/tests/test-par' make[5]: Entering directory '/<>/books/system/toothbrush/tests/dag-unification' Updating dependencies in /<>/books/system/toothbrush/tests/dag-unification rm -f output.lsp success.txt tb-exec* rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[5]: Leaving directory '/<>/books/system/toothbrush/tests/dag-unification' make[4]: Leaving directory '/<>/books/system/toothbrush/tests' rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[3]: Leaving directory '/<>/books/system/toothbrush' make[3]: Entering directory '/<>/books/clause-processors/SULFA' rm -f \#*\# *~ rm -f scripts/interpret_sulfa_file /usr/bin/make PERL=perl SAT_SOLVER=/<>/books/clause-processors/SULFA/../../../aux/minisat2//minisat/core/minisat SAT_SOLVER_TYPE=minisat CC=gcc clean-subdirs make[4]: Entering directory '/<>/books/clause-processors/SULFA' for dir in scripts c-files books; do \ /usr/bin/make PERL=perl SAT_SOLVER=/<>/books/clause-processors/SULFA/../../../aux/minisat2//minisat/core/minisat SAT_SOLVER_TYPE=minisat CC=gcc clean -C $dir; \ done make[5]: Entering directory '/<>/books/clause-processors/SULFA/scripts' rm -f sexpr-sat-solver *~ \#*\# rm -f *acl2_with_smt* temp_command_file.lisp rm -fr sat-temp-files rm -fr sulfa_smt_temp rm -f sulfa-smt rm -f interpret_sulfa_file make[5]: Leaving directory '/<>/books/clause-processors/SULFA/scripts' make[5]: Entering directory '/<>/books/clause-processors/SULFA/c-files' rm -f sat-input-formater smt-prep zchaff-output-formater minisat-output-formater *~ #*# make[5]: Leaving directory '/<>/books/clause-processors/SULFA/c-files' make[5]: Entering directory '/<>/books/clause-processors/SULFA/books' make[6]: Entering directory '/<>/books/clause-processors/SULFA/books/sat' rm -f \#*\# *.cert *~ *.sexpr *.d *.sot sulfa-dir-const.lisp sat-setup.data rm -f -r sat-temp-files rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[6]: Leaving directory '/<>/books/clause-processors/SULFA/books/sat' make[6]: Entering directory '/<>/books/clause-processors/SULFA/books/clause-processors' Updating dependencies in /<>/books/clause-processors/SULFA/books/clause-processors rm -f *.cert *~ *.sexpr *.d *.sot *~ \#*\# rm -f -r sat-temp-files rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[6]: Leaving directory '/<>/books/clause-processors/SULFA/books/clause-processors' make[6]: Entering directory '/<>/books/clause-processors/SULFA/books/sat-tests' rm -f *.cert *~ *.sexpr *.d *.sot rm -f -r sat-temp-files rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[6]: Leaving directory '/<>/books/clause-processors/SULFA/books/sat-tests' make[6]: Entering directory '/<>/books/clause-processors/SULFA/books/bv-smt-solver' Updating dependencies in /<>/books/clause-processors/SULFA/books/bv-smt-solver rm -f *.cert *~ *.sexpr *.d *.sot *~ \#*\# *.smt *.prepped rm -fr sat-temp-files rm -f *.bak rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[6]: Leaving directory '/<>/books/clause-processors/SULFA/books/bv-smt-solver' make[5]: Leaving directory '/<>/books/clause-processors/SULFA/books' make[4]: Leaving directory '/<>/books/clause-processors/SULFA' make[3]: Leaving directory '/<>/books/clause-processors/SULFA' make[3]: Entering directory '/<>/books/projects/translators/l3-to-acl2' Makefile:22: ACL2_DIR is /<> make[4]: Entering directory '/<>/books/projects/translators/l3-to-acl2/translator' Updating dependencies in /<>/books/projects/translators/l3-to-acl2/translator rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[4]: Leaving directory '/<>/books/projects/translators/l3-to-acl2/translator' make[4]: Entering directory '/<>/books/projects/translators/l3-to-acl2/examples/thacker' Makefile:35: L3_TO_ACL2_DIR is /<>/books/projects/translators/l3-to-acl2/translator rm -f tiny.lisp tiny-logic.lisp run-check.txt rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[4]: Leaving directory '/<>/books/projects/translators/l3-to-acl2/examples/thacker' make[3]: Leaving directory '/<>/books/projects/translators/l3-to-acl2' make[3]: Entering directory '/<>/books/workshops/1999/multiplier' rm -f fmul.lisp fmul-star.lisp rm -f *.tem rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[3]: Leaving directory '/<>/books/workshops/1999/multiplier' make[3]: Entering directory '/<>/books/workshops/2003/greve-wilding-vanfleet/support' rm -f consistency-test.lisp make.lisp consistency-test-passed.lisp rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[3]: Leaving directory '/<>/books/workshops/2003/greve-wilding-vanfleet/support' make[3]: Entering directory '/<>/books/workshops/2003/kaufmann/support/input' rm -f defs-out.lisp defs-eq.lisp lemmas-out.lisp check.txt rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[3]: Leaving directory '/<>/books/workshops/2003/kaufmann/support/input' make[3]: Entering directory '/<>/books/workshops/2004/sumners-ray/support' Updating dependencies in /<>/books/workshops/2004/sumners-ray/support rm -f *.rpt rm -f success.txt rm -f run.date run.log run.err rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[3]: Leaving directory '/<>/books/workshops/2004/sumners-ray/support' make[3]: Entering directory '/<>/books/projects/apply-model' Updating dependencies in /<>/books/projects/apply-model make[4]: Entering directory '/<>/books/projects/apply-model/ex1' rm -f evaluation-apply.lisp evaluation-user-defs.lisp Makefile-deps rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[4]: Leaving directory '/<>/books/projects/apply-model/ex1' make[4]: Entering directory '/<>/books/projects/apply-model/ex2' rm -f evaluation-apply.lisp evaluation-user-defs.lisp Makefile-deps rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[4]: Leaving directory '/<>/books/projects/apply-model/ex2' rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[3]: Leaving directory '/<>/books/projects/apply-model' make[3]: Entering directory '/<>/books/workshops/2003/kaufmann/support/rtl' rm -f model.lisp model-defs.lisp model-eq.lisp model.lisp bvecp.lisp rm -f workxxx* *@expansion.lsp *.out *.date *.*cert *.*cert.time *.pcert0 *.pcert1 *cert*.temp \ *.acl2x *.port Makefile-deps *.h *.c *.o *.sbin *.lbin *.fasl *.ufsl \ *.64ufasl *.ufasl *.pfsl *.dfsl *.dx32fsl *.lx32fsl *.d64fsl \ *.dx64fsl *.lx64fsl *.bin *.sparcf *.axpf *.x86f *.ppcf *.fas \ *.lib *.sse2f *.log TMP*.* temp-emacs-file.lsp make[3]: Leaving directory '/<>/books/workshops/2003/kaufmann/support/rtl' Removing even more generated files (documentation, etc). rm -rf doc/manual system/doc/manual doc/xdoc.sao make[2]: Leaving directory '/<>/books' make[1]: Leaving directory '/<>' find books -name "*.final" -exec rm {} \; rm -f saved_acl2 init_nsaved1_acl2.lsp worklispext rm -f debian/mini-proveall.out books/short-test.log debian/test.log rm -f foo.lsp nsaved_acl2 for i in data c h ; do \ for j in $(find -name "*.$i") ; do\ k=$(echo $j | sed "s,\.$i$,,1") ;\ ! [ -e $k.lisp ] || rm $j ; \ done ; \ done rm -f books/bdd/benchmarks.data acl2r.lisp tmp rm -f debian/dpatches debian/acl2.install debian/acl2-source.install debian/acl2-emacs.install debian/acl2-doc.install debian/acl2-books.install debian/acl2-books-source.install debian/acl2-books-certs.install debian/acl2-infix.install debian/acl2-infix-source.install debian/acl2.links debian/acl2-books.links debian/acl2-infix.links debian/README.Debian saved_acl2* rm -f debian/dlopen.lisp debian/acl2-emacs.emacsen-startup rm -f debian/acl2.sh pgcl books/Makefile-tmp books/coi/gensym/gensym.out sys-proclaim.lisp rm -f books/coi/gensym/Makefile-deps books/coi/gensym/workxxx.gensym books/system/doc/rendered-doc.lsp rm -rf doc/HTML-old doc/EMACS-old doc/acl2-wc.txt books/std/io/test.sao rm -f books/centaur/bitops/bitsets-opt-raw.o books/centaur/vl/util/gc-raw.o \ books/centaur/misc/tshell-raw.o books/centaur/vl/Makefile-tmp \ books/build/Makefile-sources books/build/Makefile-certs rm -f debian/acl2-books-certs.lintian-overrides dh_clean -XTAGS debian/rules build-arch cat debian/dlopen.lisp.in | sed "s,@VR@,8.0dfsg,g" > debian/dlopen.lisp gcl -batch -eval "(bye #-native-reloc 1)" || \ (gcl -batch -eval '(load "debian/dlopen.lisp")' && /usr/bin/make do_saved) gcl -batch -eval "(bye #+native-reloc 1)" || /usr/bin/make GCL_ANSI=t LISP=gcl make[1]: Entering directory '/<>' ACL2_WD is /<> ACL2 is /<>/saved_acl2 rm -f acl2r.lisp /usr/bin/make acl2r.lisp make[2]: Entering directory '/<>' ACL2_WD is /<> ACL2 is /<>/saved_acl2 make[2]: Leaving directory '/<>' /usr/bin/make acl2r make[2]: Entering directory '/<>' ACL2_WD is /<> ACL2 is /<>/saved_acl2 rm -f acl2r.lisp /usr/bin/make acl2r.lisp make[3]: Entering directory '/<>' ACL2_WD is /<> ACL2 is /<>/saved_acl2 make[3]: Leaving directory '/<>' make[2]: Leaving directory '/<>' rm -f TAGS rm -f workxxx echo '(load "init.lisp")' > workxxx echo '(acl2::make-tags)' >> workxxx echo '(acl2::exit-lisp)' >> workxxx gcl < workxxx GCL (GNU Common Lisp) 2.6.12 ANSI Fri Apr 22 15:51:11 UTC 2016 Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) Binary License: GPL due to GPL'ed components: (XGCL READLINE UNEXEC) Modifications of this banner must retain notice of a compatible license Dedicated to the memory of W. Schelter Use (help) to get some basic information on how to use GCL. Temporary directory for compiler files: /tmp/ >;; Loading "init.lisp" ;; Loading "acl2r.lisp" ;; Finished loading "acl2r.lisp" ;; Loading "acl2-init.lisp" ;; Loading "acl2.lisp" ;; Loading "acl2-fns.lisp" ;; Finished loading "acl2-fns.lisp" Compiling acl2-fns.lisp. End of Pass 1. ;; Note: Tail-recursive call of GET-TYPE-FROM-DCLS was replaced by iteration. ;; Note: Tail-recursive call of COLLECT-TYPES was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of REV1@ was replaced by iteration. ;; Note: Tail-recursive call of ACL2-READ-CHARACTER-STRING was replaced by iteration. ;; Note: Tail-recursive call of FANCY-STRING-READER-MACRO-AUX was replaced by iteration. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/acl2-fns.o. ;; Loading #p"acl2-fns.o" start address -T 0xf1b740 ;; Finished loading #p"acl2-fns.o" ;; Finished loading "acl2.lisp" ;; Finished loading "acl2-init.lisp" ;; Finished loading "init.lisp" T >GCL (GNU Common Lisp) 2.6.12 ANSI Fri Apr 22 15:51:11 UTC 2016 Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) Binary License: GPL due to GPL'ed components: (XGCL READLINE UNEXEC) Modifications of this banner must retain notice of a compatible license Dedicated to the memory of W. Schelter Use (help) to get some basic information on how to use GCL. Temporary directory for compiler files: /tmp/ >/usr/bin/etags 0 0 >rm -f workxxx if [ -f TAGS ] ; then chmod 644 TAGS ; fi /usr/bin/make compile make[2]: Entering directory '/<>' ACL2_WD is /<> ACL2 is /<>/saved_acl2 rm -f workxxx echo '(load "init.lisp")' > workxxx echo '(acl2::compile-acl2 )' >> workxxx echo '(acl2::exit-lisp)' >> workxxx gcl < workxxx GCL (GNU Common Lisp) 2.6.12 ANSI Fri Apr 22 15:51:11 UTC 2016 Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) Binary License: GPL due to GPL'ed components: (XGCL READLINE UNEXEC) Modifications of this banner must retain notice of a compatible license Dedicated to the memory of W. Schelter Use (help) to get some basic information on how to use GCL. Temporary directory for compiler files: /tmp/ >;; Loading "init.lisp" ;; Loading "acl2r.lisp" ;; Finished loading "acl2r.lisp" ;; Loading "acl2-init.lisp" ;; Loading "acl2.lisp" ;; Loading "acl2-fns.lisp" ;; Finished loading "acl2-fns.lisp" Compiling acl2-fns.lisp. End of Pass 1. ;; Note: Tail-recursive call of GET-TYPE-FROM-DCLS was replaced by iteration. ;; Note: Tail-recursive call of COLLECT-TYPES was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of OUTPUT-TYPE-FOR-DECLARE-FORM-REC was replaced by iteration. ;; Note: Tail-recursive call of REV1@ was replaced by iteration. ;; Note: Tail-recursive call of ACL2-READ-CHARACTER-STRING was replaced by iteration. ;; Note: Tail-recursive call of FANCY-STRING-READER-MACRO-AUX was replaced by iteration. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/acl2-fns.o. ;; Loading #p"acl2-fns.o" start address -T 0xf1b740 ;; Finished loading #p"acl2-fns.o" ;; Finished loading "acl2.lisp" ;; Finished loading "acl2-init.lisp" ;; Finished loading "init.lisp" T >GCL (GNU Common Lisp) 2.6.12 ANSI Fri Apr 22 15:51:11 UTC 2016 Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) Binary License: GPL due to GPL'ed components: (XGCL READLINE UNEXEC) Modifications of this banner must retain notice of a compatible license Dedicated to the memory of W. Schelter Use (help) to get some basic information on how to use GCL. Temporary directory for compiler files: /tmp/ >;; Loading "/usr/lib/gcl-2.6.12/xgcl-2/../cmpnew/gcl_collectfn.o" start address -T 0xf41a40 ;; Finished loading "/usr/lib/gcl-2.6.12/xgcl-2/../cmpnew/gcl_collectfn.o" ;; Loading "acl2-check.lisp" Check completed. ;; Finished loading "acl2-check.lisp" ;; Loading #p"serialize-raw.lisp" ;; Finished loading #p"serialize-raw.lisp" Compiling serialize-raw.lisp. End of Pass 1. End of Pass 2. Error: Fast links are on: do (si::use-fast-links nil) for debugging Signalled by COMPILE-FILE. Raw Lisp Break. Condition in COMPILE-FILE [or a callee]: INTERNAL-SIMPLE-ERROR: Caught fatal error [memory may be damaged] Broken at APPLY. Type :H for Help. 1 Return to top level. COMPILER>>make[3]: Entering directory '/<>' ACL2_WD is /<> ACL2 is /<>/saved_acl2 Compile FAILED: file acl2-status.txt is missing. GNUmakefile:349: recipe for target 'check_compile_ok' failed make[3]: *** [check_compile_ok] Error 1 make[3]: Leaving directory '/<>' GNUmakefile:405: recipe for target 'compile' failed make[2]: *** [compile] Error 2 make[2]: Leaving directory '/<>' GNUmakefile:396: recipe for target 'full' failed make[1]: *** [full] Error 2 make[1]: Leaving directory '/<>' debian/rules:70: recipe for target 'saved_acl2' failed make: *** [saved_acl2] Error 2 dpkg-buildpackage: error: debian/rules build-arch subprocess returned exit status 2 -------------------------------------------------------------------------------- Build finished at 20190128-1242 Finished -------- E: Build failure (dpkg-buildpackage died) +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: ppc64el Build-Space: 231648 Build-Time: 57 Distribution: bionic Fail-Stage: build Host Architecture: ppc64el Install-Time: 72 Job: acl2_8.0dfsg-1.dsc Machine Architecture: ppc64el Package: acl2 Package-Time: 133 Source-Version: 8.0dfsg-1 Space: 231648 Status: attempted Version: 8.0dfsg-1 -------------------------------------------------------------------------------- Finished at 20190128-1242 Build needed 00:02:13, 231648k disc space RUN: /usr/share/launchpad-buildd/slavebin/in-target scan-for-processes --backend=chroot --series=bionic --arch=ppc64el PACKAGEBUILD-16005697 Scanning for processes to kill in build PACKAGEBUILD-16005697