RUN: /usr/share/launchpad-buildd/slavebin/slave-prep Forking launchpad-buildd slave process... Kernel version: Linux lgw01-amd64-029 4.4.0-96-generic #119-Ubuntu SMP Tue Sep 12 14:59:54 UTC 2017 x86_64 Buildd toolchain package versions: launchpad-buildd_152 python-lpbuildd_152 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.2 dpkg-dev_1.18.4ubuntu1.2 python-debian_0.1.27ubuntu2. Syncing the system clock with the buildd NTP service... 23 Sep 07:41:45 ntpdate[1786]: adjust time server 10.211.37.1 offset -0.000738 sec RUN: /usr/share/launchpad-buildd/slavebin/in-target unpack-chroot --backend=chroot --series=artful --arch=i386 PACKAGEBUILD-13404704 /home/buildd/filecache-default/b6762bcd0bec7d108ffb0fb3fb0b7d1ce32df8bb Creating target for build PACKAGEBUILD-13404704 RUN: /usr/share/launchpad-buildd/slavebin/in-target mount-chroot --backend=chroot --series=artful --arch=i386 PACKAGEBUILD-13404704 Starting target for build PACKAGEBUILD-13404704 RUN: /usr/share/launchpad-buildd/slavebin/in-target override-sources-list --backend=chroot --series=artful --arch=i386 PACKAGEBUILD-13404704 'deb http://ftpmaster.internal/ubuntu artful main universe' Overriding sources.list in build-PACKAGEBUILD-13404704 RUN: /usr/share/launchpad-buildd/slavebin/in-target update-debian-chroot --backend=chroot --series=artful --arch=i386 PACKAGEBUILD-13404704 Updating target for build PACKAGEBUILD-13404704 Get:1 http://ftpmaster.internal/ubuntu artful InRelease [237 kB] Get:2 http://ftpmaster.internal/ubuntu artful/main i386 Packages [1077 kB] Get:3 http://ftpmaster.internal/ubuntu artful/main Translation-en [544 kB] Get:4 http://ftpmaster.internal/ubuntu artful/universe i386 Packages [8056 kB] Get:5 http://ftpmaster.internal/ubuntu artful/universe Translation-en [4785 kB] Fetched 14.7 MB in 7s (2000 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package PACKAGEBUILD-13404704 i386 artful -c chroot:build-PACKAGEBUILD-13404704 --arch=i386 --dist=artful --nolog acl2_7.2dfsg-2.dsc Initiating build PACKAGEBUILD-13404704 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 4.4.0-96-generic #119-Ubuntu SMP Tue Sep 12 14:59:54 UTC 2017 i686 sbuild (Debian sbuild) 0.67.0 (26 Dec 2015) on lgw01-amd64-029.buildd +==============================================================================+ | acl2 7.2dfsg-2 (i386) 23 Sep 2017 07:42 | +==============================================================================+ Package: acl2 Version: 7.2dfsg-2 Source Version: 7.2dfsg-2 Distribution: artful Machine Architecture: amd64 Host Architecture: i386 Build Architecture: i386 I: NOTICE: Log filtering will replace 'build/acl2-KntHKF/acl2-7.2dfsg' with '<>' I: NOTICE: Log filtering will replace 'build/acl2-KntHKF' with '<>' I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-13404704/chroot-autobuild' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- acl2_7.2dfsg-2.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-ynbggA/apt_archive/sbuild-build-depends-core-dummy.deb'. Ign:1 copy:/<>/resolver-ynbggA/apt_archive ./ InRelease Get:2 copy:/<>/resolver-ynbggA/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-ynbggA/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-ynbggA/apt_archive ./ Sources [214 B] Get:5 copy:/<>/resolver-ynbggA/apt_archive ./ Packages [526 B] Fetched 2859 B in 0s (0 B/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 778 B of archives. After this operation, 0 B of additional disk space will be used. Get:1 copy:/<>/resolver-ynbggA/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [778 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 778 B in 0s (0 B/s) Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... 12671 files and directories currently installed.) Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_i386.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-32), libgmp3-dev, libreadline-dev, emacs24 | emacsen, debhelper (>= 5), texlive-latex-recommended, libxmu-dev, libxaw7-dev, time, tex-common, texinfo Filtered Build-Depends: gcl (>= 2.6.12-32), libgmp3-dev, libreadline-dev, emacs24 | 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-WeWwby/apt_archive/sbuild-build-depends-acl2-dummy.deb'. Ign:1 copy:/<>/resolver-WeWwby/apt_archive ./ InRelease Get:2 copy:/<>/resolver-WeWwby/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-WeWwby/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-WeWwby/apt_archive ./ Sources [289 B] Get:5 copy:/<>/resolver-WeWwby/apt_archive ./ Packages [606 B] Fetched 3014 B in 0s (0 B/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 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 libharfbuzz-icu0 libharfbuzz0b libice-dev libice6 libicu57 libijs-0.35 libjbig0 libjbig2dec0 libjpeg-turbo8 libjpeg8 libkpathsea6 liblcms2-2 libmagic-mgc libmagic1 libnspr4 libnss3 libpaper-utils libpaper1 libpipeline1 libpixman-1-0 libpoppler68 libpotrace0 libptexenc1 libpthread-stubs0-dev libreadline-dev libsigsegv2 libsm-dev libsm6 libsynctex1 libtcl8.6 libtexlua52 libtexluajit2 libtext-unidecode-perl libtiff5 libtimedate-perl libtinfo-dev libtk8.6 libtool 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-input-dev x11proto-kb-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 gcl-doc gettext-doc libasprintf-dev libgettextpo-dev groff cups-common gmp-doc libgmp10-doc libmpfr-dev gpm 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 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-pstricks gvfs-bin xfonts-cjk xemacs21-supportel Recommended packages: curl | wget | lynx-cur libcupsfilters1 dbus libarchive-cpio-perl libglib2.0-data shared-mime-info xdg-user-dirs fonts-droid-fallback libltdl-dev libx11-doc libxml-sax-expat-perl xml-core libmail-sendmail-perl lmodern python ruby wish texlive-latex-base-doc texlive-latex-recommended-doc libfile-mimeinfo-perl libnet-dbus-perl libx11-protocol-perl x11-utils x11-xserver-utils The following packages will be REMOVED: pkg-create-dbgsym* 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 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 libharfbuzz-icu0 libharfbuzz0b libice-dev libice6 libicu57 libijs-0.35 libjbig0 libjbig2dec0 libjpeg-turbo8 libjpeg8 libkpathsea6 liblcms2-2 libmagic-mgc libmagic1 libnspr4 libnss3 libpaper-utils libpaper1 libpipeline1 libpixman-1-0 libpoppler68 libpotrace0 libptexenc1 libpthread-stubs0-dev libreadline-dev libsigsegv2 libsm-dev libsm6 libsynctex1 libtcl8.6 libtexlua52 libtexluajit2 libtext-unidecode-perl libtiff5 libtimedate-perl libtinfo-dev libtk8.6 libtool 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-input-dev x11proto-kb-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, 139 newly installed, 1 to remove and 0 not upgraded. Need to get 140 MB of archives. After this operation, 535 MB of additional disk space will be used. Get:1 copy:/<>/resolver-WeWwby/apt_archive ./ sbuild-build-depends-acl2-dummy 0.invalid.0 [858 B] Get:2 http://ftpmaster.internal/ubuntu artful/main i386 libxau6 i386 1:1.0.8-1 [8352 B] Get:3 http://ftpmaster.internal/ubuntu artful/main i386 libbsd0 i386 0.8.6-1 [45.1 kB] Get:4 http://ftpmaster.internal/ubuntu artful/main i386 libxdmcp6 i386 1:1.1.2-3 [11.1 kB] Get:5 http://ftpmaster.internal/ubuntu artful/main i386 libxcb1 i386 1.11.1-1ubuntu1 [44.1 kB] Get:6 http://ftpmaster.internal/ubuntu artful/main i386 libx11-data all 2:1.6.4-3 [114 kB] Get:7 http://ftpmaster.internal/ubuntu artful/main i386 libx11-6 i386 2:1.6.4-3 [594 kB] Get:8 http://ftpmaster.internal/ubuntu artful/main i386 libxext6 i386 2:1.3.3-1 [31.6 kB] Get:9 http://ftpmaster.internal/ubuntu artful/main i386 groff-base i386 1.22.3-9 [1163 kB] Get:10 http://ftpmaster.internal/ubuntu artful/main i386 bsdmainutils i386 9.0.12+nmu1ubuntu1 [181 kB] Get:11 http://ftpmaster.internal/ubuntu artful/main i386 libpipeline1 i386 1.4.2-1 [26.8 kB] Get:12 http://ftpmaster.internal/ubuntu artful/main i386 man-db i386 2.7.6.1-2 [906 kB] Get:13 http://ftpmaster.internal/ubuntu artful/main i386 libjpeg-turbo8 i386 1.5.2-0ubuntu3 [118 kB] Get:14 http://ftpmaster.internal/ubuntu artful/main i386 x11-common all 1:7.7+19ubuntu2 [22.2 kB] Get:15 http://ftpmaster.internal/ubuntu artful/main i386 libice6 i386 2:1.0.9-2 [42.6 kB] Get:16 http://ftpmaster.internal/ubuntu artful/main i386 libsm6 i386 2:1.2.2-1 [14.8 kB] Get:17 http://ftpmaster.internal/ubuntu artful/main i386 fonts-dejavu-core all 2.37-1 [1041 kB] Get:18 http://ftpmaster.internal/ubuntu artful/main i386 ucf all 3.0036 [52.9 kB] Get:19 http://ftpmaster.internal/ubuntu artful/main i386 fontconfig-config all 2.11.94-0ubuntu2 [49.9 kB] Get:20 http://ftpmaster.internal/ubuntu artful/main i386 libexpat1 i386 2.2.3-1 [75.1 kB] Get:21 http://ftpmaster.internal/ubuntu artful/main i386 libfreetype6 i386 2.8-0.2ubuntu2 [349 kB] Get:22 http://ftpmaster.internal/ubuntu artful/main i386 libfontconfig1 i386 2.11.94-0ubuntu2 [140 kB] Get:23 http://ftpmaster.internal/ubuntu artful/main i386 libxrender1 i386 1:0.9.10-1 [19.9 kB] Get:24 http://ftpmaster.internal/ubuntu artful/main i386 libxft2 i386 2.3.2-1 [35.5 kB] Get:25 http://ftpmaster.internal/ubuntu artful/main i386 libxss1 i386 1:1.2.2-1 [8566 B] Get:26 http://ftpmaster.internal/ubuntu artful/main i386 poppler-data all 0.4.8-1 [1476 kB] Get:27 http://ftpmaster.internal/ubuntu artful/main i386 tex-common all 6.09 [33.0 kB] Get:28 http://ftpmaster.internal/ubuntu artful/main i386 libjbig0 i386 2.1-3.1 [27.0 kB] Get:29 http://ftpmaster.internal/ubuntu artful/main i386 libmagic-mgc i386 1:5.32-1 [184 kB] Get:30 http://ftpmaster.internal/ubuntu artful/main i386 libmagic1 i386 1:5.32-1 [75.0 kB] Get:31 http://ftpmaster.internal/ubuntu artful/main i386 file i386 1:5.32-1 [21.9 kB] Get:32 http://ftpmaster.internal/ubuntu artful/main i386 libdbus-1-3 i386 1.10.22-1ubuntu1 [177 kB] Get:33 http://ftpmaster.internal/ubuntu artful/main i386 gettext-base i386 0.19.8.1-4ubuntu1 [50.7 kB] Get:34 http://ftpmaster.internal/ubuntu artful/main i386 libglib2.0-0 i386 2.54.0-1ubuntu1 [1231 kB] Get:35 http://ftpmaster.internal/ubuntu artful/main i386 libicu57 i386 57.1-6 [7837 kB] Get:36 http://ftpmaster.internal/ubuntu artful/main i386 libxml2 i386 2.9.4+dfsg1-3.1 [705 kB] Get:37 http://ftpmaster.internal/ubuntu artful/main i386 time i386 1.7-25.1build1 [25.8 kB] Get:38 http://ftpmaster.internal/ubuntu artful/main i386 libsigsegv2 i386 2.11-1 [13.5 kB] Get:39 http://ftpmaster.internal/ubuntu artful/main i386 m4 i386 1.4.18-1 [196 kB] Get:40 http://ftpmaster.internal/ubuntu artful/main i386 autoconf all 2.69-11 [322 kB] Get:41 http://ftpmaster.internal/ubuntu artful/main i386 autotools-dev all 20161112.1 [39.5 kB] Get:42 http://ftpmaster.internal/ubuntu artful/main i386 automake all 1:1.15-6ubuntu1 [509 kB] Get:43 http://ftpmaster.internal/ubuntu artful/main i386 autopoint all 0.19.8.1-4ubuntu1 [412 kB] Get:44 http://ftpmaster.internal/ubuntu artful/main i386 libtool all 2.4.6-2 [194 kB] Get:45 http://ftpmaster.internal/ubuntu artful/main i386 dh-autoreconf all 14 [15.5 kB] Get:46 http://ftpmaster.internal/ubuntu artful/main i386 libarchive-zip-perl all 1.59-1 [84.0 kB] Get:47 http://ftpmaster.internal/ubuntu artful/main i386 libfile-stripnondeterminism-perl all 0.038-1 [13.3 kB] Get:48 http://ftpmaster.internal/ubuntu artful/main i386 libtimedate-perl all 2.3000-2 [37.5 kB] Get:49 http://ftpmaster.internal/ubuntu artful/main i386 dh-strip-nondeterminism all 0.038-1 [5026 B] Get:50 http://ftpmaster.internal/ubuntu artful/main i386 libcroco3 i386 0.6.12-1 [87.5 kB] Get:51 http://ftpmaster.internal/ubuntu artful/main i386 gettext i386 0.19.8.1-4ubuntu1 [1097 kB] Get:52 http://ftpmaster.internal/ubuntu artful/main i386 intltool-debian all 0.35.0+20060710.4 [24.9 kB] Get:53 http://ftpmaster.internal/ubuntu artful/main i386 po-debconf all 1.0.20 [232 kB] Get:54 http://ftpmaster.internal/ubuntu artful/main i386 debhelper all 10.7.2ubuntu2 [877 kB] Get:55 http://ftpmaster.internal/ubuntu artful/main i386 emacsen-common all 2.0.8 [17.6 kB] Get:56 http://ftpmaster.internal/ubuntu artful/main i386 fonts-lmodern all 2.004.5-3 [4551 kB] Get:57 http://ftpmaster.internal/ubuntu artful/main i386 libtcl8.6 i386 8.6.7+dfsg-1 [936 kB] Get:58 http://ftpmaster.internal/ubuntu artful/main i386 libtk8.6 i386 8.6.7-1 [729 kB] Get:59 http://ftpmaster.internal/ubuntu artful/universe i386 xemacs21-support all 21.4.24-4ubuntu1 [3994 kB] Get:60 http://ftpmaster.internal/ubuntu artful/universe i386 xemacs21-bin i386 21.4.24-4ubuntu1 [397 kB] Get:61 http://ftpmaster.internal/ubuntu artful/universe i386 libcanna1g i386 3.7p3-14 [322 kB] Get:62 http://ftpmaster.internal/ubuntu artful/universe i386 libcompfaceg1 i386 1:1.5.2-5 [14.1 kB] Get:63 http://ftpmaster.internal/ubuntu artful/main i386 libgpm2 i386 1.20.4-6.2 [15.4 kB] Get:64 http://ftpmaster.internal/ubuntu artful/main i386 libjpeg8 i386 8c-2ubuntu8 [2188 B] Get:65 http://ftpmaster.internal/ubuntu artful/main i386 libtiff5 i386 4.0.8-5 [161 kB] Get:66 http://ftpmaster.internal/ubuntu artful/main i386 libxt6 i386 1:1.1.5-1 [164 kB] Get:67 http://ftpmaster.internal/ubuntu artful/main i386 libxmu6 i386 2:1.1.2-2 [48.4 kB] Get:68 http://ftpmaster.internal/ubuntu artful/main i386 libxpm4 i386 1:3.5.12-1 [35.8 kB] Get:69 http://ftpmaster.internal/ubuntu artful/main i386 libxaw7 i386 2:1.0.13-1 [182 kB] Get:70 http://ftpmaster.internal/ubuntu artful/universe i386 xemacs21-mulesupport all 2009.02.17.dfsg.2-4 [3125 kB] Get:71 http://ftpmaster.internal/ubuntu artful/universe i386 xemacs21-basesupport all 2009.02.17.dfsg.2-4 [15.9 MB] Get:72 http://ftpmaster.internal/ubuntu artful/universe i386 xemacs21-mule-canna-wnn i386 21.4.24-4ubuntu1 [1693 kB] Get:73 http://ftpmaster.internal/ubuntu artful/universe i386 gcl i386 2.6.12-54 [27.9 MB] Get:74 http://ftpmaster.internal/ubuntu artful/main i386 libavahi-common-data i386 0.6.32-1ubuntu1 [22.0 kB] Get:75 http://ftpmaster.internal/ubuntu artful/main i386 libavahi-common3 i386 0.6.32-1ubuntu1 [23.5 kB] Get:76 http://ftpmaster.internal/ubuntu artful/main i386 libavahi-client3 i386 0.6.32-1ubuntu1 [27.1 kB] Get:77 http://ftpmaster.internal/ubuntu artful/main i386 libpixman-1-0 i386 0.34.0-1 [235 kB] Get:78 http://ftpmaster.internal/ubuntu artful/main i386 libxcb-render0 i386 1.11.1-1ubuntu1 [12.2 kB] Get:79 http://ftpmaster.internal/ubuntu artful/main i386 libxcb-shm0 i386 1.11.1-1ubuntu1 [5754 B] Get:80 http://ftpmaster.internal/ubuntu artful/main i386 libcairo2 i386 1.14.10-1 [613 kB] Get:81 http://ftpmaster.internal/ubuntu artful/main i386 libcups2 i386 2.2.4-7 [224 kB] Get:82 http://ftpmaster.internal/ubuntu artful/main i386 libcupsimage2 i386 2.2.4-7 [19.3 kB] Get:83 http://ftpmaster.internal/ubuntu artful/main i386 libgmpxx4ldbl i386 2:6.1.2+dfsg-1 [9268 B] Get:84 http://ftpmaster.internal/ubuntu artful/main i386 libgmp-dev i386 2:6.1.2+dfsg-1 [312 kB] Get:85 http://ftpmaster.internal/ubuntu artful/main i386 libgmp3-dev i386 2:6.1.2+dfsg-1 [1916 B] Get:86 http://ftpmaster.internal/ubuntu artful/main i386 libgraphite2-3 i386 1.3.10-2 [81.0 kB] Get:87 http://ftpmaster.internal/ubuntu artful/main i386 libijs-0.35 i386 0.35-12 [16.0 kB] Get:88 http://ftpmaster.internal/ubuntu artful/main i386 libjbig2dec0 i386 0.13-4.1 [58.0 kB] Get:89 http://ftpmaster.internal/ubuntu artful/main i386 liblcms2-2 i386 2.7-1ubuntu1 [148 kB] Get:90 http://ftpmaster.internal/ubuntu artful/main i386 libpaper1 i386 1.1.24+nmu5ubuntu1 [13.7 kB] Get:91 http://ftpmaster.internal/ubuntu artful/main i386 libgs9-common all 9.21~dfsg+1-0ubuntu3 [5121 kB] Get:92 http://ftpmaster.internal/ubuntu artful/main i386 libgs9 i386 9.21~dfsg+1-0ubuntu3 [2281 kB] Get:93 http://ftpmaster.internal/ubuntu artful/main i386 libharfbuzz0b i386 1.4.2-1 [221 kB] Get:94 http://ftpmaster.internal/ubuntu artful/main i386 libharfbuzz-icu0 i386 1.4.2-1 [5394 B] Get:95 http://ftpmaster.internal/ubuntu artful/main i386 xorg-sgml-doctools all 1:1.11-1 [12.9 kB] Get:96 http://ftpmaster.internal/ubuntu artful/main i386 x11proto-core-dev all 7.0.31-1 [700 kB] Get:97 http://ftpmaster.internal/ubuntu artful/main i386 libice-dev i386 2:1.0.9-2 [46.8 kB] Get:98 http://ftpmaster.internal/ubuntu artful/main i386 libkpathsea6 i386 2017.20170613.44572-5build1 [59.2 kB] Get:99 http://ftpmaster.internal/ubuntu artful/main i386 libnspr4 i386 2:4.16-1ubuntu1 [121 kB] Get:100 http://ftpmaster.internal/ubuntu artful/main i386 libnss3 i386 2:3.32-1ubuntu2 [1210 kB] Get:101 http://ftpmaster.internal/ubuntu artful/main i386 libpaper-utils i386 1.1.24+nmu5ubuntu1 [8248 B] Get:102 http://ftpmaster.internal/ubuntu artful/main i386 libpoppler68 i386 0.57.0-2ubuntu1 [815 kB] Get:103 http://ftpmaster.internal/ubuntu artful/main i386 libpotrace0 i386 1.14-2 [16.7 kB] Get:104 http://ftpmaster.internal/ubuntu artful/main i386 libptexenc1 i386 2017.20170613.44572-5build1 [35.1 kB] Get:105 http://ftpmaster.internal/ubuntu artful/main i386 libpthread-stubs0-dev i386 0.3-4 [4054 B] Get:106 http://ftpmaster.internal/ubuntu artful/main i386 libtinfo-dev i386 6.0+20160625-1ubuntu1 [76.2 kB] Get:107 http://ftpmaster.internal/ubuntu artful/main i386 libreadline-dev i386 7.0-0ubuntu2 [132 kB] Get:108 http://ftpmaster.internal/ubuntu artful/main i386 libsm-dev i386 2:1.2.2-1 [15.1 kB] Get:109 http://ftpmaster.internal/ubuntu artful/main i386 libsynctex1 i386 2017.20170613.44572-5build1 [43.6 kB] Get:110 http://ftpmaster.internal/ubuntu artful/main i386 libtexlua52 i386 2017.20170613.44572-5build1 [99.5 kB] Get:111 http://ftpmaster.internal/ubuntu artful/main i386 libtexluajit2 i386 2017.20170613.44572-5build1 [246 kB] Get:112 http://ftpmaster.internal/ubuntu artful/universe i386 libtext-unidecode-perl all 1.30-1 [99.0 kB] Get:113 http://ftpmaster.internal/ubuntu artful/main i386 libxau-dev i386 1:1.0.8-1 [10.2 kB] Get:114 http://ftpmaster.internal/ubuntu artful/main i386 libxdmcp-dev i386 1:1.1.2-3 [24.9 kB] Get:115 http://ftpmaster.internal/ubuntu artful/main i386 x11proto-input-dev all 2.3.2-1 [118 kB] Get:116 http://ftpmaster.internal/ubuntu artful/main i386 x11proto-kb-dev all 1.0.7-1 [226 kB] Get:117 http://ftpmaster.internal/ubuntu artful/main i386 xtrans-dev all 1.3.5-1 [70.5 kB] Get:118 http://ftpmaster.internal/ubuntu artful/main i386 libxcb1-dev i386 1.11.1-1ubuntu1 [76.3 kB] Get:119 http://ftpmaster.internal/ubuntu artful/main i386 libx11-dev i386 2:1.6.4-3 [661 kB] Get:120 http://ftpmaster.internal/ubuntu artful/main i386 x11proto-xext-dev all 7.3.0-1 [212 kB] Get:121 http://ftpmaster.internal/ubuntu artful/main i386 libxext-dev i386 2:1.3.3-1 [82.8 kB] Get:122 http://ftpmaster.internal/ubuntu artful/main i386 libxt-dev i386 1:1.1.5-1 [393 kB] Get:123 http://ftpmaster.internal/ubuntu artful/main i386 libxmu-headers all 2:1.1.2-2 [54.3 kB] Get:124 http://ftpmaster.internal/ubuntu artful/main i386 libxmu-dev i386 2:1.1.2-2 [49.6 kB] Get:125 http://ftpmaster.internal/ubuntu artful/main i386 libxpm-dev i386 1:3.5.12-1 [87.3 kB] Get:126 http://ftpmaster.internal/ubuntu artful/main i386 libxaw7-dev i386 2:1.0.13-1 [234 kB] Get:127 http://ftpmaster.internal/ubuntu artful/main i386 libxi6 i386 2:1.7.9-1 [31.7 kB] Get:128 http://ftpmaster.internal/ubuntu artful/main i386 libxml-namespacesupport-perl all 1.11-1 [13.2 kB] Get:129 http://ftpmaster.internal/ubuntu artful/main i386 libxml-sax-base-perl all 1.07-1 [21.5 kB] Get:130 http://ftpmaster.internal/ubuntu artful/main i386 libxml-sax-perl all 0.99+dfsg-2ubuntu1 [64.6 kB] Get:131 http://ftpmaster.internal/ubuntu artful/main i386 libxml-libxml-perl i386 2.0128+dfsg-3 [334 kB] Get:132 http://ftpmaster.internal/ubuntu artful/main i386 libzzip-0-13 i386 0.13.62-3.1 [27.6 kB] Get:133 http://ftpmaster.internal/ubuntu artful/main i386 t1utils i386 1.40-2 [56.5 kB] Get:134 http://ftpmaster.internal/ubuntu artful/universe i386 texinfo i386 6.4.90.dfsg.1-1build1 [752 kB] Get:135 http://ftpmaster.internal/ubuntu artful/main i386 texlive-binaries i386 2017.20170613.44572-5build1 [8037 kB] Get:136 http://ftpmaster.internal/ubuntu artful/main i386 xdg-utils all 1.1.1-1ubuntu2 [59.6 kB] Get:137 http://ftpmaster.internal/ubuntu artful/main i386 texlive-base all 2017.20170818-1 [18.6 MB] Get:138 http://ftpmaster.internal/ubuntu artful/main i386 texlive-latex-base all 2017.20170818-1 [946 kB] Get:139 http://ftpmaster.internal/ubuntu artful/main i386 texlive-latex-recommended all 2017.20170818-1 [14.8 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 140 MB in 7s (18.4 MB/s) (Reading database ... 12671 files and directories currently installed.) Removing pkg-create-dbgsym (0.73) ... Selecting previously unselected package libxau6:i386. (Reading database ... 12662 files and directories currently installed.) Preparing to unpack .../000-libxau6_1%3a1.0.8-1_i386.deb ... Unpacking libxau6:i386 (1:1.0.8-1) ... Selecting previously unselected package libbsd0:i386. Preparing to unpack .../001-libbsd0_0.8.6-1_i386.deb ... Unpacking libbsd0:i386 (0.8.6-1) ... Selecting previously unselected package libxdmcp6:i386. Preparing to unpack .../002-libxdmcp6_1%3a1.1.2-3_i386.deb ... Unpacking libxdmcp6:i386 (1:1.1.2-3) ... Selecting previously unselected package libxcb1:i386. Preparing to unpack .../003-libxcb1_1.11.1-1ubuntu1_i386.deb ... Unpacking libxcb1:i386 (1.11.1-1ubuntu1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../004-libx11-data_2%3a1.6.4-3_all.deb ... Unpacking libx11-data (2:1.6.4-3) ... Selecting previously unselected package libx11-6:i386. Preparing to unpack .../005-libx11-6_2%3a1.6.4-3_i386.deb ... Unpacking libx11-6:i386 (2:1.6.4-3) ... Selecting previously unselected package libxext6:i386. Preparing to unpack .../006-libxext6_2%3a1.3.3-1_i386.deb ... Unpacking libxext6:i386 (2:1.3.3-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../007-groff-base_1.22.3-9_i386.deb ... Unpacking groff-base (1.22.3-9) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../008-bsdmainutils_9.0.12+nmu1ubuntu1_i386.deb ... Unpacking bsdmainutils (9.0.12+nmu1ubuntu1) ... Selecting previously unselected package libpipeline1:i386. Preparing to unpack .../009-libpipeline1_1.4.2-1_i386.deb ... Unpacking libpipeline1:i386 (1.4.2-1) ... Selecting previously unselected package man-db. Preparing to unpack .../010-man-db_2.7.6.1-2_i386.deb ... Unpacking man-db (2.7.6.1-2) ... Selecting previously unselected package libjpeg-turbo8:i386. Preparing to unpack .../011-libjpeg-turbo8_1.5.2-0ubuntu3_i386.deb ... Unpacking libjpeg-turbo8:i386 (1.5.2-0ubuntu3) ... Selecting previously unselected package x11-common. Preparing to unpack .../012-x11-common_1%3a7.7+19ubuntu2_all.deb ... Unpacking x11-common (1:7.7+19ubuntu2) ... Selecting previously unselected package libice6:i386. Preparing to unpack .../013-libice6_2%3a1.0.9-2_i386.deb ... Unpacking libice6:i386 (2:1.0.9-2) ... Selecting previously unselected package libsm6:i386. Preparing to unpack .../014-libsm6_2%3a1.2.2-1_i386.deb ... Unpacking libsm6:i386 (2:1.2.2-1) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../015-fonts-dejavu-core_2.37-1_all.deb ... Unpacking fonts-dejavu-core (2.37-1) ... Selecting previously unselected package ucf. Preparing to unpack .../016-ucf_3.0036_all.deb ... Moving old data out of the way Unpacking ucf (3.0036) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../017-fontconfig-config_2.11.94-0ubuntu2_all.deb ... Unpacking fontconfig-config (2.11.94-0ubuntu2) ... Selecting previously unselected package libexpat1:i386. Preparing to unpack .../018-libexpat1_2.2.3-1_i386.deb ... Unpacking libexpat1:i386 (2.2.3-1) ... Selecting previously unselected package libfreetype6:i386. Preparing to unpack .../019-libfreetype6_2.8-0.2ubuntu2_i386.deb ... Unpacking libfreetype6:i386 (2.8-0.2ubuntu2) ... Selecting previously unselected package libfontconfig1:i386. Preparing to unpack .../020-libfontconfig1_2.11.94-0ubuntu2_i386.deb ... Unpacking libfontconfig1:i386 (2.11.94-0ubuntu2) ... Selecting previously unselected package libxrender1:i386. Preparing to unpack .../021-libxrender1_1%3a0.9.10-1_i386.deb ... Unpacking libxrender1:i386 (1:0.9.10-1) ... Selecting previously unselected package libxft2:i386. Preparing to unpack .../022-libxft2_2.3.2-1_i386.deb ... Unpacking libxft2:i386 (2.3.2-1) ... Selecting previously unselected package libxss1:i386. Preparing to unpack .../023-libxss1_1%3a1.2.2-1_i386.deb ... Unpacking libxss1:i386 (1:1.2.2-1) ... Selecting previously unselected package poppler-data. Preparing to unpack .../024-poppler-data_0.4.8-1_all.deb ... Unpacking poppler-data (0.4.8-1) ... 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 libjbig0:i386. Preparing to unpack .../026-libjbig0_2.1-3.1_i386.deb ... Unpacking libjbig0:i386 (2.1-3.1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../027-libmagic-mgc_1%3a5.32-1_i386.deb ... Unpacking libmagic-mgc (1:5.32-1) ... Selecting previously unselected package libmagic1:i386. Preparing to unpack .../028-libmagic1_1%3a5.32-1_i386.deb ... Unpacking libmagic1:i386 (1:5.32-1) ... Selecting previously unselected package file. Preparing to unpack .../029-file_1%3a5.32-1_i386.deb ... Unpacking file (1:5.32-1) ... Selecting previously unselected package libdbus-1-3:i386. Preparing to unpack .../030-libdbus-1-3_1.10.22-1ubuntu1_i386.deb ... Unpacking libdbus-1-3:i386 (1.10.22-1ubuntu1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../031-gettext-base_0.19.8.1-4ubuntu1_i386.deb ... Unpacking gettext-base (0.19.8.1-4ubuntu1) ... Selecting previously unselected package libglib2.0-0:i386. Preparing to unpack .../032-libglib2.0-0_2.54.0-1ubuntu1_i386.deb ... Unpacking libglib2.0-0:i386 (2.54.0-1ubuntu1) ... Selecting previously unselected package libicu57:i386. Preparing to unpack .../033-libicu57_57.1-6_i386.deb ... Unpacking libicu57:i386 (57.1-6) ... Selecting previously unselected package libxml2:i386. Preparing to unpack .../034-libxml2_2.9.4+dfsg1-3.1_i386.deb ... Unpacking libxml2:i386 (2.9.4+dfsg1-3.1) ... Selecting previously unselected package time. Preparing to unpack .../035-time_1.7-25.1build1_i386.deb ... Unpacking time (1.7-25.1build1) ... Selecting previously unselected package libsigsegv2:i386. Preparing to unpack .../036-libsigsegv2_2.11-1_i386.deb ... Unpacking libsigsegv2:i386 (2.11-1) ... Selecting previously unselected package m4. Preparing to unpack .../037-m4_1.4.18-1_i386.deb ... Unpacking m4 (1.4.18-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../038-autoconf_2.69-11_all.deb ... Unpacking autoconf (2.69-11) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../039-autotools-dev_20161112.1_all.deb ... Unpacking autotools-dev (20161112.1) ... Selecting previously unselected package automake. Preparing to unpack .../040-automake_1%3a1.15-6ubuntu1_all.deb ... Unpacking automake (1:1.15-6ubuntu1) ... Selecting previously unselected package autopoint. Preparing to unpack .../041-autopoint_0.19.8.1-4ubuntu1_all.deb ... Unpacking autopoint (0.19.8.1-4ubuntu1) ... Selecting previously unselected package libtool. Preparing to unpack .../042-libtool_2.4.6-2_all.deb ... Unpacking libtool (2.4.6-2) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../043-dh-autoreconf_14_all.deb ... Unpacking dh-autoreconf (14) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../044-libarchive-zip-perl_1.59-1_all.deb ... Unpacking libarchive-zip-perl (1.59-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../045-libfile-stripnondeterminism-perl_0.038-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (0.038-1) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../046-libtimedate-perl_2.3000-2_all.deb ... Unpacking libtimedate-perl (2.3000-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../047-dh-strip-nondeterminism_0.038-1_all.deb ... Unpacking dh-strip-nondeterminism (0.038-1) ... Selecting previously unselected package libcroco3:i386. Preparing to unpack .../048-libcroco3_0.6.12-1_i386.deb ... Unpacking libcroco3:i386 (0.6.12-1) ... Selecting previously unselected package gettext. Preparing to unpack .../049-gettext_0.19.8.1-4ubuntu1_i386.deb ... Unpacking gettext (0.19.8.1-4ubuntu1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../050-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 .../051-po-debconf_1.0.20_all.deb ... Unpacking po-debconf (1.0.20) ... Selecting previously unselected package debhelper. Preparing to unpack .../052-debhelper_10.7.2ubuntu2_all.deb ... Unpacking debhelper (10.7.2ubuntu2) ... Selecting previously unselected package emacsen-common. Preparing to unpack .../053-emacsen-common_2.0.8_all.deb ... Unpacking emacsen-common (2.0.8) ... Selecting previously unselected package fonts-lmodern. Preparing to unpack .../054-fonts-lmodern_2.004.5-3_all.deb ... Unpacking fonts-lmodern (2.004.5-3) ... Selecting previously unselected package libtcl8.6:i386. Preparing to unpack .../055-libtcl8.6_8.6.7+dfsg-1_i386.deb ... Unpacking libtcl8.6:i386 (8.6.7+dfsg-1) ... Selecting previously unselected package libtk8.6:i386. Preparing to unpack .../056-libtk8.6_8.6.7-1_i386.deb ... Unpacking libtk8.6:i386 (8.6.7-1) ... Selecting previously unselected package xemacs21-support. Preparing to unpack .../057-xemacs21-support_21.4.24-4ubuntu1_all.deb ... Unpacking xemacs21-support (21.4.24-4ubuntu1) ... Selecting previously unselected package xemacs21-bin. Preparing to unpack .../058-xemacs21-bin_21.4.24-4ubuntu1_i386.deb ... Unpacking xemacs21-bin (21.4.24-4ubuntu1) ... Selecting previously unselected package libcanna1g. Preparing to unpack .../059-libcanna1g_3.7p3-14_i386.deb ... Unpacking libcanna1g (3.7p3-14) ... Selecting previously unselected package libcompfaceg1. Preparing to unpack .../060-libcompfaceg1_1%3a1.5.2-5_i386.deb ... Unpacking libcompfaceg1 (1:1.5.2-5) ... Selecting previously unselected package libgpm2:i386. Preparing to unpack .../061-libgpm2_1.20.4-6.2_i386.deb ... Unpacking libgpm2:i386 (1.20.4-6.2) ... Selecting previously unselected package libjpeg8:i386. Preparing to unpack .../062-libjpeg8_8c-2ubuntu8_i386.deb ... Unpacking libjpeg8:i386 (8c-2ubuntu8) ... Selecting previously unselected package libtiff5:i386. Preparing to unpack .../063-libtiff5_4.0.8-5_i386.deb ... Unpacking libtiff5:i386 (4.0.8-5) ... Selecting previously unselected package libxt6:i386. Preparing to unpack .../064-libxt6_1%3a1.1.5-1_i386.deb ... Unpacking libxt6:i386 (1:1.1.5-1) ... Selecting previously unselected package libxmu6:i386. Preparing to unpack .../065-libxmu6_2%3a1.1.2-2_i386.deb ... Unpacking libxmu6:i386 (2:1.1.2-2) ... Selecting previously unselected package libxpm4:i386. Preparing to unpack .../066-libxpm4_1%3a3.5.12-1_i386.deb ... Unpacking libxpm4:i386 (1:3.5.12-1) ... Selecting previously unselected package libxaw7:i386. Preparing to unpack .../067-libxaw7_2%3a1.0.13-1_i386.deb ... Unpacking libxaw7:i386 (2:1.0.13-1) ... Selecting previously unselected package xemacs21-mulesupport. Preparing to unpack .../068-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 .../069-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 .../070-xemacs21-mule-canna-wnn_21.4.24-4ubuntu1_i386.deb ... Unpacking xemacs21-mule-canna-wnn (21.4.24-4ubuntu1) ... Selecting previously unselected package gcl. Preparing to unpack .../071-gcl_2.6.12-54_i386.deb ... Unpacking gcl (2.6.12-54) ... Selecting previously unselected package libavahi-common-data:i386. Preparing to unpack .../072-libavahi-common-data_0.6.32-1ubuntu1_i386.deb ... Unpacking libavahi-common-data:i386 (0.6.32-1ubuntu1) ... Selecting previously unselected package libavahi-common3:i386. Preparing to unpack .../073-libavahi-common3_0.6.32-1ubuntu1_i386.deb ... Unpacking libavahi-common3:i386 (0.6.32-1ubuntu1) ... Selecting previously unselected package libavahi-client3:i386. Preparing to unpack .../074-libavahi-client3_0.6.32-1ubuntu1_i386.deb ... Unpacking libavahi-client3:i386 (0.6.32-1ubuntu1) ... Selecting previously unselected package libpixman-1-0:i386. Preparing to unpack .../075-libpixman-1-0_0.34.0-1_i386.deb ... Unpacking libpixman-1-0:i386 (0.34.0-1) ... Selecting previously unselected package libxcb-render0:i386. Preparing to unpack .../076-libxcb-render0_1.11.1-1ubuntu1_i386.deb ... Unpacking libxcb-render0:i386 (1.11.1-1ubuntu1) ... Selecting previously unselected package libxcb-shm0:i386. Preparing to unpack .../077-libxcb-shm0_1.11.1-1ubuntu1_i386.deb ... Unpacking libxcb-shm0:i386 (1.11.1-1ubuntu1) ... Selecting previously unselected package libcairo2:i386. Preparing to unpack .../078-libcairo2_1.14.10-1_i386.deb ... Unpacking libcairo2:i386 (1.14.10-1) ... Selecting previously unselected package libcups2:i386. Preparing to unpack .../079-libcups2_2.2.4-7_i386.deb ... Unpacking libcups2:i386 (2.2.4-7) ... Selecting previously unselected package libcupsimage2:i386. Preparing to unpack .../080-libcupsimage2_2.2.4-7_i386.deb ... Unpacking libcupsimage2:i386 (2.2.4-7) ... Selecting previously unselected package libgmpxx4ldbl:i386. Preparing to unpack .../081-libgmpxx4ldbl_2%3a6.1.2+dfsg-1_i386.deb ... Unpacking libgmpxx4ldbl:i386 (2:6.1.2+dfsg-1) ... Selecting previously unselected package libgmp-dev:i386. Preparing to unpack .../082-libgmp-dev_2%3a6.1.2+dfsg-1_i386.deb ... Unpacking libgmp-dev:i386 (2:6.1.2+dfsg-1) ... Selecting previously unselected package libgmp3-dev. Preparing to unpack .../083-libgmp3-dev_2%3a6.1.2+dfsg-1_i386.deb ... Unpacking libgmp3-dev (2:6.1.2+dfsg-1) ... Selecting previously unselected package libgraphite2-3:i386. Preparing to unpack .../084-libgraphite2-3_1.3.10-2_i386.deb ... Unpacking libgraphite2-3:i386 (1.3.10-2) ... Selecting previously unselected package libijs-0.35:i386. Preparing to unpack .../085-libijs-0.35_0.35-12_i386.deb ... Unpacking libijs-0.35:i386 (0.35-12) ... Selecting previously unselected package libjbig2dec0:i386. Preparing to unpack .../086-libjbig2dec0_0.13-4.1_i386.deb ... Unpacking libjbig2dec0:i386 (0.13-4.1) ... Selecting previously unselected package liblcms2-2:i386. Preparing to unpack .../087-liblcms2-2_2.7-1ubuntu1_i386.deb ... Unpacking liblcms2-2:i386 (2.7-1ubuntu1) ... Selecting previously unselected package libpaper1:i386. Preparing to unpack .../088-libpaper1_1.1.24+nmu5ubuntu1_i386.deb ... Unpacking libpaper1:i386 (1.1.24+nmu5ubuntu1) ... Selecting previously unselected package libgs9-common. Preparing to unpack .../089-libgs9-common_9.21~dfsg+1-0ubuntu3_all.deb ... Unpacking libgs9-common (9.21~dfsg+1-0ubuntu3) ... Selecting previously unselected package libgs9:i386. Preparing to unpack .../090-libgs9_9.21~dfsg+1-0ubuntu3_i386.deb ... Unpacking libgs9:i386 (9.21~dfsg+1-0ubuntu3) ... Selecting previously unselected package libharfbuzz0b:i386. Preparing to unpack .../091-libharfbuzz0b_1.4.2-1_i386.deb ... Unpacking libharfbuzz0b:i386 (1.4.2-1) ... Selecting previously unselected package libharfbuzz-icu0:i386. Preparing to unpack .../092-libharfbuzz-icu0_1.4.2-1_i386.deb ... Unpacking libharfbuzz-icu0:i386 (1.4.2-1) ... Selecting previously unselected package xorg-sgml-doctools. Preparing to unpack .../093-xorg-sgml-doctools_1%3a1.11-1_all.deb ... Unpacking xorg-sgml-doctools (1:1.11-1) ... Selecting previously unselected package x11proto-core-dev. Preparing to unpack .../094-x11proto-core-dev_7.0.31-1_all.deb ... Unpacking x11proto-core-dev (7.0.31-1) ... Selecting previously unselected package libice-dev:i386. Preparing to unpack .../095-libice-dev_2%3a1.0.9-2_i386.deb ... Unpacking libice-dev:i386 (2:1.0.9-2) ... Selecting previously unselected package libkpathsea6:i386. Preparing to unpack .../096-libkpathsea6_2017.20170613.44572-5build1_i386.deb ... Unpacking libkpathsea6:i386 (2017.20170613.44572-5build1) ... Selecting previously unselected package libnspr4:i386. Preparing to unpack .../097-libnspr4_2%3a4.16-1ubuntu1_i386.deb ... Unpacking libnspr4:i386 (2:4.16-1ubuntu1) ... Selecting previously unselected package libnss3:i386. Preparing to unpack .../098-libnss3_2%3a3.32-1ubuntu2_i386.deb ... Unpacking libnss3:i386 (2:3.32-1ubuntu2) ... Selecting previously unselected package libpaper-utils. Preparing to unpack .../099-libpaper-utils_1.1.24+nmu5ubuntu1_i386.deb ... Unpacking libpaper-utils (1.1.24+nmu5ubuntu1) ... Selecting previously unselected package libpoppler68:i386. Preparing to unpack .../100-libpoppler68_0.57.0-2ubuntu1_i386.deb ... Unpacking libpoppler68:i386 (0.57.0-2ubuntu1) ... Selecting previously unselected package libpotrace0. Preparing to unpack .../101-libpotrace0_1.14-2_i386.deb ... Unpacking libpotrace0 (1.14-2) ... Selecting previously unselected package libptexenc1:i386. Preparing to unpack .../102-libptexenc1_2017.20170613.44572-5build1_i386.deb ... Unpacking libptexenc1:i386 (2017.20170613.44572-5build1) ... Selecting previously unselected package libpthread-stubs0-dev:i386. Preparing to unpack .../103-libpthread-stubs0-dev_0.3-4_i386.deb ... Unpacking libpthread-stubs0-dev:i386 (0.3-4) ... Selecting previously unselected package libtinfo-dev:i386. Preparing to unpack .../104-libtinfo-dev_6.0+20160625-1ubuntu1_i386.deb ... Unpacking libtinfo-dev:i386 (6.0+20160625-1ubuntu1) ... Selecting previously unselected package libreadline-dev:i386. Preparing to unpack .../105-libreadline-dev_7.0-0ubuntu2_i386.deb ... Unpacking libreadline-dev:i386 (7.0-0ubuntu2) ... Selecting previously unselected package libsm-dev:i386. Preparing to unpack .../106-libsm-dev_2%3a1.2.2-1_i386.deb ... Unpacking libsm-dev:i386 (2:1.2.2-1) ... Selecting previously unselected package libsynctex1:i386. Preparing to unpack .../107-libsynctex1_2017.20170613.44572-5build1_i386.deb ... Unpacking libsynctex1:i386 (2017.20170613.44572-5build1) ... Selecting previously unselected package libtexlua52:i386. Preparing to unpack .../108-libtexlua52_2017.20170613.44572-5build1_i386.deb ... Unpacking libtexlua52:i386 (2017.20170613.44572-5build1) ... Selecting previously unselected package libtexluajit2:i386. Preparing to unpack .../109-libtexluajit2_2017.20170613.44572-5build1_i386.deb ... Unpacking libtexluajit2:i386 (2017.20170613.44572-5build1) ... Selecting previously unselected package libtext-unidecode-perl. Preparing to unpack .../110-libtext-unidecode-perl_1.30-1_all.deb ... Unpacking libtext-unidecode-perl (1.30-1) ... Selecting previously unselected package libxau-dev:i386. Preparing to unpack .../111-libxau-dev_1%3a1.0.8-1_i386.deb ... Unpacking libxau-dev:i386 (1:1.0.8-1) ... Selecting previously unselected package libxdmcp-dev:i386. Preparing to unpack .../112-libxdmcp-dev_1%3a1.1.2-3_i386.deb ... Unpacking libxdmcp-dev:i386 (1:1.1.2-3) ... Selecting previously unselected package x11proto-input-dev. Preparing to unpack .../113-x11proto-input-dev_2.3.2-1_all.deb ... Unpacking x11proto-input-dev (2.3.2-1) ... Selecting previously unselected package x11proto-kb-dev. Preparing to unpack .../114-x11proto-kb-dev_1.0.7-1_all.deb ... Unpacking x11proto-kb-dev (1.0.7-1) ... Selecting previously unselected package xtrans-dev. Preparing to unpack .../115-xtrans-dev_1.3.5-1_all.deb ... Unpacking xtrans-dev (1.3.5-1) ... Selecting previously unselected package libxcb1-dev:i386. Preparing to unpack .../116-libxcb1-dev_1.11.1-1ubuntu1_i386.deb ... Unpacking libxcb1-dev:i386 (1.11.1-1ubuntu1) ... Selecting previously unselected package libx11-dev:i386. Preparing to unpack .../117-libx11-dev_2%3a1.6.4-3_i386.deb ... Unpacking libx11-dev:i386 (2:1.6.4-3) ... Selecting previously unselected package x11proto-xext-dev. Preparing to unpack .../118-x11proto-xext-dev_7.3.0-1_all.deb ... Unpacking x11proto-xext-dev (7.3.0-1) ... Selecting previously unselected package libxext-dev:i386. Preparing to unpack .../119-libxext-dev_2%3a1.3.3-1_i386.deb ... Unpacking libxext-dev:i386 (2:1.3.3-1) ... Selecting previously unselected package libxt-dev:i386. Preparing to unpack .../120-libxt-dev_1%3a1.1.5-1_i386.deb ... Unpacking libxt-dev:i386 (1:1.1.5-1) ... Selecting previously unselected package libxmu-headers. Preparing to unpack .../121-libxmu-headers_2%3a1.1.2-2_all.deb ... Unpacking libxmu-headers (2:1.1.2-2) ... Selecting previously unselected package libxmu-dev:i386. Preparing to unpack .../122-libxmu-dev_2%3a1.1.2-2_i386.deb ... Unpacking libxmu-dev:i386 (2:1.1.2-2) ... Selecting previously unselected package libxpm-dev:i386. Preparing to unpack .../123-libxpm-dev_1%3a3.5.12-1_i386.deb ... Unpacking libxpm-dev:i386 (1:3.5.12-1) ... Selecting previously unselected package libxaw7-dev:i386. Preparing to unpack .../124-libxaw7-dev_2%3a1.0.13-1_i386.deb ... Unpacking libxaw7-dev:i386 (2:1.0.13-1) ... Selecting previously unselected package libxi6:i386. Preparing to unpack .../125-libxi6_2%3a1.7.9-1_i386.deb ... Unpacking libxi6:i386 (2:1.7.9-1) ... Selecting previously unselected package libxml-namespacesupport-perl. Preparing to unpack .../126-libxml-namespacesupport-perl_1.11-1_all.deb ... Unpacking libxml-namespacesupport-perl (1.11-1) ... Selecting previously unselected package libxml-sax-base-perl. Preparing to unpack .../127-libxml-sax-base-perl_1.07-1_all.deb ... Unpacking libxml-sax-base-perl (1.07-1) ... Selecting previously unselected package libxml-sax-perl. Preparing to unpack .../128-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 .../129-libxml-libxml-perl_2.0128+dfsg-3_i386.deb ... Unpacking libxml-libxml-perl (2.0128+dfsg-3) ... Selecting previously unselected package libzzip-0-13:i386. Preparing to unpack .../130-libzzip-0-13_0.13.62-3.1_i386.deb ... Unpacking libzzip-0-13:i386 (0.13.62-3.1) ... Selecting previously unselected package t1utils. Preparing to unpack .../131-t1utils_1.40-2_i386.deb ... Unpacking t1utils (1.40-2) ... Selecting previously unselected package texinfo. Preparing to unpack .../132-texinfo_6.4.90.dfsg.1-1build1_i386.deb ... Unpacking texinfo (6.4.90.dfsg.1-1build1) ... Selecting previously unselected package texlive-binaries. Preparing to unpack .../133-texlive-binaries_2017.20170613.44572-5build1_i386.deb ... Unpacking texlive-binaries (2017.20170613.44572-5build1) ... Selecting previously unselected package xdg-utils. Preparing to unpack .../134-xdg-utils_1.1.1-1ubuntu2_all.deb ... Unpacking xdg-utils (1.1.1-1ubuntu2) ... Selecting previously unselected package texlive-base. Preparing to unpack .../135-texlive-base_2017.20170818-1_all.deb ... Unpacking texlive-base (2017.20170818-1) ... Selecting previously unselected package texlive-latex-base. Preparing to unpack .../136-texlive-latex-base_2017.20170818-1_all.deb ... Unpacking texlive-latex-base (2017.20170818-1) ... Selecting previously unselected package texlive-latex-recommended. Preparing to unpack .../137-texlive-latex-recommended_2017.20170818-1_all.deb ... Unpacking texlive-latex-recommended (2017.20170818-1) ... Selecting previously unselected package sbuild-build-depends-acl2-dummy. Preparing to unpack .../138-sbuild-build-depends-acl2-dummy_0.invalid.0_i386.deb ... Unpacking sbuild-build-depends-acl2-dummy (0.invalid.0) ... Setting up libgs9-common (9.21~dfsg+1-0ubuntu3) ... Setting up libkpathsea6:i386 (2017.20170613.44572-5build1) ... Setting up libtexlua52:i386 (2017.20170613.44572-5build1) ... Setting up libexpat1:i386 (2.2.3-1) ... Setting up libsynctex1:i386 (2017.20170613.44572-5build1) ... Setting up libptexenc1:i386 (2017.20170613.44572-5build1) ... Setting up libarchive-zip-perl (1.59-1) ... Setting up time (1.7-25.1build1) ... Setting up libxml-namespacesupport-perl (1.11-1) ... Setting up libtimedate-perl (2.3000-2) ... Setting up liblcms2-2:i386 (2.7-1ubuntu1) ... Setting up libjbig0:i386 (2.1-3.1) ... Setting up libsigsegv2:i386 (2.11-1) ... Setting up libgpm2:i386 (1.20.4-6.2) ... Setting up libpthread-stubs0-dev:i386 (0.3-4) ... Setting up fonts-dejavu-core (2.37-1) ... Setting up poppler-data (0.4.8-1) ... Setting up groff-base (1.22.3-9) ... Setting up libglib2.0-0:i386 (2.54.0-1ubuntu1) ... 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 libtinfo-dev:i386 (6.0+20160625-1ubuntu1) ... Setting up libcanna1g (3.7p3-14) ... Setting up gettext-base (0.19.8.1-4ubuntu1) ... Setting up libjpeg-turbo8:i386 (1.5.2-0ubuntu3) ... Setting up libpipeline1:i386 (1.4.2-1) ... Setting up x11proto-kb-dev (1.0.7-1) ... Setting up m4 (1.4.18-1) ... Setting up libicu57:i386 (57.1-6) ... Setting up libbsd0:i386 (0.8.6-1) ... Setting up libnspr4:i386 (2:4.16-1ubuntu1) ... Setting up ucf (3.0036) ... Setting up libxml2:i386 (2.9.4+dfsg1-3.1) ... Setting up libfreetype6:i386 (2.8-0.2ubuntu2) ... Setting up libmagic-mgc (1:5.32-1) ... Setting up libmagic1:i386 (1:5.32-1) ... Setting up libgraphite2-3:i386 (1.3.10-2) ... Setting up xemacs21-support (21.4.24-4ubuntu1) ... Setting up libcroco3:i386 (0.6.12-1) ... Setting up libxml-sax-base-perl (1.07-1) ... Setting up libjbig2dec0:i386 (0.13-4.1) ... Setting up libpixman-1-0:i386 (0.34.0-1) ... Setting up xtrans-dev (1.3.5-1) ... Processing triggers for libc-bin (2.26-0ubuntu1) ... Setting up autotools-dev (20161112.1) ... Setting up t1utils (1.40-2) ... Processing triggers for systemd (234-2ubuntu10) ... Setting up libreadline-dev:i386 (7.0-0ubuntu2) ... Setting up libijs-0.35:i386 (0.35-12) ... Setting up xemacs21-mulesupport (2009.02.17.dfsg.2-4) ... Setting up libpotrace0 (1.14-2) ... Setting up libtcl8.6:i386 (8.6.7+dfsg-1) ... Setting up libxdmcp6:i386 (1:1.1.2-3) ... Setting up libcompfaceg1 (1:1.5.2-5) ... Setting up bsdmainutils (9.0.12+nmu1ubuntu1) ... 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:i386 (2:6.1.2+dfsg-1) ... Setting up x11-common (1:7.7+19ubuntu2) ... 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:i386 (0.13.62-3.1) ... Setting up xemacs21-basesupport (2009.02.17.dfsg.2-4) ... Setting up xdg-utils (1.1.1-1ubuntu2) ... Setting up libtexluajit2:i386 (2017.20170613.44572-5build1) ... Setting up libx11-data (2:1.6.4-3) ... Setting up libxau6:i386 (1:1.0.8-1) ... Setting up autopoint (0.19.8.1-4ubuntu1) ... Setting up libdbus-1-3:i386 (1.10.22-1ubuntu1) ... Setting up fonts-lmodern (2.004.5-3) ... Setting up libavahi-common-data:i386 (0.6.32-1ubuntu1) ... Setting up xemacs21-bin (21.4.24-4ubuntu1) ... update-alternatives: using /usr/lib/xemacs-21.4.24/i686-linux-gnu/movemail to provide /usr/bin/movemail (movemail) in auto mode update-alternatives: using /usr/lib/xemacs-21.4.24/i686-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.038-1) ... 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:i386 (8c-2ubuntu8) ... Setting up libgmp-dev:i386 (2:6.1.2+dfsg-1) ... Setting up libpaper1:i386 (1.1.24+nmu5ubuntu1) ... Creating config file /etc/papersize with new version Setting up libpaper-utils (1.1.24+nmu5ubuntu1) ... Setting up fontconfig-config (2.11.94-0ubuntu2) ... Setting up tex-common (6.09) ... update-language: texlive-base not installed and configured, doing nothing! Setting up x11proto-core-dev (7.0.31-1) ... Setting up gettext (0.19.8.1-4ubuntu1) ... Setting up libnss3:i386 (2:3.32-1ubuntu2) ... Setting up libharfbuzz0b:i386 (1.4.2-1) ... Setting up libtiff5:i386 (4.0.8-5) ... Setting up libxau-dev:i386 (1:1.0.8-1) ... Setting up autoconf (2.69-11) ... Setting up file (1:5.32-1) ... Setting up intltool-debian (0.35.0+20060710.4) ... Setting up libxdmcp-dev:i386 (1:1.1.2-3) ... Setting up automake (1:1.15-6ubuntu1) ... update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode Setting up libice6:i386 (2:1.0.9-2) ... Setting up man-db (2.7.6.1-2) ... Not building database; man-db/auto-update is not 'true'. Setting up libavahi-common3:i386 (0.6.32-1ubuntu1) ... Setting up libxml-libxml-perl (2.0128+dfsg-3) ... 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 libxcb1:i386 (1.11.1-1ubuntu1) ... Setting up x11proto-input-dev (2.3.2-1) ... Setting up libgmp3-dev (2:6.1.2+dfsg-1) ... Setting up libtool (2.4.6-2) ... Setting up libfontconfig1:i386 (2.11.94-0ubuntu2) ... Setting up libsm6:i386 (2:1.2.2-1) ... Setting up libxcb-render0:i386 (1.11.1-1ubuntu1) ... Setting up libharfbuzz-icu0:i386 (1.4.2-1) ... Setting up po-debconf (1.0.20) ... Setting up libx11-6:i386 (2:1.6.4-3) ... Setting up x11proto-xext-dev (7.3.0-1) ... Setting up libice-dev:i386 (2:1.0.9-2) ... Setting up libxcb-shm0:i386 (1.11.1-1ubuntu1) ... Setting up libxpm4:i386 (1:3.5.12-1) ... Setting up libxt6:i386 (1:1.1.5-1) ... Setting up libxrender1:i386 (1:0.9.10-1) ... Setting up libxcb1-dev:i386 (1.11.1-1ubuntu1) ... Setting up libavahi-client3:i386 (0.6.32-1ubuntu1) ... Setting up texinfo (6.4.90.dfsg.1-1build1) ... Running mktexlsr. This may take some time. ... done. Setting up libx11-dev:i386 (2:1.6.4-3) ... Setting up libxft2:i386 (2.3.2-1) ... Setting up libpoppler68:i386 (0.57.0-2ubuntu1) ... Setting up libcups2:i386 (2.2.4-7) ... Setting up libsm-dev:i386 (2:1.2.2-1) ... Setting up libxext6:i386 (2:1.3.3-1) ... Setting up libxpm-dev:i386 (1:3.5.12-1) ... Setting up libxmu-headers (2:1.1.2-2) ... Setting up libxss1:i386 (1:1.2.2-1) ... Setting up libxmu6:i386 (2:1.1.2-2) ... Setting up libcupsimage2:i386 (2.2.4-7) ... Setting up libxext-dev:i386 (2:1.3.3-1) ... Setting up libgs9:i386 (9.21~dfsg+1-0ubuntu3) ... Setting up libxi6:i386 (2:1.7.9-1) ... Setting up libxaw7:i386 (2:1.0.13-1) ... Setting up libcairo2:i386 (1.14.10-1) ... Setting up libxt-dev:i386 (1:1.1.5-1) ... Setting up libxmu-dev:i386 (2:1.1.2-2) ... Setting up libxaw7-dev:i386 (2:1.0.13-1) ... Setting up libtk8.6:i386 (8.6.7-1) ... Setting up texlive-binaries (2017.20170613.44572-5build1) ... 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-4ubuntu1) ... 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.20170818-1) ... /usr/bin/tl-paper: setting paper size for dvips to a4. /usr/bin/tl-paper: setting paper size for dvipdfmx to a4. /usr/bin/tl-paper: setting paper size for xdvi to a4. /usr/bin/tl-paper: setting paper size for pdftex to a4. Setting up gcl (2.6.12-54) ... 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.20170818-1) ... Setting up texlive-latex-recommended (2017.20170818-1) ... Setting up dh-autoreconf (14) ... Setting up debhelper (10.7.2ubuntu2) ... Setting up sbuild-build-depends-acl2-dummy (0.invalid.0) ... Setting up dh-strip-nondeterminism (0.038-1) ... (Reading database ... 29762 files and directories currently installed.) Purging configuration files for pkg-create-dbgsym (0.73) ... 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. Processing triggers for libc-bin (2.26-0ubuntu1) ... Processing triggers for systemd (234-2ubuntu10) ... +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.4.0-96-generic amd64 (i686) Toolchain package versions: binutils_2.29.1-1ubuntu1 dpkg-dev_1.18.24ubuntu1 g++-7_7.2.0-6ubuntu1 gcc-7_7.2.0-6ubuntu1 libc6-dev_2.26-0ubuntu1 libstdc++-7-dev_7.2.0-6ubuntu1 libstdc++6_7.2.0-6ubuntu1 linux-libc-dev_4.13.0-11.12 Package versions: adduser_3.113+nmu3ubuntu5 advancecomp_2.0-1 apt_1.5~rc4 apt-transport-https_1.5~rc4 autoconf_2.69-11 automake_1:1.15-6ubuntu1 autopoint_0.19.8.1-4ubuntu1 autotools-dev_20161112.1 base-files_9.6ubuntu101 base-passwd_3.5.43 bash_4.4-5ubuntu1 binutils_2.29.1-1ubuntu1 binutils-common_2.29.1-1ubuntu1 binutils-i686-linux-gnu_2.29.1-1ubuntu1 bsdmainutils_9.0.12+nmu1ubuntu1 bsdutils_1:2.30.1-0ubuntu4 build-essential_12.1ubuntu2 bzip2_1.0.6-8.1 ca-certificates_20170717 coreutils_8.26-3ubuntu3 cpp_4:7.2.0-1ubuntu1 cpp-7_7.2.0-6ubuntu1 dash_0.5.8-2.3ubuntu1 debconf_1.5.63 debhelper_10.7.2ubuntu2 debianutils_4.8.2 dh-autoreconf_14 dh-strip-nondeterminism_0.038-1 diffutils_1:3.6-1 dmsetup_2:1.02.137-2ubuntu3 dpkg_1.18.24ubuntu1 dpkg-dev_1.18.24ubuntu1 e2fslibs_1.43.5-1 e2fsprogs_1.43.5-1 emacsen-common_2.0.8 fakeroot_1.21-1ubuntu2 fdisk_2.30.1-0ubuntu4 file_1:5.32-1 findutils_4.6.0+git+20170729-2 fontconfig-config_2.11.94-0ubuntu2 fonts-dejavu-core_2.37-1 fonts-lmodern_2.004.5-3 g++_4:7.2.0-1ubuntu1 g++-7_7.2.0-6ubuntu1 gcc_4:7.2.0-1ubuntu1 gcc-7_7.2.0-6ubuntu1 gcc-7-base_7.2.0-6ubuntu1 gcl_2.6.12-54 gettext_0.19.8.1-4ubuntu1 gettext-base_0.19.8.1-4ubuntu1 gnupg_2.1.15-1ubuntu7 gnupg-agent_2.1.15-1ubuntu7 gpgv_2.1.15-1ubuntu7 grep_3.1-2 groff-base_1.22.3-9 gzip_1.6-5ubuntu1 hostname_3.18 init_1.49ubuntu1 init-system-helpers_1.49ubuntu1 initscripts_2.88dsf-59.3ubuntu2 insserv_1.14.0-5ubuntu3 intltool-debian_0.35.0+20060710.4 libacl1_2.2.52-3build1 libapparmor1_2.11.0-2ubuntu17 libapt-pkg5.0_1.5~rc4 libarchive-zip-perl_1.59-1 libasan4_7.2.0-6ubuntu1 libasn1-8-heimdal_7.4.0.dfsg.1-2 libassuan0_2.4.3-3 libatomic1_7.2.0-6ubuntu1 libattr1_1:2.4.47-2build1 libaudit-common_1:2.7.7-1ubuntu2 libaudit1_1:2.7.7-1ubuntu2 libavahi-client3_0.6.32-1ubuntu1 libavahi-common-data_0.6.32-1ubuntu1 libavahi-common3_0.6.32-1ubuntu1 libbinutils_2.29.1-1ubuntu1 libblkid1_2.30.1-0ubuntu4 libbsd0_0.8.6-1 libbz2-1.0_1.0.6-8.1 libc-bin_2.26-0ubuntu1 libc-dev-bin_2.26-0ubuntu1 libc6_2.26-0ubuntu1 libc6-dev_2.26-0ubuntu1 libcairo2_1.14.10-1 libcanna1g_3.7p3-14 libcap-ng0_0.7.7-3build1 libcap2_1:2.25-1 libcc1-0_7.2.0-6ubuntu1 libcilkrts5_7.2.0-6ubuntu1 libcomerr2_1.43.5-1 libcompfaceg1_1:1.5.2-5 libcroco3_0.6.12-1 libcryptsetup4_2:1.7.3-4ubuntu1 libcups2_2.2.4-7 libcupsimage2_2.2.4-7 libcurl3-gnutls_7.55.1-1ubuntu1 libdb5.3_5.3.28-13.1 libdbus-1-3_1.10.22-1ubuntu1 libdebconfclient0_0.213ubuntu1 libdevmapper1.02.1_2:1.02.137-2ubuntu3 libdpkg-perl_1.18.24ubuntu1 libexpat1_2.2.3-1 libfakeroot_1.21-1ubuntu2 libfdisk1_2.30.1-0ubuntu4 libffi6_3.2.1-6 libfile-stripnondeterminism-perl_0.038-1 libfontconfig1_2.11.94-0ubuntu2 libfreetype6_2.8-0.2ubuntu2 libgcc-7-dev_7.2.0-6ubuntu1 libgcc1_1:7.2.0-6ubuntu1 libgcrypt20_1.7.8-2ubuntu1 libgdbm3_1.8.3-14 libglib2.0-0_2.54.0-1ubuntu1 libgmp-dev_2:6.1.2+dfsg-1 libgmp10_2:6.1.2+dfsg-1 libgmp3-dev_2:6.1.2+dfsg-1 libgmpxx4ldbl_2:6.1.2+dfsg-1 libgnutls30_3.5.8-6ubuntu3 libgomp1_7.2.0-6ubuntu1 libgpg-error0_1.27-3 libgpm2_1.20.4-6.2 libgraphite2-3_1.3.10-2 libgs9_9.21~dfsg+1-0ubuntu3 libgs9-common_9.21~dfsg+1-0ubuntu3 libgssapi-krb5-2_1.15.1-2 libgssapi3-heimdal_7.4.0.dfsg.1-2 libharfbuzz-icu0_1.4.2-1 libharfbuzz0b_1.4.2-1 libhcrypto4-heimdal_7.4.0.dfsg.1-2 libheimbase1-heimdal_7.4.0.dfsg.1-2 libheimntlm0-heimdal_7.4.0.dfsg.1-2 libhogweed4_3.3-1 libhx509-5-heimdal_7.4.0.dfsg.1-2 libice-dev_2:1.0.9-2 libice6_2:1.0.9-2 libicu57_57.1-6 libidn11_1.33-2 libidn2-0_2.0.2-5 libijs-0.35_0.35-12 libip4tc0_1.6.1-2ubuntu1 libisl15_0.18-1 libitm1_7.2.0-6ubuntu1 libjbig0_2.1-3.1 libjbig2dec0_0.13-4.1 libjpeg-turbo8_1.5.2-0ubuntu3 libjpeg8_8c-2ubuntu8 libk5crypto3_1.15.1-2 libkeyutils1_1.5.9-9ubuntu1 libkmod2_24-1ubuntu2 libkpathsea6_2017.20170613.44572-5build1 libkrb5-26-heimdal_7.4.0.dfsg.1-2 libkrb5-3_1.15.1-2 libkrb5support0_1.15.1-2 libksba8_1.3.5-2 liblcms2-2_2.7-1ubuntu1 libldap-2.4-2_2.4.45+dfsg-1ubuntu1 libldap-common_2.4.45+dfsg-1ubuntu1 liblockfile-bin_1.14-1 liblockfile1_1.14-1 liblz4-1_0.0~r131-2ubuntu2 liblzma5_5.2.2-1.3 libmagic-mgc_1:5.32-1 libmagic1_1:5.32-1 libmount1_2.30.1-0ubuntu4 libmpc3_1.0.3-2 libmpfr4_3.1.6-1 libmpx2_7.2.0-6ubuntu1 libncurses5_6.0+20160625-1ubuntu1 libncursesw5_6.0+20160625-1ubuntu1 libnettle6_3.3-1 libnpth0_1.5-2 libnspr4_2:4.16-1ubuntu1 libnss3_2:3.32-1ubuntu2 libp11-kit0_0.23.7-3 libpam-modules_1.1.8-3.2ubuntu3 libpam-modules-bin_1.1.8-3.2ubuntu3 libpam-runtime_1.1.8-3.2ubuntu3 libpam0g_1.1.8-3.2ubuntu3 libpaper-utils_1.1.24+nmu5ubuntu1 libpaper1_1.1.24+nmu5ubuntu1 libpcre3_2:8.39-4 libperl5.26_5.26.0-8ubuntu1 libpipeline1_1.4.2-1 libpixman-1-0_0.34.0-1 libpng16-16_1.6.32-2 libpoppler68_0.57.0-2ubuntu1 libpotrace0_1.14-2 libprocps6_2:3.3.12-1ubuntu2 libpsl5_0.18.0-2 libptexenc1_2017.20170613.44572-5build1 libpthread-stubs0-dev_0.3-4 libquadmath0_7.2.0-6ubuntu1 libreadline-dev_7.0-0ubuntu2 libreadline7_7.0-0ubuntu2 libroken18-heimdal_7.4.0.dfsg.1-2 librtmp1_2.4+20151223.gitfa8646d.1-1 libsasl2-2_2.1.27~101-g0780600+dfsg-3ubuntu1 libsasl2-modules-db_2.1.27~101-g0780600+dfsg-3ubuntu1 libseccomp2_2.3.1-2.1ubuntu2 libselinux1_2.7-1 libsemanage-common_2.7-1 libsemanage1_2.7-1 libsepol1_2.7-1 libsigsegv2_2.11-1 libslang2_2.3.1-5ubuntu1 libsm-dev_2:1.2.2-1 libsm6_2:1.2.2-1 libsmartcols1_2.30.1-0ubuntu4 libsqlite3-0_3.19.3-3 libss2_1.43.5-1 libssl1.0.0_1.0.2g-1ubuntu13 libstdc++-7-dev_7.2.0-6ubuntu1 libstdc++6_7.2.0-6ubuntu1 libsynctex1_2017.20170613.44572-5build1 libsystemd0_234-2ubuntu10 libtasn1-6_4.12-2.1 libtcl8.6_8.6.7+dfsg-1 libtexlua52_2017.20170613.44572-5build1 libtexluajit2_2017.20170613.44572-5build1 libtext-unidecode-perl_1.30-1 libtiff5_4.0.8-5 libtimedate-perl_2.3000-2 libtinfo-dev_6.0+20160625-1ubuntu1 libtinfo5_6.0+20160625-1ubuntu1 libtk8.6_8.6.7-1 libtool_2.4.6-2 libubsan0_7.2.0-6ubuntu1 libudev1_234-2ubuntu10 libunistring0_0.9.3-5.2ubuntu1 libusb-0.1-4_2:0.1.12-31 libustr-1.0-1_1.0.4-6 libuuid1_2.30.1-0ubuntu4 libwind0-heimdal_7.4.0.dfsg.1-2 libx11-6_2:1.6.4-3 libx11-data_2:1.6.4-3 libx11-dev_2:1.6.4-3 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.11.1-1ubuntu1 libxcb-shm0_1.11.1-1ubuntu1 libxcb1_1.11.1-1ubuntu1 libxcb1-dev_1.11.1-1ubuntu1 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-3 libxml-namespacesupport-perl_1.11-1 libxml-sax-base-perl_1.07-1 libxml-sax-perl_0.99+dfsg-2ubuntu1 libxml2_2.9.4+dfsg1-3.1 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 libzzip-0-13_0.13.62-3.1 linux-libc-dev_4.13.0-11.12 lockfile-progs_0.1.17build1 login_1:4.2-3.2ubuntu4 lsb-base_9.20160110ubuntu5 m4_1.4.18-1 make_4.1-9.1 man-db_2.7.6.1-2 mawk_1.3.3-17ubuntu2 mount_2.30.1-0ubuntu4 multiarch-support_2.26-0ubuntu1 ncurses-base_6.0+20160625-1ubuntu1 ncurses-bin_6.0+20160625-1ubuntu1 openssl_1.0.2g-1ubuntu13 optipng_0.7.6-1build1 passwd_1:4.2-3.2ubuntu4 patch_2.7.5-1build1 perl_5.26.0-8ubuntu1 perl-base_5.26.0-8ubuntu1 perl-modules-5.26_5.26.0-8ubuntu1 pinentry-curses_1.0.0-2 pkgbinarymangler_131 po-debconf_1.0.20 policyrcd-script-zg2_0.1-3 poppler-data_0.4.8-1 procps_2:3.3.12-1ubuntu2 readline-common_7.0-0ubuntu2 sbuild-build-depends-acl2-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.4-1 sensible-utils_0.0.10 systemd_234-2ubuntu10 systemd-sysv_234-2ubuntu10 sysv-rc_2.88dsf-59.3ubuntu2 sysvinit-utils_2.88dsf-59.8git1 t1utils_1.40-2 tar_1.29b-2 tex-common_6.09 texinfo_6.4.90.dfsg.1-1build1 texlive-base_2017.20170818-1 texlive-binaries_2017.20170613.44572-5build1 texlive-latex-base_2017.20170818-1 texlive-latex-recommended_2017.20170818-1 time_1.7-25.1build1 tzdata_2017b-2 ubuntu-keyring_2016.10.27 ucf_3.0036 util-linux_2.30.1-0ubuntu4 x11-common_1:7.7+19ubuntu2 x11proto-core-dev_7.0.31-1 x11proto-input-dev_2.3.2-1 x11proto-kb-dev_1.0.7-1 x11proto-xext-dev_7.3.0-1 xdg-utils_1.1.1-1ubuntu2 xemacs21-basesupport_2009.02.17.dfsg.2-4 xemacs21-bin_21.4.24-4ubuntu1 xemacs21-mule-canna-wnn_21.4.24-4ubuntu1 xemacs21-mulesupport_2009.02.17.dfsg.2-4 xemacs21-support_21.4.24-4ubuntu1 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 Wed May 4 13:32:17 2016 UTC gpgv: using RSA key gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./acl2_7.2dfsg-2.dsc dpkg-source: info: extracting acl2 in acl2-7.2dfsg dpkg-source: info: unpacking acl2_7.2dfsg.orig.tar.gz dpkg-source: info: unpacking acl2_7.2dfsg-2.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-blocks-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-13404704 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-13404704 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-13404704 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 7.2dfsg-2 dpkg-buildpackage: info: source distribution unstable dpkg-source --before-build acl2-7.2dfsg dpkg-buildpackage: info: host architecture i386 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 /<> rm -f *.o *#* *.c *.h *.data gazonk.* workxxx workyyy *.lib \ *.fasl *.fas *.sparcf *.ufsl *.64ufasl *.ufasl *.dfsl *.dxl \ *.d64fsl *.dx64fsl *.lx64fsl \ *.lx32fsl *.x86f *.o *.fn \ TAGS acl2-status.txt acl2r.lisp acl2-proclaims.lisp .acl2rc \ *osaved_acl2* \ *.log 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/*.d64fsl doc/*.dx64fsl doc/*.lx64fsl \ doc/*.lx32fsl doc/*.x86f doc/*.o \ doc/*.cert doc/*.out \ doc/*.log doc/TMP* rm -rf doc/TEX doc/HTML doc/EMACS make[1]: Leaving directory '/<>' /usr/bin/make clean-books make[1]: Entering directory '/<>' ACL2_WD is /<> 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.045s user 0m0.016s sys 0m0.016s Scanning for dependencies... real 0m20.803s user 0m20.044s sys 0m0.408s Done scanning. Reading book deps Makefile-deps created on Sat Sep 23 07:43:26 UTC 2017 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 Smtlink is supported -- BOZO todo, for now pretending it does not! ACL2_HAS_HONS := ACL2_HAS_ANSI := ACL2_HAS_PARALLEL := ACL2_HAS_REALS := ACL2_COMP_EXT := ACL2_HOST_LISP := OS_HAS_GLUCOSE := OS_HAS_SMTLINK := USE_QUICKLISP := 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 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/sv/tutorial/alu.cert centaur/sv/tutorial/boothpipe.cert doc/top.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 ] Excluding books that depend on Quicklisp: [centaur/4v-sexpr/sexpr-purebool-p.cert centaur/4v-sexpr/top.cert centaur/aig/aig-sat-tests.cert centaur/aig/aig-sat.cert centaur/aig/faig-purebool-p.cert centaur/aig/top.cert centaur/esim/stv/stv-debug.cert centaur/esim/stv/stv2c/top.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/alu16-book.cert centaur/esim/tutorial/boothmul.cert centaur/esim/tutorial/counter.cert centaur/esim/tutorial/intro.cert centaur/esim/vcd/vcd-impl.cert centaur/esim/vcd/vcd.cert centaur/gl/bfr-satlink.cert centaur/gl/gl-ttags.cert centaur/misc/sharedlibtest/app.cert centaur/misc/tshell-tests.cert centaur/misc/tshell.cert centaur/quicklisp/base.cert centaur/quicklisp/bordeaux.cert centaur/quicklisp/bt-semaphore.cert centaur/quicklisp/cl-fad.cert centaur/quicklisp/external-program.cert centaur/quicklisp/fastnumio.cert centaur/quicklisp/html-template.cert centaur/quicklisp/hunchentoot.cert centaur/quicklisp/osicat.cert centaur/quicklisp/shellpool.cert centaur/quicklisp/top.cert centaur/quicklisp/uiop.cert centaur/satlink/benchmarks.cert centaur/satlink/check-config.cert centaur/satlink/top.cert centaur/sv/cosims/cosims.cert centaur/sv/tutorial/alu.cert centaur/sv/tutorial/boothpipe.cert centaur/vl/kit/gather.cert centaur/vl/kit/lint.cert centaur/vl/kit/pp.cert centaur/vl/kit/progutils.cert centaur/vl/kit/server.cert centaur/vl/kit/shell.cert centaur/vl/kit/top.cert centaur/vl/kit/zip.cert centaur/vl/loader/top.cert centaur/vl/server/file-layout.cert centaur/vl/server/server.cert centaur/vl2014/kit/gather.cert centaur/vl2014/kit/json.cert centaur/vl2014/kit/lint.cert centaur/vl2014/kit/model.cert centaur/vl2014/kit/pp.cert centaur/vl2014/kit/progutils.cert centaur/vl2014/kit/server.cert centaur/vl2014/kit/shell.cert centaur/vl2014/kit/top.cert centaur/vl2014/server/file-layout.cert centaur/vl2014/server/server.cert doc/top.cert oslib/copy.cert oslib/dirname.cert oslib/file-types.cert oslib/ls.cert oslib/mkdir.cert oslib/rmtree.cert oslib/tests/copy.cert oslib/tests/dirname.cert oslib/tests/file-types.cert oslib/tests/ls.cert oslib/tests/mkdir.cert oslib/tests/top.cert oslib/top.cert projects/doc.cert projects/sidekick/eventdata.cert projects/sidekick/explore.cert projects/sidekick/lint.cert projects/sidekick/lock.cert projects/sidekick/lookup.cert projects/sidekick/server.cert projects/sidekick/session.cert projects/sidekick/top.cert projects/sidekick/webcommand.cert system/doc/acl2-manual.cert tools/oracle-timelimit-tests.cert tools/oracle-timelimit.cert workshops/2015/peng-greenstreet/support/SMT-connect.cert workshops/2015/peng-greenstreet/support/SMT-interpreter.cert workshops/2015/peng-greenstreet/support/SMT-py.cert workshops/2015/peng-greenstreet/support/SMT-run.cert 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 workshops/2015/peng-greenstreet/support/top.cert xdoc/all.cert xdoc/save-fancy.cert xdoc/save.cert ] Using clean.pl to remove certificates, etc. /<>/books/build/clean.pl clean.pl: scanning for generated files clean.pl: found 2 targets (0 seconds) clean.pl: deleted 2 files (0 seconds) Cleaning up Quicklisp files cd centaur/quicklisp; ./clean.sh 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/ 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/ \ 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 *.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 *.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 *.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 *.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 *.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 *.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 *.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 *.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 *.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 *.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 *.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 *.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 *.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 *.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 *.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/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 *.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 dh_clean: Compatibility levels before 9 are deprecated (level 5 in use) debian/rules build-arch cat debian/dlopen.lisp.in | sed "s,@VR@,7.2dfsg,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 /<> rm -f acl2r.lisp /usr/bin/make acl2r.lisp make[2]: Entering directory '/<>' ACL2_WD is /<> echo "" > acl2r.lisp if [ "" != "" ] ; then \ echo '(or (member :non-standard-analysis *features*) (push :non-standard-analysis *features*))' >> acl2r.lisp ;\ fi if [ "h" != "" ] ; then \ echo '(or (member :hons *features*) (push :hons *features*))' >> acl2r.lisp ;\ fi if [ "h" = "h_hack" ] ; then \ echo '(or (member :memoize-hack *features*) (push :memoize-hack *features*))' >> acl2r.lisp ;\ fi if [ "" != "" ] ; then \ echo '(or (member :acl2-par *features*) (push :acl2-par *features*))' >> acl2r.lisp ;\ fi if [ "" != "" ] ; then \ echo '(or (member :acl2-devel *features*) (push :acl2-devel *features*))' >> acl2r.lisp ;\ fi if [ "" != "" ] ; then \ mv -f ~/write-arithmetic-goals.lisp.old ; \ mv -f ~/write-arithmetic-goals.lisp ~/write-arithmetic-goals.lisp.old ; \ echo '(or (member :write-arithmetic-goals *features*) (push :write-arithmetic-goals *features*))' >> acl2r.lisp ;\ fi if [ "" != "" ] ; then \ echo "(defparameter *acl2-safety* )" >> acl2r.lisp ;\ fi if [ "" != "" ] ; then \ echo "(defparameter *acl2-stack-access* )" >> acl2r.lisp ;\ fi if [ "" != "" ] ; then \ echo '(or (find-package "ACL2") (#+(and gcl (not ansi-cl)) defpackage:defpackage #-(and gcl (not ansi-cl)) defpackage "ACL2" (:size ) (:use)))' >> acl2r.lisp ;\ fi if [ "" != "" ] ; then \ echo '(DEFPARAMETER *ACL2-COMPILER-ENABLED* NIL)' >> acl2r.lisp ;\ fi if [ "" != "" ] ; then \ echo '(DEFPARAMETER *ACL2-EGC-ON* )' >> acl2r.lisp ;\ fi if [ "" != "" ] ; then \ echo '(DEFPARAMETER *ACL2-EXIT-LISP-HOOK* (QUOTE ))' >> acl2r.lisp ;\ fi make[2]: Leaving directory '/<>' rm -f TAGS /usr/bin/make TAGS make[2]: Entering directory '/<>' ACL2_WD is /<> 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 0x9dd070 ;; 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 make[2]: Leaving directory '/<>' /usr/bin/make compile make[2]: Entering directory '/<>' ACL2_WD is /<> 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 0x9dd070 ;; 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 0x948910 ;; 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. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/serialize-raw.o. ;; Loading #p"serialize-raw.o" start address -T 0x9e8370 ;; Finished loading #p"serialize-raw.o" ;; Loading #p"axioms.lisp" ;; Finished loading #p"axioms.lisp" Compiling axioms.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/axioms.o. ;; Loading #p"axioms.o" start address -T 0x166b408 ;; Finished loading #p"axioms.o" ;; Loading #p"basis-a.lisp" ;; Finished loading #p"basis-a.lisp" Compiling basis-a.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/basis-a.o. ;; Loading #p"basis-a.o" start address -T 0x16dcae0 ;; Finished loading #p"basis-a.o" ;; Loading #p"memoize.lisp" ;; Finished loading #p"memoize.lisp" Compiling memoize.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/memoize.o. ;; Loading #p"memoize.o" start address -T 0x9f7390 ;; Finished loading #p"memoize.o" ;; Loading #p"hons.lisp" ;; Finished loading #p"hons.lisp" Compiling hons.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/hons.o. ;; Loading #p"hons.o" start address -T 0x809bc8 ;; Finished loading #p"hons.o" ;; Loading #p"serialize.lisp" ;; Finished loading #p"serialize.lisp" Compiling serialize.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/serialize.o. ;; Loading #p"serialize.o" start address -T 0x9ba2f8 ;; Finished loading #p"serialize.o" ;; Loading #p"basis-b.lisp" ;; Finished loading #p"basis-b.lisp" Compiling basis-b.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/basis-b.o. ;; Loading #p"basis-b.o" start address -T 0x2d3a008 ;; Finished loading #p"basis-b.o" ;; Loading #p"parallel.lisp" ;; Finished loading #p"parallel.lisp" Compiling parallel.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/parallel.o. ;; Loading #p"parallel.o" start address -T 0x2d6b280 ;; Finished loading #p"parallel.o" ;; Loading #p"hons-raw.lisp" ;; Finished loading #p"hons-raw.lisp" Compiling hons-raw.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/hons-raw.o. ;; Loading #p"hons-raw.o" start address -T 0x2d81f60 ;; Finished loading #p"hons-raw.o" ;; Loading #p"memoize-raw.lisp" ;; Finished loading #p"memoize-raw.lisp" Compiling memoize-raw.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/memoize-raw.o. ;; Loading #p"memoize-raw.o" start address -T 0x2da0da8 ;; Finished loading #p"memoize-raw.o" ;; Loading #p"translate.lisp" ;; Finished loading #p"translate.lisp" Compiling translate.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/translate.o. ;; Loading #p"translate.o" start address -T 0x2dd1a90 ;; Finished loading #p"translate.o" ;; Loading #p"type-set-a.lisp" ;; Finished loading #p"type-set-a.lisp" Compiling type-set-a.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/type-set-a.o. ;; Loading #p"type-set-a.o" start address -T 0x3cbc008 ;; Finished loading #p"type-set-a.o" ;; Loading #p"linear-a.lisp" ;; Finished loading #p"linear-a.lisp" Compiling linear-a.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/linear-a.o. ;; Loading #p"linear-a.o" start address -T 0x3cd11b0 ;; Finished loading #p"linear-a.o" ;; Loading #p"type-set-b.lisp" ;; Finished loading #p"type-set-b.lisp" Compiling type-set-b.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/type-set-b.o. ;; Loading #p"type-set-b.o" start address -T 0x3cf5128 ;; Finished loading #p"type-set-b.o" ;; Loading #p"linear-b.lisp" ;; Finished loading #p"linear-b.lisp" Compiling linear-b.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/linear-b.o. ;; Loading #p"linear-b.o" start address -T 0x3d411e0 ;; Finished loading #p"linear-b.o" ;; Loading #p"non-linear.lisp" ;; Finished loading #p"non-linear.lisp" Compiling non-linear.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/non-linear.o. ;; Loading #p"non-linear.o" start address -T 0x3d58dc8 ;; Finished loading #p"non-linear.o" ;; Loading #p"tau.lisp" ;; Finished loading #p"tau.lisp" Compiling tau.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/tau.o. ;; Loading #p"tau.o" start address -T 0x3d72a98 ;; Finished loading #p"tau.o" ;; Loading #p"rewrite.lisp" ;; Finished loading #p"rewrite.lisp" Compiling rewrite.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/rewrite.o. ;; Loading #p"rewrite.o" start address -T 0x4b94008 ;; Finished loading #p"rewrite.o" ;; Loading #p"simplify.lisp" ;; Finished loading #p"simplify.lisp" Compiling simplify.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/simplify.o. ;; Loading #p"simplify.o" start address -T 0x4c14358 ;; Finished loading #p"simplify.o" ;; Loading #p"bdd.lisp" ;; Finished loading #p"bdd.lisp" Compiling bdd.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/bdd.o. ;; Loading #p"bdd.o" start address -T 0x5dbe008 ;; Finished loading #p"bdd.o" ;; Loading #p"other-processes.lisp" ;; Finished loading #p"other-processes.lisp" Compiling other-processes.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/other-processes.o. ;; Loading #p"other-processes.o" start address -T 0x5dd9ab8 ;; Finished loading #p"other-processes.o" ;; Loading #p"induct.lisp" ;; Finished loading #p"induct.lisp" Compiling induct.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/induct.o. ;; Loading #p"induct.o" start address -T 0x5df8960 ;; Finished loading #p"induct.o" ;; Loading #p"proof-checker-pkg.lisp" ;; Finished loading #p"proof-checker-pkg.lisp" ;; Loading #p"doc.lisp" ;; Finished loading #p"doc.lisp" Compiling doc.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/doc.o. ;; Loading #p"doc.o" start address -T 0x7c3768 ;; Finished loading #p"doc.o" ;; Loading #p"history-management.lisp" ;; Finished loading #p"history-management.lisp" Compiling history-management.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/history-management.o. ;; Loading #p"history-management.o" start address -T 0x73c0008 ;; Finished loading #p"history-management.o" ;; Loading #p"prove.lisp" ;; Finished loading #p"prove.lisp" Compiling prove.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/prove.o. ;; Loading #p"prove.o" start address -T 0x7f5e008 ;; Finished loading #p"prove.o" ;; Loading #p"defuns.lisp" ;; Finished loading #p"defuns.lisp" Compiling defuns.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/defuns.o. ;; Loading #p"defuns.o" start address -T 0x5e58c40 ;; Finished loading #p"defuns.o" ;; Loading #p"proof-checker-a.lisp" ;; Finished loading #p"proof-checker-a.lisp" Compiling proof-checker-a.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/proof-checker-a.o. ;; Loading #p"proof-checker-a.o" start address -T 0x7fc6068 ;; Finished loading #p"proof-checker-a.o" ;; Loading #p"defthm.lisp" ;; Finished loading #p"defthm.lisp" Compiling defthm.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/defthm.o. ;; Loading #p"defthm.o" start address -T 0x7fe4068 ;; Finished loading #p"defthm.o" ;; Loading #p"other-events.lisp" ;; Finished loading #p"other-events.lisp" Compiling other-events.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/other-events.o. ;; Loading #p"other-events.o" start address -T 0xb834008 ;; Finished loading #p"other-events.o" ;; Loading #p"ld.lisp" ;; Finished loading #p"ld.lisp" Compiling ld.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/ld.o. ;; Loading #p"ld.o" start address -T 0xb9d6f68 ;; Finished loading #p"ld.o" ;; Loading #p"proof-checker-b.lisp" ;; Finished loading #p"proof-checker-b.lisp" Compiling proof-checker-b.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/proof-checker-b.o. ;; Loading #p"proof-checker-b.o" start address -T 0xc9c0008 ;; Finished loading #p"proof-checker-b.o" ;; Loading #p"interface-raw.lisp" ;; Finished loading #p"interface-raw.lisp" Compiling interface-raw.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/interface-raw.o. ;; Loading #p"interface-raw.o" start address -T 0xca38918 ;; Finished loading #p"interface-raw.o" ;; Loading #p"boot-strap-pass-2.lisp" ;; Finished loading #p"boot-strap-pass-2.lisp" Compiling boot-strap-pass-2.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/boot-strap-pass-2.o. ;; Loading #p"boot-strap-pass-2.o" start address -T 0xca87bf0 ;; Finished loading #p"boot-strap-pass-2.o" ;; Loading #p"/<>/translate.fn" ;; Finished loading #p"/<>/translate.fn" ;; Loading #p"/<>/axioms.fn" ;; Finished loading #p"/<>/axioms.fn" ;; Loading #p"/<>/serialize-raw.fn" ;; Finished loading #p"/<>/serialize-raw.fn" ;; Loading #p"/<>/prove.fn" ;; Finished loading #p"/<>/prove.fn" ;; Loading #p"/<>/rewrite.fn" ;; Finished loading #p"/<>/rewrite.fn" ;; Loading #p"/<>/linear-a.fn" ;; Finished loading #p"/<>/linear-a.fn" ;; Loading #p"/<>/boot-strap-pass-2.fn" ;; Finished loading #p"/<>/boot-strap-pass-2.fn" ;; Loading #p"/<>/ld.fn" ;; Finished loading #p"/<>/ld.fn" ;; Loading #p"/<>/history-management.fn" ;; Finished loading #p"/<>/history-management.fn" ;; Loading #p"/<>/serialize.fn" ;; Finished loading #p"/<>/serialize.fn" ;; Loading #p"/<>/other-events.fn" ;; Finished loading #p"/<>/other-events.fn" ;; Loading #p"/<>/linear-b.fn" ;; Finished loading #p"/<>/linear-b.fn" ;; Loading #p"/<>/non-linear.fn" ;; Finished loading #p"/<>/non-linear.fn" ;; Loading #p"/<>/bdd.fn" ;; Finished loading #p"/<>/bdd.fn" ;; Loading #p"/<>/parallel.fn" ;; Finished loading #p"/<>/parallel.fn" ;; Loading #p"/<>/type-set-a.fn" ;; Finished loading #p"/<>/type-set-a.fn" ;; Loading #p"/<>/interface-raw.fn" ;; Finished loading #p"/<>/interface-raw.fn" ;; Loading #p"/<>/type-set-b.fn" ;; Finished loading #p"/<>/type-set-b.fn" ;; Loading #p"/<>/induct.fn" ;; Finished loading #p"/<>/induct.fn" ;; Loading #p"/<>/proof-checker-a.fn" ;; Finished loading #p"/<>/proof-checker-a.fn" ;; Loading #p"/<>/tau.fn" ;; Finished loading #p"/<>/tau.fn" ;; Loading #p"/<>/other-processes.fn" ;; Finished loading #p"/<>/other-processes.fn" ;; Loading #p"/<>/defthm.fn" ;; Finished loading #p"/<>/defthm.fn" ;; Loading #p"/<>/proof-checker-b.fn" ;; Finished loading #p"/<>/proof-checker-b.fn" ;; Loading #p"/<>/simplify.fn" ;; Finished loading #p"/<>/simplify.fn" ;; Loading #p"/<>/memoize.fn" ;; Finished loading #p"/<>/memoize.fn" ;; Loading #p"/<>/basis-a.fn" ;; Finished loading #p"/<>/basis-a.fn" ;; Loading #p"/<>/hons.fn" ;; Finished loading #p"/<>/hons.fn" ;; Loading #p"/<>/memoize-raw.fn" ;; Finished loading #p"/<>/memoize-raw.fn" ;; Loading #p"/<>/doc.fn" ;; Finished loading #p"/<>/doc.fn" ;; Loading #p"/<>/defuns.fn" ;; Finished loading #p"/<>/defuns.fn" ;; Loading #p"/<>/basis-b.fn" ;; Finished loading #p"/<>/basis-b.fn" ;; Loading #p"/<>/hons-raw.fn" ;; Finished loading #p"/<>/hons-raw.fn" NIL >make[3]: Entering directory '/<>' ACL2_WD is /<> make[3]: Leaving directory '/<>' make[2]: Leaving directory '/<>' rm -f acl2-proclaims.lisp /usr/bin/make acl2-proclaims.lisp make[2]: Entering directory '/<>' ACL2_WD is /<> rm -f acl2-proclaims.lisp rm -f workxxx rm -f worklispext echo '(load "init.lisp")' > workxxx echo '(in-package "ACL2")' >> workxxx echo '(generate-acl2-proclaims)' >> workxxx echo '(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 0x9dd070 ;; 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/ > #<"ACL2" package> ACL2> NIL ACL2>[ -f acl2-proclaims.lisp ] make[2]: Leaving directory '/<>' /usr/bin/make compile USE_ACL2_PROCLAIMS=t make[2]: Entering directory '/<>' ACL2_WD is /<> rm -f workxxx echo '(load "init.lisp")' > workxxx echo '(acl2::compile-acl2 t)' >> 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 0x9dd070 ;; 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 "acl2-proclaims.lisp" ;; Finished loading "acl2-proclaims.lisp" ;; Loading #p"serialize-raw.lisp" ;; Finished loading #p"serialize-raw.lisp" Compiling serialize-raw.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/serialize-raw.o. ;; Loading #p"serialize-raw.o" start address -T 0x9e8370 ;; Finished loading #p"serialize-raw.o" ;; Loading #p"axioms.lisp" ;; Finished loading #p"axioms.lisp" Compiling axioms.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/axioms.o. ;; Loading #p"axioms.o" start address -T 0x166b408 ;; Finished loading #p"axioms.o" ;; Loading #p"basis-a.lisp" ;; Finished loading #p"basis-a.lisp" Compiling basis-a.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/basis-a.o. ;; Loading #p"basis-a.o" start address -T 0x16ccf80 ;; Finished loading #p"basis-a.o" ;; Loading #p"memoize.lisp" ;; Finished loading #p"memoize.lisp" Compiling memoize.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/memoize.o. ;; Loading #p"memoize.o" start address -T 0x9855d0 ;; Finished loading #p"memoize.o" ;; Loading #p"hons.lisp" ;; Finished loading #p"hons.lisp" Compiling hons.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/hons.o. ;; Loading #p"hons.o" start address -T 0x7840b0 ;; Finished loading #p"hons.o" ;; Loading #p"serialize.lisp" ;; Finished loading #p"serialize.lisp" Compiling serialize.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/serialize.o. ;; Loading #p"serialize.o" start address -T 0x9ba2f8 ;; Finished loading #p"serialize.o" ;; Loading #p"basis-b.lisp" ;; Finished loading #p"basis-b.lisp" Compiling basis-b.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/basis-b.o. ;; Loading #p"basis-b.o" start address -T 0x30a7008 ;; Finished loading #p"basis-b.o" ;; Loading #p"parallel.lisp" ;; Finished loading #p"parallel.lisp" Compiling parallel.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/parallel.o. ;; Loading #p"parallel.o" start address -T 0xa12848 ;; Finished loading #p"parallel.o" ;; Loading #p"hons-raw.lisp" ;; Finished loading #p"hons-raw.lisp" Compiling hons-raw.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/hons-raw.o. ;; Loading #p"hons-raw.o" start address -T 0x30ccf60 ;; Finished loading #p"hons-raw.o" ;; Loading #p"memoize-raw.lisp" ;; Finished loading #p"memoize-raw.lisp" Compiling memoize-raw.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/memoize-raw.o. ;; Loading #p"memoize-raw.o" start address -T 0x30e8180 ;; Finished loading #p"memoize-raw.o" ;; Loading #p"translate.lisp" ;; Finished loading #p"translate.lisp" Compiling translate.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/translate.o. ;; Loading #p"translate.o" start address -T 0x31155c8 ;; Finished loading #p"translate.o" ;; Loading #p"type-set-a.lisp" ;; Finished loading #p"type-set-a.lisp" Compiling type-set-a.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/type-set-a.o. ;; Loading #p"type-set-a.o" start address -T 0x3164620 ;; Finished loading #p"type-set-a.o" ;; Loading #p"linear-a.lisp" ;; Finished loading #p"linear-a.lisp" Compiling linear-a.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/linear-a.o. ;; Loading #p"linear-a.o" start address -T 0x3177000 ;; Finished loading #p"linear-a.o" ;; Loading #p"type-set-b.lisp" ;; Finished loading #p"type-set-b.lisp" Compiling type-set-b.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/type-set-b.o. ;; Loading #p"type-set-b.o" start address -T 0x45b1008 ;; Finished loading #p"type-set-b.o" ;; Loading #p"linear-b.lisp" ;; Finished loading #p"linear-b.lisp" Compiling linear-b.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/linear-b.o. ;; Loading #p"linear-b.o" start address -T 0x45ec898 ;; Finished loading #p"linear-b.o" ;; Loading #p"non-linear.lisp" ;; Finished loading #p"non-linear.lisp" Compiling non-linear.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/non-linear.o. ;; Loading #p"non-linear.o" start address -T 0x4600e50 ;; Finished loading #p"non-linear.o" ;; Loading #p"tau.lisp" ;; Finished loading #p"tau.lisp" Compiling tau.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/tau.o. ;; Loading #p"tau.o" start address -T 0x4616a00 ;; Finished loading #p"tau.o" ;; Loading #p"rewrite.lisp" ;; Finished loading #p"rewrite.lisp" Compiling rewrite.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/rewrite.o. ;; Loading #p"rewrite.o" start address -T 0x576c008 ;; Finished loading #p"rewrite.o" ;; Loading #p"simplify.lisp" ;; Finished loading #p"simplify.lisp" Compiling simplify.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/simplify.o. ;; Loading #p"simplify.o" start address -T 0x4664fa0 ;; Finished loading #p"simplify.o" ;; Loading #p"bdd.lisp" ;; Finished loading #p"bdd.lisp" Compiling bdd.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/bdd.o. ;; Loading #p"bdd.o" start address -T 0x57ce9c0 ;; Finished loading #p"bdd.o" ;; Loading #p"other-processes.lisp" ;; Finished loading #p"other-processes.lisp" Compiling other-processes.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/other-processes.o. ;; Loading #p"other-processes.o" start address -T 0x57f46e8 ;; Finished loading #p"other-processes.o" ;; Loading #p"induct.lisp" ;; Finished loading #p"induct.lisp" Compiling induct.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/induct.o. ;; Loading #p"induct.o" start address -T 0x5813ae8 ;; Finished loading #p"induct.o" ;; Loading #p"proof-checker-pkg.lisp" ;; Finished loading #p"proof-checker-pkg.lisp" ;; Loading #p"doc.lisp" ;; Finished loading #p"doc.lisp" Compiling doc.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/doc.o. ;; Loading #p"doc.o" start address -T 0x930230 ;; Finished loading #p"doc.o" ;; Loading #p"history-management.lisp" ;; Finished loading #p"history-management.lisp" Compiling history-management.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/history-management.o. ;; Loading #p"history-management.o" start address -T 0x6f88818 ;; Finished loading #p"history-management.o" ;; Loading #p"prove.lisp" ;; Finished loading #p"prove.lisp" Compiling prove.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/prove.o. ;; Loading #p"prove.o" start address -T 0x80e8008 ;; Finished loading #p"prove.o" ;; Loading #p"defuns.lisp" ;; Finished loading #p"defuns.lisp" Compiling defuns.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/defuns.o. ;; Loading #p"defuns.o" start address -T 0x8149218 ;; Finished loading #p"defuns.o" ;; Loading #p"proof-checker-a.lisp" ;; Finished loading #p"proof-checker-a.lisp" Compiling proof-checker-a.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/proof-checker-a.o. ;; Loading #p"proof-checker-a.o" start address -T 0x8185dd8 ;; Finished loading #p"proof-checker-a.o" ;; Loading #p"defthm.lisp" ;; Finished loading #p"defthm.lisp" Compiling defthm.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/defthm.o. ;; Loading #p"defthm.o" start address -T 0x93ea008 ;; Finished loading #p"defthm.o" ;; Loading #p"other-events.lisp" ;; Finished loading #p"other-events.lisp" Compiling other-events.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/other-events.o. ;; Loading #p"other-events.o" start address -T 0xbbac008 ;; Finished loading #p"other-events.o" ;; Loading #p"ld.lisp" ;; Finished loading #p"ld.lisp" Compiling ld.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/ld.o. ;; Loading #p"ld.o" start address -T 0xbd237a0 ;; Finished loading #p"ld.o" ;; Loading #p"proof-checker-b.lisp" ;; Finished loading #p"proof-checker-b.lisp" Compiling proof-checker-b.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/proof-checker-b.o. ;; Loading #p"proof-checker-b.o" start address -T 0x9449c98 ;; Finished loading #p"proof-checker-b.o" ;; Loading #p"interface-raw.lisp" ;; Finished loading #p"interface-raw.lisp" Compiling interface-raw.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/interface-raw.o. ;; Loading #p"interface-raw.o" start address -T 0xbd5ccb8 ;; Finished loading #p"interface-raw.o" ;; Loading #p"boot-strap-pass-2.lisp" ;; Finished loading #p"boot-strap-pass-2.lisp" Compiling boot-strap-pass-2.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /<>/boot-strap-pass-2.o. ;; Loading #p"boot-strap-pass-2.o" start address -T 0x94bd558 ;; Finished loading #p"boot-strap-pass-2.o" NIL >make[3]: Entering directory '/<>' ACL2_WD is /<> make[3]: Leaving directory '/<>' make[2]: Leaving directory '/<>' rm -f workxxx rm -f worklispext echo -n "" >> osaved_acl2 rm -f osaved_acl2 echo '(load "init.lisp")' > workxxx echo '(in-package "ACL2")' >> workxxx echo '(save-acl2 (quote (initialize-acl2 (quote include-book) acl2::*acl2-pass-2-files*)) "saved_acl2")' >> workxxx echo '(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 0x9dd070 ;; 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/ > #<"ACL2" package> ACL2>[GC for 218 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 0 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] ;; Loading "acl2-proclaims.lisp" [GC for 1 RELOCATABLE-BLOCKS pages..(T=2).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 128 SYMBOL pages..(T=0).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=2).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=2).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=2).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=2).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=2).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=2).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=2).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=2).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=2).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=2).GC finished] ;; Finished loading "acl2-proclaims.lisp" ;; Loading #p"serialize-raw.o" [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] start address -T 0x9e8370 ;; Finished loading #p"serialize-raw.o" ;; Loading #p"axioms.o" [GC for 1 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 192 SYMBOL pages..(T=2).GC finished] [GC for 3 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 3 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 3 RELOCATABLE-BLOCKS pages..(T=2).GC finished] [GC for 3 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 3 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 3 RELOCATABLE-BLOCKS pages..(T=2).GC finished] [GC for 3 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 3 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 3 RELOCATABLE-BLOCKS pages..(T=2).GC finished] start address -T 0x16ab408 ;; Finished loading #p"axioms.o" ;; Loading #p"basis-a.o" [GC for 3328 CONTIGUOUS-BLOCKS pages..(T=0).GC finished] [GC for 3 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 3 RELOCATABLE-BLOCKS pages..(T=2).GC finished] [GC for 3 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 3 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 64 SFUN pages..(T=2).GC finished] [GC for 3 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 64 SFUN pages..(T=0).GC finished] [GC for 64 SFUN pages..(T=2).GC finished] [GC for 3 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 406 CONS pages..(T=0).GC finished] [GC for 74 SFUN pages..(T=2).GC finished] [GC for 3 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 74 SFUN pages..(T=0).GC finished] [GC for 406 CONS pages..(T=2).GC finished] [GC for 3 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 84 SFUN pages..(T=0).GC finished] [GC for 84 SFUN pages..(T=2).GC finished] [GC for 3 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 416 CONS pages..(T=0).GC finished] [GC for 426 CONS pages..(T=2).GC finished] [GC for 3 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 94 SFUN pages..(T=0).GC finished] [GC for 426 CONS pages..(T=2).GC finished] [GC for 3 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 436 CONS pages..(T=0).GC finished] [GC for 104 SFUN pages..(T=0).GC finished] [GC for 3 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 436 CONS pages..(T=2).GC finished] [GC for 3 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 3 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 10 RELOCATABLE-BLOCKS pages..(T=2).GC finished] [GC for 446 CONS pages..(T=0).GC finished] [GC for 446 CONS pages..(T=0).GC finished] [GC for 10 RELOCATABLE-BLOCKS pages..(T=2).GC finished] start address -T 0x1770008 ;; Finished loading #p"basis-a.o" ;; Loading #p"memoize.o" [GC for 10 RELOCATABLE-BLOCKS pages..(T=0).GC finished] start address -T 0x993070 ;; Finished loading #p"memoize.o" ;; Loading #p"hons.o" start address -T 0x7c90b8 ;; Finished loading #p"hons.o" ;; Loading #p"serialize.o" start address -T 0x9737b0 ;; Finished loading #p"serialize.o" ;; Loading #p"basis-b.o" [GC for 202 SYMBOL pages..(T=0).GC finished] [GC for 114 SFUN pages..(T=2).GC finished] start address -T 0x9f2848 ;; Finished loading #p"basis-b.o" ;; Loading #p"parallel.o" [GC for 10 RELOCATABLE-BLOCKS pages..(T=0).GC finished] start address -T 0x99d8b0 ;; Finished loading #p"parallel.o" ;; Loading #p"hons-raw.o" [GC for 10 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 10 RELOCATABLE-BLOCKS pages..(T=2).GC finished] [GC for 196 RELOCATABLE-BLOCKS pages..(T=0).GC finished] [GC for 196 RELOCATABLE-BLOCKS pages..(T=2).GC finished] [GC for 782 RELOCATABLE-BLOCKS pages..(T=0).GC finished] start address -T 0xa0e7a0 ;; Finished loading #p"hons-raw.o" ;; Loading #p"memoize-raw.o" start address -T 0x1999508 ;; Finished loading #p"memoize-raw.o" ;; Loading #p"translate.o" [GC for 446 CONS pages..(T=0).GC finished] start address -T 0x17afc00 ;; Finished loading #p"translate.o" ;; Loading #p"type-set-a.o" [GC for 456 CONS pages..(T=2).GC finished] start address -T 0x9a1f90 ;; Finished loading #p"type-set-a.o" ;; Loading #p"linear-a.o" start address -T 0x19b6950 ;; Finished loading #p"linear-a.o" ;; Loading #p"type-set-b.o" [GC for 456 CONS pages..(T=0).GC finished] [GC for 456 CONS pages..(T=2).GC finished] [GC for 466 CONS pages..(T=0).GC finished] [GC for 476 CONS pages..(T=0).GC finished] [GC for 486 CONS pages..(T=2).GC finished] [GC for 496 CONS pages..(T=0).GC finished] [GC for 506 CONS pages..(T=2).GC finished] [GC for 516 CONS pages..(T=0).GC finished] [GC for 526 CONS pages..(T=2).GC finished] start address -T 0x17eec58 ;; Finished loading #p"type-set-b.o" ;; Loading #p"linear-b.o" [GC for 536 CONS pages..(T=0).GC finished] start address -T 0x19c77d0 ;; Finished loading #p"linear-b.o" ;; Loading #p"non-linear.o" start address -T 0x9835d0 ;; Finished loading #p"non-linear.o" ;; Loading #p"tau.o" [GC for 124 SFUN pages..(T=2).GC finished] [GC for 536 CONS pages..(T=0).GC finished] start address -T 0x18224e8 ;; Finished loading #p"tau.o" ;; Loading #p"rewrite.o" [GC for 212 SYMBOL pages..(T=0).GC finished] [GC for 546 CONS pages..(T=2).GC finished] start address -T 0x1cfb408 ;; Finished loading #p"rewrite.o" ;; Loading #p"simplify.o" [GC for 556 CONS pages..(T=0).GC finished] [GC for 556 CONS pages..(T=2).GC finished] start address -T 0x1d5ddc0 ;; Finished loading #p"simplify.o" ;; Loading #p"bdd.o" start address -T 0x1d8ab58 ;; Finished loading #p"bdd.o" ;; Loading #p"other-processes.o" start address -T 0x1856a48 ;; Finished loading #p"other-processes.o" ;; Loading #p"induct.o" [GC for 134 SFUN pages..(T=0).GC finished] start address -T 0x1da4880 ;; Finished loading #p"induct.o" ;; Loading "proof-checker-pkg.lisp" ;; Finished loading "proof-checker-pkg.lisp" ;; Loading #p"doc.o" [GC for 782 RELOCATABLE-BLOCKS pages..(T=2).GC finished] [GC for 566 CONS pages..(T=2).GC finished] [GC for 222 SYMBOL pages..(T=0).GC finished] [GC for 144 SFUN pages..(T=2).GC finished] start address -T 0x1867fa0 ;; Finished loading #p"doc.o" ;; Loading #p"history-management.o" [GC for 5632 CONTIGUOUS-BLOCKS pages..(T=0).GC finished] [GC for 576 CONS pages..(T=0).GC finished] [GC for 586 CONS pages..(T=2).GC finished] [GC for 596 CONS pages..(T=0).GC finished] [GC for 606 CONS pages..(T=2).GC finished] start address -T 0x217e008 ;; Finished loading #p"history-management.o" ;; Loading #p"prove.o" [GC for 5888 CONTIGUOUS-BLOCKS pages..(T=0).GC finished] start address -T 0x22b3008 ;; Finished loading #p"prove.o" ;; Loading #p"defuns.o" [GC for 154 SFUN pages..(T=2).GC finished] start address -T 0x22294e8 ;; Finished loading #p"defuns.o" ;; Loading #p"proof-checker-a.o" [GC for 616 CONS pages..(T=0).GC finished] start address -T 0x214aad0 ;; Finished loading #p"proof-checker-a.o" ;; Loading #p"defthm.o" [GC for 626 CONS pages..(T=0).GC finished] start address -T 0x2314218 ;; Finished loading #p"defthm.o" ;; Loading #p"other-events.o" [GC for 6144 CONTIGUOUS-BLOCKS pages..(T=2).GC finished] [GC for 636 CONS pages..(T=0).GC finished] [GC for 164 SFUN pages..(T=2).GC finished] [GC for 646 CONS pages..(T=0).GC finished] [GC for 232 SYMBOL pages..(T=2).GC finished] [GC for 656 CONS pages..(T=0).GC finished] [GC for 666 CONS pages..(T=2).GC finished] [GC for 676 CONS pages..(T=0).GC finished] [GC for 686 CONS pages..(T=2).GC finished] [GC for 696 CONS pages..(T=0).GC finished] start address -T 0x23d8008 ;; Finished loading #p"other-events.o" ;; Loading #p"ld.o" [GC for 706 CONS pages..(T=2).GC finished] start address -T 0x254f7a0 ;; Finished loading #p"ld.o" ;; Loading #p"proof-checker-b.o" [GC for 6656 CONTIGUOUS-BLOCKS pages..(T=2).GC finished] [GC for 174 SFUN pages..(T=0).GC finished] start address -T 0x262e008 ;; Finished loading #p"proof-checker-b.o" ;; Loading #p"interface-raw.o" [GC for 706 CONS pages..(T=2).GC finished] start address -T 0x2588cb8 ;; Finished loading #p"interface-raw.o" ;; Loading #p"boot-strap-pass-2.o" start address -T 0xa199c0 ;; Finished loading #p"boot-strap-pass-2.o" ;; Loading "defpkgs.lisp" [GC for 716 CONS pages..(T=0).GC finished] [GC for 716 CONS pages..(T=2).GC finished] [GC for 716 CONS pages..(T=2).GC finished] [GC for 184 SFUN pages..(T=0).GC finished] [GC for 726 CONS pages..(T=2).GC finished] [GC for 726 CONS pages..(T=0).GC finished] ;; Finished loading "defpkgs.lisp" [GC for 736 CONS pages..(T=2).GC finished] [GC for 242 SYMBOL pages..(T=0).GC finished] HARD ACL2 ERROR in ASSERT$: Assertion failed: (ASSERT$ (AND (TRUE-LISTP DIR) (EQ (CAR DIR) :ROOT)) (LET* ((MSWINDOWS-DRIVE (MSWINDOWS-DRIVE # STATE)) (TMP (IF MSWINDOWS-DRIVE # "/"))) (DOLIST (X DIR) (WHEN (STRINGP X) (SETQ TMP #))) (WHEN (STRINGP NAME) (SETQ TMP (CONCATENATE # TMP NAME))) (WHEN (STRINGP TYPE) (SETQ TMP (CONCATENATE # TMP "." TYPE))) (LET ((NAMESTRING-TMP #) (NAMESTRING-TRUENAME #)) (COND (# TMP) (# TMP) (T # #))))) (See :DOC set-iprint to be able to see elided values in this message.) ACL2 Error in ACL2-INTERFACE: Evaluation aborted. To debug see :DOC print-gv, see :DOC trace, and see :DOC wet. Error: Fast links are on: do (si::use-fast-links nil) for debugging Signalled by INITIALIZE-ACL2. Raw Lisp Break. SIMPLE-ERROR: ACL2 Halted Broken at APPLY. Type :H for Help. 1 Return to top level. ACL2>>make[2]: Entering directory '/<>' ACL2_WD is /<> Initialization FAILED: acl2-status.txt should contain :INITIALIZED. GNUmakefile:340: recipe for target 'check_init_ok' failed make[2]: *** [check_init_ok] Error 1 make[2]: Leaving directory '/<>' GNUmakefile:466: recipe for target 'init' failed make[1]: *** [init] 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 gave error exit status 2 -------------------------------------------------------------------------------- Build finished at 20170923-0750 Finished -------- E: Build failure (dpkg-buildpackage died) +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: i386 Build-Space: 240116 Build-Time: 433 Distribution: artful Fail-Stage: build Host Architecture: i386 Install-Time: 56 Job: acl2_7.2dfsg-2.dsc Machine Architecture: amd64 Package: acl2 Package-Time: 492 Source-Version: 7.2dfsg-2 Space: 240116 Status: attempted Version: 7.2dfsg-2 -------------------------------------------------------------------------------- Finished at 20170923-0750 Build needed 00:08:12, 240116k disc space RUN: /usr/share/launchpad-buildd/slavebin/in-target scan-for-processes --backend=chroot --series=artful --arch=i386 PACKAGEBUILD-13404704 Scanning for processes to kill in build PACKAGEBUILD-13404704 RUN: /usr/share/launchpad-buildd/slavebin/in-target umount-chroot --backend=chroot --series=artful --arch=i386 PACKAGEBUILD-13404704 Stopping target for build PACKAGEBUILD-13404704 RUN: /usr/share/launchpad-buildd/slavebin/in-target remove-build --backend=chroot --series=artful --arch=i386 PACKAGEBUILD-13404704 Removing build PACKAGEBUILD-13404704