sbuild (Debian sbuild) 0.78.1 (09 February 2019) on gcc131.bak.milne.osuosl.org +==============================================================================+ | maude 3.1-1 (armhf) Thu, 12 Nov 2020 05:07:55 +0000 | +==============================================================================+ Package: maude Version: 3.1-1 Source Version: 3.1-1 Distribution: unstable Machine Architecture: amd64 Host Architecture: armhf Build Architecture: amd64 Build Profiles: cross nocheck Build Type: any I: NOTICE: Log filtering will replace 'var/run/schroot/mount/unstable-amd64-sbuild-5003b047-0f9a-4ee1-bd35-547e7cf64d4d' with '<>' I: NOTICE: Log filtering will replace 'build/maude-b2T5Zs/resolver-9OGKw8' with '<>' +------------------------------------------------------------------------------+ | Update chroot | +------------------------------------------------------------------------------+ Get:1 http://debian.oregonstate.edu/debian unstable InRelease [146 kB] Get:2 http://debian.oregonstate.edu/debian unstable/main Sources.diff/Index [24.0 kB] Get:3 http://debian.oregonstate.edu/debian unstable/main amd64 Packages.diff/Index [24.0 kB] Get:4 http://debian.oregonstate.edu/debian unstable/main Sources 2020-11-11-0812.25.pdiff [5662 B] Get:5 http://debian.oregonstate.edu/debian unstable/main Sources 2020-11-11-1410.53.pdiff [13.3 kB] Get:6 http://debian.oregonstate.edu/debian unstable/main Sources 2020-11-11-2008.42.pdiff [19.7 kB] Get:7 http://debian.oregonstate.edu/debian unstable/main Sources 2020-11-12-0210.51.pdiff [10.7 kB] Get:8 http://debian.oregonstate.edu/debian unstable/main amd64 Packages 2020-11-11-0812.25.pdiff [6239 B] Get:9 http://debian.oregonstate.edu/debian unstable/main amd64 Packages 2020-11-11-1410.53.pdiff [15.6 kB] Get:10 http://debian.oregonstate.edu/debian unstable/main amd64 Packages 2020-11-11-2008.42.pdiff [19.3 kB] Get:11 http://debian.oregonstate.edu/debian unstable/main amd64 Packages 2020-11-12-0210.51.pdiff [12.1 kB] Get:7 http://debian.oregonstate.edu/debian unstable/main Sources 2020-11-12-0210.51.pdiff [10.7 kB] Get:11 http://debian.oregonstate.edu/debian unstable/main amd64 Packages 2020-11-12-0210.51.pdiff [12.1 kB] Get:12 http://debian.oregonstate.edu/debian unstable/main armhf Packages [8243 kB] Fetched 8540 kB in 2s (5401 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: libffi7 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 23.0 kB of archives. After this operation, 0 B of additional disk space will be used. Get:1 http://debian.oregonstate.edu/debian unstable/main amd64 libffi7 amd64 3.3-5 [23.0 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 23.0 kB in 0s (1741 kB/s) (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10514 files and directories currently installed.) Preparing to unpack .../libffi7_3.3-5_amd64.deb ... Unpacking libffi7:amd64 (3.3-5) over (3.3-4) ... Setting up libffi7:amd64 (3.3-5) ... Processing triggers for libc-bin (2.31-4) ... +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Check APT --------- Checking available source versions... Download source files with APT ------------------------------ Reading package lists... NOTICE: 'maude' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/med-team/maude.git Please use: git clone https://salsa.debian.org/med-team/maude.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 2344 kB of source archives. Get:1 http://debian.oregonstate.edu/debian unstable/main maude 3.1-1 (dsc) [2022 B] Get:2 http://debian.oregonstate.edu/debian unstable/main maude 3.1-1 (tar) [2336 kB] Get:3 http://debian.oregonstate.edu/debian unstable/main maude 3.1-1 (diff) [6360 B] Fetched 2344 kB in 0s (57.8 MB/s) Download complete and in download only mode I: NOTICE: Log filtering will replace 'build/maude-b2T5Zs/maude-3.1' with '<>' I: NOTICE: Log filtering will replace 'build/maude-b2T5Zs' with '<>' +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: debhelper-compat (= 13), libtecla-dev, libbdd-dev, libgmp3-dev, libsigsegv-dev, bison, flex, libncurses5-dev, libcvc4-dev, libc-dev, libstdc++-dev, build-essential:amd64, fakeroot:amd64, crossbuild-essential-armhf:amd64, libc-dev:armhf, libstdc++-dev:armhf Filtered Build-Depends: debhelper-compat (= 13), libtecla-dev, libbdd-dev, libgmp3-dev, libsigsegv-dev, bison, flex, libncurses5-dev, libcvc4-dev, libc-dev, libstdc++-dev, build-essential:amd64, fakeroot:amd64, crossbuild-essential-armhf:amd64, libc-dev:armhf, libstdc++-dev:armhf dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/<>/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/<>/apt_archive ./ InRelease Get:2 copy:/<>/apt_archive ./ Release [957 B] Ign:3 copy:/<>/apt_archive ./ Release.gpg Get:4 copy:/<>/apt_archive ./ Sources [442 B] Get:5 copy:/<>/apt_archive ./ Packages [534 B] Fetched 1933 B in 0s (78.9 kB/s) Reading package lists... Reading package lists... Install main 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 binutils-arm-linux-gnueabihf bison bsdextrautils build-essential cpp-10-arm-linux-gnueabihf cpp-arm-linux-gnueabihf cross-config crossbuild-essential-armhf debhelper dh-autoreconf dh-strip-nondeterminism dpkg-cross dpkg-dev dwz file flex g++ g++-10 g++-10-arm-linux-gnueabihf g++-arm-linux-gnueabihf gcc-10-arm-linux-gnueabihf gcc-10-arm-linux-gnueabihf-base gcc-10-base:armhf gcc-10-cross-base gcc-9-base:armhf gcc-arm-linux-gnueabihf gettext gettext-base groff-base intltool-debian libantlr3c-3.4-0:armhf libarchive-zip-perl libasan5:armhf libasan6-armhf-cross libatomic1:armhf libatomic1-armhf-cross libbdd-dev:armhf libbdd0c2:armhf libc6:armhf libc6-armhf-cross libc6-dev libc6-dev:armhf libc6-dev-armhf-cross libcln6:armhf libcom-err2:armhf libconfig-auto-perl libconfig-inifiles-perl libcroco3 libcrypt-dev libcrypt-dev:armhf libcrypt1:armhf libcryptominisat5-5.8:armhf libcvc4-7:armhf libcvc4-dev:armhf libcvc4parser7:armhf libdebhelper-perl libdebian-dpkgcross-perl libdpkg-perl libelf1 libfile-homedir-perl libfile-stripnondeterminism-perl libfile-which-perl libgcc-10-dev-armhf-cross libgcc-9-dev:armhf libgcc-s1:armhf libgcc-s1-armhf-cross libglib2.0-0 libgmp-dev:armhf libgmp10:armhf libgmp3-dev:armhf libgmpxx4ldbl:armhf libgomp1:armhf libgomp1-armhf-cross libgssapi-krb5-2:armhf libicu67 libio-string-perl libk5crypto3:armhf libkeyutils1:armhf libkrb5-3:armhf libkrb5support0:armhf liblocale-gettext-perl libm4ri-0.0.20200125:armhf libmagic-mgc libmagic1 libncurses-dev:armhf libncurses5-dev:armhf libncurses6:armhf libncursesw6:armhf libnsl-dev libnsl-dev:armhf libnsl2:armhf libnss-nis:armhf libnss-nisplus:armhf libperl5.32 libpipeline1 libpng16-16:armhf libsigsegv-dev:armhf libsigsegv2 libsigsegv2:armhf libssl1.1:armhf libstdc++-10-dev libstdc++-10-dev-armhf-cross libstdc++-9-dev:armhf libstdc++6:armhf libstdc++6-armhf-cross libsub-override-perl libtecla-dev:armhf libtecla1:armhf libtinfo6:armhf libtirpc-dev libtirpc-dev:armhf libtirpc3:armhf libtool libubsan1:armhf libubsan1-armhf-cross libuchardet0 libxml-libxml-perl libxml-namespacesupport-perl libxml-sax-base-perl libxml-sax-perl libxml-simple-perl libxml2 libyaml-perl linux-libc-dev:armhf linux-libc-dev-armhf-cross m4 man-db perl perl-modules-5.32 po-debconf sensible-utils ucf zlib1g:armhf Suggested packages: autoconf-archive gnu-standards autoconf-doc binutils-doc bison-doc gcc-10-locales cpp-doc dh-make binutils-multiarch debian-keyring flex-doc g++-multilib g++-10-multilib gcc-10-doc manpages-dev gdb-arm-linux-gnueabihf gcc-doc gettext-doc libasprintf-dev libgettextpo-dev groff glibc-doc:armhf libc-l10n:armhf locales:armhf glibc-doc manpages-dev:armhf pi:armhf gnupg git bzr gmp-doc:armhf libgmp10-doc:armhf libmpfr-dev:armhf krb5-doc:armhf krb5-user:armhf ncurses-doc:armhf libstdc++-10-doc libstdc++-9-doc:armhf libtool-doc gfortran | fortran95-compiler gcj-jdk libyaml-shell-perl m4-doc apparmor less www-browser perl-doc libterm-readline-gnu-perl | libterm-readline-perl-perl libtap-harness-archive-perl libmail-box-perl Recommended packages: gnupg libalgorithm-merge-perl libfl-dev curl | wget | lynx libidn2-0:armhf libfile-fcntllock-perl libarchive-cpio-perl libglib2.0-data shared-mime-info xdg-user-dirs krb5-locales:armhf libgpm2:armhf libltdl-dev libwww-perl libxml-sax-expat-perl libyaml-libyaml-perl | libyaml-syck-perl netbase libmail-sendmail-perl The following NEW packages will be installed: autoconf automake autopoint autotools-dev binutils-arm-linux-gnueabihf bison bsdextrautils build-essential cpp-10-arm-linux-gnueabihf cpp-arm-linux-gnueabihf cross-config crossbuild-essential-armhf debhelper dh-autoreconf dh-strip-nondeterminism dpkg-cross dpkg-dev dwz file flex g++ g++-10 g++-10-arm-linux-gnueabihf g++-arm-linux-gnueabihf gcc-10-arm-linux-gnueabihf gcc-10-arm-linux-gnueabihf-base gcc-10-base:armhf gcc-10-cross-base gcc-9-base:armhf gcc-arm-linux-gnueabihf gettext gettext-base groff-base intltool-debian libantlr3c-3.4-0:armhf libarchive-zip-perl libasan5:armhf libasan6-armhf-cross libatomic1:armhf libatomic1-armhf-cross libbdd-dev:armhf libbdd0c2:armhf libc6:armhf libc6-armhf-cross libc6-dev libc6-dev:armhf libc6-dev-armhf-cross libcln6:armhf libcom-err2:armhf libconfig-auto-perl libconfig-inifiles-perl libcroco3 libcrypt-dev libcrypt-dev:armhf libcrypt1:armhf libcryptominisat5-5.8:armhf libcvc4-7:armhf libcvc4-dev:armhf libcvc4parser7:armhf libdebhelper-perl libdebian-dpkgcross-perl libdpkg-perl libelf1 libfile-homedir-perl libfile-stripnondeterminism-perl libfile-which-perl libgcc-10-dev-armhf-cross libgcc-9-dev:armhf libgcc-s1:armhf libgcc-s1-armhf-cross libglib2.0-0 libgmp-dev:armhf libgmp10:armhf libgmp3-dev:armhf libgmpxx4ldbl:armhf libgomp1:armhf libgomp1-armhf-cross libgssapi-krb5-2:armhf libicu67 libio-string-perl libk5crypto3:armhf libkeyutils1:armhf libkrb5-3:armhf libkrb5support0:armhf liblocale-gettext-perl libm4ri-0.0.20200125:armhf libmagic-mgc libmagic1 libncurses-dev:armhf libncurses5-dev:armhf libncurses6:armhf libncursesw6:armhf libnsl-dev libnsl-dev:armhf libnsl2:armhf libnss-nis:armhf libnss-nisplus:armhf libperl5.32 libpipeline1 libpng16-16:armhf libsigsegv-dev:armhf libsigsegv2 libsigsegv2:armhf libssl1.1:armhf libstdc++-10-dev libstdc++-10-dev-armhf-cross libstdc++-9-dev:armhf libstdc++6:armhf libstdc++6-armhf-cross libsub-override-perl libtecla-dev:armhf libtecla1:armhf libtinfo6:armhf libtirpc-dev libtirpc-dev:armhf libtirpc3:armhf libtool libubsan1:armhf libubsan1-armhf-cross libuchardet0 libxml-libxml-perl libxml-namespacesupport-perl libxml-sax-base-perl libxml-sax-perl libxml-simple-perl libxml2 libyaml-perl linux-libc-dev:armhf linux-libc-dev-armhf-cross m4 man-db perl perl-modules-5.32 po-debconf sbuild-build-depends-main-dummy:armhf sensible-utils ucf zlib1g:armhf 0 upgraded, 138 newly installed, 0 to remove and 0 not upgraded. Need to get 169 MB of archives. After this operation, 736 MB of additional disk space will be used. Get:1 copy:/<>/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [960 B] Get:2 http://debian.oregonstate.edu/debian unstable/main amd64 bsdextrautils amd64 2.36-3+b2 [140 kB] Get:3 http://debian.oregonstate.edu/debian unstable/main amd64 libuchardet0 amd64 0.0.7-1 [67.8 kB] Get:4 http://debian.oregonstate.edu/debian unstable/main amd64 groff-base amd64 1.22.4-5 [920 kB] Get:5 http://debian.oregonstate.edu/debian unstable/main amd64 libpipeline1 amd64 1.5.3-1 [34.3 kB] Get:6 http://debian.oregonstate.edu/debian unstable/main amd64 man-db amd64 2.9.3-2 [1314 kB] Get:7 http://debian.oregonstate.edu/debian unstable/main amd64 perl-modules-5.32 all 5.32.0-4 [2820 kB] Get:8 http://debian.oregonstate.edu/debian unstable/main amd64 libperl5.32 amd64 5.32.0-4 [4118 kB] Get:9 http://debian.oregonstate.edu/debian unstable/main amd64 perl amd64 5.32.0-4 [292 kB] Get:10 http://debian.oregonstate.edu/debian unstable/main amd64 libsigsegv2 amd64 2.12-2 [32.8 kB] Get:11 http://debian.oregonstate.edu/debian unstable/main amd64 m4 amd64 1.4.18-4 [203 kB] Get:12 http://debian.oregonstate.edu/debian unstable/main amd64 flex amd64 2.6.4-8 [440 kB] Get:13 http://debian.oregonstate.edu/debian unstable/main amd64 liblocale-gettext-perl amd64 1.07-4+b1 [19.0 kB] Get:14 http://debian.oregonstate.edu/debian unstable/main armhf gcc-10-base armhf 10.2.0-16 [200 kB] Get:15 http://debian.oregonstate.edu/debian unstable/main armhf gcc-9-base armhf 9.3.0-18 [197 kB] Get:16 http://debian.oregonstate.edu/debian unstable/main amd64 sensible-utils all 0.0.12+nmu1 [16.0 kB] Get:17 http://debian.oregonstate.edu/debian unstable/main amd64 libmagic-mgc amd64 1:5.38-5 [262 kB] Get:18 http://debian.oregonstate.edu/debian unstable/main amd64 libmagic1 amd64 1:5.38-5 [120 kB] Get:19 http://debian.oregonstate.edu/debian unstable/main amd64 file amd64 1:5.38-5 [67.9 kB] Get:20 http://debian.oregonstate.edu/debian unstable/main amd64 gettext-base amd64 0.19.8.1-10 [123 kB] Get:21 http://debian.oregonstate.edu/debian unstable/main amd64 ucf all 3.0043 [74.0 kB] Get:22 http://debian.oregonstate.edu/debian unstable/main amd64 autoconf all 2.69-11.1 [341 kB] Get:23 http://debian.oregonstate.edu/debian unstable/main amd64 autotools-dev all 20180224.1 [77.0 kB] Get:24 http://debian.oregonstate.edu/debian unstable/main amd64 automake all 1:1.16.2-4 [801 kB] Get:25 http://debian.oregonstate.edu/debian unstable/main amd64 autopoint all 0.19.8.1-10 [435 kB] Get:26 http://debian.oregonstate.edu/debian unstable/main amd64 binutils-arm-linux-gnueabihf amd64 2.35.1-2 [2776 kB] Get:27 http://debian.oregonstate.edu/debian unstable/main amd64 bison amd64 2:3.7.3+dfsg-1 [1095 kB] Get:28 http://debian.oregonstate.edu/debian unstable/main amd64 libcrypt-dev amd64 1:4.4.17-1 [104 kB] Get:29 http://debian.oregonstate.edu/debian unstable/main amd64 libtirpc-dev amd64 1.2.6-3 [190 kB] Get:30 http://debian.oregonstate.edu/debian unstable/main amd64 libnsl-dev amd64 1.3.0-2 [66.4 kB] Get:31 http://debian.oregonstate.edu/debian unstable/main amd64 libc6-dev amd64 2.31-4 [2344 kB] Get:32 http://debian.oregonstate.edu/debian unstable/main amd64 libstdc++-10-dev amd64 10.2.0-16 [1738 kB] Get:33 http://debian.oregonstate.edu/debian unstable/main amd64 g++-10 amd64 10.2.0-16 [69.1 MB] Get:34 http://debian.oregonstate.edu/debian unstable/main amd64 g++ amd64 4:10.2.0-1 [1644 B] Get:35 http://debian.oregonstate.edu/debian unstable/main amd64 libdpkg-perl all 1.20.5 [1473 kB] Get:36 http://debian.oregonstate.edu/debian unstable/main amd64 dpkg-dev all 1.20.5 [1909 kB] Get:37 http://debian.oregonstate.edu/debian unstable/main amd64 build-essential amd64 12.8 [7640 B] Get:38 http://debian.oregonstate.edu/debian unstable/main amd64 gcc-10-arm-linux-gnueabihf-base amd64 10.2.0-9cross1 [199 kB] Get:39 http://debian.oregonstate.edu/debian unstable/main amd64 cpp-10-arm-linux-gnueabihf amd64 10.2.0-9cross1 [7527 kB] Get:40 http://debian.oregonstate.edu/debian unstable/main amd64 cpp-arm-linux-gnueabihf amd64 4:10.2.0-1 [16.8 kB] Get:41 http://debian.oregonstate.edu/debian unstable/main amd64 cross-config all 2.6.15-3.1 [39.9 kB] Get:42 http://debian.oregonstate.edu/debian unstable/main amd64 gcc-10-cross-base all 10.2.0-9cross1 [195 kB] Get:43 http://debian.oregonstate.edu/debian unstable/main amd64 libc6-armhf-cross all 2.31-1cross2 [1115 kB] Get:44 http://debian.oregonstate.edu/debian unstable/main amd64 libgcc-s1-armhf-cross all 10.2.0-9cross1 [36.3 kB] Get:45 http://debian.oregonstate.edu/debian unstable/main amd64 libgomp1-armhf-cross all 10.2.0-9cross1 [82.6 kB] Get:46 http://debian.oregonstate.edu/debian unstable/main amd64 libatomic1-armhf-cross all 10.2.0-9cross1 [6636 B] Get:47 http://debian.oregonstate.edu/debian unstable/main amd64 libasan6-armhf-cross all 10.2.0-9cross1 [303 kB] Get:48 http://debian.oregonstate.edu/debian unstable/main amd64 libstdc++6-armhf-cross all 10.2.0-9cross1 [380 kB] Get:49 http://debian.oregonstate.edu/debian unstable/main amd64 libubsan1-armhf-cross all 10.2.0-9cross1 [115 kB] Get:50 http://debian.oregonstate.edu/debian unstable/main amd64 libgcc-10-dev-armhf-cross all 10.2.0-9cross1 [694 kB] Get:51 http://debian.oregonstate.edu/debian unstable/main amd64 gcc-10-arm-linux-gnueabihf amd64 10.2.0-9cross1 [15.0 MB] Get:52 http://debian.oregonstate.edu/debian unstable/main amd64 gcc-arm-linux-gnueabihf amd64 4:10.2.0-1 [1464 B] Get:53 http://debian.oregonstate.edu/debian unstable/main amd64 linux-libc-dev-armhf-cross all 5.7.6-1cross2 [1198 kB] Get:54 http://debian.oregonstate.edu/debian unstable/main amd64 libc6-dev-armhf-cross all 2.31-1cross2 [1901 kB] Get:55 http://debian.oregonstate.edu/debian unstable/main amd64 libstdc++-10-dev-armhf-cross all 10.2.0-9cross1 [1752 kB] Get:56 http://debian.oregonstate.edu/debian unstable/main amd64 g++-10-arm-linux-gnueabihf amd64 10.2.0-9cross1 [8188 kB] Get:57 http://debian.oregonstate.edu/debian unstable/main amd64 g++-arm-linux-gnueabihf amd64 4:10.2.0-1 [1184 B] Get:58 http://debian.oregonstate.edu/debian unstable/main amd64 libconfig-inifiles-perl all 3.000003-1 [52.1 kB] Get:59 http://debian.oregonstate.edu/debian unstable/main amd64 libio-string-perl all 1.08-3 [12.3 kB] Get:60 http://debian.oregonstate.edu/debian unstable/main amd64 libicu67 amd64 67.1-4 [8624 kB] Get:61 http://debian.oregonstate.edu/debian unstable/main amd64 libxml2 amd64 2.9.10+dfsg-6.2 [692 kB] Get:62 http://debian.oregonstate.edu/debian unstable/main amd64 libxml-namespacesupport-perl all 1.12-1 [14.8 kB] Get:63 http://debian.oregonstate.edu/debian unstable/main amd64 libxml-sax-base-perl all 1.09-1 [20.4 kB] Get:64 http://debian.oregonstate.edu/debian unstable/main amd64 libxml-sax-perl all 1.02+dfsg-1 [59.0 kB] Get:65 http://debian.oregonstate.edu/debian unstable/main amd64 libxml-libxml-perl amd64 2.0134+dfsg-2+b1 [337 kB] Get:66 http://debian.oregonstate.edu/debian unstable/main amd64 libxml-simple-perl all 2.25-1 [72.0 kB] Get:67 http://debian.oregonstate.edu/debian unstable/main amd64 libyaml-perl all 1.30-1 [67.7 kB] Get:68 http://debian.oregonstate.edu/debian unstable/main amd64 libconfig-auto-perl all 0.44-1 [19.5 kB] Get:69 http://debian.oregonstate.edu/debian unstable/main amd64 libfile-which-perl all 1.23-1 [16.6 kB] Get:70 http://debian.oregonstate.edu/debian unstable/main amd64 libfile-homedir-perl all 1.006-1 [43.8 kB] Get:71 http://debian.oregonstate.edu/debian unstable/main amd64 libdebian-dpkgcross-perl all 2.6.15-3.1 [38.9 kB] Get:72 http://debian.oregonstate.edu/debian unstable/main amd64 dpkg-cross all 2.6.15-3.1 [49.9 kB] Get:73 http://debian.oregonstate.edu/debian unstable/main amd64 crossbuild-essential-armhf all 12.8 [6644 B] Get:74 http://debian.oregonstate.edu/debian unstable/main amd64 libtool all 2.4.6-14 [513 kB] Get:75 http://debian.oregonstate.edu/debian unstable/main amd64 dh-autoreconf all 19 [16.9 kB] Get:76 http://debian.oregonstate.edu/debian unstable/main amd64 libdebhelper-perl all 13.2.1 [188 kB] Get:77 http://debian.oregonstate.edu/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get:78 http://debian.oregonstate.edu/debian unstable/main amd64 libsub-override-perl all 0.09-2 [10.2 kB] Get:79 http://debian.oregonstate.edu/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.9.0-1 [25.5 kB] Get:80 http://debian.oregonstate.edu/debian unstable/main amd64 dh-strip-nondeterminism all 1.9.0-1 [15.2 kB] Get:81 http://debian.oregonstate.edu/debian unstable/main amd64 libelf1 amd64 0.182-1 [166 kB] Get:82 http://debian.oregonstate.edu/debian unstable/main amd64 dwz amd64 0.13-5 [151 kB] Get:83 http://debian.oregonstate.edu/debian unstable/main amd64 libglib2.0-0 amd64 2.66.2-1 [1363 kB] Get:84 http://debian.oregonstate.edu/debian unstable/main amd64 libcroco3 amd64 0.6.13-1 [146 kB] Get:85 http://debian.oregonstate.edu/debian unstable/main amd64 gettext amd64 0.19.8.1-10 [1303 kB] Get:86 http://debian.oregonstate.edu/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.5 [26.8 kB] Get:87 http://debian.oregonstate.edu/debian unstable/main amd64 po-debconf all 1.0.21 [248 kB] Get:88 http://debian.oregonstate.edu/debian unstable/main amd64 debhelper all 13.2.1 [1007 kB] Get:89 http://debian.oregonstate.edu/debian unstable/main armhf libgcc-s1 armhf 10.2.0-16 [36.2 kB] Get:90 http://debian.oregonstate.edu/debian unstable/main armhf libcrypt1 armhf 1:4.4.17-1 [94.9 kB] Get:91 http://debian.oregonstate.edu/debian unstable/main armhf libcom-err2 armhf 1.45.6-1 [70.9 kB] Get:92 http://debian.oregonstate.edu/debian unstable/main armhf libkrb5support0 armhf 1.17-10 [61.8 kB] Get:93 http://debian.oregonstate.edu/debian unstable/main armhf libk5crypto3 armhf 1.17-10 [114 kB] Get:94 http://debian.oregonstate.edu/debian unstable/main armhf libkeyutils1 armhf 1.6.1-2 [14.4 kB] Get:95 http://debian.oregonstate.edu/debian unstable/main armhf libssl1.1 armhf 1.1.1h-1 [1307 kB] Get:96 http://debian.oregonstate.edu/debian unstable/main armhf libkrb5-3 armhf 1.17-10 [324 kB] Get:97 http://debian.oregonstate.edu/debian unstable/main armhf libgssapi-krb5-2 armhf 1.17-10 [136 kB] Get:98 http://debian.oregonstate.edu/debian unstable/main armhf libtirpc3 armhf 1.2.6-3 [72.1 kB] Get:99 http://debian.oregonstate.edu/debian unstable/main armhf libnsl2 armhf 1.3.0-2 [33.9 kB] Get:100 http://debian.oregonstate.edu/debian unstable/main armhf libnss-nis armhf 3.1-4 [22.2 kB] Get:101 http://debian.oregonstate.edu/debian unstable/main armhf libnss-nisplus armhf 1.3-4 [18.9 kB] Get:102 http://debian.oregonstate.edu/debian unstable/main armhf libc6 armhf 2.31-4 [2325 kB] Get:103 http://debian.oregonstate.edu/debian unstable/main armhf libstdc++6 armhf 10.2.0-16 [421 kB] Get:104 http://debian.oregonstate.edu/debian unstable/main armhf libantlr3c-3.4-0 armhf 3.4+dfsg-3 [39.8 kB] Get:105 http://debian.oregonstate.edu/debian unstable/main armhf libasan5 armhf 9.3.0-18 [370 kB] Get:106 http://debian.oregonstate.edu/debian unstable/main armhf libatomic1 armhf 10.2.0-16 [6932 B] Get:107 http://debian.oregonstate.edu/debian unstable/main armhf libbdd0c2 armhf 2.4-11+b3 [47.2 kB] Get:108 http://debian.oregonstate.edu/debian unstable/main armhf linux-libc-dev armhf 5.9.6-1 [1187 kB] Get:109 http://debian.oregonstate.edu/debian unstable/main armhf libcrypt-dev armhf 1:4.4.17-1 [113 kB] Get:110 http://debian.oregonstate.edu/debian unstable/main armhf libtirpc-dev armhf 1.2.6-3 [182 kB] Get:111 http://debian.oregonstate.edu/debian unstable/main armhf libnsl-dev armhf 1.3.0-2 [62.1 kB] Get:112 http://debian.oregonstate.edu/debian unstable/main armhf libc6-dev armhf 2.31-4 [1873 kB] Get:113 http://debian.oregonstate.edu/debian unstable/main armhf libbdd-dev armhf 2.4-11+b3 [455 kB] Get:114 http://debian.oregonstate.edu/debian unstable/main armhf libgmp10 armhf 2:6.2.0+dfsg-6 [206 kB] Get:115 http://debian.oregonstate.edu/debian unstable/main armhf libcln6 armhf 1.3.6-4 [382 kB] Get:116 http://debian.oregonstate.edu/debian unstable/main armhf zlib1g armhf 1:1.2.11.dfsg-2 [85.4 kB] Get:117 http://debian.oregonstate.edu/debian unstable/main armhf libpng16-16 armhf 1.6.37-3 [277 kB] Get:118 http://debian.oregonstate.edu/debian unstable/main armhf libm4ri-0.0.20200125 armhf 20200125-1+b1 [97.3 kB] Get:119 http://debian.oregonstate.edu/debian unstable/main armhf libcryptominisat5-5.8 armhf 5.8.0+dfsg1-1+b1 [406 kB] Get:120 http://debian.oregonstate.edu/debian unstable/main armhf libcvc4-7 armhf 1.8-2 [4990 kB] Get:121 http://debian.oregonstate.edu/debian unstable/main armhf libcvc4parser7 armhf 1.8-2 [328 kB] Get:122 http://debian.oregonstate.edu/debian unstable/main armhf libgmpxx4ldbl armhf 2:6.2.0+dfsg-6 [22.1 kB] Get:123 http://debian.oregonstate.edu/debian unstable/main armhf libgmp-dev armhf 2:6.2.0+dfsg-6 [597 kB] Get:124 http://debian.oregonstate.edu/debian unstable/main armhf libcvc4-dev armhf 1.8-2 [131 kB] Get:125 http://debian.oregonstate.edu/debian unstable/main armhf libgomp1 armhf 10.2.0-16 [84.7 kB] Get:126 http://debian.oregonstate.edu/debian unstable/main armhf libubsan1 armhf 10.2.0-16 [116 kB] Get:127 http://debian.oregonstate.edu/debian unstable/main armhf libgcc-9-dev armhf 9.3.0-18 [662 kB] Get:128 http://debian.oregonstate.edu/debian unstable/main armhf libgmp3-dev armhf 2:6.2.0+dfsg-6 [16.0 kB] Get:129 http://debian.oregonstate.edu/debian unstable/main armhf libtinfo6 armhf 6.2+20200918-1 [326 kB] Get:130 http://debian.oregonstate.edu/debian unstable/main armhf libncurses6 armhf 6.2+20200918-1 [80.6 kB] Get:131 http://debian.oregonstate.edu/debian unstable/main armhf libncursesw6 armhf 6.2+20200918-1 [107 kB] Get:132 http://debian.oregonstate.edu/debian unstable/main armhf libncurses-dev armhf 6.2+20200918-1 [308 kB] Get:133 http://debian.oregonstate.edu/debian unstable/main armhf libncurses5-dev armhf 6.2+20200918-1 [940 B] Get:134 http://debian.oregonstate.edu/debian unstable/main armhf libsigsegv2 armhf 2.12-2 [32.1 kB] Get:135 http://debian.oregonstate.edu/debian unstable/main armhf libsigsegv-dev armhf 2.12-2 [26.0 kB] Get:136 http://debian.oregonstate.edu/debian unstable/main armhf libstdc++-9-dev armhf 9.3.0-18 [1757 kB] Get:137 http://debian.oregonstate.edu/debian unstable/main armhf libtecla1 armhf 1.6.3-2.1 [89.3 kB] Get:138 http://debian.oregonstate.edu/debian unstable/main armhf libtecla-dev armhf 1.6.3-2.1 [182 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 169 MB in 6s (28.0 MB/s) Selecting previously unselected package bsdextrautils. (Reading database ... 10514 files and directories currently installed.) Preparing to unpack .../000-bsdextrautils_2.36-3+b2_amd64.deb ... Unpacking bsdextrautils (2.36-3+b2) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../001-libuchardet0_0.0.7-1_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.7-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../002-groff-base_1.22.4-5_amd64.deb ... Unpacking groff-base (1.22.4-5) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../003-libpipeline1_1.5.3-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.3-1) ... Selecting previously unselected package man-db. Preparing to unpack .../004-man-db_2.9.3-2_amd64.deb ... Unpacking man-db (2.9.3-2) ... Selecting previously unselected package perl-modules-5.32. Preparing to unpack .../005-perl-modules-5.32_5.32.0-4_all.deb ... Unpacking perl-modules-5.32 (5.32.0-4) ... Selecting previously unselected package libperl5.32:amd64. Preparing to unpack .../006-libperl5.32_5.32.0-4_amd64.deb ... Unpacking libperl5.32:amd64 (5.32.0-4) ... Selecting previously unselected package perl. Preparing to unpack .../007-perl_5.32.0-4_amd64.deb ... Unpacking perl (5.32.0-4) ... Selecting previously unselected package libsigsegv2:amd64. Preparing to unpack .../008-libsigsegv2_2.12-2_amd64.deb ... Unpacking libsigsegv2:amd64 (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../009-m4_1.4.18-4_amd64.deb ... Unpacking m4 (1.4.18-4) ... Selecting previously unselected package flex. Preparing to unpack .../010-flex_2.6.4-8_amd64.deb ... Unpacking flex (2.6.4-8) ... Selecting previously unselected package liblocale-gettext-perl. Preparing to unpack .../011-liblocale-gettext-perl_1.07-4+b1_amd64.deb ... Unpacking liblocale-gettext-perl (1.07-4+b1) ... Selecting previously unselected package gcc-10-base:armhf. Preparing to unpack .../012-gcc-10-base_10.2.0-16_armhf.deb ... Unpacking gcc-10-base:armhf (10.2.0-16) ... Selecting previously unselected package gcc-9-base:armhf. Preparing to unpack .../013-gcc-9-base_9.3.0-18_armhf.deb ... Unpacking gcc-9-base:armhf (9.3.0-18) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../014-sensible-utils_0.0.12+nmu1_all.deb ... Unpacking sensible-utils (0.0.12+nmu1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../015-libmagic-mgc_1%3a5.38-5_amd64.deb ... Unpacking libmagic-mgc (1:5.38-5) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../016-libmagic1_1%3a5.38-5_amd64.deb ... Unpacking libmagic1:amd64 (1:5.38-5) ... Selecting previously unselected package file. Preparing to unpack .../017-file_1%3a5.38-5_amd64.deb ... Unpacking file (1:5.38-5) ... Selecting previously unselected package gettext-base. Preparing to unpack .../018-gettext-base_0.19.8.1-10_amd64.deb ... Unpacking gettext-base (0.19.8.1-10) ... Selecting previously unselected package ucf. Preparing to unpack .../019-ucf_3.0043_all.deb ... Moving old data out of the way Unpacking ucf (3.0043) ... Selecting previously unselected package autoconf. Preparing to unpack .../020-autoconf_2.69-11.1_all.deb ... Unpacking autoconf (2.69-11.1) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../021-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../022-automake_1%3a1.16.2-4_all.deb ... Unpacking automake (1:1.16.2-4) ... Selecting previously unselected package autopoint. Preparing to unpack .../023-autopoint_0.19.8.1-10_all.deb ... Unpacking autopoint (0.19.8.1-10) ... Selecting previously unselected package binutils-arm-linux-gnueabihf. Preparing to unpack .../024-binutils-arm-linux-gnueabihf_2.35.1-2_amd64.deb ... Unpacking binutils-arm-linux-gnueabihf (2.35.1-2) ... Selecting previously unselected package bison. Preparing to unpack .../025-bison_2%3a3.7.3+dfsg-1_amd64.deb ... Unpacking bison (2:3.7.3+dfsg-1) ... Selecting previously unselected package libcrypt-dev:amd64. Preparing to unpack .../026-libcrypt-dev_1%3a4.4.17-1_amd64.deb ... Unpacking libcrypt-dev:amd64 (1:4.4.17-1) ... Selecting previously unselected package libtirpc-dev:amd64. Preparing to unpack .../027-libtirpc-dev_1.2.6-3_amd64.deb ... Unpacking libtirpc-dev:amd64 (1.2.6-3) ... Selecting previously unselected package libnsl-dev:amd64. Preparing to unpack .../028-libnsl-dev_1.3.0-2_amd64.deb ... Unpacking libnsl-dev:amd64 (1.3.0-2) ... Selecting previously unselected package libc6-dev:amd64. Preparing to unpack .../029-libc6-dev_2.31-4_amd64.deb ... Unpacking libc6-dev:amd64 (2.31-4) ... Selecting previously unselected package libstdc++-10-dev:amd64. Preparing to unpack .../030-libstdc++-10-dev_10.2.0-16_amd64.deb ... Unpacking libstdc++-10-dev:amd64 (10.2.0-16) ... Selecting previously unselected package g++-10. Preparing to unpack .../031-g++-10_10.2.0-16_amd64.deb ... Unpacking g++-10 (10.2.0-16) ... Selecting previously unselected package g++. Preparing to unpack .../032-g++_4%3a10.2.0-1_amd64.deb ... Unpacking g++ (4:10.2.0-1) ... Selecting previously unselected package libdpkg-perl. Preparing to unpack .../033-libdpkg-perl_1.20.5_all.deb ... Unpacking libdpkg-perl (1.20.5) ... Selecting previously unselected package dpkg-dev. Preparing to unpack .../034-dpkg-dev_1.20.5_all.deb ... Unpacking dpkg-dev (1.20.5) ... Selecting previously unselected package build-essential. Preparing to unpack .../035-build-essential_12.8_amd64.deb ... Unpacking build-essential (12.8) ... Selecting previously unselected package gcc-10-arm-linux-gnueabihf-base:amd64. Preparing to unpack .../036-gcc-10-arm-linux-gnueabihf-base_10.2.0-9cross1_amd64.deb ... Unpacking gcc-10-arm-linux-gnueabihf-base:amd64 (10.2.0-9cross1) ... Selecting previously unselected package cpp-10-arm-linux-gnueabihf. Preparing to unpack .../037-cpp-10-arm-linux-gnueabihf_10.2.0-9cross1_amd64.deb ... Unpacking cpp-10-arm-linux-gnueabihf (10.2.0-9cross1) ... Selecting previously unselected package cpp-arm-linux-gnueabihf. Preparing to unpack .../038-cpp-arm-linux-gnueabihf_4%3a10.2.0-1_amd64.deb ... Unpacking cpp-arm-linux-gnueabihf (4:10.2.0-1) ... Selecting previously unselected package cross-config. Preparing to unpack .../039-cross-config_2.6.15-3.1_all.deb ... Unpacking cross-config (2.6.15-3.1) ... Selecting previously unselected package gcc-10-cross-base. Preparing to unpack .../040-gcc-10-cross-base_10.2.0-9cross1_all.deb ... Unpacking gcc-10-cross-base (10.2.0-9cross1) ... Selecting previously unselected package libc6-armhf-cross. Preparing to unpack .../041-libc6-armhf-cross_2.31-1cross2_all.deb ... Unpacking libc6-armhf-cross (2.31-1cross2) ... Selecting previously unselected package libgcc-s1-armhf-cross. Preparing to unpack .../042-libgcc-s1-armhf-cross_10.2.0-9cross1_all.deb ... Unpacking libgcc-s1-armhf-cross (10.2.0-9cross1) ... Selecting previously unselected package libgomp1-armhf-cross. Preparing to unpack .../043-libgomp1-armhf-cross_10.2.0-9cross1_all.deb ... Unpacking libgomp1-armhf-cross (10.2.0-9cross1) ... Selecting previously unselected package libatomic1-armhf-cross. Preparing to unpack .../044-libatomic1-armhf-cross_10.2.0-9cross1_all.deb ... Unpacking libatomic1-armhf-cross (10.2.0-9cross1) ... Selecting previously unselected package libasan6-armhf-cross. Preparing to unpack .../045-libasan6-armhf-cross_10.2.0-9cross1_all.deb ... Unpacking libasan6-armhf-cross (10.2.0-9cross1) ... Selecting previously unselected package libstdc++6-armhf-cross. Preparing to unpack .../046-libstdc++6-armhf-cross_10.2.0-9cross1_all.deb ... Unpacking libstdc++6-armhf-cross (10.2.0-9cross1) ... Selecting previously unselected package libubsan1-armhf-cross. Preparing to unpack .../047-libubsan1-armhf-cross_10.2.0-9cross1_all.deb ... Unpacking libubsan1-armhf-cross (10.2.0-9cross1) ... Selecting previously unselected package libgcc-10-dev-armhf-cross. Preparing to unpack .../048-libgcc-10-dev-armhf-cross_10.2.0-9cross1_all.deb ... Unpacking libgcc-10-dev-armhf-cross (10.2.0-9cross1) ... Selecting previously unselected package gcc-10-arm-linux-gnueabihf. Preparing to unpack .../049-gcc-10-arm-linux-gnueabihf_10.2.0-9cross1_amd64.deb ... Unpacking gcc-10-arm-linux-gnueabihf (10.2.0-9cross1) ... Selecting previously unselected package gcc-arm-linux-gnueabihf. Preparing to unpack .../050-gcc-arm-linux-gnueabihf_4%3a10.2.0-1_amd64.deb ... Unpacking gcc-arm-linux-gnueabihf (4:10.2.0-1) ... Selecting previously unselected package linux-libc-dev-armhf-cross. Preparing to unpack .../051-linux-libc-dev-armhf-cross_5.7.6-1cross2_all.deb ... Unpacking linux-libc-dev-armhf-cross (5.7.6-1cross2) ... Selecting previously unselected package libc6-dev-armhf-cross. Preparing to unpack .../052-libc6-dev-armhf-cross_2.31-1cross2_all.deb ... Unpacking libc6-dev-armhf-cross (2.31-1cross2) ... Selecting previously unselected package libstdc++-10-dev-armhf-cross. Preparing to unpack .../053-libstdc++-10-dev-armhf-cross_10.2.0-9cross1_all.deb ... Unpacking libstdc++-10-dev-armhf-cross (10.2.0-9cross1) ... Selecting previously unselected package g++-10-arm-linux-gnueabihf. Preparing to unpack .../054-g++-10-arm-linux-gnueabihf_10.2.0-9cross1_amd64.deb ... Unpacking g++-10-arm-linux-gnueabihf (10.2.0-9cross1) ... Selecting previously unselected package g++-arm-linux-gnueabihf. Preparing to unpack .../055-g++-arm-linux-gnueabihf_4%3a10.2.0-1_amd64.deb ... Unpacking g++-arm-linux-gnueabihf (4:10.2.0-1) ... Selecting previously unselected package libconfig-inifiles-perl. Preparing to unpack .../056-libconfig-inifiles-perl_3.000003-1_all.deb ... Unpacking libconfig-inifiles-perl (3.000003-1) ... Selecting previously unselected package libio-string-perl. Preparing to unpack .../057-libio-string-perl_1.08-3_all.deb ... Unpacking libio-string-perl (1.08-3) ... Selecting previously unselected package libicu67:amd64. Preparing to unpack .../058-libicu67_67.1-4_amd64.deb ... Unpacking libicu67:amd64 (67.1-4) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../059-libxml2_2.9.10+dfsg-6.2_amd64.deb ... Unpacking libxml2:amd64 (2.9.10+dfsg-6.2) ... Selecting previously unselected package libxml-namespacesupport-perl. Preparing to unpack .../060-libxml-namespacesupport-perl_1.12-1_all.deb ... Unpacking libxml-namespacesupport-perl (1.12-1) ... Selecting previously unselected package libxml-sax-base-perl. Preparing to unpack .../061-libxml-sax-base-perl_1.09-1_all.deb ... Unpacking libxml-sax-base-perl (1.09-1) ... Selecting previously unselected package libxml-sax-perl. Preparing to unpack .../062-libxml-sax-perl_1.02+dfsg-1_all.deb ... Unpacking libxml-sax-perl (1.02+dfsg-1) ... Selecting previously unselected package libxml-libxml-perl. Preparing to unpack .../063-libxml-libxml-perl_2.0134+dfsg-2+b1_amd64.deb ... Unpacking libxml-libxml-perl (2.0134+dfsg-2+b1) ... Selecting previously unselected package libxml-simple-perl. Preparing to unpack .../064-libxml-simple-perl_2.25-1_all.deb ... Unpacking libxml-simple-perl (2.25-1) ... Selecting previously unselected package libyaml-perl. Preparing to unpack .../065-libyaml-perl_1.30-1_all.deb ... Unpacking libyaml-perl (1.30-1) ... Selecting previously unselected package libconfig-auto-perl. Preparing to unpack .../066-libconfig-auto-perl_0.44-1_all.deb ... Unpacking libconfig-auto-perl (0.44-1) ... Selecting previously unselected package libfile-which-perl. Preparing to unpack .../067-libfile-which-perl_1.23-1_all.deb ... Unpacking libfile-which-perl (1.23-1) ... Selecting previously unselected package libfile-homedir-perl. Preparing to unpack .../068-libfile-homedir-perl_1.006-1_all.deb ... Unpacking libfile-homedir-perl (1.006-1) ... Selecting previously unselected package libdebian-dpkgcross-perl. Preparing to unpack .../069-libdebian-dpkgcross-perl_2.6.15-3.1_all.deb ... Unpacking libdebian-dpkgcross-perl (2.6.15-3.1) ... Selecting previously unselected package dpkg-cross. Preparing to unpack .../070-dpkg-cross_2.6.15-3.1_all.deb ... Unpacking dpkg-cross (2.6.15-3.1) ... Selecting previously unselected package crossbuild-essential-armhf. Preparing to unpack .../071-crossbuild-essential-armhf_12.8_all.deb ... Unpacking crossbuild-essential-armhf (12.8) ... Selecting previously unselected package libtool. Preparing to unpack .../072-libtool_2.4.6-14_all.deb ... Unpacking libtool (2.4.6-14) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../073-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../074-libdebhelper-perl_13.2.1_all.deb ... Unpacking libdebhelper-perl (13.2.1) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../075-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../076-libsub-override-perl_0.09-2_all.deb ... Unpacking libsub-override-perl (0.09-2) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../077-libfile-stripnondeterminism-perl_1.9.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.9.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../078-dh-strip-nondeterminism_1.9.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.9.0-1) ... Selecting previously unselected package libelf1:amd64. Preparing to unpack .../079-libelf1_0.182-1_amd64.deb ... Unpacking libelf1:amd64 (0.182-1) ... Selecting previously unselected package dwz. Preparing to unpack .../080-dwz_0.13-5_amd64.deb ... Unpacking dwz (0.13-5) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../081-libglib2.0-0_2.66.2-1_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.66.2-1) ... Selecting previously unselected package libcroco3:amd64. Preparing to unpack .../082-libcroco3_0.6.13-1_amd64.deb ... Unpacking libcroco3:amd64 (0.6.13-1) ... Selecting previously unselected package gettext. Preparing to unpack .../083-gettext_0.19.8.1-10_amd64.deb ... Unpacking gettext (0.19.8.1-10) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../084-intltool-debian_0.35.0+20060710.5_all.deb ... Unpacking intltool-debian (0.35.0+20060710.5) ... Selecting previously unselected package po-debconf. Preparing to unpack .../085-po-debconf_1.0.21_all.deb ... Unpacking po-debconf (1.0.21) ... Selecting previously unselected package debhelper. Preparing to unpack .../086-debhelper_13.2.1_all.deb ... Unpacking debhelper (13.2.1) ... Selecting previously unselected package libgcc-s1:armhf. Preparing to unpack .../087-libgcc-s1_10.2.0-16_armhf.deb ... Unpacking libgcc-s1:armhf (10.2.0-16) ... Selecting previously unselected package libcrypt1:armhf. Preparing to unpack .../088-libcrypt1_1%3a4.4.17-1_armhf.deb ... Unpacking libcrypt1:armhf (1:4.4.17-1) ... Selecting previously unselected package libcom-err2:armhf. Preparing to unpack .../089-libcom-err2_1.45.6-1_armhf.deb ... Unpacking libcom-err2:armhf (1.45.6-1) ... Selecting previously unselected package libkrb5support0:armhf. Preparing to unpack .../090-libkrb5support0_1.17-10_armhf.deb ... Unpacking libkrb5support0:armhf (1.17-10) ... Selecting previously unselected package libk5crypto3:armhf. Preparing to unpack .../091-libk5crypto3_1.17-10_armhf.deb ... Unpacking libk5crypto3:armhf (1.17-10) ... Selecting previously unselected package libkeyutils1:armhf. Preparing to unpack .../092-libkeyutils1_1.6.1-2_armhf.deb ... Unpacking libkeyutils1:armhf (1.6.1-2) ... Selecting previously unselected package libssl1.1:armhf. Preparing to unpack .../093-libssl1.1_1.1.1h-1_armhf.deb ... Unpacking libssl1.1:armhf (1.1.1h-1) ... Selecting previously unselected package libkrb5-3:armhf. Preparing to unpack .../094-libkrb5-3_1.17-10_armhf.deb ... Unpacking libkrb5-3:armhf (1.17-10) ... Selecting previously unselected package libgssapi-krb5-2:armhf. Preparing to unpack .../095-libgssapi-krb5-2_1.17-10_armhf.deb ... Unpacking libgssapi-krb5-2:armhf (1.17-10) ... Selecting previously unselected package libtirpc3:armhf. Preparing to unpack .../096-libtirpc3_1.2.6-3_armhf.deb ... Unpacking libtirpc3:armhf (1.2.6-3) ... Selecting previously unselected package libnsl2:armhf. Preparing to unpack .../097-libnsl2_1.3.0-2_armhf.deb ... Unpacking libnsl2:armhf (1.3.0-2) ... Selecting previously unselected package libnss-nis:armhf. Preparing to unpack .../098-libnss-nis_3.1-4_armhf.deb ... Unpacking libnss-nis:armhf (3.1-4) ... Selecting previously unselected package libnss-nisplus:armhf. Preparing to unpack .../099-libnss-nisplus_1.3-4_armhf.deb ... Unpacking libnss-nisplus:armhf (1.3-4) ... Selecting previously unselected package libc6:armhf. Preparing to unpack .../100-libc6_2.31-4_armhf.deb ... Unpacking libc6:armhf (2.31-4) ... Selecting previously unselected package libstdc++6:armhf. Preparing to unpack .../101-libstdc++6_10.2.0-16_armhf.deb ... Unpacking libstdc++6:armhf (10.2.0-16) ... Selecting previously unselected package libantlr3c-3.4-0:armhf. Preparing to unpack .../102-libantlr3c-3.4-0_3.4+dfsg-3_armhf.deb ... Unpacking libantlr3c-3.4-0:armhf (3.4+dfsg-3) ... Selecting previously unselected package libasan5:armhf. Preparing to unpack .../103-libasan5_9.3.0-18_armhf.deb ... Unpacking libasan5:armhf (9.3.0-18) ... Selecting previously unselected package libatomic1:armhf. Preparing to unpack .../104-libatomic1_10.2.0-16_armhf.deb ... Unpacking libatomic1:armhf (10.2.0-16) ... Selecting previously unselected package libbdd0c2:armhf. Preparing to unpack .../105-libbdd0c2_2.4-11+b3_armhf.deb ... Unpacking libbdd0c2:armhf (2.4-11+b3) ... Selecting previously unselected package linux-libc-dev:armhf. Preparing to unpack .../106-linux-libc-dev_5.9.6-1_armhf.deb ... Unpacking linux-libc-dev:armhf (5.9.6-1) ... Selecting previously unselected package libcrypt-dev:armhf. Preparing to unpack .../107-libcrypt-dev_1%3a4.4.17-1_armhf.deb ... Unpacking libcrypt-dev:armhf (1:4.4.17-1) ... Selecting previously unselected package libtirpc-dev:armhf. Preparing to unpack .../108-libtirpc-dev_1.2.6-3_armhf.deb ... Unpacking libtirpc-dev:armhf (1.2.6-3) ... Selecting previously unselected package libnsl-dev:armhf. Preparing to unpack .../109-libnsl-dev_1.3.0-2_armhf.deb ... Unpacking libnsl-dev:armhf (1.3.0-2) ... Selecting previously unselected package libc6-dev:armhf. Preparing to unpack .../110-libc6-dev_2.31-4_armhf.deb ... Unpacking libc6-dev:armhf (2.31-4) ... Selecting previously unselected package libbdd-dev:armhf. Preparing to unpack .../111-libbdd-dev_2.4-11+b3_armhf.deb ... Unpacking libbdd-dev:armhf (2.4-11+b3) ... Selecting previously unselected package libgmp10:armhf. Preparing to unpack .../112-libgmp10_2%3a6.2.0+dfsg-6_armhf.deb ... Unpacking libgmp10:armhf (2:6.2.0+dfsg-6) ... Selecting previously unselected package libcln6:armhf. Preparing to unpack .../113-libcln6_1.3.6-4_armhf.deb ... Unpacking libcln6:armhf (1.3.6-4) ... Selecting previously unselected package zlib1g:armhf. Preparing to unpack .../114-zlib1g_1%3a1.2.11.dfsg-2_armhf.deb ... Unpacking zlib1g:armhf (1:1.2.11.dfsg-2) ... Selecting previously unselected package libpng16-16:armhf. Preparing to unpack .../115-libpng16-16_1.6.37-3_armhf.deb ... Unpacking libpng16-16:armhf (1.6.37-3) ... Selecting previously unselected package libm4ri-0.0.20200125:armhf. Preparing to unpack .../116-libm4ri-0.0.20200125_20200125-1+b1_armhf.deb ... Unpacking libm4ri-0.0.20200125:armhf (20200125-1+b1) ... Selecting previously unselected package libcryptominisat5-5.8:armhf. Preparing to unpack .../117-libcryptominisat5-5.8_5.8.0+dfsg1-1+b1_armhf.deb ... Unpacking libcryptominisat5-5.8:armhf (5.8.0+dfsg1-1+b1) ... Selecting previously unselected package libcvc4-7:armhf. Preparing to unpack .../118-libcvc4-7_1.8-2_armhf.deb ... Unpacking libcvc4-7:armhf (1.8-2) ... Selecting previously unselected package libcvc4parser7:armhf. Preparing to unpack .../119-libcvc4parser7_1.8-2_armhf.deb ... Unpacking libcvc4parser7:armhf (1.8-2) ... Selecting previously unselected package libgmpxx4ldbl:armhf. Preparing to unpack .../120-libgmpxx4ldbl_2%3a6.2.0+dfsg-6_armhf.deb ... Unpacking libgmpxx4ldbl:armhf (2:6.2.0+dfsg-6) ... Selecting previously unselected package libgmp-dev:armhf. Preparing to unpack .../121-libgmp-dev_2%3a6.2.0+dfsg-6_armhf.deb ... Unpacking libgmp-dev:armhf (2:6.2.0+dfsg-6) ... Selecting previously unselected package libcvc4-dev:armhf. Preparing to unpack .../122-libcvc4-dev_1.8-2_armhf.deb ... Unpacking libcvc4-dev:armhf (1.8-2) ... Selecting previously unselected package libgomp1:armhf. Preparing to unpack .../123-libgomp1_10.2.0-16_armhf.deb ... Unpacking libgomp1:armhf (10.2.0-16) ... Selecting previously unselected package libubsan1:armhf. Preparing to unpack .../124-libubsan1_10.2.0-16_armhf.deb ... Unpacking libubsan1:armhf (10.2.0-16) ... Selecting previously unselected package libgcc-9-dev:armhf. Preparing to unpack .../125-libgcc-9-dev_9.3.0-18_armhf.deb ... Unpacking libgcc-9-dev:armhf (9.3.0-18) ... Selecting previously unselected package libgmp3-dev:armhf. Preparing to unpack .../126-libgmp3-dev_2%3a6.2.0+dfsg-6_armhf.deb ... Unpacking libgmp3-dev:armhf (2:6.2.0+dfsg-6) ... Selecting previously unselected package libtinfo6:armhf. Preparing to unpack .../127-libtinfo6_6.2+20200918-1_armhf.deb ... Unpacking libtinfo6:armhf (6.2+20200918-1) ... Selecting previously unselected package libncurses6:armhf. Preparing to unpack .../128-libncurses6_6.2+20200918-1_armhf.deb ... Unpacking libncurses6:armhf (6.2+20200918-1) ... Selecting previously unselected package libncursesw6:armhf. Preparing to unpack .../129-libncursesw6_6.2+20200918-1_armhf.deb ... Unpacking libncursesw6:armhf (6.2+20200918-1) ... Selecting previously unselected package libncurses-dev:armhf. Preparing to unpack .../130-libncurses-dev_6.2+20200918-1_armhf.deb ... Unpacking libncurses-dev:armhf (6.2+20200918-1) ... Selecting previously unselected package libncurses5-dev:armhf. Preparing to unpack .../131-libncurses5-dev_6.2+20200918-1_armhf.deb ... Unpacking libncurses5-dev:armhf (6.2+20200918-1) ... Selecting previously unselected package libsigsegv2:armhf. Preparing to unpack .../132-libsigsegv2_2.12-2_armhf.deb ... Unpacking libsigsegv2:armhf (2.12-2) ... Selecting previously unselected package libsigsegv-dev:armhf. Preparing to unpack .../133-libsigsegv-dev_2.12-2_armhf.deb ... Unpacking libsigsegv-dev:armhf (2.12-2) ... Selecting previously unselected package libstdc++-9-dev:armhf. Preparing to unpack .../134-libstdc++-9-dev_9.3.0-18_armhf.deb ... Unpacking libstdc++-9-dev:armhf (9.3.0-18) ... Selecting previously unselected package libtecla1:armhf. Preparing to unpack .../135-libtecla1_1.6.3-2.1_armhf.deb ... Unpacking libtecla1:armhf (1.6.3-2.1) ... Selecting previously unselected package libtecla-dev:armhf. Preparing to unpack .../136-libtecla-dev_1.6.3-2.1_armhf.deb ... Unpacking libtecla-dev:armhf (1.6.3-2.1) ... Selecting previously unselected package sbuild-build-depends-main-dummy:armhf. Preparing to unpack .../137-sbuild-build-depends-main-dummy_0.invalid.0_armhf.deb ... Unpacking sbuild-build-depends-main-dummy:armhf (0.invalid.0) ... Setting up libconfig-inifiles-perl (3.000003-1) ... Setting up libpipeline1:amd64 (1.5.3-1) ... Setting up libc6-armhf-cross (2.31-1cross2) ... Setting up bsdextrautils (2.36-3+b2) ... update-alternatives: using /usr/bin/write.ul to provide /usr/bin/write (write) in auto mode Setting up libicu67:amd64 (67.1-4) ... Setting up libmagic-mgc (1:5.38-5) ... Setting up libglib2.0-0:amd64 (2.66.2-1) ... No schema files found: doing nothing. Setting up perl-modules-5.32 (5.32.0-4) ... Setting up libmagic1:amd64 (1:5.38-5) ... Setting up linux-libc-dev:armhf (5.9.6-1) ... Setting up gettext-base (0.19.8.1-10) ... Setting up file (1:5.38-5) ... Setting up gcc-10-base:armhf (10.2.0-16) ... Setting up autotools-dev (20180224.1) ... Setting up cross-config (2.6.15-3.1) ... Setting up libtirpc-dev:amd64 (1.2.6-3) ... Setting up libsigsegv2:amd64 (2.12-2) ... Setting up linux-libc-dev-armhf-cross (5.7.6-1cross2) ... Setting up autopoint (0.19.8.1-10) ... Setting up libperl5.32:amd64 (5.32.0-4) ... Setting up gcc-10-cross-base (10.2.0-9cross1) ... Setting up libnsl-dev:amd64 (1.3.0-2) ... Setting up sensible-utils (0.0.12+nmu1) ... Setting up libcrypt-dev:amd64 (1:4.4.17-1) ... Setting up libuchardet0:amd64 (0.0.7-1) ... Setting up libc6-dev:amd64 (2.31-4) ... Setting up binutils-arm-linux-gnueabihf (2.35.1-2) ... Setting up libelf1:amd64 (0.182-1) ... Setting up libxml2:amd64 (2.9.10+dfsg-6.2) ... Setting up liblocale-gettext-perl (1.07-4+b1) ... Setting up gcc-10-arm-linux-gnueabihf-base:amd64 (10.2.0-9cross1) ... Setting up gcc-9-base:armhf (9.3.0-18) ... Setting up libgomp1-armhf-cross (10.2.0-9cross1) ... Setting up libstdc++-10-dev:amd64 (10.2.0-16) ... Setting up g++-10 (10.2.0-16) ... Setting up libtool (2.4.6-14) ... Setting up libgcc-s1-armhf-cross (10.2.0-9cross1) ... Setting up libc6-dev-armhf-cross (2.31-1cross2) ... Setting up m4 (1.4.18-4) ... Setting up libatomic1-armhf-cross (10.2.0-9cross1) ... Setting up perl (5.32.0-4) ... Setting up libstdc++6-armhf-cross (10.2.0-9cross1) ... Setting up libasan6-armhf-cross (10.2.0-9cross1) ... Setting up libcroco3:amd64 (0.6.13-1) ... Setting up cpp-10-arm-linux-gnueabihf (10.2.0-9cross1) ... Setting up libubsan1-armhf-cross (10.2.0-9cross1) ... Setting up ucf (3.0043) ... Setting up libdpkg-perl (1.20.5) ... Setting up autoconf (2.69-11.1) ... Setting up g++ (4:10.2.0-1) ... update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode Setting up dwz (0.13-5) ... Setting up groff-base (1.22.4-5) ... Setting up bison (2:3.7.3+dfsg-1) ... update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode Setting up libsub-override-perl (0.09-2) ... Setting up libgcc-10-dev-armhf-cross (10.2.0-9cross1) ... Setting up cpp-arm-linux-gnueabihf (4:10.2.0-1) ... Setting up automake (1:1.16.2-4) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-which-perl (1.23-1) ... Setting up flex (2.6.4-8) ... Setting up gettext (0.19.8.1-10) ... Setting up gcc-10-arm-linux-gnueabihf (10.2.0-9cross1) ... Setting up libstdc++-10-dev-armhf-cross (10.2.0-9cross1) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.2.1) ... Setting up libxml-namespacesupport-perl (1.12-1) ... Setting up man-db (2.9.3-2) ... Not building database; man-db/auto-update is not 'true'. Setting up libyaml-perl (1.30-1) ... Setting up dpkg-dev (1.20.5) ... Setting up g++-10-arm-linux-gnueabihf (10.2.0-9cross1) ... Setting up intltool-debian (0.35.0+20060710.5) ... Setting up libxml-sax-base-perl (1.09-1) ... Setting up libio-string-perl (1.08-3) ... Setting up build-essential (12.8) ... Setting up libfile-homedir-perl (1.006-1) ... Setting up gcc-arm-linux-gnueabihf (4:10.2.0-1) ... Setting up libfile-stripnondeterminism-perl (1.9.0-1) ... Setting up g++-arm-linux-gnueabihf (4:10.2.0-1) ... Setting up po-debconf (1.0.21) ... Setting up libxml-sax-perl (1.02+dfsg-1) ... 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 libxml-libxml-perl (2.0134+dfsg-2+b1) ... 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 dh-strip-nondeterminism (1.9.0-1) ... Setting up libxml-simple-perl (2.25-1) ... Setting up libconfig-auto-perl (0.44-1) ... Setting up libdebian-dpkgcross-perl (2.6.15-3.1) ... Setting up dpkg-cross (2.6.15-3.1) ... Setting up crossbuild-essential-armhf (12.8) ... Setting up libnsl2:armhf (1.3.0-2) ... Setting up libtirpc3:armhf (1.2.6-3) ... Setting up libcrypt1:armhf (1:4.4.17-1) ... Setting up libgcc-s1:armhf (10.2.0-16) ... Setting up libnss-nisplus:armhf (1.3-4) ... Setting up dh-autoreconf (19) ... Setting up libtirpc-dev:armhf (1.2.6-3) ... Setting up libnss-nis:armhf (3.1-4) ... Setting up libc6:armhf (2.31-4) ... Setting up libnsl-dev:armhf (1.3.0-2) ... Setting up libcrypt-dev:armhf (1:4.4.17-1) ... Setting up libc6-dev:armhf (2.31-4) ... Setting up libstdc++6:armhf (10.2.0-16) ... Setting up libtinfo6:armhf (6.2+20200918-1) ... Setting up libkeyutils1:armhf (1.6.1-2) ... Setting up libantlr3c-3.4-0:armhf (3.4+dfsg-3) ... Setting up libtecla1:armhf (1.6.3-2.1) ... Setting up libssl1.1:armhf (1.1.1h-1) ... Setting up debhelper (13.2.1) ... Setting up zlib1g:armhf (1:1.2.11.dfsg-2) ... Setting up libcom-err2:armhf (1.45.6-1) ... Setting up libgomp1:armhf (10.2.0-16) ... Setting up libkrb5support0:armhf (1.17-10) ... Setting up libasan5:armhf (9.3.0-18) ... Setting up libbdd0c2:armhf (2.4-11+b3) ... Setting up libgmp10:armhf (2:6.2.0+dfsg-6) ... Setting up libncurses6:armhf (6.2+20200918-1) ... Setting up libsigsegv2:armhf (2.12-2) ... Setting up libpng16-16:armhf (1.6.37-3) ... Setting up libatomic1:armhf (10.2.0-16) ... Setting up libncursesw6:armhf (6.2+20200918-1) ... Setting up libk5crypto3:armhf (1.17-10) ... Setting up libubsan1:armhf (10.2.0-16) ... Setting up libtecla-dev:armhf (1.6.3-2.1) ... Setting up libkrb5-3:armhf (1.17-10) ... Setting up libcln6:armhf (1.3.6-4) ... Setting up libncurses-dev:armhf (6.2+20200918-1) ... Setting up libsigsegv-dev:armhf (2.12-2) ... Setting up libbdd-dev:armhf (2.4-11+b3) ... Setting up libgcc-9-dev:armhf (9.3.0-18) ... Setting up libgmpxx4ldbl:armhf (2:6.2.0+dfsg-6) ... Setting up libm4ri-0.0.20200125:armhf (20200125-1+b1) ... Setting up libgssapi-krb5-2:armhf (1.17-10) ... Setting up libncurses5-dev:armhf (6.2+20200918-1) ... Setting up libgmp-dev:armhf (2:6.2.0+dfsg-6) ... Setting up libstdc++-9-dev:armhf (9.3.0-18) ... Setting up libcryptominisat5-5.8:armhf (5.8.0+dfsg1-1+b1) ... Setting up libcvc4-7:armhf (1.8-2) ... Setting up libgmp3-dev:armhf (2:6.2.0+dfsg-6) ... Setting up libcvc4parser7:armhf (1.8-2) ... Setting up libcvc4-dev:armhf (1.8-2) ... Setting up sbuild-build-depends-main-dummy:armhf (0.invalid.0) ... Processing triggers for libc-bin (2.31-4) ... +------------------------------------------------------------------------------+ | Check architectures | +------------------------------------------------------------------------------+ Arch check ok (armhf included in any) +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.19.0-12-amd64 #1 SMP Debian 4.19.152-1 (2020-10-18) amd64 (x86_64) Toolchain package versions: binutils_2.35.1-2 dpkg-dev_1.20.5 g++-10_10.2.0-16 gcc-10_10.2.0-16 libc6-dev_2.31-4 libstdc++-10-dev_10.2.0-16 libstdc++-10-dev-armhf-cross_10.2.0-9cross1 libstdc++-9-dev_9.3.0-18 libstdc++6_10.2.0-16 libstdc++6-armhf-cross_10.2.0-9cross1 linux-libc-dev_5.9.6-1 Package versions: adduser_3.118 apt_2.1.11 autoconf_2.69-11.1 automake_1:1.16.2-4 autopoint_0.19.8.1-10 autotools-dev_20180224.1 base-files_11 base-passwd_3.5.48 bash_5.1~rc2-1 binutils_2.35.1-2 binutils-arm-linux-gnueabihf_2.35.1-2 binutils-common_2.35.1-2 binutils-x86-64-linux-gnu_2.35.1-2 bison_2:3.7.3+dfsg-1 bsdextrautils_2.36-3+b2 bsdutils_1:2.36-3+b2 build-essential_12.8 bzip2_1.0.8-4 coreutils_8.32-4+b1 cpp_4:10.2.0-1 cpp-10_10.2.0-16 cpp-10-arm-linux-gnueabihf_10.2.0-9cross1 cpp-8_8.4.0-4 cpp-arm-linux-gnueabihf_4:10.2.0-1 cross-config_2.6.15-3.1 crossbuild-essential-armhf_12.8 dash_0.5.10.2-7 debconf_1.5.74 debhelper_13.2.1 debian-archive-keyring_2019.1 debianutils_4.11.2 dh-autoreconf_19 dh-strip-nondeterminism_1.9.0-1 diffutils_1:3.7-3 dpkg_1.20.5 dpkg-cross_2.6.15-3.1 dpkg-dev_1.20.5 dwz_0.13-5 e2fsprogs_1.45.6-1 fakeroot_1.25.3-1 fdisk_2.36-3+b2 file_1:5.38-5 findutils_4.7.0+git20201010-2 flex_2.6.4-8 g++_4:10.2.0-1 g++-10_10.2.0-16 g++-10-arm-linux-gnueabihf_10.2.0-9cross1 g++-arm-linux-gnueabihf_4:10.2.0-1 gcc_4:10.2.0-1 gcc-10_10.2.0-16 gcc-10-arm-linux-gnueabihf_10.2.0-9cross1 gcc-10-arm-linux-gnueabihf-base_10.2.0-9cross1 gcc-10-base_10.2.0-16 gcc-10-cross-base_10.2.0-9cross1 gcc-8-base_8.4.0-4 gcc-9-base_9.3.0-18 gcc-arm-linux-gnueabihf_4:10.2.0-1 gettext_0.19.8.1-10 gettext-base_0.19.8.1-10 gpgv_2.2.20-1 grep_3.6-1 groff-base_1.22.4-5 gzip_1.10-2 hostname_3.23 init-system-helpers_1.58 intltool-debian_0.35.0+20060710.5 libacl1_2.2.53-8 libantlr3c-3.4-0_3.4+dfsg-3 libapt-pkg5.0_1.8.4 libapt-pkg6.0_2.1.11 libarchive-zip-perl_1.68-1 libasan5_9.3.0-18 libasan6_10.2.0-16 libasan6-armhf-cross_10.2.0-9cross1 libatomic1_10.2.0-16 libatomic1-armhf-cross_10.2.0-9cross1 libattr1_1:2.4.48-5 libaudit-common_1:2.8.5-3.1 libaudit1_1:2.8.5-3.1 libbdd-dev_2.4-11+b3 libbdd0c2_2.4-11+b3 libbinutils_2.35.1-2 libblkid1_2.36-3+b2 libbz2-1.0_1.0.8-4 libc-bin_2.31-4 libc-dev-bin_2.31-4 libc6_2.31-4 libc6-armhf-cross_2.31-1cross2 libc6-dev_2.31-4 libc6-dev-armhf-cross_2.31-1cross2 libcap-ng0_0.7.9-2.2 libcc1-0_10.2.0-16 libcln6_1.3.6-4 libcom-err2_1.45.6-1 libconfig-auto-perl_0.44-1 libconfig-inifiles-perl_3.000003-1 libcroco3_0.6.13-1 libcrypt-dev_1:4.4.17-1 libcrypt1_1:4.4.17-1 libcryptominisat5-5.8_5.8.0+dfsg1-1+b1 libctf-nobfd0_2.35.1-2 libctf0_2.35.1-2 libcvc4-7_1.8-2 libcvc4-dev_1.8-2 libcvc4parser7_1.8-2 libdb5.3_5.3.28+dfsg1-0.6 libdebconfclient0_0.255 libdebhelper-perl_13.2.1 libdebian-dpkgcross-perl_2.6.15-3.1 libdpkg-perl_1.20.5 libelf1_0.182-1 libext2fs2_1.45.6-1 libfakeroot_1.25.3-1 libfdisk1_2.36-3+b2 libffi6_3.2.1-9 libffi7_3.3-5 libfile-homedir-perl_1.006-1 libfile-stripnondeterminism-perl_1.9.0-1 libfile-which-perl_1.23-1 libgcc-10-dev_10.2.0-16 libgcc-10-dev-armhf-cross_10.2.0-9cross1 libgcc-9-dev_9.3.0-18 libgcc-s1_10.2.0-16 libgcc-s1-armhf-cross_10.2.0-9cross1 libgcrypt20_1.8.7-2 libgdbm-compat4_1.18.1-5.1 libgdbm6_1.18.1-5.1 libglib2.0-0_2.66.2-1 libgmp-dev_2:6.2.0+dfsg-6 libgmp10_2:6.2.0+dfsg-6 libgmp3-dev_2:6.2.0+dfsg-6 libgmpxx4ldbl_2:6.2.0+dfsg-6 libgnutls30_3.6.15-4 libgomp1_10.2.0-16 libgomp1-armhf-cross_10.2.0-9cross1 libgpg-error0_1.38-2 libgssapi-krb5-2_1.17-10 libhogweed4_3.5.1+really3.4.1-1 libhogweed6_3.6-2 libicu67_67.1-4 libidn2-0_2.3.0-3 libio-string-perl_1.08-3 libisl19_0.20-2 libisl22_0.22.1-1 libitm1_10.2.0-16 libk5crypto3_1.17-10 libkeyutils1_1.6.1-2 libkrb5-3_1.17-10 libkrb5support0_1.17-10 liblocale-gettext-perl_1.07-4+b1 liblsan0_10.2.0-16 liblz4-1_1.9.2-2 liblzma5_5.2.4-1+b1 libm4ri-0.0.20200125_20200125-1+b1 libmagic-mgc_1:5.38-5 libmagic1_1:5.38-5 libmount1_2.36-3+b2 libmpc3_1.2.0-1 libmpfr6_4.1.0-3 libmpx2_8.4.0-4 libncurses-dev_6.2+20200918-1 libncurses5-dev_6.2+20200918-1 libncurses6_6.2+20200918-1 libncursesw6_6.2+20200918-1 libnettle6_3.5.1+really3.4.1-1 libnettle8_3.6-2 libnsl-dev_1.3.0-2 libnsl2_1.3.0-2 libnss-nis_3.1-4 libnss-nisplus_1.3-4 libp11-kit0_0.23.21-2 libpam-modules_1.3.1-5 libpam-modules-bin_1.3.1-5 libpam-runtime_1.3.1-5 libpam0g_1.3.1-5 libpcre2-8-0_10.34-7 libpcre3_2:8.39-13 libperl5.28_5.28.1-6 libperl5.32_5.32.0-4 libpipeline1_1.5.3-1 libpng16-16_1.6.37-3 libquadmath0_10.2.0-16 libseccomp2_2.5.0-3 libselinux1_3.1-2+b1 libsemanage-common_3.1-1 libsemanage1_3.1-1+b1 libsepol1_3.1-1 libsigsegv-dev_2.12-2 libsigsegv2_2.12-2 libsmartcols1_2.36-3+b2 libss2_1.45.6-1 libssl1.1_1.1.1h-1 libstdc++-10-dev_10.2.0-16 libstdc++-10-dev-armhf-cross_10.2.0-9cross1 libstdc++-9-dev_9.3.0-18 libstdc++6_10.2.0-16 libstdc++6-armhf-cross_10.2.0-9cross1 libsub-override-perl_0.09-2 libsystemd0_246.6-2 libtasn1-6_4.16.0-2 libtecla-dev_1.6.3-2.1 libtecla1_1.6.3-2.1 libtinfo6_6.2+20200918-1 libtirpc-common_1.2.6-3 libtirpc-dev_1.2.6-3 libtirpc3_1.2.6-3 libtool_2.4.6-14 libtsan0_10.2.0-16 libubsan1_10.2.0-16 libubsan1-armhf-cross_10.2.0-9cross1 libuchardet0_0.0.7-1 libudev1_246.6-2 libunistring2_0.9.10-4 libuuid1_2.36-3+b2 libxml-libxml-perl_2.0134+dfsg-2+b1 libxml-namespacesupport-perl_1.12-1 libxml-sax-base-perl_1.09-1 libxml-sax-perl_1.02+dfsg-1 libxml-simple-perl_2.25-1 libxml2_2.9.10+dfsg-6.2 libyaml-perl_1.30-1 libzstd1_1.4.5+dfsg-4 linux-libc-dev_5.9.6-1 linux-libc-dev-armhf-cross_5.7.6-1cross2 login_1:4.8.1-1 logsave_1.45.6-1 lsb-base_11.1.0 m4_1.4.18-4 make_4.3-4 man-db_2.9.3-2 mawk_1.3.4.20200120-2 mount_2.36-3+b2 ncurses-base_6.2+20200918-1 ncurses-bin_6.2+20200918-1 passwd_1:4.8.1-1 patch_2.7.6-6 perl_5.32.0-4 perl-base_5.32.0-4 perl-modules-5.28_5.28.1-6 perl-modules-5.32_5.32.0-4 po-debconf_1.0.21 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.7-1 sensible-utils_0.0.12+nmu1 sysvinit-utils_2.96-5 tar_1.30+dfsg-7 tzdata_2020d-1 ucf_3.0043 util-linux_2.36-3+b2 xz-utils_5.2.4-1+b1 zlib1g_1:1.2.11.dfsg-2 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: maude Binary: maude Architecture: any Version: 3.1-1 Maintainer: Debian Med Packaging Team Uploaders: Scott Christley , Andreas Tille Homepage: http://maude.cs.uiuc.edu Standards-Version: 4.5.0 Vcs-Browser: https://salsa.debian.org/med-team/maude Vcs-Git: https://salsa.debian.org/med-team/maude.git Build-Depends: debhelper-compat (= 13), libtecla-dev, libbdd-dev, libgmp3-dev, libsigsegv-dev, bison, flex, libncurses5-dev, libcvc4-dev Package-List: maude deb science optional arch=any Checksums-Sha1: 86b2be3c14928b53537f5b7364e34d92544e618f 2335693 maude_3.1.orig.tar.gz 130875487e64c2e4872504eebd64de885abcfe9f 6360 maude_3.1-1.debian.tar.xz Checksums-Sha256: b112d7843f65217e3b5a9d40461698ef8dab7cbbe830af21216dfb924dc88a2f 2335693 maude_3.1.orig.tar.gz 60b015fe80b52d0440d82e1ab4dd29a4f62ff567167e61d8a6eae9a0fdb3061d 6360 maude_3.1-1.debian.tar.xz Files: bd1a5cc6f3a88c916e092143c4eb9dea 2335693 maude_3.1.orig.tar.gz 21246d14600f64523ea76bf8c6df3c83 6360 maude_3.1-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJIBAEBCgAyFiEEPpmlJvXcwMu/HO6mALrnSzQzafEFAl+dalcUHG5wYXRyYTk3 NEBnbWFpbC5jb20ACgkQALrnSzQzafFgLBAAp/PduFFQzAdgng0tNmjy9S+VopBv fofbbtYxGu9+Yb/RnPGAkTbXwc029/idud3ojVgsKW7cCqZNk0k+9YIDZegG96aV zLbRiMI9EAeC3SK0tfLk+r33HorOobRBA//FPpgSKPf6rGZPNfPq7E0MOPktUx+N YlDhzz12ae7RHOAZV81Iyx3cLeqgMKBTxEPfAN1imAc+CHgTAPQw0ikom30DZiy3 GhJ5nVrs9jHHcfPJP/IxlnCgT/CpjkhOsOxd2UzSTdSm5mNvSkxhs00NvSwviVC5 M7R7RS93+CMKiX06nX0wplFAZI7RKA5XFMKfJHctywRy4ca4Byik9EExen1cJfs8 PlllwuFlQI9RVEOUgNOfyCd3uaC0lIuxAtrWejj2gREzxSjgoKd02Sxe2VZzh1sP ujpfoV1oMGgf08hYTvTqy/lHwzDf+Axcpq9w+/g9WBTaX0PiMorGXARNKoKn7Mw9 SLSjZFRkXssTHODZgrxXLBhdX8e41ZGuF9k6IdCBSBaOKqAJKzfY2mI4J0F46WwX UmunF0U/YRtMFa63oR4Iy6Fnw9R+z1ZUU2GQBqp0yY+zd+ldi4sLzFzuNXVdBM4K EiE4h05WgIabOHf+bqAPHO6iRZv6Fg6PozQVJzYH8vnhnntQALzB46/L5C1HTkD9 YuepHObdR+cB758= =TxJ6 -----END PGP SIGNATURE----- gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/tmp/dpkg-verify-sig.9Qt14TqL/trustedkeys.kbx': General error gpgv: Signature made Sat Oct 31 13:44:55 2020 UTC gpgv: using RSA key 3E99A526F5DCC0CBBF1CEEA600BAE74B343369F1 gpgv: issuer "npatra974@gmail.com" gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./maude_3.1-1.dsc dpkg-source: info: extracting maude in /<> dpkg-source: info: unpacking maude_3.1.orig.tar.gz dpkg-source: info: unpacking maude_3.1-1.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying search-datadir.patch dpkg-source: info: applying getinput-size_t.patch dpkg-source: info: applying strip-build-date.patch Check disk space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf CONFIG_SITE=/etc/dpkg-cross/cross-config.armhf DEB_BUILD_OPTIONS=nocheck HOME=/sbuild-nonexistent LANG=en_US.UTF-8 LC_ALL=C.UTF-8 LOGNAME=helmut PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SCHROOT_ALIAS_NAME=unstable-amd64-sbuild SCHROOT_CHROOT_NAME=unstable-amd64-sbuild SCHROOT_COMMAND=env SCHROOT_GID=1003 SCHROOT_GROUP=helmut SCHROOT_SESSION_ID=unstable-amd64-sbuild-5003b047-0f9a-4ee1-bd35-547e7cf64d4d SCHROOT_UID=1003 SCHROOT_USER=helmut SHELL=/bin/sh USER=helmut dpkg-buildpackage ----------------- Command: dpkg-buildpackage -aarmhf -Pcross,nocheck -us -uc -B -rfakeroot --jobs-try=1 dpkg-buildpackage: info: source package maude dpkg-buildpackage: info: source version 3.1-1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Nilesh Patra dpkg-architecture: warning: specified GNU system type arm-linux-gnueabihf does not match CC system type x86_64-linux-gnu, try setting a correct CC environment variable dpkg-source --before-build . dpkg-buildpackage: info: host architecture armhf debian/rules clean dh clean debian/rules override_dh_auto_clean make[1]: Entering directory '/<>' dh_auto_clean install -d /<>/debian/.debhelper/generated/_source/home rm -f src/Mixfix/surface.output find tests -name "*.out" -type f -delete make[1]: Leaving directory '/<>' dh_clean rm -f debian/debhelper-build-stamp rm -rf debian/.debhelper/ rm -f -- debian/maude.substvars debian/files rm -fr -- debian/maude/ debian/tmp/ find . \( \( \ \( -path .\*/.git -o -path .\*/.svn -o -path .\*/.bzr -o -path .\*/.hg -o -path .\*/CVS -o -path .\*/.pc -o -path .\*/_darcs \) -prune -o -type f -a \ \( -name '#*#' -o -name '.*~' -o -name '*~' -o -name DEADJOE \ -o -name '*.orig' -o -name '*.rej' -o -name '*.bak' \ -o -name '.*.orig' -o -name .*.rej -o -name '.SUMS' \ -o -name TAGS -o \( -path '*/.deps/*' -a -name '*.P' \) \ \) -exec rm -f {} + \) -o \ \( -type d -a -name autom4te.cache -prune -exec rm -rf {} + \) \) debian/rules binary-arch dh binary-arch dh_update_autotools_config -a install -d debian/.debhelper/bucket/files cp -an --reflink=auto config.guess debian/.debhelper/bucket/files/3a166911715783277b3a3164148214551d53a19e72db9b22b2283b5c3bf8dd02.tmp mv debian/.debhelper/bucket/files/3a166911715783277b3a3164148214551d53a19e72db9b22b2283b5c3bf8dd02.tmp debian/.debhelper/bucket/files/3a166911715783277b3a3164148214551d53a19e72db9b22b2283b5c3bf8dd02 cp -f /usr/share/misc/config.guess ./config.guess cp -an --reflink=auto config.sub debian/.debhelper/bucket/files/d31228a3e19df4835ff97dee42783543948efb7e3436ecd0db3c071d43c5637c.tmp mv debian/.debhelper/bucket/files/d31228a3e19df4835ff97dee42783543948efb7e3436ecd0db3c071d43c5637c.tmp debian/.debhelper/bucket/files/d31228a3e19df4835ff97dee42783543948efb7e3436ecd0db3c071d43c5637c cp -f /usr/share/misc/config.sub ./config.sub dh_autoreconf -a find ! -ipath "./debian/*" -a ! \( -path '*/.git/*' -o -path '*/.hg/*' -o -path '*/.bzr/*' -o -path '*/.svn/*' -o -path '*/CVS/*' \) -a -type f -exec md5sum {} + -o -type l -printf "symlink %p " > debian/autoreconf.before grep -q ^XDT_ configure.ac autoreconf -f -i find ! -ipath "./debian/*" -a ! \( -path '*/.git/*' -o -path '*/.hg/*' -o -path '*/.bzr/*' -o -path '*/.svn/*' -o -path '*/CVS/*' \) -a -type f -exec md5sum {} + -o -type l -printf "symlink %p " > debian/autoreconf.after debian/rules override_dh_auto_configure make[1]: Entering directory '/<>' dh_auto_configure -- --datadir="/usr/share/maude" --with-yices2=no install -d /<>/debian/.debhelper/generated/_source/home ./configure --build=x86_64-linux-gnu --prefix=/usr --includedir=\${prefix}/include --mandir=\${prefix}/share/man --infodir=\${prefix}/share/info --sysconfdir=/etc --localstatedir=/var --disable-option-checking --disable-silent-rules --libdir=\${prefix}/lib/arm-linux-gnueabihf --runstatedir=/run --disable-maintainer-mode --disable-dependency-tracking --host=arm-linux-gnueabihf --datadir=/usr/share/maude --with-yices2=no configure: loading site script /etc/dpkg-cross/cross-config.armhf checking build system type... x86_64-pc-linux-gnu checking host system type... arm-unknown-linux-gnueabihf checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for arm-linux-gnueabihf-strip... arm-linux-gnueabihf-strip checking for a thread-safe mkdir -p... /bin/mkdir -p checking for gawk... no checking for mawk... mawk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking for arm-linux-gnueabihf-gcc... arm-linux-gnueabihf-gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... yes checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether arm-linux-gnueabihf-gcc accepts -g... yes checking for arm-linux-gnueabihf-gcc option to accept ISO C89... none needed checking whether arm-linux-gnueabihf-gcc understands -c and -o together... yes checking whether make supports the include directive... yes (GNU style) checking dependency style of arm-linux-gnueabihf-gcc... none checking for arm-linux-gnueabihf-g++... arm-linux-gnueabihf-g++ checking whether we are using the GNU C++ compiler... yes checking whether arm-linux-gnueabihf-g++ accepts -g... yes checking dependency style of arm-linux-gnueabihf-g++... none checking g++ compiler version... 10 checking for arm-linux-gnueabihf-ranlib... arm-linux-gnueabihf-ranlib checking for ppoll(2)... yes checking for socket in -lsocket... no checking whether time.h and sys/time.h may both be included... yes checking how to run the C++ preprocessor... arm-linux-gnueabihf-g++ -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking sys/time.h usability... yes checking sys/time.h presence... yes checking for sys/time.h... yes checking math.h usability... yes checking math.h presence... yes checking for math.h... yes checking ieeefp.h usability... no checking ieeefp.h presence... no checking for ieeefp.h... no checking sys/termios.h usability... yes checking sys/termios.h presence... yes checking for sys/termios.h... yes checking stddef.h usability... yes checking stddef.h presence... yes checking for stddef.h... yes checking limits.h usability... yes checking limits.h presence... yes checking for limits.h... yes checking for stdlib.h... (cached) yes checking stdio.h usability... yes checking stdio.h presence... yes checking for stdio.h... yes checking ctype.h usability... yes checking ctype.h presence... yes checking for ctype.h... yes checking for unistd.h... (cached) yes checking ostream usability... yes checking ostream presence... yes checking for ostream... yes checking ostream.h usability... no checking ostream.h presence... no checking for ostream.h... no checking size of short... 2 checking size of int... 4 checking size of long... 4 checking size of unsigned long... 4 checking size of void *... 4 checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating src/Makefile config.status: creating src/3rdParty/Makefile config.status: creating src/Utility/Makefile config.status: creating src/Parser/Makefile config.status: creating src/Temporal/Makefile config.status: creating src/Interface/Makefile config.status: creating src/Core/Makefile config.status: creating src/Variable/Makefile config.status: creating src/NA_Theory/Makefile config.status: creating src/ACU_Persistent/Makefile config.status: creating src/ACU_Theory/Makefile config.status: creating src/AU_Persistent/Makefile config.status: creating src/AU_Theory/Makefile config.status: creating src/CUI_Theory/Makefile config.status: creating src/S_Theory/Makefile config.status: creating src/FreeTheory/Makefile config.status: creating src/Higher/Makefile config.status: creating src/BuiltIn/Makefile config.status: creating src/IO_Stuff/Makefile config.status: creating src/ObjectSystem/Makefile config.status: creating src/Meta/Makefile config.status: creating src/FullCompiler/Makefile config.status: creating src/StrategyLanguage/Makefile config.status: creating src/Mixfix/Makefile config.status: creating src/SMT/Makefile config.status: creating src/Main/Makefile config.status: creating tests/Makefile config.status: creating tests/BuiltIn/Makefile config.status: creating tests/Meta/Makefile config.status: creating tests/Misc/Makefile config.status: creating tests/ResolvedBugs/Makefile config.status: creating tests/StrategyLanguage/Makefile config.status: creating config.h config.status: executing depfiles commands make[1]: Leaving directory '/<>' rm -f debian/maude.debhelper.log debian/rules override_dh_auto_build make[1]: Entering directory '/<>' dh_auto_build --no-parallel make -j1 make[2]: Entering directory '/<>' make all-recursive make[3]: Entering directory '/<>' Making all in src make[4]: Entering directory '/<>/src' Making all in 3rdParty make[5]: Entering directory '/<>/src/3rdParty' make[5]: Nothing to be done for 'all'. make[5]: Leaving directory '/<>/src/3rdParty' Making all in Utility make[5]: Entering directory '/<>/src/Utility' arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libutility_a-macros.o `test -f 'macros.cc' || echo './'`macros.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libutility_a-preVector.o `test -f 'preVector.cc' || echo './'`preVector.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libutility_a-intSet.o `test -f 'intSet.cc' || echo './'`intSet.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libutility_a-pointerSet.o `test -f 'pointerSet.cc' || echo './'`pointerSet.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libutility_a-stringTable.o `test -f 'stringTable.cc' || echo './'`stringTable.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libutility_a-graph.o `test -f 'graph.cc' || echo './'`graph.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libutility_a-digraph.o `test -f 'digraph.cc' || echo './'`digraph.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libutility_a-unionFind.o `test -f 'unionFind.cc' || echo './'`unionFind.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libutility_a-diophantineSystem.o `test -f 'diophantineSystem.cc' || echo './'`diophantineSystem.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libutility_a-natSet.o `test -f 'natSet.cc' || echo './'`natSet.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libutility_a-pointerMap.o `test -f 'pointerMap.cc' || echo './'`pointerMap.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libutility_a-sequencePartition.o `test -f 'sequencePartition.cc' || echo './'`sequencePartition.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libutility_a-indent.o `test -f 'indent.cc' || echo './'`indent.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libutility_a-binBuf.o `test -f 'binBuf.cc' || echo './'`binBuf.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libutility_a-decBuf.o `test -f 'decBuf.cc' || echo './'`decBuf.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libutility_a-bddUser.o `test -f 'bddUser.cc' || echo './'`bddUser.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libutility_a-tty.o `test -f 'tty.cc' || echo './'`tty.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libutility_a-bdd.o `test -f 'bdd.cc' || echo './'`bdd.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libutility_a-timer.o `test -f 'timer.cc' || echo './'`timer.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libutility_a-mpzSystem.o `test -f 'mpzSystem.cc' || echo './'`mpzSystem.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libutility_a-intSystem.o `test -f 'intSystem.cc' || echo './'`intSystem.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libutility_a-allSat.o `test -f 'allSat.cc' || echo './'`allSat.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libutility_a-sequenceAssignment.o `test -f 'sequenceAssignment.cc' || echo './'`sequenceAssignment.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libutility_a-pigPug.o `test -f 'pigPug.cc' || echo './'`pigPug.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libutility_a-wordLevel.o `test -f 'wordLevel.cc' || echo './'`wordLevel.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libutility_a-wordSystem.o `test -f 'wordSystem.cc' || echo './'`wordSystem.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libutility_a-rope.o `test -f 'rope.cc' || echo './'`rope.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libutility_a-variableConstraint.o `test -f 'variableConstraint.cc' || echo './'`variableConstraint.cc rm -f libutility.a ar cru libutility.a libutility_a-macros.o libutility_a-preVector.o libutility_a-intSet.o libutility_a-pointerSet.o libutility_a-stringTable.o libutility_a-graph.o libutility_a-digraph.o libutility_a-unionFind.o libutility_a-diophantineSystem.o libutility_a-natSet.o libutility_a-pointerMap.o libutility_a-sequencePartition.o libutility_a-indent.o libutility_a-binBuf.o libutility_a-decBuf.o libutility_a-bddUser.o libutility_a-tty.o libutility_a-bdd.o libutility_a-timer.o libutility_a-mpzSystem.o libutility_a-intSystem.o libutility_a-allSat.o libutility_a-sequenceAssignment.o libutility_a-pigPug.o libutility_a-wordLevel.o libutility_a-wordSystem.o libutility_a-rope.o libutility_a-variableConstraint.o ar: `u' modifier ignored since `D' is the default (see `U') arm-linux-gnueabihf-ranlib libutility.a make[5]: Leaving directory '/<>/src/Utility' Making all in Parser make[5]: Entering directory '/<>/src/Parser' arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libparser_a-parser.o `test -f 'parser.cc' || echo './'`parser.cc rm -f libparser.a ar cru libparser.a libparser_a-parser.o ar: `u' modifier ignored since `D' is the default (see `U') arm-linux-gnueabihf-ranlib libparser.a make[5]: Leaving directory '/<>/src/Parser' Making all in Temporal make[5]: Entering directory '/<>/src/Temporal' arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libtemporal_a-logicFormula.o `test -f 'logicFormula.cc' || echo './'`logicFormula.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libtemporal_a-buchiAutomaton2.o `test -f 'buchiAutomaton2.cc' || echo './'`buchiAutomaton2.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libtemporal_a-transitionSet.o `test -f 'transitionSet.cc' || echo './'`transitionSet.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libtemporal_a-veryWeakAlternatingAutomaton.o `test -f 'veryWeakAlternatingAutomaton.cc' || echo './'`veryWeakAlternatingAutomaton.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libtemporal_a-rawTransitionSet.o `test -f 'rawTransitionSet.cc' || echo './'`rawTransitionSet.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libtemporal_a-genBuchiAutomaton.o `test -f 'genBuchiAutomaton.cc' || echo './'`genBuchiAutomaton.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libtemporal_a-modelChecker2.o `test -f 'modelChecker2.cc' || echo './'`modelChecker2.cc rm -f libtemporal.a ar cru libtemporal.a libtemporal_a-logicFormula.o libtemporal_a-buchiAutomaton2.o libtemporal_a-transitionSet.o libtemporal_a-veryWeakAlternatingAutomaton.o libtemporal_a-rawTransitionSet.o libtemporal_a-genBuchiAutomaton.o libtemporal_a-modelChecker2.o ar: `u' modifier ignored since `D' is the default (see `U') arm-linux-gnueabihf-ranlib libtemporal.a make[5]: Leaving directory '/<>/src/Temporal' Making all in Interface make[5]: Entering directory '/<>/src/Interface' arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libinterface_a-symbol.o `test -f 'symbol.cc' || echo './'`symbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libinterface_a-binarySymbol.o `test -f 'binarySymbol.cc' || echo './'`binarySymbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libinterface_a-associativeSymbol.o `test -f 'associativeSymbol.cc' || echo './'`associativeSymbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libinterface_a-term.o `test -f 'term.cc' || echo './'`term.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libinterface_a-dagNode.o `test -f 'dagNode.cc' || echo './'`dagNode.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libinterface_a-regularInstruction.o `test -f 'regularInstruction.cc' || echo './'`regularInstruction.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libinterface_a-nonFinalInstruction.o `test -f 'nonFinalInstruction.cc' || echo './'`nonFinalInstruction.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libinterface_a-nonFinalExtor.o `test -f 'nonFinalExtor.cc' || echo './'`nonFinalExtor.cc rm -f libinterface.a ar cru libinterface.a libinterface_a-symbol.o libinterface_a-binarySymbol.o libinterface_a-associativeSymbol.o libinterface_a-term.o libinterface_a-dagNode.o libinterface_a-regularInstruction.o libinterface_a-nonFinalInstruction.o libinterface_a-nonFinalExtor.o ar: `u' modifier ignored since `D' is the default (see `U') arm-linux-gnueabihf-ranlib libinterface.a make[5]: Leaving directory '/<>/src/Interface' Making all in Core make[5]: Entering directory '/<>/src/Core' arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-memoryCell.o `test -f 'memoryCell.cc' || echo './'`memoryCell.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-rhsBuilder.o `test -f 'rhsBuilder.cc' || echo './'`rhsBuilder.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-termBag.o `test -f 'termBag.cc' || echo './'`termBag.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-bindingLhsAutomaton.o `test -f 'bindingLhsAutomaton.cc' || echo './'`bindingLhsAutomaton.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-trivialRhsAutomaton.o `test -f 'trivialRhsAutomaton.cc' || echo './'`trivialRhsAutomaton.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-copyRhsAutomaton.o `test -f 'copyRhsAutomaton.cc' || echo './'`copyRhsAutomaton.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-variableInfo.o `test -f 'variableInfo.cc' || echo './'`variableInfo.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-narrowingVariableInfo.o `test -f 'narrowingVariableInfo.cc' || echo './'`narrowingVariableInfo.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-termSet.o `test -f 'termSet.cc' || echo './'`termSet.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-strategy.o `test -f 'strategy.cc' || echo './'`strategy.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-sortTable.o `test -f 'sortTable.cc' || echo './'`sortTable.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-sortConstraintTable.o `test -f 'sortConstraintTable.cc' || echo './'`sortConstraintTable.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-equationTable.o `test -f 'equationTable.cc' || echo './'`equationTable.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-ruleTable.o `test -f 'ruleTable.cc' || echo './'`ruleTable.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-sort.o `test -f 'sort.cc' || echo './'`sort.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-connectedComponent.o `test -f 'connectedComponent.cc' || echo './'`connectedComponent.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-module.o `test -f 'module.cc' || echo './'`module.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-substitution.o `test -f 'substitution.cc' || echo './'`substitution.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-localBinding.o `test -f 'localBinding.cc' || echo './'`localBinding.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-subproblemSequence.o `test -f 'subproblemSequence.cc' || echo './'`subproblemSequence.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-subproblemDisjunction.o `test -f 'subproblemDisjunction.cc' || echo './'`subproblemDisjunction.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-sortCheckSubproblem.o `test -f 'sortCheckSubproblem.cc' || echo './'`sortCheckSubproblem.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-disjunctiveSubproblemAccumulator.o `test -f 'disjunctiveSubproblemAccumulator.cc' || echo './'`disjunctiveSubproblemAccumulator.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-preEquation.o `test -f 'preEquation.cc' || echo './'`preEquation.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-equation.o `test -f 'equation.cc' || echo './'`equation.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-rule.o `test -f 'rule.cc' || echo './'`rule.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-sortConstraint.o `test -f 'sortConstraint.cc' || echo './'`sortConstraint.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-rewritingContext.o `test -f 'rewritingContext.cc' || echo './'`rewritingContext.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-variableAbstractionSubproblem.o `test -f 'variableAbstractionSubproblem.cc' || echo './'`variableAbstractionSubproblem.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-equalitySubproblem.o `test -f 'equalitySubproblem.cc' || echo './'`equalitySubproblem.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-dagRoot.o `test -f 'dagRoot.cc' || echo './'`dagRoot.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-cachedDag.o `test -f 'cachedDag.cc' || echo './'`cachedDag.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-extensionMatchSubproblem.o `test -f 'extensionMatchSubproblem.cc' || echo './'`extensionMatchSubproblem.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-dagNodeSet.o `test -f 'dagNodeSet.cc' || echo './'`dagNodeSet.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-hashConsSet.o `test -f 'hashConsSet.cc' || echo './'`hashConsSet.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-memoTable.o `test -f 'memoTable.cc' || echo './'`memoTable.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-memoMap.o `test -f 'memoMap.cc' || echo './'`memoMap.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-rootContainer.o `test -f 'rootContainer.cc' || echo './'`rootContainer.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-sortBdds.o `test -f 'sortBdds.cc' || echo './'`sortBdds.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-unificationContext.o `test -f 'unificationContext.cc' || echo './'`unificationContext.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-protectedDagNodeSet.o `test -f 'protectedDagNodeSet.cc' || echo './'`protectedDagNodeSet.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-pendingUnificationStack.o `test -f 'pendingUnificationStack.cc' || echo './'`pendingUnificationStack.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-unificationSubproblemDisjunction.o `test -f 'unificationSubproblemDisjunction.cc' || echo './'`unificationSubproblemDisjunction.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-compoundCycleSubproblem.o `test -f 'compoundCycleSubproblem.cc' || echo './'`compoundCycleSubproblem.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-stackMachine.o `test -f 'stackMachine.cc' || echo './'`stackMachine.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-stackMachineRhsCompiler.o `test -f 'stackMachineRhsCompiler.cc' || echo './'`stackMachineRhsCompiler.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-returnInstruction.o `test -f 'returnInstruction.cc' || echo './'`returnInstruction.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-nullInstruction.o `test -f 'nullInstruction.cc' || echo './'`nullInstruction.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-rewriteStrategy.o `test -f 'rewriteStrategy.cc' || echo './'`rewriteStrategy.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libcore_a-strategyDefinition.o `test -f 'strategyDefinition.cc' || echo './'`strategyDefinition.cc rm -f libcore.a ar cru libcore.a libcore_a-memoryCell.o libcore_a-rhsBuilder.o libcore_a-termBag.o libcore_a-bindingLhsAutomaton.o libcore_a-trivialRhsAutomaton.o libcore_a-copyRhsAutomaton.o libcore_a-variableInfo.o libcore_a-narrowingVariableInfo.o libcore_a-termSet.o libcore_a-strategy.o libcore_a-sortTable.o libcore_a-sortConstraintTable.o libcore_a-equationTable.o libcore_a-ruleTable.o libcore_a-sort.o libcore_a-connectedComponent.o libcore_a-module.o libcore_a-substitution.o libcore_a-localBinding.o libcore_a-subproblemSequence.o libcore_a-subproblemDisjunction.o libcore_a-sortCheckSubproblem.o libcore_a-disjunctiveSubproblemAccumulator.o libcore_a-preEquation.o libcore_a-equation.o libcore_a-rule.o libcore_a-sortConstraint.o libcore_a-rewritingContext.o libcore_a-variableAbstractionSubproblem.o libcore_a-equalitySubproblem.o libcore_a-dagRoot.o libcore_a-cachedDag.o libcore_a-extensionMatchSubproblem.o libcore_a-dagNodeSet.o libcore_a-hashConsSet.o libcore_a-memoTable.o libcore_a-memoMap.o libcore_a-rootContainer.o libcore_a-sortBdds.o libcore_a-unificationContext.o libcore_a-protectedDagNodeSet.o libcore_a-pendingUnificationStack.o libcore_a-unificationSubproblemDisjunction.o libcore_a-compoundCycleSubproblem.o libcore_a-stackMachine.o libcore_a-stackMachineRhsCompiler.o libcore_a-returnInstruction.o libcore_a-nullInstruction.o libcore_a-rewriteStrategy.o libcore_a-strategyDefinition.o ar: `u' modifier ignored since `D' is the default (see `U') arm-linux-gnueabihf-ranlib libcore.a make[5]: Leaving directory '/<>/src/Core' Making all in Variable make[5]: Entering directory '/<>/src/Variable' arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libvariable_a-variableSymbol.o `test -f 'variableSymbol.cc' || echo './'`variableSymbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libvariable_a-variableTerm.o `test -f 'variableTerm.cc' || echo './'`variableTerm.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libvariable_a-variableDagNode.o `test -f 'variableDagNode.cc' || echo './'`variableDagNode.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libvariable_a-variableLhsAutomaton.o `test -f 'variableLhsAutomaton.cc' || echo './'`variableLhsAutomaton.cc rm -f libvariable.a ar cru libvariable.a libvariable_a-variableSymbol.o libvariable_a-variableTerm.o libvariable_a-variableDagNode.o libvariable_a-variableLhsAutomaton.o ar: `u' modifier ignored since `D' is the default (see `U') arm-linux-gnueabihf-ranlib libvariable.a make[5]: Leaving directory '/<>/src/Variable' Making all in NA_Theory make[5]: Entering directory '/<>/src/NA_Theory' arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libNA_Theory_a-NA_Symbol.o `test -f 'NA_Symbol.cc' || echo './'`NA_Symbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libNA_Theory_a-NA_Term.o `test -f 'NA_Term.cc' || echo './'`NA_Term.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libNA_Theory_a-NA_DagNode.o `test -f 'NA_DagNode.cc' || echo './'`NA_DagNode.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libNA_Theory_a-NA_LhsAutomaton.o `test -f 'NA_LhsAutomaton.cc' || echo './'`NA_LhsAutomaton.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libNA_Theory_a-NA_RhsAutomaton.o `test -f 'NA_RhsAutomaton.cc' || echo './'`NA_RhsAutomaton.cc rm -f libNA_Theory.a ar cru libNA_Theory.a libNA_Theory_a-NA_Symbol.o libNA_Theory_a-NA_Term.o libNA_Theory_a-NA_DagNode.o libNA_Theory_a-NA_LhsAutomaton.o libNA_Theory_a-NA_RhsAutomaton.o ar: `u' modifier ignored since `D' is the default (see `U') arm-linux-gnueabihf-ranlib libNA_Theory.a make[5]: Leaving directory '/<>/src/NA_Theory' Making all in ACU_Persistent make[5]: Entering directory '/<>/src/ACU_Persistent' arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libACU_Persistent_a-ACU_RedBlackNode.o `test -f 'ACU_RedBlackNode.cc' || echo './'`ACU_RedBlackNode.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libACU_Persistent_a-ACU_Tree.o `test -f 'ACU_Tree.cc' || echo './'`ACU_Tree.cc rm -f libACU_Persistent.a ar cru libACU_Persistent.a libACU_Persistent_a-ACU_RedBlackNode.o libACU_Persistent_a-ACU_Tree.o ar: `u' modifier ignored since `D' is the default (see `U') arm-linux-gnueabihf-ranlib libACU_Persistent.a make[5]: Leaving directory '/<>/src/ACU_Persistent' Making all in ACU_Theory make[5]: Entering directory '/<>/src/ACU_Theory' arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libACU_Theory_a-ACU_Symbol.o `test -f 'ACU_Symbol.cc' || echo './'`ACU_Symbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libACU_Theory_a-ACU_Term.o `test -f 'ACU_Term.cc' || echo './'`ACU_Term.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libACU_Theory_a-ACU_BaseDagNode.o `test -f 'ACU_BaseDagNode.cc' || echo './'`ACU_BaseDagNode.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libACU_Theory_a-ACU_DagNode.o `test -f 'ACU_DagNode.cc' || echo './'`ACU_DagNode.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libACU_Theory_a-ACU_TreeDagNode.o `test -f 'ACU_TreeDagNode.cc' || echo './'`ACU_TreeDagNode.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libACU_Theory_a-ACU_RhsAutomaton.o `test -f 'ACU_RhsAutomaton.cc' || echo './'`ACU_RhsAutomaton.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libACU_Theory_a-ACU_LhsAutomaton.o `test -f 'ACU_LhsAutomaton.cc' || echo './'`ACU_LhsAutomaton.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libACU_Theory_a-ACU_Subproblem.o `test -f 'ACU_Subproblem.cc' || echo './'`ACU_Subproblem.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libACU_Theory_a-ACU_ExtensionInfo.o `test -f 'ACU_ExtensionInfo.cc' || echo './'`ACU_ExtensionInfo.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libACU_Theory_a-ACU_CollectorLhsAutomaton.o `test -f 'ACU_CollectorLhsAutomaton.cc' || echo './'`ACU_CollectorLhsAutomaton.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libACU_Theory_a-ACU_NGA_LhsAutomaton.o `test -f 'ACU_NGA_LhsAutomaton.cc' || echo './'`ACU_NGA_LhsAutomaton.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libACU_Theory_a-ACU_VarLhsAutomaton.o `test -f 'ACU_VarLhsAutomaton.cc' || echo './'`ACU_VarLhsAutomaton.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libACU_Theory_a-ACU_GndLhsAutomaton.o `test -f 'ACU_GndLhsAutomaton.cc' || echo './'`ACU_GndLhsAutomaton.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libACU_Theory_a-ACU_NonLinearLhsAutomaton.o `test -f 'ACU_NonLinearLhsAutomaton.cc' || echo './'`ACU_NonLinearLhsAutomaton.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libACU_Theory_a-ACU_ArgumentIterator.o `test -f 'ACU_ArgumentIterator.cc' || echo './'`ACU_ArgumentIterator.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libACU_Theory_a-ACU_DagArgumentIterator.o `test -f 'ACU_DagArgumentIterator.cc' || echo './'`ACU_DagArgumentIterator.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libACU_Theory_a-ACU_TreeDagArgumentIterator.o `test -f 'ACU_TreeDagArgumentIterator.cc' || echo './'`ACU_TreeDagArgumentIterator.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libACU_Theory_a-ACU_LazySubproblem.o `test -f 'ACU_LazySubproblem.cc' || echo './'`ACU_LazySubproblem.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libACU_Theory_a-ACU_UnificationSubproblem2.o `test -f 'ACU_UnificationSubproblem2.cc' || echo './'`ACU_UnificationSubproblem2.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libACU_Theory_a-ACU_BndVarLhsAutomaton.o `test -f 'ACU_BndVarLhsAutomaton.cc' || echo './'`ACU_BndVarLhsAutomaton.cc rm -f libACU_Theory.a ar cru libACU_Theory.a libACU_Theory_a-ACU_Symbol.o libACU_Theory_a-ACU_Term.o libACU_Theory_a-ACU_BaseDagNode.o libACU_Theory_a-ACU_DagNode.o libACU_Theory_a-ACU_TreeDagNode.o libACU_Theory_a-ACU_RhsAutomaton.o libACU_Theory_a-ACU_LhsAutomaton.o libACU_Theory_a-ACU_Subproblem.o libACU_Theory_a-ACU_ExtensionInfo.o libACU_Theory_a-ACU_CollectorLhsAutomaton.o libACU_Theory_a-ACU_NGA_LhsAutomaton.o libACU_Theory_a-ACU_VarLhsAutomaton.o libACU_Theory_a-ACU_GndLhsAutomaton.o libACU_Theory_a-ACU_NonLinearLhsAutomaton.o libACU_Theory_a-ACU_ArgumentIterator.o libACU_Theory_a-ACU_DagArgumentIterator.o libACU_Theory_a-ACU_TreeDagArgumentIterator.o libACU_Theory_a-ACU_LazySubproblem.o libACU_Theory_a-ACU_UnificationSubproblem2.o libACU_Theory_a-ACU_BndVarLhsAutomaton.o ar: `u' modifier ignored since `D' is the default (see `U') arm-linux-gnueabihf-ranlib libACU_Theory.a make[5]: Leaving directory '/<>/src/ACU_Theory' Making all in AU_Persistent make[5]: Entering directory '/<>/src/AU_Persistent' arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libAU_Persistent_a-AU_StackNode.o `test -f 'AU_StackNode.cc' || echo './'`AU_StackNode.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libAU_Persistent_a-AU_Deque.o `test -f 'AU_Deque.cc' || echo './'`AU_Deque.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libAU_Persistent_a-AU_DequeIter.o `test -f 'AU_DequeIter.cc' || echo './'`AU_DequeIter.cc rm -f libAU_Persistent.a ar cru libAU_Persistent.a libAU_Persistent_a-AU_StackNode.o libAU_Persistent_a-AU_Deque.o libAU_Persistent_a-AU_DequeIter.o ar: `u' modifier ignored since `D' is the default (see `U') arm-linux-gnueabihf-ranlib libAU_Persistent.a make[5]: Leaving directory '/<>/src/AU_Persistent' Making all in AU_Theory make[5]: Entering directory '/<>/src/AU_Theory' arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libAU_Theory_a-AU_Symbol.o `test -f 'AU_Symbol.cc' || echo './'`AU_Symbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libAU_Theory_a-AU_DagNode.o `test -f 'AU_DagNode.cc' || echo './'`AU_DagNode.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libAU_Theory_a-AU_DequeDagNode.o `test -f 'AU_DequeDagNode.cc' || echo './'`AU_DequeDagNode.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libAU_Theory_a-AU_Term.o `test -f 'AU_Term.cc' || echo './'`AU_Term.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libAU_Theory_a-AU_DagArgumentIterator.o `test -f 'AU_DagArgumentIterator.cc' || echo './'`AU_DagArgumentIterator.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libAU_Theory_a-AU_DequeDagArgumentIterator.o `test -f 'AU_DequeDagArgumentIterator.cc' || echo './'`AU_DequeDagArgumentIterator.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libAU_Theory_a-AU_ExtensionInfo.o `test -f 'AU_ExtensionInfo.cc' || echo './'`AU_ExtensionInfo.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libAU_Theory_a-AU_RhsAutomaton.o `test -f 'AU_RhsAutomaton.cc' || echo './'`AU_RhsAutomaton.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libAU_Theory_a-AU_LhsAutomaton.o `test -f 'AU_LhsAutomaton.cc' || echo './'`AU_LhsAutomaton.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libAU_Theory_a-AU_ArgumentIterator.o `test -f 'AU_ArgumentIterator.cc' || echo './'`AU_ArgumentIterator.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libAU_Theory_a-AU_Layer.o `test -f 'AU_Layer.cc' || echo './'`AU_Layer.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libAU_Theory_a-AU_Subproblem.o `test -f 'AU_Subproblem.cc' || echo './'`AU_Subproblem.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libAU_Theory_a-AU_UnificationSubproblem2.o `test -f 'AU_UnificationSubproblem2.cc' || echo './'`AU_UnificationSubproblem2.cc rm -f libAU_Theory.a ar cru libAU_Theory.a libAU_Theory_a-AU_Symbol.o libAU_Theory_a-AU_DagNode.o libAU_Theory_a-AU_DequeDagNode.o libAU_Theory_a-AU_Term.o libAU_Theory_a-AU_DagArgumentIterator.o libAU_Theory_a-AU_DequeDagArgumentIterator.o libAU_Theory_a-AU_ExtensionInfo.o libAU_Theory_a-AU_RhsAutomaton.o libAU_Theory_a-AU_LhsAutomaton.o libAU_Theory_a-AU_ArgumentIterator.o libAU_Theory_a-AU_Layer.o libAU_Theory_a-AU_Subproblem.o libAU_Theory_a-AU_UnificationSubproblem2.o ar: `u' modifier ignored since `D' is the default (see `U') arm-linux-gnueabihf-ranlib libAU_Theory.a make[5]: Leaving directory '/<>/src/AU_Theory' Making all in CUI_Theory make[5]: Entering directory '/<>/src/CUI_Theory' arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libCUI_Theory_a-CUI_Symbol.o `test -f 'CUI_Symbol.cc' || echo './'`CUI_Symbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libCUI_Theory_a-CUI_DagNode.o `test -f 'CUI_DagNode.cc' || echo './'`CUI_DagNode.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libCUI_Theory_a-CUI_DagArgumentIterator.o `test -f 'CUI_DagArgumentIterator.cc' || echo './'`CUI_DagArgumentIterator.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libCUI_Theory_a-CUI_RhsAutomaton.o `test -f 'CUI_RhsAutomaton.cc' || echo './'`CUI_RhsAutomaton.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libCUI_Theory_a-CUI_Term.o `test -f 'CUI_Term.cc' || echo './'`CUI_Term.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libCUI_Theory_a-CUI_ArgumentIterator.o `test -f 'CUI_ArgumentIterator.cc' || echo './'`CUI_ArgumentIterator.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libCUI_Theory_a-CUI_UnificationSubproblem.o `test -f 'CUI_UnificationSubproblem.cc' || echo './'`CUI_UnificationSubproblem.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libCUI_Theory_a-CUI_UnificationSubproblem2.o `test -f 'CUI_UnificationSubproblem2.cc' || echo './'`CUI_UnificationSubproblem2.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libCUI_Theory_a-CUI_LhsAutomaton.o `test -f 'CUI_LhsAutomaton.cc' || echo './'`CUI_LhsAutomaton.cc rm -f libCUI_Theory.a ar cru libCUI_Theory.a libCUI_Theory_a-CUI_Symbol.o libCUI_Theory_a-CUI_DagNode.o libCUI_Theory_a-CUI_DagArgumentIterator.o libCUI_Theory_a-CUI_RhsAutomaton.o libCUI_Theory_a-CUI_Term.o libCUI_Theory_a-CUI_ArgumentIterator.o libCUI_Theory_a-CUI_UnificationSubproblem.o libCUI_Theory_a-CUI_UnificationSubproblem2.o libCUI_Theory_a-CUI_LhsAutomaton.o ar: `u' modifier ignored since `D' is the default (see `U') arm-linux-gnueabihf-ranlib libCUI_Theory.a make[5]: Leaving directory '/<>/src/CUI_Theory' Making all in S_Theory make[5]: Entering directory '/<>/src/S_Theory' arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libS_Theory_a-S_Symbol.o `test -f 'S_Symbol.cc' || echo './'`S_Symbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libS_Theory_a-S_DagNode.o `test -f 'S_DagNode.cc' || echo './'`S_DagNode.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libS_Theory_a-S_Term.o `test -f 'S_Term.cc' || echo './'`S_Term.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libS_Theory_a-S_ExtensionInfo.o `test -f 'S_ExtensionInfo.cc' || echo './'`S_ExtensionInfo.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libS_Theory_a-S_DagArgumentIterator.o `test -f 'S_DagArgumentIterator.cc' || echo './'`S_DagArgumentIterator.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libS_Theory_a-S_ArgumentIterator.o `test -f 'S_ArgumentIterator.cc' || echo './'`S_ArgumentIterator.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libS_Theory_a-S_LhsAutomaton.o `test -f 'S_LhsAutomaton.cc' || echo './'`S_LhsAutomaton.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libS_Theory_a-S_RhsAutomaton.o `test -f 'S_RhsAutomaton.cc' || echo './'`S_RhsAutomaton.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libS_Theory_a-S_Subproblem.o `test -f 'S_Subproblem.cc' || echo './'`S_Subproblem.cc rm -f libS_Theory.a ar cru libS_Theory.a libS_Theory_a-S_Symbol.o libS_Theory_a-S_DagNode.o libS_Theory_a-S_Term.o libS_Theory_a-S_ExtensionInfo.o libS_Theory_a-S_DagArgumentIterator.o libS_Theory_a-S_ArgumentIterator.o libS_Theory_a-S_LhsAutomaton.o libS_Theory_a-S_RhsAutomaton.o libS_Theory_a-S_Subproblem.o ar: `u' modifier ignored since `D' is the default (see `U') arm-linux-gnueabihf-ranlib libS_Theory.a make[5]: Leaving directory '/<>/src/S_Theory' Making all in FreeTheory make[5]: Entering directory '/<>/src/FreeTheory' arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libfreeTheory_a-freeSymbol.o `test -f 'freeSymbol.cc' || echo './'`freeSymbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libfreeTheory_a-freeUnarySymbol.o `test -f 'freeUnarySymbol.cc' || echo './'`freeUnarySymbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libfreeTheory_a-freeNullarySymbol.o `test -f 'freeNullarySymbol.cc' || echo './'`freeNullarySymbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libfreeTheory_a-freeBinarySymbol.o `test -f 'freeBinarySymbol.cc' || echo './'`freeBinarySymbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libfreeTheory_a-freeTernarySymbol.o `test -f 'freeTernarySymbol.cc' || echo './'`freeTernarySymbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libfreeTheory_a-freeTerm.o `test -f 'freeTerm.cc' || echo './'`freeTerm.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libfreeTheory_a-freeArgumentIterator.o `test -f 'freeArgumentIterator.cc' || echo './'`freeArgumentIterator.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libfreeTheory_a-freeDagNode.o `test -f 'freeDagNode.cc' || echo './'`freeDagNode.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libfreeTheory_a-freeDagArgumentIterator.o `test -f 'freeDagArgumentIterator.cc' || echo './'`freeDagArgumentIterator.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libfreeTheory_a-freeLhsAutomaton.o `test -f 'freeLhsAutomaton.cc' || echo './'`freeLhsAutomaton.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libfreeTheory_a-freeRhsAutomaton.o `test -f 'freeRhsAutomaton.cc' || echo './'`freeRhsAutomaton.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libfreeTheory_a-freeNet.o `test -f 'freeNet.cc' || echo './'`freeNet.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libfreeTheory_a-freePreNet.o `test -f 'freePreNet.cc' || echo './'`freePreNet.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libfreeTheory_a-freeRemainder.o `test -f 'freeRemainder.cc' || echo './'`freeRemainder.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libfreeTheory_a-freePositionTable.o `test -f 'freePositionTable.cc' || echo './'`freePositionTable.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libfreeTheory_a-freeInstruction.o `test -f 'freeInstruction.cc' || echo './'`freeInstruction.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libfreeTheory_a-freeFastInstruction.o `test -f 'freeFastInstruction.cc' || echo './'`freeFastInstruction.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libfreeTheory_a-freeGeneralCtor.o `test -f 'freeGeneralCtor.cc' || echo './'`freeGeneralCtor.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libfreeTheory_a-freeGeneralCtorFinal.o `test -f 'freeGeneralCtorFinal.cc' || echo './'`freeGeneralCtorFinal.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libfreeTheory_a-freeGeneralExtor.o `test -f 'freeGeneralExtor.cc' || echo './'`freeGeneralExtor.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libfreeTheory_a-freeGeneralExtorFinal.o `test -f 'freeGeneralExtorFinal.cc' || echo './'`freeGeneralExtorFinal.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libfreeTheory_a-freeFast3RhsAutomaton.o `test -f 'freeFast3RhsAutomaton.cc' || echo './'`freeFast3RhsAutomaton.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libfreeTheory_a-freeFast2RhsAutomaton.o `test -f 'freeFast2RhsAutomaton.cc' || echo './'`freeFast2RhsAutomaton.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libfreeTheory_a-freeNullaryRhsAutomaton.o `test -f 'freeNullaryRhsAutomaton.cc' || echo './'`freeNullaryRhsAutomaton.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libfreeTheory_a-freeUnaryRhsAutomaton.o `test -f 'freeUnaryRhsAutomaton.cc' || echo './'`freeUnaryRhsAutomaton.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libfreeTheory_a-freeBinaryRhsAutomaton.o `test -f 'freeBinaryRhsAutomaton.cc' || echo './'`freeBinaryRhsAutomaton.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libfreeTheory_a-freeTernaryRhsAutomaton.o `test -f 'freeTernaryRhsAutomaton.cc' || echo './'`freeTernaryRhsAutomaton.cc rm -f libfreeTheory.a ar cru libfreeTheory.a libfreeTheory_a-freeSymbol.o libfreeTheory_a-freeUnarySymbol.o libfreeTheory_a-freeNullarySymbol.o libfreeTheory_a-freeBinarySymbol.o libfreeTheory_a-freeTernarySymbol.o libfreeTheory_a-freeTerm.o libfreeTheory_a-freeArgumentIterator.o libfreeTheory_a-freeDagNode.o libfreeTheory_a-freeDagArgumentIterator.o libfreeTheory_a-freeLhsAutomaton.o libfreeTheory_a-freeRhsAutomaton.o libfreeTheory_a-freeNet.o libfreeTheory_a-freePreNet.o libfreeTheory_a-freeRemainder.o libfreeTheory_a-freePositionTable.o libfreeTheory_a-freeInstruction.o libfreeTheory_a-freeFastInstruction.o libfreeTheory_a-freeGeneralCtor.o libfreeTheory_a-freeGeneralCtorFinal.o libfreeTheory_a-freeGeneralExtor.o libfreeTheory_a-freeGeneralExtorFinal.o libfreeTheory_a-freeFast3RhsAutomaton.o libfreeTheory_a-freeFast2RhsAutomaton.o libfreeTheory_a-freeNullaryRhsAutomaton.o libfreeTheory_a-freeUnaryRhsAutomaton.o libfreeTheory_a-freeBinaryRhsAutomaton.o libfreeTheory_a-freeTernaryRhsAutomaton.o ar: `u' modifier ignored since `D' is the default (see `U') arm-linux-gnueabihf-ranlib libfreeTheory.a make[5]: Leaving directory '/<>/src/FreeTheory' Making all in Higher make[5]: Entering directory '/<>/src/Higher' arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-rewriteSearchState.o `test -f 'rewriteSearchState.cc' || echo './'`rewriteSearchState.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-matchSearchState.o `test -f 'matchSearchState.cc' || echo './'`matchSearchState.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-positionState.o `test -f 'positionState.cc' || echo './'`positionState.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-pattern.o `test -f 'pattern.cc' || echo './'`pattern.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-searchState.o `test -f 'searchState.cc' || echo './'`searchState.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-rewriteSequenceSearch.o `test -f 'rewriteSequenceSearch.cc' || echo './'`rewriteSequenceSearch.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-modelCheckerSymbol.o `test -f 'modelCheckerSymbol.cc' || echo './'`modelCheckerSymbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-stateTransitionGraph.o `test -f 'stateTransitionGraph.cc' || echo './'`stateTransitionGraph.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-rewriteConditionFragment.o `test -f 'rewriteConditionFragment.cc' || echo './'`rewriteConditionFragment.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-assignmentConditionFragment.o `test -f 'assignmentConditionFragment.cc' || echo './'`assignmentConditionFragment.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-sortTestConditionFragment.o `test -f 'sortTestConditionFragment.cc' || echo './'`sortTestConditionFragment.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-equalityConditionFragment.o `test -f 'equalityConditionFragment.cc' || echo './'`equalityConditionFragment.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-assignmentConditionState.o `test -f 'assignmentConditionState.cc' || echo './'`assignmentConditionState.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-rewriteConditionState.o `test -f 'rewriteConditionState.cc' || echo './'`rewriteConditionState.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-temporalSymbol.o `test -f 'temporalSymbol.cc' || echo './'`temporalSymbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-satSolverSymbol.o `test -f 'satSolverSymbol.cc' || echo './'`satSolverSymbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-unificationProblem.o `test -f 'unificationProblem.cc' || echo './'`unificationProblem.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-narrowingSearchState.o `test -f 'narrowingSearchState.cc' || echo './'`narrowingSearchState.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-narrowingUnificationProblem.o `test -f 'narrowingUnificationProblem.cc' || echo './'`narrowingUnificationProblem.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-narrowingSequenceSearch.o `test -f 'narrowingSequenceSearch.cc' || echo './'`narrowingSequenceSearch.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-unifierFilter.o `test -f 'unifierFilter.cc' || echo './'`unifierFilter.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-variantNarrowingSearchState.o `test -f 'variantNarrowingSearchState.cc' || echo './'`variantNarrowingSearchState.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-variantFolder.o `test -f 'variantFolder.cc' || echo './'`variantFolder.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-variantSearch.o `test -f 'variantSearch.cc' || echo './'`variantSearch.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-variantUnificationProblem.o `test -f 'variantUnificationProblem.cc' || echo './'`variantUnificationProblem.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-narrowingSearchState2.o `test -f 'narrowingSearchState2.cc' || echo './'`narrowingSearchState2.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-narrowingFolder.o `test -f 'narrowingFolder.cc' || echo './'`narrowingFolder.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-narrowingSearchState3.o `test -f 'narrowingSearchState3.cc' || echo './'`narrowingSearchState3.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-narrowingSequenceSearch3.o `test -f 'narrowingSequenceSearch3.cc' || echo './'`narrowingSequenceSearch3.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-irredundantUnificationProblem.o `test -f 'irredundantUnificationProblem.cc' || echo './'`irredundantUnificationProblem.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-variantUnifierFilter.o `test -f 'variantUnifierFilter.cc' || echo './'`variantUnifierFilter.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-filteredVariantUnifierSearch.o `test -f 'filteredVariantUnifierSearch.cc' || echo './'`filteredVariantUnifierSearch.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libhigher_a-variantMatchingProblem.o `test -f 'variantMatchingProblem.cc' || echo './'`variantMatchingProblem.cc rm -f libhigher.a ar cru libhigher.a libhigher_a-rewriteSearchState.o libhigher_a-matchSearchState.o libhigher_a-positionState.o libhigher_a-pattern.o libhigher_a-searchState.o libhigher_a-rewriteSequenceSearch.o libhigher_a-modelCheckerSymbol.o libhigher_a-stateTransitionGraph.o libhigher_a-rewriteConditionFragment.o libhigher_a-assignmentConditionFragment.o libhigher_a-sortTestConditionFragment.o libhigher_a-equalityConditionFragment.o libhigher_a-assignmentConditionState.o libhigher_a-rewriteConditionState.o libhigher_a-temporalSymbol.o libhigher_a-satSolverSymbol.o libhigher_a-unificationProblem.o libhigher_a-narrowingSearchState.o libhigher_a-narrowingUnificationProblem.o libhigher_a-narrowingSequenceSearch.o libhigher_a-unifierFilter.o libhigher_a-variantNarrowingSearchState.o libhigher_a-variantFolder.o libhigher_a-variantSearch.o libhigher_a-variantUnificationProblem.o libhigher_a-narrowingSearchState2.o libhigher_a-narrowingFolder.o libhigher_a-narrowingSearchState3.o libhigher_a-narrowingSequenceSearch3.o libhigher_a-irredundantUnificationProblem.o libhigher_a-variantUnifierFilter.o libhigher_a-filteredVariantUnifierSearch.o libhigher_a-variantMatchingProblem.o ar: `u' modifier ignored since `D' is the default (see `U') arm-linux-gnueabihf-ranlib libhigher.a make[5]: Leaving directory '/<>/src/Higher' Making all in BuiltIn make[5]: Entering directory '/<>/src/BuiltIn' arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libbuiltIn_a-equalitySymbol.o `test -f 'equalitySymbol.cc' || echo './'`equalitySymbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libbuiltIn_a-sortTestSymbol.o `test -f 'sortTestSymbol.cc' || echo './'`sortTestSymbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libbuiltIn_a-branchSymbol.o `test -f 'branchSymbol.cc' || echo './'`branchSymbol.cc In file included from branchSymbol.cc:29: ../../src/Utility/vector.hh: In member function ‘virtual void BranchSymbol::compileOpDeclarations()’: ../../src/Utility/vector.hh:325:14: warning: iteration 536870912 invokes undefined behavior [-Waggressive-loop-optimizations] 325 | vector[i].~T(); // call destructor on each "lost" element | ~~~~~~~~~~~~^~ ../../src/Utility/vector.hh:324:39: note: within this loop 324 | for (size_type i = newLength; i != oldLength; i++) | ~~^~~~~~~~~~~~ arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libbuiltIn_a-stringSymbol.o `test -f 'stringSymbol.cc' || echo './'`stringSymbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libbuiltIn_a-stringTerm.o `test -f 'stringTerm.cc' || echo './'`stringTerm.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libbuiltIn_a-stringDagNode.o `test -f 'stringDagNode.cc' || echo './'`stringDagNode.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libbuiltIn_a-stringOpSymbol.o `test -f 'stringOpSymbol.cc' || echo './'`stringOpSymbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libbuiltIn_a-floatSymbol.o `test -f 'floatSymbol.cc' || echo './'`floatSymbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libbuiltIn_a-floatTerm.o `test -f 'floatTerm.cc' || echo './'`floatTerm.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libbuiltIn_a-floatDagNode.o `test -f 'floatDagNode.cc' || echo './'`floatDagNode.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libbuiltIn_a-floatOpSymbol.o `test -f 'floatOpSymbol.cc' || echo './'`floatOpSymbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libbuiltIn_a-succSymbol.o `test -f 'succSymbol.cc' || echo './'`succSymbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libbuiltIn_a-numberOpSymbol.o `test -f 'numberOpSymbol.cc' || echo './'`numberOpSymbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libbuiltIn_a-minusSymbol.o `test -f 'minusSymbol.cc' || echo './'`minusSymbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libbuiltIn_a-ACU_NumberOpSymbol.o `test -f 'ACU_NumberOpSymbol.cc' || echo './'`ACU_NumberOpSymbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libbuiltIn_a-CUI_NumberOpSymbol.o `test -f 'CUI_NumberOpSymbol.cc' || echo './'`CUI_NumberOpSymbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libbuiltIn_a-divisionSymbol.o `test -f 'divisionSymbol.cc' || echo './'`divisionSymbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libbuiltIn_a-randomOpSymbol.o `test -f 'randomOpSymbol.cc' || echo './'`randomOpSymbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libbuiltIn_a-counterSymbol.o `test -f 'counterSymbol.cc' || echo './'`counterSymbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libbuiltIn_a-matrixOpSymbol.o `test -f 'matrixOpSymbol.cc' || echo './'`matrixOpSymbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libbuiltIn_a-equalityExtor.o `test -f 'equalityExtor.cc' || echo './'`equalityExtor.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libbuiltIn_a-equalityExtorFinal.o `test -f 'equalityExtorFinal.cc' || echo './'`equalityExtorFinal.cc rm -f libbuiltIn.a ar cru libbuiltIn.a libbuiltIn_a-equalitySymbol.o libbuiltIn_a-sortTestSymbol.o libbuiltIn_a-branchSymbol.o libbuiltIn_a-stringSymbol.o libbuiltIn_a-stringTerm.o libbuiltIn_a-stringDagNode.o libbuiltIn_a-stringOpSymbol.o libbuiltIn_a-floatSymbol.o libbuiltIn_a-floatTerm.o libbuiltIn_a-floatDagNode.o libbuiltIn_a-floatOpSymbol.o libbuiltIn_a-succSymbol.o libbuiltIn_a-numberOpSymbol.o libbuiltIn_a-minusSymbol.o libbuiltIn_a-ACU_NumberOpSymbol.o libbuiltIn_a-CUI_NumberOpSymbol.o libbuiltIn_a-divisionSymbol.o libbuiltIn_a-randomOpSymbol.o libbuiltIn_a-counterSymbol.o libbuiltIn_a-matrixOpSymbol.o libbuiltIn_a-equalityExtor.o libbuiltIn_a-equalityExtorFinal.o ar: `u' modifier ignored since `D' is the default (see `U') arm-linux-gnueabihf-ranlib libbuiltIn.a make[5]: Leaving directory '/<>/src/BuiltIn' Making all in IO_Stuff make[5]: Entering directory '/<>/src/IO_Stuff' arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libIO_Stuff_a-IO_Manager.o `test -f 'IO_Manager.cc' || echo './'`IO_Manager.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libIO_Stuff_a-autoWrapBuffer.o `test -f 'autoWrapBuffer.cc' || echo './'`autoWrapBuffer.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libIO_Stuff_a-directoryManager.o `test -f 'directoryManager.cc' || echo './'`directoryManager.cc rm -f libIO_Stuff.a ar cru libIO_Stuff.a libIO_Stuff_a-IO_Manager.o libIO_Stuff_a-autoWrapBuffer.o libIO_Stuff_a-directoryManager.o ar: `u' modifier ignored since `D' is the default (see `U') arm-linux-gnueabihf-ranlib libIO_Stuff.a make[5]: Leaving directory '/<>/src/IO_Stuff' Making all in ObjectSystem make[5]: Entering directory '/<>/src/ObjectSystem' arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/S_Theory -I../../src/BuiltIn -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libobjectSystem_a-configSymbol.o `test -f 'configSymbol.cc' || echo './'`configSymbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/S_Theory -I../../src/BuiltIn -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libobjectSystem_a-objectSystemRewritingContext.o `test -f 'objectSystemRewritingContext.cc' || echo './'`objectSystemRewritingContext.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/S_Theory -I../../src/BuiltIn -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libobjectSystem_a-externalObjectManagerSymbol.o `test -f 'externalObjectManagerSymbol.cc' || echo './'`externalObjectManagerSymbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/S_Theory -I../../src/BuiltIn -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libobjectSystem_a-socketManagerSymbol.o `test -f 'socketManagerSymbol.cc' || echo './'`socketManagerSymbol.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/S_Theory -I../../src/BuiltIn -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libobjectSystem_a-pseudoThread.o `test -f 'pseudoThread.cc' || echo './'`pseudoThread.cc arm-linux-gnueabihf-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/S_Theory -I../../src/BuiltIn -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -fdebug-prefix-map=/<>=. -fstack-protector-strong -Wformat -Werror=format-security -fpermissive -c -o libobjectSystem_a-fileManagerSymbol.o `test -f 'fileManagerSymbol.cc' || echo './'`fileManagerSymbol.cc In file included from fileManagerSymbol.cc:64: fileOutcomes.cc: In member function ‘void FileManagerSymbol::positionGotReply(Int64, FreeDagNode*, ObjectSystemRewritingContext&)’: fileOutcomes.cc:87:37: error: conversion from ‘Int64’ {aka ‘long long int’} to ‘const mpz_class’ is ambiguous 87 | reply[2] = succSymbol->makeNatDag(position); | ^~~~~~~~ In file included from ../../src/BuiltIn/succSymbol.hh:28, from fileManagerSymbol.cc:52: /usr/include/gmpxx.h:1646:3: note: candidate: ‘__gmp_expr<__mpz_struct [1], __mpz_struct [1]>::__gmp_expr(double)’ 1646 | __GMPXX_DEFINE_ARITHMETIC_CONSTRUCTORS | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/gmpxx.h:1646:3: note: candidate: ‘__gmp_expr<__mpz_struct [1], __mpz_struct [1]>::__gmp_expr(float)’ 1646 | __GMPXX_DEFINE_ARITHMETIC_CONSTRUCTORS | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/gmpxx.h:1646:3: note: candidate: ‘__gmp_expr<__mpz_struct [1], __mpz_struct [1]>::__gmp_expr(long unsigned int)’ 1646 | __GMPXX_DEFINE_ARITHMETIC_CONSTRUCTORS | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/gmpxx.h:1646:3: note: candidate: ‘__gmp_expr<__mpz_struct [1], __mpz_struct [1]>::__gmp_expr(long int)’ 1646 | __GMPXX_DEFINE_ARITHMETIC_CONSTRUCTORS | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/gmpxx.h:1646:3: note: candidate: ‘__gmp_expr<__mpz_struct [1], __mpz_struct [1]>::__gmp_expr(short unsigned int)’ 1646 | __GMPXX_DEFINE_ARITHMETIC_CONSTRUCTORS | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/gmpxx.h:1646:3: note: candidate: ‘__gmp_expr<__mpz_struct [1], __mpz_struct [1]>::__gmp_expr(short int)’ 1646 | __GMPXX_DEFINE_ARITHMETIC_CONSTRUCTORS | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/gmpxx.h:1646:3: note: candidate: ‘__gmp_expr<__mpz_struct [1], __mpz_struct [1]>::__gmp_expr(unsigned int)’ 1646 | __GMPXX_DEFINE_ARITHMETIC_CONSTRUCTORS | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/gmpxx.h:1646:3: note: candidate: ‘__gmp_expr<__mpz_struct [1], __mpz_struct [1]>::__gmp_expr(int)’ 1646 | __GMPXX_DEFINE_ARITHMETIC_CONSTRUCTORS | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/gmpxx.h:1646:3: note: candidate: ‘__gmp_expr<__mpz_struct [1], __mpz_struct [1]>::__gmp_expr(unsigned char)’ 1646 | __GMPXX_DEFINE_ARITHMETIC_CONSTRUCTORS | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /usr/include/gmpxx.h:1646:3: note: candidate: ‘__gmp_expr<__mpz_struct [1], __mpz_struct [1]>::__gmp_expr(signed char)’ 1646 | __GMPXX_DEFINE_ARITHMETIC_CONSTRUCTORS | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from fileManagerSymbol.cc:52: ../../src/BuiltIn/succSymbol.hh:53:40: note: initializing argument 1 of ‘DagNode* SuccSymbol::makeNatDag(const mpz_class&)’ 53 | DagNode* makeNatDag(const mpz_class& nat); | ~~~~~~~~~~~~~~~~~^~~ make[5]: *** [Makefile:514: libobjectSystem_a-fileManagerSymbol.o] Error 1 make[5]: Leaving directory '/<>/src/ObjectSystem' make[4]: *** [Makefile:360: all-recursive] Error 1 make[4]: Leaving directory '/<>/src' make[3]: *** [Makefile:377: all-recursive] Error 1 make[3]: Leaving directory '/<>' make[2]: *** [Makefile:318: all] Error 2 make[2]: Leaving directory '/<>' dh_auto_build: error: make -j1 returned exit code 2 make[1]: *** [debian/rules:18: override_dh_auto_build] Error 25 make[1]: Leaving directory '/<>' make: *** [debian/rules:7: binary-arch] Error 2 dpkg-buildpackage: error: debian/rules binary-arch subprocess returned exit status 2 -------------------------------------------------------------------------------- Build finished at 2020-11-12T05:13:18Z Finished -------- +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not cleaning session: cloned chroot in use E: Build failure (dpkg-buildpackage died) +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Profiles: cross nocheck Build Type: any Build-Space: 104060 Build-Time: 276 Distribution: unstable Fail-Stage: build Foreign Architectures: armhf Host Architecture: armhf Install-Time: 33 Job: maude_3.1-1 Machine Architecture: amd64 Package: maude Package-Time: 323 Source-Version: 3.1-1 Space: 104060 Status: attempted Version: 3.1-1 -------------------------------------------------------------------------------- Finished at 2020-11-12T05:13:18Z Build needed 00:05:23, 104060k disk space