I: pbuilder: network access will be disabled during build I: Current time: Thu Aug 26 20:40:12 -12 2021 I: pbuilder-time-stamp: 1630053612 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 '/var/lib/jenkins/.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/23393/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='arm64' DEBIAN_FRONTEND='noninteractive' DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=8' DISTRIBUTION='' HOME='/var/lib/jenkins' HOST_ARCH='arm64' IFS=' ' 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='23393' 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.CQbUFpFYkd/pbuilderrc_F6qj --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/buster-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.CQbUFpFYkd/b1 --logfile b1/build.log maude_2.7-2.dsc' SUDO_GID='117' SUDO_UID='110' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' USERNAME='root' _='/usr/bin/systemd-run' http_proxy='http://192.168.101.16:3128' I: uname -a Linux codethink-sled13-arm64 4.4.0-186-generic #216-Ubuntu SMP Wed Jul 1 05:35:21 UTC 2020 aarch64 GNU/Linux I: ls -l /bin total 4928 -rwxr-xr-x 1 root root 1216928 Apr 17 2019 bash -rwxr-xr-x 3 root root 34808 Jul 10 2019 bunzip2 -rwxr-xr-x 3 root root 34808 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 34808 Jul 10 2019 bzip2 -rwxr-xr-x 1 root root 14264 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 35576 Feb 28 2019 cat -rwxr-xr-x 1 root root 60256 Feb 28 2019 chgrp -rwxr-xr-x 1 root root 56096 Feb 28 2019 chmod -rwxr-xr-x 1 root root 64368 Feb 28 2019 chown -rwxr-xr-x 1 root root 134632 Feb 28 2019 cp -rwxr-xr-x 1 root root 129536 Jan 17 2019 dash -rwxr-xr-x 1 root root 97136 Feb 28 2019 date -rwxr-xr-x 1 root root 76736 Feb 28 2019 dd -rwxr-xr-x 1 root root 93752 Feb 28 2019 df -rwxr-xr-x 1 root root 138848 Feb 28 2019 dir -rwxr-xr-x 1 root root 75984 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 31368 Feb 28 2019 echo -rwxr-xr-x 1 root root 28 Jan 7 2019 egrep -rwxr-xr-x 1 root root 27256 Feb 28 2019 false -rwxr-xr-x 1 root root 28 Jan 7 2019 fgrep -rwxr-xr-x 1 root root 68792 Jan 9 2019 findmnt -rwsr-xr-x 1 root root 34824 Apr 22 2020 fusermount -rwxr-xr-x 1 root root 174304 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 89656 Jan 5 2019 gzip -rwxr-xr-x 1 root root 18440 Sep 26 2018 hostname -rwxr-xr-x 1 root root 64472 Feb 28 2019 ln -rwxr-xr-x 1 root root 52544 Jul 26 2018 login -rwxr-xr-x 1 root root 138848 Feb 28 2019 ls -rwxr-xr-x 1 root root 108552 Jan 9 2019 lsblk -rwxr-xr-x 1 root root 76840 Feb 28 2019 mkdir -rwxr-xr-x 1 root root 64480 Feb 28 2019 mknod -rwxr-xr-x 1 root root 39736 Feb 28 2019 mktemp -rwxr-xr-x 1 root root 38840 Jan 9 2019 more -rwsr-xr-x 1 root root 47112 Jan 9 2019 mount -rwxr-xr-x 1 root root 14344 Jan 9 2019 mountpoint -rwxr-xr-x 1 root root 138736 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 35560 Feb 28 2019 pwd lrwxrwxrwx 1 root root 4 Apr 17 2019 rbash -> bash -rwxr-xr-x 1 root root 43712 Feb 28 2019 readlink -rwxr-xr-x 1 root root 68440 Feb 28 2019 rm -rwxr-xr-x 1 root root 39624 Feb 28 2019 rmdir -rwxr-xr-x 1 root root 19144 Jan 21 2019 run-parts -rwxr-xr-x 1 root root 114016 Dec 22 2018 sed lrwxrwxrwx 1 root root 4 Aug 26 02:49 sh -> dash -rwxr-xr-x 1 root root 31384 Feb 28 2019 sleep -rwxr-xr-x 1 root root 72480 Feb 28 2019 stty -rwsr-xr-x 1 root root 59424 Jan 9 2019 su -rwxr-xr-x 1 root root 31416 Feb 28 2019 sync -rwxr-xr-x 1 root root 449416 Apr 23 2019 tar -rwxr-xr-x 1 root root 10560 Jan 21 2019 tempfile -rwxr-xr-x 1 root root 88968 Feb 28 2019 touch -rwxr-xr-x 1 root root 27256 Feb 28 2019 true -rwxr-xr-x 1 root root 14264 Apr 22 2020 ulockmgr_server -rwsr-xr-x 1 root root 30728 Jan 9 2019 umount -rwxr-xr-x 1 root root 31384 Feb 28 2019 uname -rwxr-xr-x 2 root root 2345 Jan 5 2019 uncompress -rwxr-xr-x 1 root root 138848 Feb 28 2019 vdir -rwxr-xr-x 1 root root 34824 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/23393/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: arm64 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 ... 19168 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 22.2 MB of archives. After unpacking 79.2 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian buster/main arm64 libbsd0 arm64 0.9.1-2 [97.4 kB] Get: 2 http://deb.debian.org/debian buster/main arm64 bsdmainutils arm64 11.1.2+b1 [185 kB] Get: 3 http://deb.debian.org/debian buster/main arm64 libuchardet0 arm64 0.0.6-3 [65.0 kB] Get: 4 http://deb.debian.org/debian buster/main arm64 groff-base arm64 1.22.4-3 [869 kB] Get: 5 http://deb.debian.org/debian buster/main arm64 libpipeline1 arm64 1.5.1-2 [29.8 kB] Get: 6 http://deb.debian.org/debian buster/main arm64 man-db arm64 2.8.5-2 [1258 kB] Get: 7 http://deb.debian.org/debian buster/main arm64 libsigsegv2 arm64 2.12-2 [32.3 kB] Get: 8 http://deb.debian.org/debian buster/main arm64 m4 arm64 1.4.18-2 [198 kB] Get: 9 http://deb.debian.org/debian buster/main arm64 flex arm64 2.6.4-6.2 [446 kB] Get: 10 http://deb.debian.org/debian buster/main arm64 sensible-utils all 0.0.12 [15.8 kB] Get: 11 http://deb.debian.org/debian buster/main arm64 libmagic-mgc arm64 1:5.35-4+deb10u1 [242 kB] Get: 12 http://deb.debian.org/debian buster/main arm64 libmagic1 arm64 1:5.35-4+deb10u1 [115 kB] Get: 13 http://deb.debian.org/debian buster/main arm64 file arm64 1:5.35-4+deb10u1 [66.4 kB] Get: 14 http://deb.debian.org/debian buster/main arm64 gettext-base arm64 0.19.8.1-9 [120 kB] Get: 15 http://deb.debian.org/debian buster/main arm64 autoconf all 2.69-11 [341 kB] Get: 16 http://deb.debian.org/debian buster/main arm64 autotools-dev all 20180224.1 [77.0 kB] Get: 17 http://deb.debian.org/debian buster/main arm64 automake all 1:1.16.1-4 [771 kB] Get: 18 http://deb.debian.org/debian buster/main arm64 autopoint all 0.19.8.1-9 [434 kB] Get: 19 http://deb.debian.org/debian buster/main arm64 libbison-dev arm64 2:3.3.2.dfsg-1 [500 kB] Get: 20 http://deb.debian.org/debian buster/main arm64 bison arm64 2:3.3.2.dfsg-1 [855 kB] Get: 21 http://deb.debian.org/debian buster/main arm64 libtool all 2.4.6-9 [547 kB] Get: 22 http://deb.debian.org/debian buster/main arm64 dh-autoreconf all 19 [16.9 kB] Get: 23 http://deb.debian.org/debian buster/main arm64 libarchive-zip-perl all 1.64-1 [96.8 kB] Get: 24 http://deb.debian.org/debian buster/main arm64 libfile-stripnondeterminism-perl all 1.1.2-1 [19.8 kB] Get: 25 http://deb.debian.org/debian buster/main arm64 dh-strip-nondeterminism all 1.1.2-1 [13.0 kB] Get: 26 http://deb.debian.org/debian buster/main arm64 libelf1 arm64 0.176-1.1 [160 kB] Get: 27 http://deb.debian.org/debian buster/main arm64 dwz arm64 0.12-3 [71.7 kB] Get: 28 http://deb.debian.org/debian buster/main arm64 libglib2.0-0 arm64 2.58.3-2+deb10u2 [1185 kB] Get: 29 http://deb.debian.org/debian buster/main arm64 libicu63 arm64 63.1-6+deb10u1 [8151 kB] Get: 30 http://deb.debian.org/debian buster/main arm64 libxml2 arm64 2.9.4+dfsg1-7+b3 [623 kB] Get: 31 http://deb.debian.org/debian buster/main arm64 libcroco3 arm64 0.6.12-3 [140 kB] Get: 32 http://deb.debian.org/debian buster/main arm64 libncurses6 arm64 6.1+20181013-2+deb10u2 [92.6 kB] Get: 33 http://deb.debian.org/debian buster/main arm64 gettext arm64 0.19.8.1-9 [1261 kB] Get: 34 http://deb.debian.org/debian buster/main arm64 intltool-debian all 0.35.0+20060710.5 [26.8 kB] Get: 35 http://deb.debian.org/debian buster/main arm64 po-debconf all 1.0.21 [248 kB] Get: 36 http://deb.debian.org/debian buster/main arm64 debhelper all 12.1.1 [1016 kB] Get: 37 http://deb.debian.org/debian buster/main arm64 libbdd0c2 arm64 2.4-11+b1 [46.4 kB] Get: 38 http://deb.debian.org/debian buster/main arm64 libbdd-dev arm64 2.4-11+b1 [455 kB] Get: 39 http://deb.debian.org/debian buster/main arm64 libgmpxx4ldbl arm64 2:6.1.2+dfsg-4 [22.6 kB] Get: 40 http://deb.debian.org/debian buster/main arm64 libgmp-dev arm64 2:6.1.2+dfsg-4 [608 kB] Get: 41 http://deb.debian.org/debian buster/main arm64 libgmp3-dev arm64 2:6.1.2+dfsg-4 [15.7 kB] Get: 42 http://deb.debian.org/debian buster/main arm64 libncurses-dev arm64 6.1+20181013-2+deb10u2 [324 kB] Get: 43 http://deb.debian.org/debian buster/main arm64 libncurses5-dev arm64 6.1+20181013-2+deb10u2 [948 B] Get: 44 http://deb.debian.org/debian buster/main arm64 libsigsegv-dev arm64 2.12-2 [26.5 kB] Get: 45 http://deb.debian.org/debian buster/main arm64 libtecla1 arm64 1.6.3-2.1 [93.4 kB] Get: 46 http://deb.debian.org/debian buster/main arm64 libtecla-dev arm64 1.6.3-2.1 [186 kB] Fetched 22.2 MB in 2s (12.9 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libbsd0:arm64. (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 ... 19168 files and directories currently installed.) Preparing to unpack .../00-libbsd0_0.9.1-2_arm64.deb ... Unpacking libbsd0:arm64 (0.9.1-2) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../01-bsdmainutils_11.1.2+b1_arm64.deb ... Unpacking bsdmainutils (11.1.2+b1) ... Selecting previously unselected package libuchardet0:arm64. Preparing to unpack .../02-libuchardet0_0.0.6-3_arm64.deb ... Unpacking libuchardet0:arm64 (0.0.6-3) ... Selecting previously unselected package groff-base. Preparing to unpack .../03-groff-base_1.22.4-3_arm64.deb ... Unpacking groff-base (1.22.4-3) ... Selecting previously unselected package libpipeline1:arm64. Preparing to unpack .../04-libpipeline1_1.5.1-2_arm64.deb ... Unpacking libpipeline1:arm64 (1.5.1-2) ... Selecting previously unselected package man-db. Preparing to unpack .../05-man-db_2.8.5-2_arm64.deb ... Unpacking man-db (2.8.5-2) ... Selecting previously unselected package libsigsegv2:arm64. Preparing to unpack .../06-libsigsegv2_2.12-2_arm64.deb ... Unpacking libsigsegv2:arm64 (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../07-m4_1.4.18-2_arm64.deb ... Unpacking m4 (1.4.18-2) ... Selecting previously unselected package flex. Preparing to unpack .../08-flex_2.6.4-6.2_arm64.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_arm64.deb ... Unpacking libmagic-mgc (1:5.35-4+deb10u1) ... Selecting previously unselected package libmagic1:arm64. Preparing to unpack .../11-libmagic1_1%3a5.35-4+deb10u1_arm64.deb ... Unpacking libmagic1:arm64 (1:5.35-4+deb10u1) ... Selecting previously unselected package file. Preparing to unpack .../12-file_1%3a5.35-4+deb10u1_arm64.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_arm64.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:arm64. Preparing to unpack .../18-libbison-dev_2%3a3.3.2.dfsg-1_arm64.deb ... Unpacking libbison-dev:arm64 (2:3.3.2.dfsg-1) ... Selecting previously unselected package bison. Preparing to unpack .../19-bison_2%3a3.3.2.dfsg-1_arm64.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:arm64. Preparing to unpack .../25-libelf1_0.176-1.1_arm64.deb ... Unpacking libelf1:arm64 (0.176-1.1) ... Selecting previously unselected package dwz. Preparing to unpack .../26-dwz_0.12-3_arm64.deb ... Unpacking dwz (0.12-3) ... Selecting previously unselected package libglib2.0-0:arm64. Preparing to unpack .../27-libglib2.0-0_2.58.3-2+deb10u2_arm64.deb ... Unpacking libglib2.0-0:arm64 (2.58.3-2+deb10u2) ... Selecting previously unselected package libicu63:arm64. Preparing to unpack .../28-libicu63_63.1-6+deb10u1_arm64.deb ... Unpacking libicu63:arm64 (63.1-6+deb10u1) ... Selecting previously unselected package libxml2:arm64. Preparing to unpack .../29-libxml2_2.9.4+dfsg1-7+b3_arm64.deb ... Unpacking libxml2:arm64 (2.9.4+dfsg1-7+b3) ... Selecting previously unselected package libcroco3:arm64. Preparing to unpack .../30-libcroco3_0.6.12-3_arm64.deb ... Unpacking libcroco3:arm64 (0.6.12-3) ... Selecting previously unselected package libncurses6:arm64. Preparing to unpack .../31-libncurses6_6.1+20181013-2+deb10u2_arm64.deb ... Unpacking libncurses6:arm64 (6.1+20181013-2+deb10u2) ... Selecting previously unselected package gettext. Preparing to unpack .../32-gettext_0.19.8.1-9_arm64.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_arm64.deb ... Unpacking libbdd0c2 (2.4-11+b1) ... Selecting previously unselected package libbdd-dev. Preparing to unpack .../37-libbdd-dev_2.4-11+b1_arm64.deb ... Unpacking libbdd-dev (2.4-11+b1) ... Selecting previously unselected package libgmpxx4ldbl:arm64. Preparing to unpack .../38-libgmpxx4ldbl_2%3a6.1.2+dfsg-4_arm64.deb ... Unpacking libgmpxx4ldbl:arm64 (2:6.1.2+dfsg-4) ... Selecting previously unselected package libgmp-dev:arm64. Preparing to unpack .../39-libgmp-dev_2%3a6.1.2+dfsg-4_arm64.deb ... Unpacking libgmp-dev:arm64 (2:6.1.2+dfsg-4) ... Selecting previously unselected package libgmp3-dev:arm64. Preparing to unpack .../40-libgmp3-dev_2%3a6.1.2+dfsg-4_arm64.deb ... Unpacking libgmp3-dev:arm64 (2:6.1.2+dfsg-4) ... Selecting previously unselected package libncurses-dev:arm64. Preparing to unpack .../41-libncurses-dev_6.1+20181013-2+deb10u2_arm64.deb ... Unpacking libncurses-dev:arm64 (6.1+20181013-2+deb10u2) ... Selecting previously unselected package libncurses5-dev:arm64. Preparing to unpack .../42-libncurses5-dev_6.1+20181013-2+deb10u2_arm64.deb ... Unpacking libncurses5-dev:arm64 (6.1+20181013-2+deb10u2) ... Selecting previously unselected package libsigsegv-dev:arm64. Preparing to unpack .../43-libsigsegv-dev_2.12-2_arm64.deb ... Unpacking libsigsegv-dev:arm64 (2.12-2) ... Selecting previously unselected package libtecla1. Preparing to unpack .../44-libtecla1_1.6.3-2.1_arm64.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_arm64.deb ... Unpacking libtecla-dev (1.6.3-2.1) ... Setting up libpipeline1:arm64 (1.5.1-2) ... Setting up libbison-dev:arm64 (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:arm64 (2.58.3-2+deb10u2) ... No schema files found: doing nothing. Setting up libmagic1:arm64 (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:arm64 (63.1-6+deb10u1) ... Setting up libbdd0c2 (2.4-11+b1) ... Setting up autotools-dev (20180224.1) ... Setting up libgmpxx4ldbl:arm64 (2:6.1.2+dfsg-4) ... Setting up libncurses6:arm64 (6.1+20181013-2+deb10u2) ... Setting up libsigsegv2:arm64 (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:arm64 (0.0.6-3) ... Setting up libbsd0:arm64 (0.9.1-2) ... Setting up libelf1:arm64 (0.176-1.1) ... Setting up libxml2:arm64 (2.9.4+dfsg1-7+b3) ... Setting up libfile-stripnondeterminism-perl (1.1.2-1) ... Setting up libncurses-dev:arm64 (6.1+20181013-2+deb10u2) ... Setting up libgmp-dev:arm64 (2:6.1.2+dfsg-4) ... Setting up libtool (2.4.6-9) ... Setting up libsigsegv-dev:arm64 (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:arm64 (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:arm64 (2:6.1.2+dfsg-4) ... Setting up libncurses5-dev:arm64 (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 arm64 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=aarch64-linux-gnu --prefix=/usr --includedir=\${prefix}/include --mandir=\${prefix}/share/man --infodir=\${prefix}/share/info --sysconfdir=/etc --localstatedir=/var --disable-silent-rules --libdir=\${prefix}/lib/aarch64-linux-gnu --libexecdir=\${prefix}/lib/aarch64-linux-gnu --disable-maintainer-mode --disable-dependency-tracking --datadir=/usr/share/maude configure: WARNING: unrecognized options: --disable-silent-rules, --disable-maintainer-mode checking build system type... aarch64-unknown-linux-gnu checking host system type... aarch64-unknown-linux-gnu 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... 8 checking size of unsigned long... 8 checking size of void *... 8 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 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 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 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/09 objcopy --only-keep-debug --compress-debug-sections debian/maude/usr/bin/maude debian/.debhelper/maude/dbgsym-root/usr/lib/debug/.build-id/09/2f9bbe0c00d284be806206346a958bf850adf5.debug chmod 0644 -- debian/.debhelper/maude/dbgsym-root/usr/lib/debug/.build-id/09/2f9bbe0c00d284be806206346a958bf850adf5.debug chown 0:0 -- debian/.debhelper/maude/dbgsym-root/usr/lib/debug/.build-id/09/2f9bbe0c00d284be806206346a958bf850adf5.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/09/2f9bbe0c00d284be806206346a958bf850adf5.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: 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) 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 libnsl.so.1 (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=092f9bbe0c00d284be806206346a958bf850adf5 -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/maude .. dpkg-deb --build debian/.debhelper/maude/dbgsym-root .. dpkg-deb: building package 'maude-dbgsym' in '../maude-dbgsym_2.7-2_arm64.deb'. dpkg-deb: building package 'maude' in '../maude_2.7-2_arm64.deb'. dpkg-genbuildinfo --build=binary dpkg-genchanges --build=binary >../maude_2.7-2_arm64.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/23393 and its subdirectories I: Current time: Thu Aug 26 20:58:05 -12 2021 I: pbuilder-time-stamp: 1630054685