Wed Jun 10 09:10:17 UTC 2020 I: starting to build maude/buster/armhf on jenkins on '2020-06-10 09:09' Wed Jun 10 09:10:17 UTC 2020 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/armhf_35/101/console.log Wed Jun 10 09:10:17 UTC 2020 I: Downloading source for buster/maude=2.7-2 --2020-06-10 09:10:17-- http://deb.debian.org/debian/pool/main/m/maude/maude_2.7-2.dsc Connecting to 78.137.99.97:3128... connected. Proxy request sent, awaiting response... 200 OK Length: 2007 (2.0K) Saving to: ‘maude_2.7-2.dsc’ 0K . 100% 224M=0s 2020-06-10 09:10:17 (224 MB/s) - ‘maude_2.7-2.dsc’ saved [2007/2007] Wed Jun 10 09:10:17 UTC 2020 I: maude_2.7-2.dsc -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: maude Binary: maude Architecture: any Version: 2.7-2 Maintainer: Debian Med Packaging Team Uploaders: Scott Christley , Andreas Tille Homepage: http://maude.cs.uiuc.edu Standards-Version: 3.9.7 Vcs-Browser: https://anonscm.debian.org/cgit/debian-med/maude.git Vcs-Git: https://anonscm.debian.org/git/debian-med/maude.git Build-Depends: debhelper (>= 9), autotools-dev, libtecla-dev, libbdd-dev, libgmp3-dev, libsigsegv-dev, bison, flex (>= 2.5.36), libncurses5-dev Package-List: maude deb science optional arch=any Checksums-Sha1: 9d73146e1a21b35f8ba46f069fc63f06c434a3ce 1663708 maude_2.7.orig.tar.gz 9bfd10cae003ab253fe1c1db65a379471a1c7472 6736 maude_2.7-2.debian.tar.xz Checksums-Sha256: f5da81556c3180aee6a9cf4cef2f0b9bb2ff3b7fcc7bb103cb4ac3f5770b2b89 1663708 maude_2.7.orig.tar.gz 96c7c7a8998ad199cbb87b3bcece2ee191a4b5969061173359cabe6c8965b6be 6736 maude_2.7-2.debian.tar.xz Files: 95a4e744d5032d7839181c714e6cf8cb 1663708 maude_2.7.orig.tar.gz a251a737c7d0b0e8992fc51f7b2409c8 6736 maude_2.7-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJXA3z3AAoJEFeKBJTRxkbRBoQQAJZOlc/7N/IHYUlVnAHqpXa0 Bnrxa+mGvOwBKndNccTDkqWPV9z97w4EriEfPEp70SdQZYdAMXVsEWB0tKX+gjGp 0nvaYKaZjK9ewdNBMhBU974ub1/aWYtllJ9tzQ4CKTEX6SdCxK8AKHg+hdI1cLaB axGWua/ECk+HYOTogW/rDctOzy3jlnsGbCi4M/FbyKnYSjBSq4j4nE8Qa0IyXdOk fN49pDIPmjohfCs5Jb8gTGfwgBsiWyM1pH9A2YBeiSgnwDbPtydyQQCC6ujFfwA/ RjoOGgDG7B91WZPIqQHzkd0NLqXrCOFebBhgT3nPslWJxOkt1ycvAUrB8fOJKs4z rPmwCS49aLaHJ+QCAWvmitrKshjn2RKMHuDgQfWv3Y/urmpOopJf8hfiV2xhzGpH mhRbzBQd4hPV/9ZH8r/WFHeD596VCgYX3gYTgXgTQvsFmTPAoSywaplLSYscKUd4 pPOQDdtj4k6kYfD3ByPy17vam5yB4BJj6SzOyB/bK7Gbx4tua4wmOHCPWV2AnljX RmPgUpxxxpsUI2D/JGxdaDBvV491Tqugj2BbgcLsiNquEVMG2HPnAW6QwyvqSJKp u/abD9JoU0M8qk3buQu/F3BHwEiVTlK3zf3/gU+VeoRnZ4STKm2N8oKqBr3o0q7F b9AwTZMLXctcIqPy/JKu =Tt7A -----END PGP SIGNATURE----- Wed Jun 10 09:10:17 UTC 2020 I: Checking whether the package is not for us Wed Jun 10 09:10:17 UTC 2020 I: Starting 1st build on remote node p64b-armhf-rb.debian.net. Wed Jun 10 09:10:17 UTC 2020 I: Preparing to do remote build '1' on p64b-armhf-rb.debian.net. Wed Jun 10 09:50:46 UTC 2020 I: Deleting $TMPDIR on p64b-armhf-rb.debian.net. I: pbuilder: network access will be disabled during build I: Current time: Tue Jun 9 21:10:30 -12 2020 I: pbuilder-time-stamp: 1591780230 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/buster-reproducible-base.tgz] I: copying local configuration I: mounting /proc filesystem I: mounting /sys filesystem I: creating /{dev,run}/shm I: mounting /dev/pts filesystem I: redirecting /dev/ptmx to /dev/pts/ptmx I: policy-rc.d already exists I: Copying source file I: copying [maude_2.7-2.dsc] I: copying [./maude_2.7.orig.tar.gz] I: copying [./maude_2.7-2.debian.tar.xz] I: Extracting source gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/root/.gnupg/trustedkeys.kbx': General error gpgv: Signature made Mon Apr 4 20:53:11 2016 -12 gpgv: using RSA key 578A0494D1C646D1 gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./maude_2.7-2.dsc dpkg-source: info: extracting maude in maude-2.7 dpkg-source: info: unpacking maude_2.7.orig.tar.gz dpkg-source: info: unpacking maude_2.7-2.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying search-datadir.patch dpkg-source: info: applying bison-parse-param.patch dpkg-source: info: applying getinput-size_t.patch dpkg-source: info: applying strip-build-date.patch I: using fakeroot in build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/17313/tmp/hooks/D02_print_environment starting I: set BUILDDIR='/build' BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' BUILDUSERNAME='pbuilder1' BUILD_ARCH='armhf' DEBIAN_FRONTEND='noninteractive' DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=3' DISTRIBUTION='' HOME='/root' HOST_ARCH='armhf' IFS=' ' INVOCATION_ID='a669e9253b36406097639e44add28aa6' LANG='C' LANGUAGE='en_US:en' LC_ALL='C' MAIL='/var/mail/root' OPTIND='1' PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' PBCURRENTCOMMANDLINEOPERATION='build' PBUILDER_OPERATION='build' PBUILDER_PKGDATADIR='/usr/share/pbuilder' PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' PBUILDER_SYSCONFDIR='/etc' PPID='17313' PS1='# ' PS2='> ' PS4='+ ' PWD='/' SHELL='/bin/bash' SHLVL='2' SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/tmp.s41i4J5KIv/pbuilderrc_Jm6x --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/buster-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.s41i4J5KIv/b1 --logfile b1/build.log maude_2.7-2.dsc' SUDO_GID='115' SUDO_UID='110' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' _='/usr/bin/systemd-run' http_proxy='http://10.0.0.15:8000/' I: uname -a Linux p64b 4.19.0-9-arm64 #1 SMP Debian 4.19.118-2 (2020-04-29) aarch64 GNU/Linux I: ls -l /bin total 3328 -rwxr-xr-x 1 root root 767656 Apr 17 2019 bash -rwxr-xr-x 3 root root 26052 Jul 10 2019 bunzip2 -rwxr-xr-x 3 root root 26052 Jul 10 2019 bzcat lrwxrwxrwx 1 root root 6 Jul 10 2019 bzcmp -> bzdiff -rwxr-xr-x 1 root root 2227 Jul 10 2019 bzdiff lrwxrwxrwx 1 root root 6 Jul 10 2019 bzegrep -> bzgrep -rwxr-xr-x 1 root root 4877 Jun 24 2019 bzexe lrwxrwxrwx 1 root root 6 Jul 10 2019 bzfgrep -> bzgrep -rwxr-xr-x 1 root root 3641 Jul 10 2019 bzgrep -rwxr-xr-x 3 root root 26052 Jul 10 2019 bzip2 -rwxr-xr-x 1 root root 9636 Jul 10 2019 bzip2recover lrwxrwxrwx 1 root root 6 Jul 10 2019 bzless -> bzmore -rwxr-xr-x 1 root root 1297 Jul 10 2019 bzmore -rwxr-xr-x 1 root root 22432 Feb 28 2019 cat -rwxr-xr-x 1 root root 38868 Feb 28 2019 chgrp -rwxr-xr-x 1 root root 38836 Feb 28 2019 chmod -rwxr-xr-x 1 root root 42972 Feb 28 2019 chown -rwxr-xr-x 1 root root 88376 Feb 28 2019 cp -rwxr-xr-x 1 root root 75516 Jan 17 2019 dash -rwxr-xr-x 1 root root 71648 Feb 28 2019 date -rwxr-xr-x 1 root root 51212 Feb 28 2019 dd -rwxr-xr-x 1 root root 55672 Feb 28 2019 df -rwxr-xr-x 1 root root 88444 Feb 28 2019 dir -rwxr-xr-x 1 root root 54872 Jan 9 2019 dmesg lrwxrwxrwx 1 root root 8 Sep 26 2018 dnsdomainname -> hostname lrwxrwxrwx 1 root root 8 Sep 26 2018 domainname -> hostname -rwxr-xr-x 1 root root 22364 Feb 28 2019 echo -rwxr-xr-x 1 root root 28 Jan 7 2019 egrep -rwxr-xr-x 1 root root 18260 Feb 28 2019 false -rwxr-xr-x 1 root root 28 Jan 7 2019 fgrep -rwxr-xr-x 1 root root 47356 Jan 9 2019 findmnt -rwsr-xr-x 1 root root 21980 Apr 22 07:38 fusermount -rwxr-xr-x 1 root root 124508 Jan 7 2019 grep -rwxr-xr-x 2 root root 2345 Jan 5 2019 gunzip -rwxr-xr-x 1 root root 6375 Jan 5 2019 gzexe -rwxr-xr-x 1 root root 64232 Jan 5 2019 gzip -rwxr-xr-x 1 root root 13784 Sep 26 2018 hostname -rwxr-xr-x 1 root root 43044 Feb 28 2019 ln -rwxr-xr-x 1 root root 34932 Jul 26 2018 login -rwxr-xr-x 1 root root 88444 Feb 28 2019 ls -rwxr-xr-x 1 root root 67036 Jan 9 2019 lsblk -rwxr-xr-x 1 root root 47168 Feb 28 2019 mkdir -rwxr-xr-x 1 root root 43040 Feb 28 2019 mknod -rwxr-xr-x 1 root root 26552 Feb 28 2019 mktemp -rwxr-xr-x 1 root root 26024 Jan 9 2019 more -rwsr-xr-x 1 root root 34268 Jan 9 2019 mount -rwxr-xr-x 1 root root 9688 Jan 9 2019 mountpoint -rwxr-xr-x 1 root root 84284 Feb 28 2019 mv lrwxrwxrwx 1 root root 8 Sep 26 2018 nisdomainname -> hostname lrwxrwxrwx 1 root root 14 Feb 14 2019 pidof -> /sbin/killall5 -rwxr-xr-x 1 root root 22416 Feb 28 2019 pwd lrwxrwxrwx 1 root root 4 Apr 17 2019 rbash -> bash -rwxr-xr-x 1 root root 26504 Feb 28 2019 readlink -rwxr-xr-x 1 root root 42968 Feb 28 2019 rm -rwxr-xr-x 1 root root 26496 Feb 28 2019 rmdir -rwxr-xr-x 1 root root 14136 Jan 21 2019 run-parts -rwxr-xr-x 1 root root 76012 Dec 22 2018 sed lrwxrwxrwx 1 root root 4 Jun 9 20:26 sh -> dash -rwxr-xr-x 1 root root 22384 Feb 28 2019 sleep -rwxr-xr-x 1 root root 51124 Feb 28 2019 stty -rwsr-xr-x 1 root root 42472 Jan 9 2019 su -rwxr-xr-x 1 root root 22392 Feb 28 2019 sync -rwxr-xr-x 1 root root 283324 Apr 23 2019 tar -rwxr-xr-x 1 root root 9808 Jan 21 2019 tempfile -rwxr-xr-x 1 root root 63464 Feb 28 2019 touch -rwxr-xr-x 1 root root 18260 Feb 28 2019 true -rwxr-xr-x 1 root root 9636 Apr 22 07:38 ulockmgr_server -rwsr-xr-x 1 root root 21976 Jan 9 2019 umount -rwxr-xr-x 1 root root 22380 Feb 28 2019 uname -rwxr-xr-x 2 root root 2345 Jan 5 2019 uncompress -rwxr-xr-x 1 root root 88444 Feb 28 2019 vdir -rwxr-xr-x 1 root root 21980 Jan 9 2019 wdctl -rwxr-xr-x 1 root root 946 Jan 21 2019 which lrwxrwxrwx 1 root root 8 Sep 26 2018 ypdomainname -> hostname -rwxr-xr-x 1 root root 1983 Jan 5 2019 zcat -rwxr-xr-x 1 root root 1677 Jan 5 2019 zcmp -rwxr-xr-x 1 root root 5879 Jan 5 2019 zdiff -rwxr-xr-x 1 root root 29 Jan 5 2019 zegrep -rwxr-xr-x 1 root root 29 Jan 5 2019 zfgrep -rwxr-xr-x 1 root root 2080 Jan 5 2019 zforce -rwxr-xr-x 1 root root 7584 Jan 5 2019 zgrep -rwxr-xr-x 1 root root 2205 Jan 5 2019 zless -rwxr-xr-x 1 root root 1841 Jan 5 2019 zmore -rwxr-xr-x 1 root root 4552 Jan 5 2019 znew I: user script /srv/workspace/pbuilder/17313/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: armhf Maintainer: Debian Pbuilder Team Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. Depends: debhelper (>= 9), autotools-dev, libtecla-dev, libbdd-dev, libgmp3-dev, libsigsegv-dev, bison, flex (>= 2.5.36), libncurses5-dev dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 18932 files and directories currently installed.) Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ... Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ... dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested: pbuilder-satisfydepends-dummy depends on debhelper (>= 9); however: Package debhelper is not installed. pbuilder-satisfydepends-dummy depends on autotools-dev; however: Package autotools-dev is not installed. pbuilder-satisfydepends-dummy depends on libtecla-dev; however: Package libtecla-dev is not installed. pbuilder-satisfydepends-dummy depends on libbdd-dev; however: Package libbdd-dev is not installed. pbuilder-satisfydepends-dummy depends on libgmp3-dev; however: Package libgmp3-dev is not installed. pbuilder-satisfydepends-dummy depends on libsigsegv-dev; however: Package libsigsegv-dev is not installed. pbuilder-satisfydepends-dummy depends on bison; however: Package bison is not installed. pbuilder-satisfydepends-dummy depends on flex (>= 2.5.36); however: Package flex is not installed. pbuilder-satisfydepends-dummy depends on libncurses5-dev; however: Package libncurses5-dev is not installed. Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ... Reading package lists... Building dependency tree... Reading state information... Initializing package states... Writing extended state information... Building tag database... pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) The following NEW packages will be installed: autoconf{a} automake{a} autopoint{a} autotools-dev{a} bison{a} bsdmainutils{a} debhelper{a} dh-autoreconf{a} dh-strip-nondeterminism{a} dwz{a} file{a} flex{a} gettext{a} gettext-base{a} groff-base{a} intltool-debian{a} libarchive-zip-perl{a} libbdd-dev{a} libbdd0c2{a} libbison-dev{a} libbsd0{a} libcroco3{a} libelf1{a} libfile-stripnondeterminism-perl{a} libglib2.0-0{a} libgmp-dev{a} libgmp3-dev{a} libgmpxx4ldbl{a} libicu63{a} libmagic-mgc{a} libmagic1{a} libncurses-dev{a} libncurses5-dev{a} libncurses6{a} libpipeline1{a} libsigsegv-dev{a} libsigsegv2{a} libtecla-dev{a} libtecla1{a} libtool{a} libuchardet0{a} libxml2{a} m4{a} man-db{a} po-debconf{a} sensible-utils{a} The following packages are RECOMMENDED but will NOT be installed: curl libarchive-cpio-perl libfl-dev libglib2.0-data libgpm2 libltdl-dev libmail-sendmail-perl lynx shared-mime-info wget xdg-user-dirs 0 packages upgraded, 46 newly installed, 0 to remove and 0 not upgraded. Need to get 21.7 MB of archives. After unpacking 71.7 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian buster/main armhf libbsd0 armhf 0.9.1-2 [103 kB] Get: 2 http://deb.debian.org/debian buster/main armhf bsdmainutils armhf 11.1.2+b1 [186 kB] Get: 3 http://deb.debian.org/debian buster/main armhf libuchardet0 armhf 0.0.6-3 [62.2 kB] Get: 4 http://deb.debian.org/debian buster/main armhf groff-base armhf 1.22.4-3 [828 kB] Get: 5 http://deb.debian.org/debian buster/main armhf libpipeline1 armhf 1.5.1-2 [26.8 kB] Get: 6 http://deb.debian.org/debian buster/main armhf man-db armhf 2.8.5-2 [1240 kB] Get: 7 http://deb.debian.org/debian buster/main armhf libsigsegv2 armhf 2.12-2 [32.1 kB] Get: 8 http://deb.debian.org/debian buster/main armhf m4 armhf 1.4.18-2 [190 kB] Get: 9 http://deb.debian.org/debian buster/main armhf flex armhf 2.6.4-6.2 [438 kB] Get: 10 http://deb.debian.org/debian buster/main armhf sensible-utils all 0.0.12 [15.8 kB] Get: 11 http://deb.debian.org/debian buster/main armhf libmagic-mgc armhf 1:5.35-4+deb10u1 [242 kB] Get: 12 http://deb.debian.org/debian buster/main armhf libmagic1 armhf 1:5.35-4+deb10u1 [110 kB] Get: 13 http://deb.debian.org/debian buster/main armhf file armhf 1:5.35-4+deb10u1 [65.5 kB] Get: 14 http://deb.debian.org/debian buster/main armhf gettext-base armhf 0.19.8.1-9 [118 kB] Get: 15 http://deb.debian.org/debian buster/main armhf autoconf all 2.69-11 [341 kB] Get: 16 http://deb.debian.org/debian buster/main armhf autotools-dev all 20180224.1 [77.0 kB] Get: 17 http://deb.debian.org/debian buster/main armhf automake all 1:1.16.1-4 [771 kB] Get: 18 http://deb.debian.org/debian buster/main armhf autopoint all 0.19.8.1-9 [434 kB] Get: 19 http://deb.debian.org/debian buster/main armhf libbison-dev armhf 2:3.3.2.dfsg-1 [500 kB] Get: 20 http://deb.debian.org/debian buster/main armhf bison armhf 2:3.3.2.dfsg-1 [848 kB] Get: 21 http://deb.debian.org/debian buster/main armhf libtool all 2.4.6-9 [547 kB] Get: 22 http://deb.debian.org/debian buster/main armhf dh-autoreconf all 19 [16.9 kB] Get: 23 http://deb.debian.org/debian buster/main armhf libarchive-zip-perl all 1.64-1 [96.8 kB] Get: 24 http://deb.debian.org/debian buster/main armhf libfile-stripnondeterminism-perl all 1.1.2-1 [19.8 kB] Get: 25 http://deb.debian.org/debian buster/main armhf dh-strip-nondeterminism all 1.1.2-1 [13.0 kB] Get: 26 http://deb.debian.org/debian buster/main armhf libelf1 armhf 0.176-1.1 [158 kB] Get: 27 http://deb.debian.org/debian buster/main armhf dwz armhf 0.12-3 [72.0 kB] Get: 28 http://deb.debian.org/debian buster/main armhf libglib2.0-0 armhf 2.58.3-2+deb10u2 [1101 kB] Get: 29 http://deb.debian.org/debian buster/main armhf libicu63 armhf 63.1-6+deb10u1 [8005 kB] Get: 30 http://deb.debian.org/debian buster/main armhf libxml2 armhf 2.9.4+dfsg1-7+b3 [595 kB] Get: 31 http://deb.debian.org/debian buster/main armhf libcroco3 armhf 0.6.12-3 [133 kB] Get: 32 http://deb.debian.org/debian buster/main armhf libncurses6 armhf 6.1+20181013-2+deb10u2 [79.8 kB] Get: 33 http://deb.debian.org/debian buster/main armhf gettext armhf 0.19.8.1-9 [1242 kB] Get: 34 http://deb.debian.org/debian buster/main armhf intltool-debian all 0.35.0+20060710.5 [26.8 kB] Get: 35 http://deb.debian.org/debian buster/main armhf po-debconf all 1.0.21 [248 kB] Get: 36 http://deb.debian.org/debian buster/main armhf debhelper all 12.1.1 [1016 kB] Get: 37 http://deb.debian.org/debian buster/main armhf libbdd0c2 armhf 2.4-11+b1 [47.9 kB] Get: 38 http://deb.debian.org/debian buster/main armhf libbdd-dev armhf 2.4-11+b1 [452 kB] Get: 39 http://deb.debian.org/debian buster/main armhf libgmpxx4ldbl armhf 2:6.1.2+dfsg-4 [21.7 kB] Get: 40 http://deb.debian.org/debian buster/main armhf libgmp-dev armhf 2:6.1.2+dfsg-4 [581 kB] Get: 41 http://deb.debian.org/debian buster/main armhf libgmp3-dev armhf 2:6.1.2+dfsg-4 [15.7 kB] Get: 42 http://deb.debian.org/debian buster/main armhf libncurses-dev armhf 6.1+20181013-2+deb10u2 [295 kB] Get: 43 http://deb.debian.org/debian buster/main armhf libncurses5-dev armhf 6.1+20181013-2+deb10u2 [948 B] Get: 44 http://deb.debian.org/debian buster/main armhf libsigsegv-dev armhf 2.12-2 [26.0 kB] Get: 45 http://deb.debian.org/debian buster/main armhf libtecla1 armhf 1.6.3-2.1 [89.3 kB] Get: 46 http://deb.debian.org/debian buster/main armhf libtecla-dev armhf 1.6.3-2.1 [182 kB] Fetched 21.7 MB in 15s (1414 kB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libbsd0:armhf. (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 ... 18932 files and directories currently installed.) Preparing to unpack .../00-libbsd0_0.9.1-2_armhf.deb ... Unpacking libbsd0:armhf (0.9.1-2) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../01-bsdmainutils_11.1.2+b1_armhf.deb ... Unpacking bsdmainutils (11.1.2+b1) ... Selecting previously unselected package libuchardet0:armhf. Preparing to unpack .../02-libuchardet0_0.0.6-3_armhf.deb ... Unpacking libuchardet0:armhf (0.0.6-3) ... Selecting previously unselected package groff-base. Preparing to unpack .../03-groff-base_1.22.4-3_armhf.deb ... Unpacking groff-base (1.22.4-3) ... Selecting previously unselected package libpipeline1:armhf. Preparing to unpack .../04-libpipeline1_1.5.1-2_armhf.deb ... Unpacking libpipeline1:armhf (1.5.1-2) ... Selecting previously unselected package man-db. Preparing to unpack .../05-man-db_2.8.5-2_armhf.deb ... Unpacking man-db (2.8.5-2) ... Selecting previously unselected package libsigsegv2:armhf. Preparing to unpack .../06-libsigsegv2_2.12-2_armhf.deb ... Unpacking libsigsegv2:armhf (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../07-m4_1.4.18-2_armhf.deb ... Unpacking m4 (1.4.18-2) ... Selecting previously unselected package flex. Preparing to unpack .../08-flex_2.6.4-6.2_armhf.deb ... Unpacking flex (2.6.4-6.2) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../09-sensible-utils_0.0.12_all.deb ... Unpacking sensible-utils (0.0.12) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../10-libmagic-mgc_1%3a5.35-4+deb10u1_armhf.deb ... Unpacking libmagic-mgc (1:5.35-4+deb10u1) ... Selecting previously unselected package libmagic1:armhf. Preparing to unpack .../11-libmagic1_1%3a5.35-4+deb10u1_armhf.deb ... Unpacking libmagic1:armhf (1:5.35-4+deb10u1) ... Selecting previously unselected package file. Preparing to unpack .../12-file_1%3a5.35-4+deb10u1_armhf.deb ... Unpacking file (1:5.35-4+deb10u1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../13-gettext-base_0.19.8.1-9_armhf.deb ... Unpacking gettext-base (0.19.8.1-9) ... Selecting previously unselected package autoconf. Preparing to unpack .../14-autoconf_2.69-11_all.deb ... Unpacking autoconf (2.69-11) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../15-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../16-automake_1%3a1.16.1-4_all.deb ... Unpacking automake (1:1.16.1-4) ... Selecting previously unselected package autopoint. Preparing to unpack .../17-autopoint_0.19.8.1-9_all.deb ... Unpacking autopoint (0.19.8.1-9) ... Selecting previously unselected package libbison-dev:armhf. Preparing to unpack .../18-libbison-dev_2%3a3.3.2.dfsg-1_armhf.deb ... Unpacking libbison-dev:armhf (2:3.3.2.dfsg-1) ... Selecting previously unselected package bison. Preparing to unpack .../19-bison_2%3a3.3.2.dfsg-1_armhf.deb ... Unpacking bison (2:3.3.2.dfsg-1) ... Selecting previously unselected package libtool. Preparing to unpack .../20-libtool_2.4.6-9_all.deb ... Unpacking libtool (2.4.6-9) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../21-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../22-libarchive-zip-perl_1.64-1_all.deb ... Unpacking libarchive-zip-perl (1.64-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../23-libfile-stripnondeterminism-perl_1.1.2-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.1.2-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../24-dh-strip-nondeterminism_1.1.2-1_all.deb ... Unpacking dh-strip-nondeterminism (1.1.2-1) ... Selecting previously unselected package libelf1:armhf. Preparing to unpack .../25-libelf1_0.176-1.1_armhf.deb ... Unpacking libelf1:armhf (0.176-1.1) ... Selecting previously unselected package dwz. Preparing to unpack .../26-dwz_0.12-3_armhf.deb ... Unpacking dwz (0.12-3) ... Selecting previously unselected package libglib2.0-0:armhf. Preparing to unpack .../27-libglib2.0-0_2.58.3-2+deb10u2_armhf.deb ... Unpacking libglib2.0-0:armhf (2.58.3-2+deb10u2) ... Selecting previously unselected package libicu63:armhf. Preparing to unpack .../28-libicu63_63.1-6+deb10u1_armhf.deb ... Unpacking libicu63:armhf (63.1-6+deb10u1) ... Selecting previously unselected package libxml2:armhf. Preparing to unpack .../29-libxml2_2.9.4+dfsg1-7+b3_armhf.deb ... Unpacking libxml2:armhf (2.9.4+dfsg1-7+b3) ... Selecting previously unselected package libcroco3:armhf. Preparing to unpack .../30-libcroco3_0.6.12-3_armhf.deb ... Unpacking libcroco3:armhf (0.6.12-3) ... Selecting previously unselected package libncurses6:armhf. Preparing to unpack .../31-libncurses6_6.1+20181013-2+deb10u2_armhf.deb ... Unpacking libncurses6:armhf (6.1+20181013-2+deb10u2) ... Selecting previously unselected package gettext. Preparing to unpack .../32-gettext_0.19.8.1-9_armhf.deb ... Unpacking gettext (0.19.8.1-9) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../33-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 .../34-po-debconf_1.0.21_all.deb ... Unpacking po-debconf (1.0.21) ... Selecting previously unselected package debhelper. Preparing to unpack .../35-debhelper_12.1.1_all.deb ... Unpacking debhelper (12.1.1) ... Selecting previously unselected package libbdd0c2. Preparing to unpack .../36-libbdd0c2_2.4-11+b1_armhf.deb ... Unpacking libbdd0c2 (2.4-11+b1) ... Selecting previously unselected package libbdd-dev. Preparing to unpack .../37-libbdd-dev_2.4-11+b1_armhf.deb ... Unpacking libbdd-dev (2.4-11+b1) ... Selecting previously unselected package libgmpxx4ldbl:armhf. Preparing to unpack .../38-libgmpxx4ldbl_2%3a6.1.2+dfsg-4_armhf.deb ... Unpacking libgmpxx4ldbl:armhf (2:6.1.2+dfsg-4) ... Selecting previously unselected package libgmp-dev:armhf. Preparing to unpack .../39-libgmp-dev_2%3a6.1.2+dfsg-4_armhf.deb ... Unpacking libgmp-dev:armhf (2:6.1.2+dfsg-4) ... Selecting previously unselected package libgmp3-dev:armhf. Preparing to unpack .../40-libgmp3-dev_2%3a6.1.2+dfsg-4_armhf.deb ... Unpacking libgmp3-dev:armhf (2:6.1.2+dfsg-4) ... Selecting previously unselected package libncurses-dev:armhf. Preparing to unpack .../41-libncurses-dev_6.1+20181013-2+deb10u2_armhf.deb ... Unpacking libncurses-dev:armhf (6.1+20181013-2+deb10u2) ... Selecting previously unselected package libncurses5-dev:armhf. Preparing to unpack .../42-libncurses5-dev_6.1+20181013-2+deb10u2_armhf.deb ... Unpacking libncurses5-dev:armhf (6.1+20181013-2+deb10u2) ... Selecting previously unselected package libsigsegv-dev:armhf. Preparing to unpack .../43-libsigsegv-dev_2.12-2_armhf.deb ... Unpacking libsigsegv-dev:armhf (2.12-2) ... Selecting previously unselected package libtecla1. Preparing to unpack .../44-libtecla1_1.6.3-2.1_armhf.deb ... Unpacking libtecla1 (1.6.3-2.1) ... Selecting previously unselected package libtecla-dev. Preparing to unpack .../45-libtecla-dev_1.6.3-2.1_armhf.deb ... Unpacking libtecla-dev (1.6.3-2.1) ... Setting up libpipeline1:armhf (1.5.1-2) ... Setting up libbison-dev:armhf (2:3.3.2.dfsg-1) ... Setting up libtecla1 (1.6.3-2.1) ... Setting up libmagic-mgc (1:5.35-4+deb10u1) ... Setting up libarchive-zip-perl (1.64-1) ... Setting up libglib2.0-0:armhf (2.58.3-2+deb10u2) ... No schema files found: doing nothing. Setting up libmagic1:armhf (1:5.35-4+deb10u1) ... Setting up gettext-base (0.19.8.1-9) ... Setting up file (1:5.35-4+deb10u1) ... Setting up libicu63:armhf (63.1-6+deb10u1) ... Setting up libbdd0c2 (2.4-11+b1) ... Setting up autotools-dev (20180224.1) ... Setting up libgmpxx4ldbl:armhf (2:6.1.2+dfsg-4) ... Setting up libncurses6:armhf (6.1+20181013-2+deb10u2) ... Setting up libsigsegv2:armhf (2.12-2) ... Setting up autopoint (0.19.8.1-9) ... Setting up sensible-utils (0.0.12) ... Setting up libtecla-dev (1.6.3-2.1) ... Setting up libuchardet0:armhf (0.0.6-3) ... Setting up libbsd0:armhf (0.9.1-2) ... Setting up libelf1:armhf (0.176-1.1) ... Setting up libxml2:armhf (2.9.4+dfsg1-7+b3) ... Setting up libfile-stripnondeterminism-perl (1.1.2-1) ... Setting up libncurses-dev:armhf (6.1+20181013-2+deb10u2) ... Setting up libgmp-dev:armhf (2:6.1.2+dfsg-4) ... Setting up libtool (2.4.6-9) ... Setting up libsigsegv-dev:armhf (2.12-2) ... Setting up m4 (1.4.18-2) ... Setting up libbdd-dev (2.4-11+b1) ... Setting up bsdmainutils (11.1.2+b1) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up libcroco3:armhf (0.6.12-3) ... Setting up autoconf (2.69-11) ... Setting up dwz (0.12-3) ... Setting up groff-base (1.22.4-3) ... Setting up libgmp3-dev:armhf (2:6.1.2+dfsg-4) ... Setting up libncurses5-dev:armhf (6.1+20181013-2+deb10u2) ... Setting up bison (2:3.3.2.dfsg-1) ... update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode Setting up automake (1:1.16.1-4) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up flex (2.6.4-6.2) ... Setting up gettext (0.19.8.1-9) ... Setting up man-db (2.8.5-2) ... Not building database; man-db/auto-update is not 'true'. Setting up intltool-debian (0.35.0+20060710.5) ... Setting up po-debconf (1.0.21) ... Setting up debhelper (12.1.1) ... Setting up dh-autoreconf (19) ... Setting up dh-strip-nondeterminism (1.1.2-1) ... Processing triggers for libc-bin (2.28-10) ... Reading package lists... Building dependency tree... Reading state information... Reading extended state information... Initializing package states... Writing extended state information... Building tag database... -> Finished parsing the build-deps Reading package lists... Building dependency tree... Reading state information... fakeroot is already the newest version (1.23-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: Building the package I: Running cd /build/maude-2.7/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b dpkg-buildpackage: info: source package maude dpkg-buildpackage: info: source version 2.7-2 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Andreas Tille dpkg-source --before-build . dpkg-buildpackage: info: host architecture armhf fakeroot debian/rules clean dh clean --with autotools_dev dh: The autotools-dev sequence is deprecated and replaced by dh in debhelper (>= 9.20160115) dh: This feature will be removed in compat 12. debian/rules override_dh_auto_clean make[1]: Entering directory '/build/maude-2.7' dh_auto_clean rm -f src/Mixfix/surface.output find tests -name "*.out" -type f -delete make[1]: Leaving directory '/build/maude-2.7' dh_autotools-dev_restoreconfig dh_autotools-dev_restoreconfig: dh_autotools-dev_restoreconfig is deprecated; please see dh_autotools-dev_restoreconfig(1) for a replacement dh_autotools-dev_restoreconfig: This feature will be removed in compat 12. for c_g in `find . -type f -name config.guess` ; do if test -e "$c_g.dh-orig" ; then mv -f "$c_g.dh-orig" "$c_g" ; fi ; done for c_s in `find . -type f -name config.sub` ; do if test -e "$c_s.dh-orig" ; then mv -f "$c_s.dh-orig" "$c_s" ; fi ; done find . -type f \( -name config.guess.dh-orig -o -name config.sub.dh-orig \) -delete dh_clean rm -f debian/debhelper-build-stamp rm -rf debian/.debhelper/ rm -f debian/maude.debhelper.log 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 build dh build --with autotools_dev dh: The autotools-dev sequence is deprecated and replaced by dh in debhelper (>= 9.20160115) dh: This feature will be removed in compat 12. dh_update_autotools_config 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_autotools-dev_updateconfig dh_autotools-dev_updateconfig: dh_autotools-dev_updateconfig is deprecated; please see dh_autotools-dev_updateconfig(1) for a replacement dh_autotools-dev_updateconfig: This feature will be removed in compat 12. for c_g in `find -type f -name config.guess` ; do if ! test -e "$c_g.dh-orig" ; then mv -f "$c_g" "$c_g.dh-orig" ; cp -f /usr/share/misc/config.guess "$c_g" ; fi ; done for c_s in `find -type f -name config.sub` ; do if ! test -e "$c_s.dh-orig" ; then mv -f "$c_s" "$c_s.dh-orig" ; cp -f /usr/share/misc/config.sub "$c_s" ; fi ; done debian/rules override_dh_auto_configure make[1]: Entering directory '/build/maude-2.7' dh_auto_configure -- --datadir="/usr/share/maude" ./configure --build=arm-linux-gnueabihf --prefix=/usr --includedir=\${prefix}/include --mandir=\${prefix}/share/man --infodir=\${prefix}/share/info --sysconfdir=/etc --localstatedir=/var --disable-silent-rules --libdir=\${prefix}/lib/arm-linux-gnueabihf --libexecdir=\${prefix}/lib/arm-linux-gnueabihf --disable-maintainer-mode --disable-dependency-tracking --datadir=/usr/share/maude configure: WARNING: unrecognized options: --disable-silent-rules, --disable-maintainer-mode checking build system type... arm-unknown-linux-gnueabihf 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 a thread-safe mkdir -p... /bin/mkdir -p checking for gawk... no checking for mawk... mawk checking whether make sets $(MAKE)... yes checking for gcc... gcc checking 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... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking for style of include used by make... GNU checking dependency style of gcc... none checking for g++... g++ checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking dependency style of g++... none checking g++ compiler version... 8 checking for ranlib... ranlib checking for inet_addr in -lnsl... 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... 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 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/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/MSCP10/Makefile config.status: creating src/StrategyLanguage/Makefile config.status: creating src/Mixfix/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 config.h config.status: executing depfiles commands configure: WARNING: unrecognized options: --disable-silent-rules, --disable-maintainer-mode make[1]: Leaving directory '/build/maude-2.7' dh_auto_build make -j1 make[1]: Entering directory '/build/maude-2.7' make all-recursive make[2]: Entering directory '/build/maude-2.7' Making all in src make[3]: Entering directory '/build/maude-2.7/src' Making all in 3rdParty make[4]: Entering directory '/build/maude-2.7/src/3rdParty' make[4]: Nothing to be done for 'all'. make[4]: Leaving directory '/build/maude-2.7/src/3rdParty' Making all in Utility make[4]: Entering directory '/build/maude-2.7/src/Utility' g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libutility_a-macros.o `test -f 'macros.cc' || echo './'`macros.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libutility_a-preVector.o `test -f 'preVector.cc' || echo './'`preVector.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libutility_a-intSet.o `test -f 'intSet.cc' || echo './'`intSet.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libutility_a-pointerSet.o `test -f 'pointerSet.cc' || echo './'`pointerSet.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libutility_a-stringTable.o `test -f 'stringTable.cc' || echo './'`stringTable.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libutility_a-graph.o `test -f 'graph.cc' || echo './'`graph.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libutility_a-digraph.o `test -f 'digraph.cc' || echo './'`digraph.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libutility_a-unionFind.o `test -f 'unionFind.cc' || echo './'`unionFind.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libutility_a-diophantineSystem.o `test -f 'diophantineSystem.cc' || echo './'`diophantineSystem.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libutility_a-natSet.o `test -f 'natSet.cc' || echo './'`natSet.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libutility_a-pointerMap.o `test -f 'pointerMap.cc' || echo './'`pointerMap.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libutility_a-sequencePartition.o `test -f 'sequencePartition.cc' || echo './'`sequencePartition.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libutility_a-indent.o `test -f 'indent.cc' || echo './'`indent.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libutility_a-binBuf.o `test -f 'binBuf.cc' || echo './'`binBuf.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libutility_a-decBuf.o `test -f 'decBuf.cc' || echo './'`decBuf.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libutility_a-bddUser.o `test -f 'bddUser.cc' || echo './'`bddUser.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libutility_a-tty.o `test -f 'tty.cc' || echo './'`tty.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libutility_a-bdd.o `test -f 'bdd.cc' || echo './'`bdd.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libutility_a-timer.o `test -f 'timer.cc' || echo './'`timer.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libutility_a-ropeStuff.o `test -f 'ropeStuff.cc' || echo './'`ropeStuff.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libutility_a-mpzSystem.o `test -f 'mpzSystem.cc' || echo './'`mpzSystem.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libutility_a-intSystem.o `test -f 'intSystem.cc' || echo './'`intSystem.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libutility_a-allSat.o `test -f 'allSat.cc' || echo './'`allSat.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-ropeStuff.o libutility_a-mpzSystem.o libutility_a-intSystem.o libutility_a-allSat.o ar: `u' modifier ignored since `D' is the default (see `U') ranlib libutility.a make[4]: Leaving directory '/build/maude-2.7/src/Utility' Making all in Temporal make[4]: Entering directory '/build/maude-2.7/src/Temporal' g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libtemporal_a-logicFormula.o `test -f 'logicFormula.cc' || echo './'`logicFormula.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libtemporal_a-buchiAutomaton2.o `test -f 'buchiAutomaton2.cc' || echo './'`buchiAutomaton2.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libtemporal_a-transitionSet.o `test -f 'transitionSet.cc' || echo './'`transitionSet.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libtemporal_a-veryWeakAlternatingAutomaton.o `test -f 'veryWeakAlternatingAutomaton.cc' || echo './'`veryWeakAlternatingAutomaton.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libtemporal_a-rawTransitionSet.o `test -f 'rawTransitionSet.cc' || echo './'`rawTransitionSet.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libtemporal_a-genBuchiAutomaton.o `test -f 'genBuchiAutomaton.cc' || echo './'`genBuchiAutomaton.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -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') ranlib libtemporal.a make[4]: Leaving directory '/build/maude-2.7/src/Temporal' Making all in Interface make[4]: Entering directory '/build/maude-2.7/src/Interface' 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libinterface_a-symbol.o `test -f 'symbol.cc' || echo './'`symbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libinterface_a-binarySymbol.o `test -f 'binarySymbol.cc' || echo './'`binarySymbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libinterface_a-associativeSymbol.o `test -f 'associativeSymbol.cc' || echo './'`associativeSymbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libinterface_a-term.o `test -f 'term.cc' || echo './'`term.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libinterface_a-dagNode.o `test -f 'dagNode.cc' || echo './'`dagNode.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libinterface_a-regularInstruction.o `test -f 'regularInstruction.cc' || echo './'`regularInstruction.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libinterface_a-nonFinalInstruction.o `test -f 'nonFinalInstruction.cc' || echo './'`nonFinalInstruction.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -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') ranlib libinterface.a make[4]: Leaving directory '/build/maude-2.7/src/Interface' Making all in Core make[4]: Entering directory '/build/maude-2.7/src/Core' g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-memoryCell.o `test -f 'memoryCell.cc' || echo './'`memoryCell.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-rhsBuilder.o `test -f 'rhsBuilder.cc' || echo './'`rhsBuilder.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-termBag.o `test -f 'termBag.cc' || echo './'`termBag.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-bindingLhsAutomaton.o `test -f 'bindingLhsAutomaton.cc' || echo './'`bindingLhsAutomaton.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-trivialRhsAutomaton.o `test -f 'trivialRhsAutomaton.cc' || echo './'`trivialRhsAutomaton.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-copyRhsAutomaton.o `test -f 'copyRhsAutomaton.cc' || echo './'`copyRhsAutomaton.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-variableInfo.o `test -f 'variableInfo.cc' || echo './'`variableInfo.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-narrowingVariableInfo.o `test -f 'narrowingVariableInfo.cc' || echo './'`narrowingVariableInfo.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-termSet.o `test -f 'termSet.cc' || echo './'`termSet.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-strategy.o `test -f 'strategy.cc' || echo './'`strategy.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-sortTable.o `test -f 'sortTable.cc' || echo './'`sortTable.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-sortConstraintTable.o `test -f 'sortConstraintTable.cc' || echo './'`sortConstraintTable.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-equationTable.o `test -f 'equationTable.cc' || echo './'`equationTable.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-ruleTable.o `test -f 'ruleTable.cc' || echo './'`ruleTable.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-sort.o `test -f 'sort.cc' || echo './'`sort.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-connectedComponent.o `test -f 'connectedComponent.cc' || echo './'`connectedComponent.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-module.o `test -f 'module.cc' || echo './'`module.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-substitution.o `test -f 'substitution.cc' || echo './'`substitution.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-localBinding.o `test -f 'localBinding.cc' || echo './'`localBinding.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-subproblemSequence.o `test -f 'subproblemSequence.cc' || echo './'`subproblemSequence.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-subproblemDisjunction.o `test -f 'subproblemDisjunction.cc' || echo './'`subproblemDisjunction.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-sortCheckSubproblem.o `test -f 'sortCheckSubproblem.cc' || echo './'`sortCheckSubproblem.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-disjunctiveSubproblemAccumulator.o `test -f 'disjunctiveSubproblemAccumulator.cc' || echo './'`disjunctiveSubproblemAccumulator.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-preEquation.o `test -f 'preEquation.cc' || echo './'`preEquation.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-equation.o `test -f 'equation.cc' || echo './'`equation.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-rule.o `test -f 'rule.cc' || echo './'`rule.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-sortConstraint.o `test -f 'sortConstraint.cc' || echo './'`sortConstraint.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-rewritingContext.o `test -f 'rewritingContext.cc' || echo './'`rewritingContext.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-variableAbstractionSubproblem.o `test -f 'variableAbstractionSubproblem.cc' || echo './'`variableAbstractionSubproblem.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-equalitySubproblem.o `test -f 'equalitySubproblem.cc' || echo './'`equalitySubproblem.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-dagRoot.o `test -f 'dagRoot.cc' || echo './'`dagRoot.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-cachedDag.o `test -f 'cachedDag.cc' || echo './'`cachedDag.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-extensionMatchSubproblem.o `test -f 'extensionMatchSubproblem.cc' || echo './'`extensionMatchSubproblem.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-dagNodeSet.o `test -f 'dagNodeSet.cc' || echo './'`dagNodeSet.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-hashConsSet.o `test -f 'hashConsSet.cc' || echo './'`hashConsSet.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-memoTable.o `test -f 'memoTable.cc' || echo './'`memoTable.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-memoMap.o `test -f 'memoMap.cc' || echo './'`memoMap.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-rootContainer.o `test -f 'rootContainer.cc' || echo './'`rootContainer.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-sortBdds.o `test -f 'sortBdds.cc' || echo './'`sortBdds.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-unificationContext.o `test -f 'unificationContext.cc' || echo './'`unificationContext.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-protectedDagNodeSet.o `test -f 'protectedDagNodeSet.cc' || echo './'`protectedDagNodeSet.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-pendingUnificationStack.o `test -f 'pendingUnificationStack.cc' || echo './'`pendingUnificationStack.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-unificationSubproblemDisjunction.o `test -f 'unificationSubproblemDisjunction.cc' || echo './'`unificationSubproblemDisjunction.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-compoundCycleSubproblem.o `test -f 'compoundCycleSubproblem.cc' || echo './'`compoundCycleSubproblem.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-stackMachine.o `test -f 'stackMachine.cc' || echo './'`stackMachine.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-stackMachineRhsCompiler.o `test -f 'stackMachineRhsCompiler.cc' || echo './'`stackMachineRhsCompiler.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-returnInstruction.o `test -f 'returnInstruction.cc' || echo './'`returnInstruction.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libcore_a-nullInstruction.o `test -f 'nullInstruction.cc' || echo './'`nullInstruction.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 ar: `u' modifier ignored since `D' is the default (see `U') ranlib libcore.a make[4]: Leaving directory '/build/maude-2.7/src/Core' Making all in Variable make[4]: Entering directory '/build/maude-2.7/src/Variable' 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libvariable_a-variableSymbol.o `test -f 'variableSymbol.cc' || echo './'`variableSymbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libvariable_a-variableTerm.o `test -f 'variableTerm.cc' || echo './'`variableTerm.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libvariable_a-variableDagNode.o `test -f 'variableDagNode.cc' || echo './'`variableDagNode.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -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') ranlib libvariable.a make[4]: Leaving directory '/build/maude-2.7/src/Variable' Making all in NA_Theory make[4]: Entering directory '/build/maude-2.7/src/NA_Theory' 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libNA_Theory_a-NA_Symbol.o `test -f 'NA_Symbol.cc' || echo './'`NA_Symbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libNA_Theory_a-NA_Term.o `test -f 'NA_Term.cc' || echo './'`NA_Term.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libNA_Theory_a-NA_DagNode.o `test -f 'NA_DagNode.cc' || echo './'`NA_DagNode.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libNA_Theory_a-NA_LhsAutomaton.o `test -f 'NA_LhsAutomaton.cc' || echo './'`NA_LhsAutomaton.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -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') ranlib libNA_Theory.a make[4]: Leaving directory '/build/maude-2.7/src/NA_Theory' Making all in ACU_Persistent make[4]: Entering directory '/build/maude-2.7/src/ACU_Persistent' 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libACU_Persistent_a-ACU_RedBlackNode.o `test -f 'ACU_RedBlackNode.cc' || echo './'`ACU_RedBlackNode.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -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') ranlib libACU_Persistent.a make[4]: Leaving directory '/build/maude-2.7/src/ACU_Persistent' Making all in ACU_Theory make[4]: Entering directory '/build/maude-2.7/src/ACU_Theory' 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_Symbol.o `test -f 'ACU_Symbol.cc' || echo './'`ACU_Symbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_Term.o `test -f 'ACU_Term.cc' || echo './'`ACU_Term.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_BaseDagNode.o `test -f 'ACU_BaseDagNode.cc' || echo './'`ACU_BaseDagNode.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_DagNode.o `test -f 'ACU_DagNode.cc' || echo './'`ACU_DagNode.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_TreeDagNode.o `test -f 'ACU_TreeDagNode.cc' || echo './'`ACU_TreeDagNode.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_RhsAutomaton.o `test -f 'ACU_RhsAutomaton.cc' || echo './'`ACU_RhsAutomaton.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_LhsAutomaton.o `test -f 'ACU_LhsAutomaton.cc' || echo './'`ACU_LhsAutomaton.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_Subproblem.o `test -f 'ACU_Subproblem.cc' || echo './'`ACU_Subproblem.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_ExtensionInfo.o `test -f 'ACU_ExtensionInfo.cc' || echo './'`ACU_ExtensionInfo.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_CollectorLhsAutomaton.o `test -f 'ACU_CollectorLhsAutomaton.cc' || echo './'`ACU_CollectorLhsAutomaton.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_NGA_LhsAutomaton.o `test -f 'ACU_NGA_LhsAutomaton.cc' || echo './'`ACU_NGA_LhsAutomaton.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_VarLhsAutomaton.o `test -f 'ACU_VarLhsAutomaton.cc' || echo './'`ACU_VarLhsAutomaton.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_GndLhsAutomaton.o `test -f 'ACU_GndLhsAutomaton.cc' || echo './'`ACU_GndLhsAutomaton.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_NonLinearLhsAutomaton.o `test -f 'ACU_NonLinearLhsAutomaton.cc' || echo './'`ACU_NonLinearLhsAutomaton.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_ArgumentIterator.o `test -f 'ACU_ArgumentIterator.cc' || echo './'`ACU_ArgumentIterator.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_DagArgumentIterator.o `test -f 'ACU_DagArgumentIterator.cc' || echo './'`ACU_DagArgumentIterator.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_TreeDagArgumentIterator.o `test -f 'ACU_TreeDagArgumentIterator.cc' || echo './'`ACU_TreeDagArgumentIterator.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_LazySubproblem.o `test -f 'ACU_LazySubproblem.cc' || echo './'`ACU_LazySubproblem.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_UnificationSubproblem2.o `test -f 'ACU_UnificationSubproblem2.cc' || echo './'`ACU_UnificationSubproblem2.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 ar: `u' modifier ignored since `D' is the default (see `U') ranlib libACU_Theory.a make[4]: Leaving directory '/build/maude-2.7/src/ACU_Theory' Making all in AU_Persistent make[4]: Entering directory '/build/maude-2.7/src/AU_Persistent' 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libAU_Persistent_a-AU_StackNode.o `test -f 'AU_StackNode.cc' || echo './'`AU_StackNode.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libAU_Persistent_a-AU_Deque.o `test -f 'AU_Deque.cc' || echo './'`AU_Deque.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -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') ranlib libAU_Persistent.a make[4]: Leaving directory '/build/maude-2.7/src/AU_Persistent' Making all in AU_Theory make[4]: Entering directory '/build/maude-2.7/src/AU_Theory' 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libAU_Theory_a-AU_Symbol.o `test -f 'AU_Symbol.cc' || echo './'`AU_Symbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libAU_Theory_a-AU_DagNode.o `test -f 'AU_DagNode.cc' || echo './'`AU_DagNode.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libAU_Theory_a-AU_DequeDagNode.o `test -f 'AU_DequeDagNode.cc' || echo './'`AU_DequeDagNode.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libAU_Theory_a-AU_Term.o `test -f 'AU_Term.cc' || echo './'`AU_Term.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libAU_Theory_a-AU_DagArgumentIterator.o `test -f 'AU_DagArgumentIterator.cc' || echo './'`AU_DagArgumentIterator.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libAU_Theory_a-AU_DequeDagArgumentIterator.o `test -f 'AU_DequeDagArgumentIterator.cc' || echo './'`AU_DequeDagArgumentIterator.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libAU_Theory_a-AU_ExtensionInfo.o `test -f 'AU_ExtensionInfo.cc' || echo './'`AU_ExtensionInfo.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libAU_Theory_a-AU_RhsAutomaton.o `test -f 'AU_RhsAutomaton.cc' || echo './'`AU_RhsAutomaton.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libAU_Theory_a-AU_LhsAutomaton.o `test -f 'AU_LhsAutomaton.cc' || echo './'`AU_LhsAutomaton.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libAU_Theory_a-AU_ArgumentIterator.o `test -f 'AU_ArgumentIterator.cc' || echo './'`AU_ArgumentIterator.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libAU_Theory_a-AU_Layer.o `test -f 'AU_Layer.cc' || echo './'`AU_Layer.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libAU_Theory_a-AU_Subproblem.o `test -f 'AU_Subproblem.cc' || echo './'`AU_Subproblem.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 ar: `u' modifier ignored since `D' is the default (see `U') ranlib libAU_Theory.a make[4]: Leaving directory '/build/maude-2.7/src/AU_Theory' Making all in CUI_Theory make[4]: Entering directory '/build/maude-2.7/src/CUI_Theory' 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libCUI_Theory_a-CUI_Symbol.o `test -f 'CUI_Symbol.cc' || echo './'`CUI_Symbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libCUI_Theory_a-CUI_DagNode.o `test -f 'CUI_DagNode.cc' || echo './'`CUI_DagNode.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libCUI_Theory_a-CUI_DagArgumentIterator.o `test -f 'CUI_DagArgumentIterator.cc' || echo './'`CUI_DagArgumentIterator.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libCUI_Theory_a-CUI_RhsAutomaton.o `test -f 'CUI_RhsAutomaton.cc' || echo './'`CUI_RhsAutomaton.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libCUI_Theory_a-CUI_Term.o `test -f 'CUI_Term.cc' || echo './'`CUI_Term.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libCUI_Theory_a-CUI_ArgumentIterator.o `test -f 'CUI_ArgumentIterator.cc' || echo './'`CUI_ArgumentIterator.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libCUI_Theory_a-CUI_UnificationSubproblem.o `test -f 'CUI_UnificationSubproblem.cc' || echo './'`CUI_UnificationSubproblem.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libCUI_Theory_a-CUI_UnificationSubproblem2.o `test -f 'CUI_UnificationSubproblem2.cc' || echo './'`CUI_UnificationSubproblem2.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -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') ranlib libCUI_Theory.a make[4]: Leaving directory '/build/maude-2.7/src/CUI_Theory' Making all in S_Theory make[4]: Entering directory '/build/maude-2.7/src/S_Theory' 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libS_Theory_a-S_Symbol.o `test -f 'S_Symbol.cc' || echo './'`S_Symbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libS_Theory_a-S_DagNode.o `test -f 'S_DagNode.cc' || echo './'`S_DagNode.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libS_Theory_a-S_Term.o `test -f 'S_Term.cc' || echo './'`S_Term.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libS_Theory_a-S_ExtensionInfo.o `test -f 'S_ExtensionInfo.cc' || echo './'`S_ExtensionInfo.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libS_Theory_a-S_DagArgumentIterator.o `test -f 'S_DagArgumentIterator.cc' || echo './'`S_DagArgumentIterator.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libS_Theory_a-S_ArgumentIterator.o `test -f 'S_ArgumentIterator.cc' || echo './'`S_ArgumentIterator.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libS_Theory_a-S_LhsAutomaton.o `test -f 'S_LhsAutomaton.cc' || echo './'`S_LhsAutomaton.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libS_Theory_a-S_RhsAutomaton.o `test -f 'S_RhsAutomaton.cc' || echo './'`S_RhsAutomaton.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -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') ranlib libS_Theory.a make[4]: Leaving directory '/build/maude-2.7/src/S_Theory' Making all in FreeTheory make[4]: Entering directory '/build/maude-2.7/src/FreeTheory' 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libfreeTheory_a-freeSymbol.o `test -f 'freeSymbol.cc' || echo './'`freeSymbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libfreeTheory_a-freeUnarySymbol.o `test -f 'freeUnarySymbol.cc' || echo './'`freeUnarySymbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libfreeTheory_a-freeNullarySymbol.o `test -f 'freeNullarySymbol.cc' || echo './'`freeNullarySymbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libfreeTheory_a-freeBinarySymbol.o `test -f 'freeBinarySymbol.cc' || echo './'`freeBinarySymbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libfreeTheory_a-freeTernarySymbol.o `test -f 'freeTernarySymbol.cc' || echo './'`freeTernarySymbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libfreeTheory_a-freeTerm.o `test -f 'freeTerm.cc' || echo './'`freeTerm.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libfreeTheory_a-freeArgumentIterator.o `test -f 'freeArgumentIterator.cc' || echo './'`freeArgumentIterator.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libfreeTheory_a-freeDagNode.o `test -f 'freeDagNode.cc' || echo './'`freeDagNode.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libfreeTheory_a-freeDagArgumentIterator.o `test -f 'freeDagArgumentIterator.cc' || echo './'`freeDagArgumentIterator.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libfreeTheory_a-freeLhsAutomaton.o `test -f 'freeLhsAutomaton.cc' || echo './'`freeLhsAutomaton.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libfreeTheory_a-freeRhsAutomaton.o `test -f 'freeRhsAutomaton.cc' || echo './'`freeRhsAutomaton.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libfreeTheory_a-freeNet.o `test -f 'freeNet.cc' || echo './'`freeNet.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libfreeTheory_a-freePreNet.o `test -f 'freePreNet.cc' || echo './'`freePreNet.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libfreeTheory_a-freeRemainder.o `test -f 'freeRemainder.cc' || echo './'`freeRemainder.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libfreeTheory_a-freePositionTable.o `test -f 'freePositionTable.cc' || echo './'`freePositionTable.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libfreeTheory_a-freeInstruction.o `test -f 'freeInstruction.cc' || echo './'`freeInstruction.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libfreeTheory_a-freeFastInstruction.o `test -f 'freeFastInstruction.cc' || echo './'`freeFastInstruction.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libfreeTheory_a-freeGeneralCtor.o `test -f 'freeGeneralCtor.cc' || echo './'`freeGeneralCtor.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libfreeTheory_a-freeGeneralCtorFinal.o `test -f 'freeGeneralCtorFinal.cc' || echo './'`freeGeneralCtorFinal.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libfreeTheory_a-freeGeneralExtor.o `test -f 'freeGeneralExtor.cc' || echo './'`freeGeneralExtor.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libfreeTheory_a-freeGeneralExtorFinal.o `test -f 'freeGeneralExtorFinal.cc' || echo './'`freeGeneralExtorFinal.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 ar: `u' modifier ignored since `D' is the default (see `U') ranlib libfreeTheory.a make[4]: Leaving directory '/build/maude-2.7/src/FreeTheory' Making all in Higher make[4]: Entering directory '/build/maude-2.7/src/Higher' 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libhigher_a-rewriteSearchState.o `test -f 'rewriteSearchState.cc' || echo './'`rewriteSearchState.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libhigher_a-matchSearchState.o `test -f 'matchSearchState.cc' || echo './'`matchSearchState.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libhigher_a-positionState.o `test -f 'positionState.cc' || echo './'`positionState.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libhigher_a-pattern.o `test -f 'pattern.cc' || echo './'`pattern.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libhigher_a-searchState.o `test -f 'searchState.cc' || echo './'`searchState.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libhigher_a-rewriteSequenceSearch.o `test -f 'rewriteSequenceSearch.cc' || echo './'`rewriteSequenceSearch.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libhigher_a-modelCheckerSymbol.o `test -f 'modelCheckerSymbol.cc' || echo './'`modelCheckerSymbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libhigher_a-stateTransitionGraph.o `test -f 'stateTransitionGraph.cc' || echo './'`stateTransitionGraph.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libhigher_a-rewriteConditionFragment.o `test -f 'rewriteConditionFragment.cc' || echo './'`rewriteConditionFragment.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libhigher_a-assignmentConditionFragment.o `test -f 'assignmentConditionFragment.cc' || echo './'`assignmentConditionFragment.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libhigher_a-sortTestConditionFragment.o `test -f 'sortTestConditionFragment.cc' || echo './'`sortTestConditionFragment.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libhigher_a-equalityConditionFragment.o `test -f 'equalityConditionFragment.cc' || echo './'`equalityConditionFragment.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libhigher_a-assignmentConditionState.o `test -f 'assignmentConditionState.cc' || echo './'`assignmentConditionState.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libhigher_a-rewriteConditionState.o `test -f 'rewriteConditionState.cc' || echo './'`rewriteConditionState.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libhigher_a-temporalSymbol.o `test -f 'temporalSymbol.cc' || echo './'`temporalSymbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libhigher_a-satSolverSymbol.o `test -f 'satSolverSymbol.cc' || echo './'`satSolverSymbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libhigher_a-unificationProblem.o `test -f 'unificationProblem.cc' || echo './'`unificationProblem.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libhigher_a-narrowingSearchState.o `test -f 'narrowingSearchState.cc' || echo './'`narrowingSearchState.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libhigher_a-narrowingUnificationProblem.o `test -f 'narrowingUnificationProblem.cc' || echo './'`narrowingUnificationProblem.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libhigher_a-narrowingSequenceSearch.o `test -f 'narrowingSequenceSearch.cc' || echo './'`narrowingSequenceSearch.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libhigher_a-unifierFilter.o `test -f 'unifierFilter.cc' || echo './'`unifierFilter.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libhigher_a-variantNarrowingSearchState.o `test -f 'variantNarrowingSearchState.cc' || echo './'`variantNarrowingSearchState.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libhigher_a-variantFolder.o `test -f 'variantFolder.cc' || echo './'`variantFolder.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libhigher_a-variantSearch.o `test -f 'variantSearch.cc' || echo './'`variantSearch.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 ar: `u' modifier ignored since `D' is the default (see `U') ranlib libhigher.a make[4]: Leaving directory '/build/maude-2.7/src/Higher' Making all in BuiltIn make[4]: Entering directory '/build/maude-2.7/src/BuiltIn' 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libbuiltIn_a-equalitySymbol.o `test -f 'equalitySymbol.cc' || echo './'`equalitySymbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libbuiltIn_a-sortTestSymbol.o `test -f 'sortTestSymbol.cc' || echo './'`sortTestSymbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -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:317:2: warning: iteration 536870912 invokes undefined behavior [-Waggressive-loop-optimizations] vector[i].~T(); // call destructor on each "lost" element ^~~~~~ ../../src/Utility/vector.hh:316:39: note: within this loop for (size_type i = newLength; i != oldLength; i++) ~~^~~~~~~~~~~~ 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libbuiltIn_a-stringSymbol.o `test -f 'stringSymbol.cc' || echo './'`stringSymbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libbuiltIn_a-stringTerm.o `test -f 'stringTerm.cc' || echo './'`stringTerm.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libbuiltIn_a-stringDagNode.o `test -f 'stringDagNode.cc' || echo './'`stringDagNode.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libbuiltIn_a-stringOpSymbol.o `test -f 'stringOpSymbol.cc' || echo './'`stringOpSymbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libbuiltIn_a-floatSymbol.o `test -f 'floatSymbol.cc' || echo './'`floatSymbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libbuiltIn_a-floatTerm.o `test -f 'floatTerm.cc' || echo './'`floatTerm.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libbuiltIn_a-floatDagNode.o `test -f 'floatDagNode.cc' || echo './'`floatDagNode.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libbuiltIn_a-floatOpSymbol.o `test -f 'floatOpSymbol.cc' || echo './'`floatOpSymbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libbuiltIn_a-succSymbol.o `test -f 'succSymbol.cc' || echo './'`succSymbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libbuiltIn_a-numberOpSymbol.o `test -f 'numberOpSymbol.cc' || echo './'`numberOpSymbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libbuiltIn_a-minusSymbol.o `test -f 'minusSymbol.cc' || echo './'`minusSymbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libbuiltIn_a-ACU_NumberOpSymbol.o `test -f 'ACU_NumberOpSymbol.cc' || echo './'`ACU_NumberOpSymbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libbuiltIn_a-CUI_NumberOpSymbol.o `test -f 'CUI_NumberOpSymbol.cc' || echo './'`CUI_NumberOpSymbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libbuiltIn_a-divisionSymbol.o `test -f 'divisionSymbol.cc' || echo './'`divisionSymbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libbuiltIn_a-randomOpSymbol.o `test -f 'randomOpSymbol.cc' || echo './'`randomOpSymbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libbuiltIn_a-counterSymbol.o `test -f 'counterSymbol.cc' || echo './'`counterSymbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libbuiltIn_a-matrixOpSymbol.o `test -f 'matrixOpSymbol.cc' || echo './'`matrixOpSymbol.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libbuiltIn_a-equalityExtor.o `test -f 'equalityExtor.cc' || echo './'`equalityExtor.cc 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 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -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') ranlib libbuiltIn.a make[4]: Leaving directory '/build/maude-2.7/src/BuiltIn' Making all in IO_Stuff make[4]: Entering directory '/build/maude-2.7/src/IO_Stuff' g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libIO_Stuff_a-IO_Manager.o `test -f 'IO_Manager.cc' || echo './'`IO_Manager.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libIO_Stuff_a-autoWrapBuffer.o `test -f 'autoWrapBuffer.cc' || echo './'`autoWrapBuffer.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libIO_Stuff_a-directoryManager.o `test -f 'directoryManager.cc' || echo './'`directoryManager.cc directoryManager.cc: In member function 'const char* DirectoryManager::popd(int)': directoryManager.cc:256:7: warning: ignoring return value of 'int chdir(const char*)', declared with attribute warn_unused_result [-Wunused-result] chdir(dirName); ~~~~~^~~~~~~~~ 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') ranlib libIO_Stuff.a make[4]: Leaving directory '/build/maude-2.7/src/IO_Stuff' Making all in ObjectSystem make[4]: Entering directory '/build/maude-2.7/src/ObjectSystem' 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/FreeTheory -I../../src/NA_Theory -I../../src/S_Theory -I../../src/BuiltIn -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libobjectSystem_a-configSymbol.o `test -f 'configSymbol.cc' || echo './'`configSymbol.cc 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/FreeTheory -I../../src/NA_Theory -I../../src/S_Theory -I../../src/BuiltIn -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libobjectSystem_a-objectSystemRewritingContext.o `test -f 'objectSystemRewritingContext.cc' || echo './'`objectSystemRewritingContext.cc 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/FreeTheory -I../../src/NA_Theory -I../../src/S_Theory -I../../src/BuiltIn -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libobjectSystem_a-externalObjectManagerSymbol.o `test -f 'externalObjectManagerSymbol.cc' || echo './'`externalObjectManagerSymbol.cc 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/FreeTheory -I../../src/NA_Theory -I../../src/S_Theory -I../../src/BuiltIn -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libobjectSystem_a-socketManagerSymbol.o `test -f 'socketManagerSymbol.cc' || echo './'`socketManagerSymbol.cc 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/FreeTheory -I../../src/NA_Theory -I../../src/S_Theory -I../../src/BuiltIn -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libobjectSystem_a-pseudoThread.o `test -f 'pseudoThread.cc' || echo './'`pseudoThread.cc rm -f libobjectSystem.a ar cru libobjectSystem.a libobjectSystem_a-configSymbol.o libobjectSystem_a-objectSystemRewritingContext.o libobjectSystem_a-externalObjectManagerSymbol.o libobjectSystem_a-socketManagerSymbol.o libobjectSystem_a-pseudoThread.o ar: `u' modifier ignored since `D' is the default (see `U') ranlib libobjectSystem.a make[4]: Leaving directory '/build/maude-2.7/src/ObjectSystem' Making all in Meta make[4]: Entering directory '/build/maude-2.7/src/Meta' g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/StrategyLanguage -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmeta_a-metaModuleCache.o `test -f 'metaModuleCache.cc' || echo './'`metaModuleCache.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/StrategyLanguage -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmeta_a-metaLevel.o `test -f 'metaLevel.cc' || echo './'`metaLevel.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/StrategyLanguage -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmeta_a-interpreterManagerSymbol.o `test -f 'interpreterManagerSymbol.cc' || echo './'`interpreterManagerSymbol.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/StrategyLanguage -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmeta_a-metaOpCache.o `test -f 'metaOpCache.cc' || echo './'`metaOpCache.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/StrategyLanguage -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmeta_a-metaModule.o `test -f 'metaModule.cc' || echo './'`metaModule.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/StrategyLanguage -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmeta_a-metaLevelOpSymbol.o `test -f 'metaLevelOpSymbol.cc' || echo './'`metaLevelOpSymbol.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/StrategyLanguage -I../../src/3rdParty -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmeta_a-metaPreModule.o `test -f 'metaPreModule.cc' || echo './'`metaPreModule.cc rm -f libmeta.a ar cru libmeta.a libmeta_a-metaModuleCache.o libmeta_a-metaLevel.o libmeta_a-interpreterManagerSymbol.o libmeta_a-metaOpCache.o libmeta_a-metaModule.o libmeta_a-metaLevelOpSymbol.o libmeta_a-metaPreModule.o ar: `u' modifier ignored since `D' is the default (see `U') ranlib libmeta.a make[4]: Leaving directory '/build/maude-2.7/src/Meta' Making all in FullCompiler make[4]: Entering directory '/build/maude-2.7/src/FullCompiler' make[4]: Nothing to be done for 'all'. make[4]: Leaving directory '/build/maude-2.7/src/FullCompiler' Making all in MSCP10 make[4]: Entering directory '/build/maude-2.7/src/MSCP10' g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmscp10_a-scp_parser.o `test -f 'scp_parser.cc' || echo './'`scp_parser.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmscp10_a-scp_compiler.o `test -f 'scp_compiler.cc' || echo './'`scp_compiler.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmscp10_a-scp_memory.o `test -f 'scp_memory.cc' || echo './'`scp_memory.cc rm -f libmscp10.a ar cru libmscp10.a libmscp10_a-scp_parser.o libmscp10_a-scp_compiler.o libmscp10_a-scp_memory.o ar: `u' modifier ignored since `D' is the default (see `U') ranlib libmscp10.a make[4]: Leaving directory '/build/maude-2.7/src/MSCP10' Making all in StrategyLanguage make[4]: Entering directory '/build/maude-2.7/src/StrategyLanguage' g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libstrategyLanguage_a-trivialStrategy.o `test -f 'trivialStrategy.cc' || echo './'`trivialStrategy.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libstrategyLanguage_a-applicationStrategy.o `test -f 'applicationStrategy.cc' || echo './'`applicationStrategy.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libstrategyLanguage_a-concatenationStrategy.o `test -f 'concatenationStrategy.cc' || echo './'`concatenationStrategy.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libstrategyLanguage_a-iterationStrategy.o `test -f 'iterationStrategy.cc' || echo './'`iterationStrategy.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libstrategyLanguage_a-branchStrategy.o `test -f 'branchStrategy.cc' || echo './'`branchStrategy.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libstrategyLanguage_a-unionStrategy.o `test -f 'unionStrategy.cc' || echo './'`unionStrategy.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libstrategyLanguage_a-testStrategy.o `test -f 'testStrategy.cc' || echo './'`testStrategy.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libstrategyLanguage_a-strategicExecution.o `test -f 'strategicExecution.cc' || echo './'`strategicExecution.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libstrategyLanguage_a-strategicTask.o `test -f 'strategicTask.cc' || echo './'`strategicTask.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libstrategyLanguage_a-branchTask.o `test -f 'branchTask.cc' || echo './'`branchTask.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libstrategyLanguage_a-strategicProcess.o `test -f 'strategicProcess.cc' || echo './'`strategicProcess.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libstrategyLanguage_a-decompositionProcess.o `test -f 'decompositionProcess.cc' || echo './'`decompositionProcess.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libstrategyLanguage_a-applicationProcess.o `test -f 'applicationProcess.cc' || echo './'`applicationProcess.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libstrategyLanguage_a-strategicSearch.o `test -f 'strategicSearch.cc' || echo './'`strategicSearch.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libstrategyLanguage_a-sharedRewriteSearchState.o `test -f 'sharedRewriteSearchState.cc' || echo './'`sharedRewriteSearchState.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libstrategyLanguage_a-matchProcess.o `test -f 'matchProcess.cc' || echo './'`matchProcess.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libstrategyLanguage_a-rewriteTask.o `test -f 'rewriteTask.cc' || echo './'`rewriteTask.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libstrategyLanguage_a-strategyStackManager.o `test -f 'strategyStackManager.cc' || echo './'`strategyStackManager.cc rm -f libstrategyLanguage.a ar cru libstrategyLanguage.a libstrategyLanguage_a-trivialStrategy.o libstrategyLanguage_a-applicationStrategy.o libstrategyLanguage_a-concatenationStrategy.o libstrategyLanguage_a-iterationStrategy.o libstrategyLanguage_a-branchStrategy.o libstrategyLanguage_a-unionStrategy.o libstrategyLanguage_a-testStrategy.o libstrategyLanguage_a-strategicExecution.o libstrategyLanguage_a-strategicTask.o libstrategyLanguage_a-branchTask.o libstrategyLanguage_a-strategicProcess.o libstrategyLanguage_a-decompositionProcess.o libstrategyLanguage_a-applicationProcess.o libstrategyLanguage_a-strategicSearch.o libstrategyLanguage_a-sharedRewriteSearchState.o libstrategyLanguage_a-matchProcess.o libstrategyLanguage_a-rewriteTask.o libstrategyLanguage_a-strategyStackManager.o ar: `u' modifier ignored since `D' is the default (see `U') ranlib libstrategyLanguage.a make[4]: Leaving directory '/build/maude-2.7/src/StrategyLanguage' Making all in Mixfix make[4]: Entering directory '/build/maude-2.7/src/Mixfix' cat \ ./top.yy \ ./modules.yy \ ./commands.yy \ ./bottom.yy \ > surface.yy bison -dv surface.yy -o surface.c surface.yy:102.1-12: warning: deprecated directive, use '%pure-parser' [-Wdeprecated] %pure_parser ^~~~~~~~~~~~ surface.yy: warning: fix-its can be applied. Rerun with option '--update'. [-Wother] mv surface.c surface.cc flex -t -p -p ./lexer.ll > lexer.cc -I (interactive) entails a minor performance penalty make all-am make[5]: Entering directory '/build/maude-2.7/src/Mixfix' g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-syntaxContainer.o `test -f 'syntaxContainer.cc' || echo './'`syntaxContainer.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-renaming.o `test -f 'renaming.cc' || echo './'`renaming.cc In file included from renaming.cc:29: ../../src/Utility/vector.hh: In member function 'void Renaming::addType(const ConnectedComponent*)': ../../src/Utility/vector.hh:317:2: warning: iteration 178956971 invokes undefined behavior [-Waggressive-loop-optimizations] vector[i].~T(); // call destructor on each "lost" element ^~~~~~ ../../src/Utility/vector.hh:316:39: note: within this loop for (size_type i = newLength; i != oldLength; i++) ~~^~~~~~~~~~~~ ../../src/Utility/vector.hh: In member function 'virtual void Renaming::addType(bool, const Vector&)': ../../src/Utility/vector.hh:317:2: warning: iteration 178956971 invokes undefined behavior [-Waggressive-loop-optimizations] vector[i].~T(); // call destructor on each "lost" element ^~~~~~ ../../src/Utility/vector.hh:316:39: note: within this loop for (size_type i = newLength; i != oldLength; i++) ~~^~~~~~~~~~~~ g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-view.o `test -f 'view.cc' || echo './'`view.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-entity.o `test -f 'entity.cc' || echo './'`entity.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-moduleCache.o `test -f 'moduleCache.cc' || echo './'`moduleCache.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-moduleExpression.o `test -f 'moduleExpression.cc' || echo './'`moduleExpression.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-importModule.o `test -f 'importModule.cc' || echo './'`importModule.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-importTranslation.o `test -f 'importTranslation.cc' || echo './'`importTranslation.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-fileTable.o `test -f 'fileTable.cc' || echo './'`fileTable.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-loopSymbol.o `test -f 'loopSymbol.cc' || echo './'`loopSymbol.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-quotedIdentifierSymbol.o `test -f 'quotedIdentifierSymbol.cc' || echo './'`quotedIdentifierSymbol.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-quotedIdentifierDagNode.o `test -f 'quotedIdentifierDagNode.cc' || echo './'`quotedIdentifierDagNode.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-quotedIdentifierTerm.o `test -f 'quotedIdentifierTerm.cc' || echo './'`quotedIdentifierTerm.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-quotedIdentifierOpSymbol.o `test -f 'quotedIdentifierOpSymbol.cc' || echo './'`quotedIdentifierOpSymbol.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-mixfixModule.o `test -f 'mixfixModule.cc' || echo './'`mixfixModule.cc In file included from mixfixModule.cc:29: ../../src/Utility/vector.hh: In member function 'void MixfixModule::addIdHookToPolymorph(int, int, const Vector&)': ../../src/Utility/vector.hh:317:2: warning: iteration 536870912 invokes undefined behavior [-Waggressive-loop-optimizations] vector[i].~T(); // call destructor on each "lost" element ^~~~~~ ../../src/Utility/vector.hh:316:39: note: within this loop for (size_type i = newLength; i != oldLength; i++) ~~^~~~~~~~~~~~ ../../src/Utility/vector.hh: In member function 'void SortTable::addOpDeclaration(const Vector&, bool)': ../../src/Utility/vector.hh:317:2: warning: iteration 536870912 invokes undefined behavior [-Waggressive-loop-optimizations] vector[i].~T(); // call destructor on each "lost" element ^~~~~~ ../../src/Utility/vector.hh:316:39: note: within this loop for (size_type i = newLength; i != oldLength; i++) ~~^~~~~~~~~~~~ g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-token.o `test -f 'token.cc' || echo './'`token.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-global.o `test -f 'global.cc' || echo './'`global.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-userLevelRewritingContext.o `test -f 'userLevelRewritingContext.cc' || echo './'`userLevelRewritingContext.cc In file included from userLevelRewritingContext.cc:71: interact.cc: In static member function 'static void UserLevelRewritingContext::stackOverflowHandler(int, stackoverflow_context_t)': interact.cc:120:15: warning: ignoring return value of 'ssize_t write(int, const void*, size_t)', declared with attribute warn_unused_result [-Wunused-result] (void) write(STDERR_FILENO, message, sizeof(message) - 1); ~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ interact.cc: In static member function 'static void UserLevelRewritingContext::internalErrorHandler(int)': interact.cc:146:15: warning: ignoring return value of 'ssize_t write(int, const void*, size_t)', declared with attribute warn_unused_result [-Wunused-result] (void) write(STDERR_FILENO, message1, sizeof(message1) - 1); ~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ interact.cc:147:15: warning: ignoring return value of 'ssize_t write(int, const void*, size_t)', declared with attribute warn_unused_result [-Wunused-result] (void) write(STDERR_FILENO, message2, sizeof(message2) - 1); ~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ interact.cc:148:15: warning: ignoring return value of 'ssize_t write(int, const void*, size_t)', declared with attribute warn_unused_result [-Wunused-result] (void) write(STDERR_FILENO, message3, sizeof(message3) - 1); ~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-preModule.o `test -f 'preModule.cc' || echo './'`preModule.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-syntacticPreModule.o `test -f 'syntacticPreModule.cc' || echo './'`syntacticPreModule.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-symbolType.o `test -f 'symbolType.cc' || echo './'`symbolType.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-xmlBuffer.o `test -f 'xmlBuffer.cc' || echo './'`xmlBuffer.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-maudemlBuffer.o `test -f 'maudemlBuffer.cc' || echo './'`maudemlBuffer.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-interpreter.o `test -f 'interpreter.cc' || echo './'`interpreter.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-moduleDatabase.o `test -f 'moduleDatabase.cc' || echo './'`moduleDatabase.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-viewDatabase.o `test -f 'viewDatabase.cc' || echo './'`viewDatabase.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-profileModule.o `test -f 'profileModule.cc' || echo './'`profileModule.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-mixfixParser.o `test -f 'mixfixParser.cc' || echo './'`mixfixParser.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-visibleModule.o `test -f 'visibleModule.cc' || echo './'`visibleModule.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-sharedTokens.o `test -f 'sharedTokens.cc' || echo './'`sharedTokens.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-metadataStore.o `test -f 'metadataStore.cc' || echo './'`metadataStore.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-printAttribute.o `test -f 'printAttribute.cc' || echo './'`printAttribute.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-banner.o `test -f 'banner.cc' || echo './'`banner.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-lexer.o `test -f 'lexer.cc' || echo './'`lexer.cc g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-surface.o `test -f 'surface.cc' || echo './'`surface.cc surface.c: In function 'int yyparse(void*)': surface.c:5340:50: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] surface.c:5484:50: warning: ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings] surface.yy:311:12: warning: ignoring return value of 'int system(const char*)', declared with attribute warn_unused_result [-Wunused-result] system((string("ls") + $3).c_str()); ~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o libmixfix_a-freshVariableSource.o `test -f 'freshVariableSource.cc' || echo './'`freshVariableSource.cc rm -f libmixfix.a ar cru libmixfix.a libmixfix_a-syntaxContainer.o libmixfix_a-renaming.o libmixfix_a-view.o libmixfix_a-entity.o libmixfix_a-moduleCache.o libmixfix_a-moduleExpression.o libmixfix_a-importModule.o libmixfix_a-importTranslation.o libmixfix_a-fileTable.o libmixfix_a-loopSymbol.o libmixfix_a-quotedIdentifierSymbol.o libmixfix_a-quotedIdentifierDagNode.o libmixfix_a-quotedIdentifierTerm.o libmixfix_a-quotedIdentifierOpSymbol.o libmixfix_a-mixfixModule.o libmixfix_a-token.o libmixfix_a-global.o libmixfix_a-userLevelRewritingContext.o libmixfix_a-preModule.o libmixfix_a-syntacticPreModule.o libmixfix_a-symbolType.o libmixfix_a-xmlBuffer.o libmixfix_a-maudemlBuffer.o libmixfix_a-interpreter.o libmixfix_a-moduleDatabase.o libmixfix_a-viewDatabase.o libmixfix_a-profileModule.o libmixfix_a-mixfixParser.o libmixfix_a-visibleModule.o libmixfix_a-sharedTokens.o libmixfix_a-metadataStore.o libmixfix_a-printAttribute.o libmixfix_a-banner.o libmixfix_a-lexer.o libmixfix_a-surface.o libmixfix_a-freshVariableSource.o ar: `u' modifier ignored since `D' is the default (see `U') ranlib libmixfix.a make[5]: Leaving directory '/build/maude-2.7/src/Mixfix' make[4]: Leaving directory '/build/maude-2.7/src/Mixfix' Making all in Main make[4]: Entering directory '/build/maude-2.7/src/Main' g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/Mixfix -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -c -o maude-main.o `test -f 'main.cc' || echo './'`main.cc g++ -g -O2 -ffile-prefix-map=/build/maude-2.7=. -fstack-protector-strong -Wformat -Werror=format-security -Wl,-z,relro -o maude maude-main.o ../Mixfix/libmixfix.a ../StrategyLanguage/libstrategyLanguage.a ../Meta/libmeta.a ../ObjectSystem/libobjectSystem.a ../BuiltIn/libbuiltIn.a ../Higher/libhigher.a ../FreeTheory/libfreeTheory.a ../AU_Theory/libAU_Theory.a ../AU_Persistent/libAU_Persistent.a ../ACU_Theory/libACU_Theory.a ../ACU_Persistent/libACU_Persistent.a ../CUI_Theory/libCUI_Theory.a ../S_Theory/libS_Theory.a ../NA_Theory/libNA_Theory.a ../Variable/libvariable.a ../Interface/libinterface.a ../Core/libcore.a ../MSCP10/libmscp10.a ../Temporal/libtemporal.a ../IO_Stuff/libIO_Stuff.a ../Utility/libutility.a -lbdd -ltecla -lcurses -lsigsegv -lgmpxx -lgmp -lnsl make[4]: Leaving directory '/build/maude-2.7/src/Main' make[4]: Entering directory '/build/maude-2.7/src' make[4]: Nothing to be done for 'all-am'. make[4]: Leaving directory '/build/maude-2.7/src' make[3]: Leaving directory '/build/maude-2.7/src' Making all in tests make[3]: Entering directory '/build/maude-2.7/tests' Making all in BuiltIn make[4]: Entering directory '/build/maude-2.7/tests/BuiltIn' make[4]: Nothing to be done for 'all'. make[4]: Leaving directory '/build/maude-2.7/tests/BuiltIn' Making all in Misc make[4]: Entering directory '/build/maude-2.7/tests/Misc' make[4]: Nothing to be done for 'all'. make[4]: Leaving directory '/build/maude-2.7/tests/Misc' Making all in Meta make[4]: Entering directory '/build/maude-2.7/tests/Meta' make[4]: Nothing to be done for 'all'. make[4]: Leaving directory '/build/maude-2.7/tests/Meta' Making all in ResolvedBugs make[4]: Entering directory '/build/maude-2.7/tests/ResolvedBugs' make[4]: Nothing to be done for 'all'. make[4]: Leaving directory '/build/maude-2.7/tests/ResolvedBugs' make[4]: Entering directory '/build/maude-2.7/tests' make[4]: Nothing to be done for 'all-am'. make[4]: Leaving directory '/build/maude-2.7/tests' make[3]: Leaving directory '/build/maude-2.7/tests' make[3]: Entering directory '/build/maude-2.7' make[3]: Leaving directory '/build/maude-2.7' make[2]: Leaving directory '/build/maude-2.7' make[1]: Leaving directory '/build/maude-2.7' dh_auto_test make -j1 check VERBOSE=1 make[1]: Entering directory '/build/maude-2.7' Making check in src make[2]: Entering directory '/build/maude-2.7/src' Making check in 3rdParty make[3]: Entering directory '/build/maude-2.7/src/3rdParty' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/build/maude-2.7/src/3rdParty' Making check in Utility make[3]: Entering directory '/build/maude-2.7/src/Utility' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/build/maude-2.7/src/Utility' Making check in Temporal make[3]: Entering directory '/build/maude-2.7/src/Temporal' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/build/maude-2.7/src/Temporal' Making check in Interface make[3]: Entering directory '/build/maude-2.7/src/Interface' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/build/maude-2.7/src/Interface' Making check in Core make[3]: Entering directory '/build/maude-2.7/src/Core' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/build/maude-2.7/src/Core' Making check in Variable make[3]: Entering directory '/build/maude-2.7/src/Variable' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/build/maude-2.7/src/Variable' Making check in NA_Theory make[3]: Entering directory '/build/maude-2.7/src/NA_Theory' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/build/maude-2.7/src/NA_Theory' Making check in ACU_Persistent make[3]: Entering directory '/build/maude-2.7/src/ACU_Persistent' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/build/maude-2.7/src/ACU_Persistent' Making check in ACU_Theory make[3]: Entering directory '/build/maude-2.7/src/ACU_Theory' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/build/maude-2.7/src/ACU_Theory' Making check in AU_Persistent make[3]: Entering directory '/build/maude-2.7/src/AU_Persistent' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/build/maude-2.7/src/AU_Persistent' Making check in AU_Theory make[3]: Entering directory '/build/maude-2.7/src/AU_Theory' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/build/maude-2.7/src/AU_Theory' Making check in CUI_Theory make[3]: Entering directory '/build/maude-2.7/src/CUI_Theory' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/build/maude-2.7/src/CUI_Theory' Making check in S_Theory make[3]: Entering directory '/build/maude-2.7/src/S_Theory' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/build/maude-2.7/src/S_Theory' Making check in FreeTheory make[3]: Entering directory '/build/maude-2.7/src/FreeTheory' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/build/maude-2.7/src/FreeTheory' Making check in Higher make[3]: Entering directory '/build/maude-2.7/src/Higher' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/build/maude-2.7/src/Higher' Making check in BuiltIn make[3]: Entering directory '/build/maude-2.7/src/BuiltIn' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/build/maude-2.7/src/BuiltIn' Making check in IO_Stuff make[3]: Entering directory '/build/maude-2.7/src/IO_Stuff' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/build/maude-2.7/src/IO_Stuff' Making check in ObjectSystem make[3]: Entering directory '/build/maude-2.7/src/ObjectSystem' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/build/maude-2.7/src/ObjectSystem' Making check in Meta make[3]: Entering directory '/build/maude-2.7/src/Meta' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/build/maude-2.7/src/Meta' Making check in FullCompiler make[3]: Entering directory '/build/maude-2.7/src/FullCompiler' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/build/maude-2.7/src/FullCompiler' Making check in MSCP10 make[3]: Entering directory '/build/maude-2.7/src/MSCP10' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/build/maude-2.7/src/MSCP10' Making check in StrategyLanguage make[3]: Entering directory '/build/maude-2.7/src/StrategyLanguage' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/build/maude-2.7/src/StrategyLanguage' Making check in Mixfix make[3]: Entering directory '/build/maude-2.7/src/Mixfix' make check-am make[4]: Entering directory '/build/maude-2.7/src/Mixfix' make[4]: Nothing to be done for 'check-am'. make[4]: Leaving directory '/build/maude-2.7/src/Mixfix' make[3]: Leaving directory '/build/maude-2.7/src/Mixfix' Making check in Main make[3]: Entering directory '/build/maude-2.7/src/Main' make[3]: Nothing to be done for 'check'. make[3]: Leaving directory '/build/maude-2.7/src/Main' make[3]: Entering directory '/build/maude-2.7/src' make[3]: Nothing to be done for 'check-am'. make[3]: Leaving directory '/build/maude-2.7/src' make[2]: Leaving directory '/build/maude-2.7/src' Making check in tests make[2]: Entering directory '/build/maude-2.7/tests' Making check in BuiltIn make[3]: Entering directory '/build/maude-2.7/tests/BuiltIn' make check-TESTS make[4]: Entering directory '/build/maude-2.7/tests/BuiltIn' PASS: nat PASS: int PASS: rat PASS: string PASS: counters ================== All 5 tests passed ================== make[4]: Leaving directory '/build/maude-2.7/tests/BuiltIn' make[3]: Leaving directory '/build/maude-2.7/tests/BuiltIn' Making check in Misc make[3]: Entering directory '/build/maude-2.7/tests/Misc' make check-TESTS make[4]: Entering directory '/build/maude-2.7/tests/Misc' PASS: dekker PASS: commands PASS: debug PASS: renaming PASS: dataStructures PASS: parameterization PASS: unification PASS: unification2 PASS: unification3 PASS: attributes PASS: diophantine PASS: variantUnification PASS: variantNarrowing PASS: CU_Unification PASS: sreduce =================== All 15 tests passed =================== make[4]: Leaving directory '/build/maude-2.7/tests/Misc' make[3]: Leaving directory '/build/maude-2.7/tests/Misc' Making check in Meta make[3]: Entering directory '/build/maude-2.7/tests/Meta' make check-TESTS make[4]: Entering directory '/build/maude-2.7/tests/Meta' PASS: metaApply PASS: metaUnify PASS: metaFrewrite PASS: metaMatch PASS: metaMeta PASS: metaModule PASS: metaParse PASS: metaPrettyPrint PASS: metaReduce PASS: metaRewrite PASS: metaSearch PASS: metaSort PASS: metaSpecial PASS: metaTerm PASS: metaUp PASS: metaWellFormed PASS: metaXapply PASS: metaXmatch PASS: metaUp2 PASS: metaUpModExp PASS: metaModExp PASS: metaPolymorph PASS: metaUpDown PASS: metaPrintAttr PASS: metaMetadata PASS: metaVariantUnify PASS: metaGetVariant =================== All 27 tests passed =================== make[4]: Leaving directory '/build/maude-2.7/tests/Meta' make[3]: Leaving directory '/build/maude-2.7/tests/Meta' Making check in ResolvedBugs make[3]: Entering directory '/build/maude-2.7/tests/ResolvedBugs' make check-TESTS make[4]: Entering directory '/build/maude-2.7/tests/ResolvedBugs' PASS: CUIbug12-22-09 PASS: unificationMar2013 ================== All 2 tests passed ================== make[4]: Leaving directory '/build/maude-2.7/tests/ResolvedBugs' make[3]: Leaving directory '/build/maude-2.7/tests/ResolvedBugs' make[3]: Entering directory '/build/maude-2.7/tests' make[3]: Nothing to be done for 'check-am'. make[3]: Leaving directory '/build/maude-2.7/tests' make[2]: Leaving directory '/build/maude-2.7/tests' make[2]: Entering directory '/build/maude-2.7' make[2]: Leaving directory '/build/maude-2.7' make[1]: Leaving directory '/build/maude-2.7' fakeroot debian/rules binary dh binary --with autotools_dev dh: The autotools-dev sequence is deprecated and replaced by dh in debhelper (>= 9.20160115) dh: This feature will be removed in compat 12. dh_testroot dh_prep rm -f -- debian/maude.substvars rm -fr -- debian/.debhelper/generated/maude/ debian/maude/ debian/tmp/ dh_auto_install install -d debian/maude make -j1 install DESTDIR=/build/maude-2.7/debian/maude AM_UPDATE_INFO_DIR=no make[1]: Entering directory '/build/maude-2.7' Making install in src make[2]: Entering directory '/build/maude-2.7/src' Making install in 3rdParty make[3]: Entering directory '/build/maude-2.7/src/3rdParty' make[4]: Entering directory '/build/maude-2.7/src/3rdParty' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/maude-2.7/src/3rdParty' make[3]: Leaving directory '/build/maude-2.7/src/3rdParty' Making install in Utility make[3]: Entering directory '/build/maude-2.7/src/Utility' make[4]: Entering directory '/build/maude-2.7/src/Utility' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/maude-2.7/src/Utility' make[3]: Leaving directory '/build/maude-2.7/src/Utility' Making install in Temporal make[3]: Entering directory '/build/maude-2.7/src/Temporal' make[4]: Entering directory '/build/maude-2.7/src/Temporal' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/maude-2.7/src/Temporal' make[3]: Leaving directory '/build/maude-2.7/src/Temporal' Making install in Interface make[3]: Entering directory '/build/maude-2.7/src/Interface' make[4]: Entering directory '/build/maude-2.7/src/Interface' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/maude-2.7/src/Interface' make[3]: Leaving directory '/build/maude-2.7/src/Interface' Making install in Core make[3]: Entering directory '/build/maude-2.7/src/Core' make[4]: Entering directory '/build/maude-2.7/src/Core' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/maude-2.7/src/Core' make[3]: Leaving directory '/build/maude-2.7/src/Core' Making install in Variable make[3]: Entering directory '/build/maude-2.7/src/Variable' make[4]: Entering directory '/build/maude-2.7/src/Variable' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/maude-2.7/src/Variable' make[3]: Leaving directory '/build/maude-2.7/src/Variable' Making install in NA_Theory make[3]: Entering directory '/build/maude-2.7/src/NA_Theory' make[4]: Entering directory '/build/maude-2.7/src/NA_Theory' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/maude-2.7/src/NA_Theory' make[3]: Leaving directory '/build/maude-2.7/src/NA_Theory' Making install in ACU_Persistent make[3]: Entering directory '/build/maude-2.7/src/ACU_Persistent' make[4]: Entering directory '/build/maude-2.7/src/ACU_Persistent' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/maude-2.7/src/ACU_Persistent' make[3]: Leaving directory '/build/maude-2.7/src/ACU_Persistent' Making install in ACU_Theory make[3]: Entering directory '/build/maude-2.7/src/ACU_Theory' make[4]: Entering directory '/build/maude-2.7/src/ACU_Theory' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/maude-2.7/src/ACU_Theory' make[3]: Leaving directory '/build/maude-2.7/src/ACU_Theory' Making install in AU_Persistent make[3]: Entering directory '/build/maude-2.7/src/AU_Persistent' make[4]: Entering directory '/build/maude-2.7/src/AU_Persistent' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/maude-2.7/src/AU_Persistent' make[3]: Leaving directory '/build/maude-2.7/src/AU_Persistent' Making install in AU_Theory make[3]: Entering directory '/build/maude-2.7/src/AU_Theory' make[4]: Entering directory '/build/maude-2.7/src/AU_Theory' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/maude-2.7/src/AU_Theory' make[3]: Leaving directory '/build/maude-2.7/src/AU_Theory' Making install in CUI_Theory make[3]: Entering directory '/build/maude-2.7/src/CUI_Theory' make[4]: Entering directory '/build/maude-2.7/src/CUI_Theory' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/maude-2.7/src/CUI_Theory' make[3]: Leaving directory '/build/maude-2.7/src/CUI_Theory' Making install in S_Theory make[3]: Entering directory '/build/maude-2.7/src/S_Theory' make[4]: Entering directory '/build/maude-2.7/src/S_Theory' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/maude-2.7/src/S_Theory' make[3]: Leaving directory '/build/maude-2.7/src/S_Theory' Making install in FreeTheory make[3]: Entering directory '/build/maude-2.7/src/FreeTheory' make[4]: Entering directory '/build/maude-2.7/src/FreeTheory' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/maude-2.7/src/FreeTheory' make[3]: Leaving directory '/build/maude-2.7/src/FreeTheory' Making install in Higher make[3]: Entering directory '/build/maude-2.7/src/Higher' make[4]: Entering directory '/build/maude-2.7/src/Higher' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/maude-2.7/src/Higher' make[3]: Leaving directory '/build/maude-2.7/src/Higher' Making install in BuiltIn make[3]: Entering directory '/build/maude-2.7/src/BuiltIn' make[4]: Entering directory '/build/maude-2.7/src/BuiltIn' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/maude-2.7/src/BuiltIn' make[3]: Leaving directory '/build/maude-2.7/src/BuiltIn' Making install in IO_Stuff make[3]: Entering directory '/build/maude-2.7/src/IO_Stuff' make[4]: Entering directory '/build/maude-2.7/src/IO_Stuff' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/maude-2.7/src/IO_Stuff' make[3]: Leaving directory '/build/maude-2.7/src/IO_Stuff' Making install in ObjectSystem make[3]: Entering directory '/build/maude-2.7/src/ObjectSystem' make[4]: Entering directory '/build/maude-2.7/src/ObjectSystem' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/maude-2.7/src/ObjectSystem' make[3]: Leaving directory '/build/maude-2.7/src/ObjectSystem' Making install in Meta make[3]: Entering directory '/build/maude-2.7/src/Meta' make[4]: Entering directory '/build/maude-2.7/src/Meta' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/maude-2.7/src/Meta' make[3]: Leaving directory '/build/maude-2.7/src/Meta' Making install in FullCompiler make[3]: Entering directory '/build/maude-2.7/src/FullCompiler' make[4]: Entering directory '/build/maude-2.7/src/FullCompiler' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/maude-2.7/src/FullCompiler' make[3]: Leaving directory '/build/maude-2.7/src/FullCompiler' Making install in MSCP10 make[3]: Entering directory '/build/maude-2.7/src/MSCP10' make[4]: Entering directory '/build/maude-2.7/src/MSCP10' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/maude-2.7/src/MSCP10' make[3]: Leaving directory '/build/maude-2.7/src/MSCP10' Making install in StrategyLanguage make[3]: Entering directory '/build/maude-2.7/src/StrategyLanguage' make[4]: Entering directory '/build/maude-2.7/src/StrategyLanguage' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/maude-2.7/src/StrategyLanguage' make[3]: Leaving directory '/build/maude-2.7/src/StrategyLanguage' Making install in Mixfix make[3]: Entering directory '/build/maude-2.7/src/Mixfix' make install-am make[4]: Entering directory '/build/maude-2.7/src/Mixfix' make[5]: Entering directory '/build/maude-2.7/src/Mixfix' make[5]: Nothing to be done for 'install-exec-am'. make[5]: Nothing to be done for 'install-data-am'. make[5]: Leaving directory '/build/maude-2.7/src/Mixfix' make[4]: Leaving directory '/build/maude-2.7/src/Mixfix' make[3]: Leaving directory '/build/maude-2.7/src/Mixfix' Making install in Main make[3]: Entering directory '/build/maude-2.7/src/Main' make[4]: Entering directory '/build/maude-2.7/src/Main' test -z "/usr/bin" || /bin/mkdir -p "/build/maude-2.7/debian/maude/usr/bin" /usr/bin/install -c maude '/build/maude-2.7/debian/maude/usr/bin' test -z "/usr/share/maude" || /bin/mkdir -p "/build/maude-2.7/debian/maude/usr/share/maude" /usr/bin/install -c -m 644 prelude.maude model-checker.maude socket.maude linear.maude machine-int.maude term-order.maude metaInterpreter.maude '/build/maude-2.7/debian/maude/usr/share/maude' make[4]: Leaving directory '/build/maude-2.7/src/Main' make[3]: Leaving directory '/build/maude-2.7/src/Main' make[3]: Entering directory '/build/maude-2.7/src' make[4]: Entering directory '/build/maude-2.7/src' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/maude-2.7/src' make[3]: Leaving directory '/build/maude-2.7/src' make[2]: Leaving directory '/build/maude-2.7/src' Making install in tests make[2]: Entering directory '/build/maude-2.7/tests' Making install in BuiltIn make[3]: Entering directory '/build/maude-2.7/tests/BuiltIn' make[4]: Entering directory '/build/maude-2.7/tests/BuiltIn' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/maude-2.7/tests/BuiltIn' make[3]: Leaving directory '/build/maude-2.7/tests/BuiltIn' Making install in Misc make[3]: Entering directory '/build/maude-2.7/tests/Misc' make[4]: Entering directory '/build/maude-2.7/tests/Misc' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/maude-2.7/tests/Misc' make[3]: Leaving directory '/build/maude-2.7/tests/Misc' Making install in Meta make[3]: Entering directory '/build/maude-2.7/tests/Meta' make[4]: Entering directory '/build/maude-2.7/tests/Meta' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/maude-2.7/tests/Meta' make[3]: Leaving directory '/build/maude-2.7/tests/Meta' Making install in ResolvedBugs make[3]: Entering directory '/build/maude-2.7/tests/ResolvedBugs' make[4]: Entering directory '/build/maude-2.7/tests/ResolvedBugs' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/maude-2.7/tests/ResolvedBugs' make[3]: Leaving directory '/build/maude-2.7/tests/ResolvedBugs' make[3]: Entering directory '/build/maude-2.7/tests' make[4]: Entering directory '/build/maude-2.7/tests' make[4]: Nothing to be done for 'install-exec-am'. make[4]: Nothing to be done for 'install-data-am'. make[4]: Leaving directory '/build/maude-2.7/tests' make[3]: Leaving directory '/build/maude-2.7/tests' make[2]: Leaving directory '/build/maude-2.7/tests' make[2]: Entering directory '/build/maude-2.7' make[3]: Entering directory '/build/maude-2.7' make[3]: Nothing to be done for 'install-exec-am'. make[3]: Nothing to be done for 'install-data-am'. make[3]: Leaving directory '/build/maude-2.7' make[2]: Leaving directory '/build/maude-2.7' make[1]: Leaving directory '/build/maude-2.7' dh_installdocs install -d debian/maude/usr/share/doc/maude install -d debian/.debhelper/generated/maude install -p -m0644 debian/copyright debian/maude/usr/share/doc/maude/copyright dh_installchangelogs install -p -m0644 debian/changelog debian/maude/usr/share/doc/maude/changelog.Debian install -p -m0644 ./ChangeLog debian/maude/usr/share/doc/maude/changelog dh_installman install -d debian/maude/usr/share/man/man1/ install -p -m0644 ./debian/maude.1 debian/maude/usr/share/man/man1/maude.1 man -l --recode UTF-8 ./debian/maude/usr/share/man/man1/maude.1 > debian/maude/usr/share/man/man1/maude.1.dh-new mv debian/maude/usr/share/man/man1/maude.1.dh-new debian/maude/usr/share/man/man1/maude.1 chmod 0644 -- debian/maude/usr/share/man/man1/maude.1 dh_perl dh_link dh_strip_nondeterminism dh_compress cd debian/maude chmod a-x usr/share/doc/maude/changelog usr/share/doc/maude/changelog.Debian usr/share/man/man1/maude.1 gzip -9nf usr/share/doc/maude/changelog usr/share/doc/maude/changelog.Debian usr/share/man/man1/maude.1 cd '/build/maude-2.7' dh_fixperms find debian/maude -true -print0 2>/dev/null | xargs -0r chown --no-dereference 0:0 find debian/maude ! -type l -a -true -a -true -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s find debian/maude/usr/share/doc -type f -a -true -a ! -regex 'debian/maude/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 0644 find debian/maude/usr/share/doc -type d -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0755 find debian/maude/usr/share/man -type f -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644 find debian/maude -type f \( -name '*.so.*' -o -name '*.so' -o -name '*.la' -o -name '*.a' -o -name '*.js' -o -name '*.css' -o -name '*.scss' -o -name '*.sass' -o -name '*.jpeg' -o -name '*.jpg' -o -name '*.png' -o -name '*.gif' -o -name '*.cmxs' -o -name '*.node' \) -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644 find debian/maude/usr/bin -type f -a -true -a -true -print0 2>/dev/null | xargs -0r chmod a+x dh_missing dh_strip install -d debian/.debhelper/maude/dbgsym-root/usr/lib/debug/.build-id/7f objcopy --only-keep-debug --compress-debug-sections debian/maude/usr/bin/maude debian/.debhelper/maude/dbgsym-root/usr/lib/debug/.build-id/7f/2fc0f4c55f6ac15a496cc06e06e60a4d05b2a5.debug chmod 0644 -- debian/.debhelper/maude/dbgsym-root/usr/lib/debug/.build-id/7f/2fc0f4c55f6ac15a496cc06e06e60a4d05b2a5.debug chown 0:0 -- debian/.debhelper/maude/dbgsym-root/usr/lib/debug/.build-id/7f/2fc0f4c55f6ac15a496cc06e06e60a4d05b2a5.debug strip --remove-section=.comment --remove-section=.note debian/maude/usr/bin/maude objcopy --add-gnu-debuglink debian/.debhelper/maude/dbgsym-root/usr/lib/debug/.build-id/7f/2fc0f4c55f6ac15a496cc06e06e60a4d05b2a5.debug debian/maude/usr/bin/maude install -d debian/.debhelper/maude/dbgsym-root/usr/share/doc ln -s maude debian/.debhelper/maude/dbgsym-root/usr/share/doc/maude-dbgsym dh_makeshlibs rm -f debian/maude/DEBIAN/shlibs dh_shlibdeps install -d debian/maude/DEBIAN dpkg-shlibdeps -Tdebian/maude.substvars debian/maude/usr/bin/maude dpkg-shlibdeps: warning: debian/maude/usr/bin/maude contains an unresolvable reference to symbol __aeabi_atexit@CXXABI_ARM_1.3.3: it's probably a plugin dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/maude/usr/bin/maude was not linked against libnsl.so.1 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/maude/usr/bin/maude was not linked against libtinfo.so.6 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/maude/usr/bin/maude was not linked against libncurses.so.6 (it uses none of the library's symbols) dh_installdeb dh_gencontrol echo misc:Depends= >> debian/maude.substvars echo misc:Pre-Depends= >> debian/maude.substvars install -d debian/.debhelper/maude/dbgsym-root/DEBIAN dpkg-gencontrol -pmaude -ldebian/changelog -Tdebian/maude.substvars -Pdebian/.debhelper/maude/dbgsym-root -UPre-Depends -URecommends -USuggests -UEnhances -UProvides -UEssential -UConflicts -DPriority=optional -UHomepage -UImportant -DAuto-Built-Package=debug-symbols -DPackage=maude-dbgsym "-DDepends=maude (= \${binary:Version})" "-DDescription=debug symbols for maude" -DBuild-Ids=7f2fc0f4c55f6ac15a496cc06e06e60a4d05b2a5 -DSection=debug -UMulti-Arch -UReplaces -UBreaks chmod 0644 -- debian/.debhelper/maude/dbgsym-root/DEBIAN/control chown 0:0 -- debian/.debhelper/maude/dbgsym-root/DEBIAN/control dpkg-gencontrol -pmaude -ldebian/changelog -Tdebian/maude.substvars -Pdebian/maude -UMulti-Arch chmod 0644 -- debian/maude/DEBIAN/control chown 0:0 -- debian/maude/DEBIAN/control dh_md5sums cd debian/maude >/dev/null && xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums chmod 0644 -- debian/maude/DEBIAN/md5sums chown 0:0 -- debian/maude/DEBIAN/md5sums cd debian/.debhelper/maude/dbgsym-root >/dev/null && xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums chmod 0644 -- debian/.debhelper/maude/dbgsym-root/DEBIAN/md5sums chown 0:0 -- debian/.debhelper/maude/dbgsym-root/DEBIAN/md5sums dh_builddeb dpkg-deb --build debian/.debhelper/maude/dbgsym-root .. dpkg-deb --build debian/maude .. dpkg-deb: building package 'maude-dbgsym' in '../maude-dbgsym_2.7-2_armhf.deb'. dpkg-deb: building package 'maude' in '../maude_2.7-2_armhf.deb'. dpkg-genbuildinfo --build=binary dpkg-genchanges --build=binary >../maude_2.7-2_armhf.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: copying local configuration I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env I: removing directory /srv/workspace/pbuilder/17313 and its subdirectories I: Current time: Tue Jun 9 21:50:01 -12 2020 I: pbuilder-time-stamp: 1591782601 Wed Jun 10 09:50:49 UTC 2020 I: 1st build successful. Starting 2nd build on remote node ff2a-armhf-rb.debian.net. Wed Jun 10 09:50:49 UTC 2020 I: Preparing to do remote build '2' on ff2a-armhf-rb.debian.net. Wed Jun 10 10:05:49 UTC 2020 I: Deleting $TMPDIR on ff2a-armhf-rb.debian.net. Wed Jun 10 10:05:51 UTC 2020 I: maude_2.7-2_armhf.changes: Format: 1.8 Date: Tue, 05 Apr 2016 10:48:06 +0200 Source: maude Binary: maude maude-dbgsym Architecture: armhf Version: 2.7-2 Distribution: unstable Urgency: medium Maintainer: Debian Med Packaging Team Changed-By: Andreas Tille Description: maude - high-performance logical framework Closes: 819948 Changes: maude (2.7-2) unstable; urgency=medium . [ Andreas Tille ] * Moved packaging from SVN to Git * cme fix dpkg-control . [ Alexis Bienvenüe] * Strip build date from banner to get reproducible build. Closes: #819948 Checksums-Sha1: 2c53c4aef56786cf3e4471d70a191131af1145a3 12576384 maude-dbgsym_2.7-2_armhf.deb cd4c41058aa2f9c40520781de03382d43c6f9177 4848 maude_2.7-2_armhf.buildinfo f5504e2967049e995ad5218700899f145350c9cc 674292 maude_2.7-2_armhf.deb Checksums-Sha256: 9230f17b9b217aee9812c22b00cc766433b46b37105146e8dba1c8f993fe55ab 12576384 maude-dbgsym_2.7-2_armhf.deb 77e52bf42caabd575955dad27f7f937b27b4960d864338d8b1cd06c49bb78b3f 4848 maude_2.7-2_armhf.buildinfo 78e763d3892d11983370f9910a916bde1fb53958965e663a9afcfa29735a189d 674292 maude_2.7-2_armhf.deb Files: 9241246bfa2b40f07f2d06e75c52772a 12576384 debug optional maude-dbgsym_2.7-2_armhf.deb 46a99f104d0eb1b2de8c1500baecf97d 4848 science optional maude_2.7-2_armhf.buildinfo 22d272efcf5eb169f13d1fdbbdef6570 674292 science optional maude_2.7-2_armhf.deb Wed Jun 10 10:05:53 UTC 2020 I: diffoscope 146 will be used to compare the two builds: # Profiling output for: /usr/bin/diffoscope --html /srv/reproducible-results/rbuild-debian/tmp.s41i4J5KIv/maude_2.7-2.diffoscope.html --text /srv/reproducible-results/rbuild-debian/tmp.s41i4J5KIv/maude_2.7-2.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/tmp.s41i4J5KIv/maude_2.7-2.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/tmp.s41i4J5KIv/b1/maude_2.7-2_armhf.changes /srv/reproducible-results/rbuild-debian/tmp.s41i4J5KIv/b2/maude_2.7-2_armhf.changes ## command (total time: 0.000s) 0.000s 1 call cmp (internal) ## has_same_content_as (total time: 0.000s) 0.000s 1 call abc.DotChangesFile ## main (total time: 1.329s) 1.329s 2 calls outputs 0.000s 1 call cleanup ## recognizes (total time: 0.277s) 0.277s 10 calls diffoscope.comparators.binary.FilesystemFile 0.000s 8 calls abc.DotChangesFile Wed Jun 10 10:05:58 UTC 2020 I: diffoscope 146 found no differences in the changes files, and a .buildinfo file also exists. Wed Jun 10 10:05:58 UTC 2020 I: maude from buster built successfully and reproducibly on armhf. Wed Jun 10 10:06:00 UTC 2020 I: Submitting .buildinfo files to external archives: Wed Jun 10 10:06:00 UTC 2020 I: Submitting 8.0K b1/maude_2.7-2_armhf.buildinfo.asc Wed Jun 10 10:06:01 UTC 2020 I: Submitting 8.0K b2/maude_2.7-2_armhf.buildinfo.asc Wed Jun 10 10:06:02 UTC 2020 I: Done submitting .buildinfo files to http://buildinfo.debian.net/api/submit. Wed Jun 10 10:06:02 UTC 2020 I: Done submitting .buildinfo files. Wed Jun 10 10:06:02 UTC 2020 I: Removing signed maude_2.7-2_armhf.buildinfo.asc files: removed './b1/maude_2.7-2_armhf.buildinfo.asc' removed './b2/maude_2.7-2_armhf.buildinfo.asc'