RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: Linux magic 3.8.0-mustang_sw_1.07.04-Alpha #1 SMP Sat Sep 14 09:50:58 MDT 2013 aarch64 Buildd toolchain package versions: launchpad-buildd_119~APM.12.04.2 python-lpbuildd_119~APM.12.04.2. Syncing the system clock with the buildd NTP service... 27 Oct 16:52:37 ntpdate[28720]: adjust time server 10.211.37.1 offset -0.077867 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', 'PACKAGEBUILD-5156957', '/home/buildd/filecache-default/b26b22d5e9534fc8f0f6f99171885be7b2b8539d'] Unpacking chroot for build PACKAGEBUILD-5156957 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', 'PACKAGEBUILD-5156957'] Mounting chroot for build PACKAGEBUILD-5156957 RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', 'PACKAGEBUILD-5156957', 'deb http://ftpmaster.internal/ubuntu trusty main universe', 'deb http://ftpmaster.internal/ubuntu trusty-security main universe', 'deb http://ftpmaster.internal/ubuntu trusty-updates main universe', 'deb http://ftpmaster.internal/ubuntu trusty-proposed main universe'] Overriding sources.list in build-PACKAGEBUILD-5156957 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', 'PACKAGEBUILD-5156957', 'arm64'] Updating debian chroot for build PACKAGEBUILD-5156957 Ign http://archive-team.internal trusty InRelease Ign http://ftpmaster.internal trusty InRelease Ign http://ftpmaster.internal trusty-security InRelease Ign http://archive-team.internal trusty Release.gpg Ign http://ftpmaster.internal trusty-updates InRelease Hit http://archive-team.internal trusty Release Ign http://ftpmaster.internal trusty-proposed InRelease Ign http://archive-team.internal trusty/main arm64 Packages/DiffIndex Get:1 http://ftpmaster.internal trusty Release.gpg [933 B] Get:2 http://ftpmaster.internal trusty-security Release.gpg [933 B] Get:3 http://ftpmaster.internal trusty-updates Release.gpg [933 B] Get:4 http://ftpmaster.internal trusty-proposed Release.gpg [933 B] Get:5 http://ftpmaster.internal trusty Release [49.6 kB] Ign http://archive-team.internal trusty/main Translation-en Get:6 http://ftpmaster.internal trusty-security Release [49.6 kB] Hit http://archive-team.internal trusty/main arm64 Packages Get:7 http://ftpmaster.internal trusty-updates Release [49.6 kB] Get:8 http://ftpmaster.internal trusty-proposed Release [49.6 kB] Get:9 http://ftpmaster.internal trusty/main arm64 Packages [1156 kB] Get:10 http://ftpmaster.internal trusty/universe arm64 Packages [4633 kB] Get:11 http://ftpmaster.internal trusty/main Translation-en [721 kB] Get:12 http://ftpmaster.internal trusty/universe Translation-en [3972 kB] Get:13 http://ftpmaster.internal trusty-security/main arm64 Packages [14 B] Get:14 http://ftpmaster.internal trusty-security/universe arm64 Packages [14 B] Get:15 http://ftpmaster.internal trusty-security/main Translation-en [14 B] Get:16 http://ftpmaster.internal trusty-security/universe Translation-en [14 B] Get:17 http://ftpmaster.internal trusty-updates/main arm64 Packages [14 B] Get:18 http://ftpmaster.internal trusty-updates/universe arm64 Packages [14 B] Get:19 http://ftpmaster.internal trusty-updates/main Translation-en [14 B] Get:20 http://ftpmaster.internal trusty-updates/universe Translation-en [14 B] Get:21 http://ftpmaster.internal trusty-proposed/main arm64 Packages [11.4 kB] Get:22 http://ftpmaster.internal trusty-proposed/universe arm64 Packages [63.6 kB] Get:23 http://ftpmaster.internal trusty-proposed/main Translation-en [7552 B] Get:24 http://ftpmaster.internal trusty-proposed/universe Translation-en [77.2 kB] Fetched 10.8 MB in 29s (365 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: busybox-initramfs initramfs-tools initramfs-tools-bin kmod libdrm2 libgssapi-krb5-2 libk5crypto3 libkmod2 libkrb5-3 libkrb5support0 libldap-2.4-2 libmpfr4 libsqlite3-0 module-init-tools perl perl-base perl-modules tar upstart 19 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 11.7 MB of archives. After this operation, 2706 kB of additional disk space will be used. WARNING: The following packages cannot be authenticated! perl perl-base perl-modules tar libsqlite3-0 libdrm2 libkmod2 kmod module-init-tools libk5crypto3 libgssapi-krb5-2 libkrb5-3 libkrb5support0 libldap-2.4-2 libmpfr4 busybox-initramfs initramfs-tools initramfs-tools-bin upstart Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ trusty/main perl arm64 5.18.1-4 [3937 kB] Get:2 http://ftpmaster.internal/ubuntu/ trusty/main perl-base arm64 5.18.1-4 [1473 kB] Get:3 http://ftpmaster.internal/ubuntu/ trusty/main perl-modules all 5.18.1-4 [3926 kB] Get:4 http://ftpmaster.internal/ubuntu/ trusty-proposed/main tar arm64 1.27-1 [213 kB] Get:5 http://ftpmaster.internal/ubuntu/ trusty/main libsqlite3-0 arm64 3.8.0.2-1ubuntu1 [346 kB] Get:6 http://ftpmaster.internal/ubuntu/ trusty/main libdrm2 arm64 2.4.46-3ubuntu1 [22.8 kB] Get:7 http://ftpmaster.internal/ubuntu/ trusty/main libkmod2 arm64 15-0ubuntu2 [36.6 kB] Get:8 http://ftpmaster.internal/ubuntu/ trusty/main kmod arm64 15-0ubuntu2 [85.9 kB] Get:9 http://ftpmaster.internal/ubuntu/ trusty/main module-init-tools all 15-0ubuntu2 [1874 B] Get:10 http://ftpmaster.internal/ubuntu/ trusty-proposed/main libk5crypto3 arm64 1.11.3+dfsg-3ubuntu1 [98.0 kB] Get:11 http://ftpmaster.internal/ubuntu/ trusty-proposed/main libgssapi-krb5-2 arm64 1.11.3+dfsg-3ubuntu1 [114 kB] Get:12 http://ftpmaster.internal/ubuntu/ trusty-proposed/main libkrb5-3 arm64 1.11.3+dfsg-3ubuntu1 [309 kB] Get:13 http://ftpmaster.internal/ubuntu/ trusty-proposed/main libkrb5support0 arm64 1.11.3+dfsg-3ubuntu1 [30.1 kB] Get:14 http://ftpmaster.internal/ubuntu/ trusty/main libldap-2.4-2 arm64 2.4.31-1+nmu2ubuntu4 [159 kB] Get:15 http://ftpmaster.internal/ubuntu/ trusty/main libmpfr4 arm64 3.1.2-1 [207 kB] Get:16 http://ftpmaster.internal/ubuntu/ trusty/main busybox-initramfs arm64 1:1.20.0-9ubuntu2 [186 kB] Get:17 http://ftpmaster.internal/ubuntu/ trusty/main initramfs-tools all 0.103ubuntu2 [49.2 kB] Get:18 http://ftpmaster.internal/ubuntu/ trusty/main initramfs-tools-bin arm64 0.103ubuntu2 [9510 B] Get:19 http://ftpmaster.internal/ubuntu/ trusty/main upstart arm64 1.10-0ubuntu8 [521 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 11.7 MB in 20s (584 kB/s) (Reading database ... 11942 files and directories currently installed.) Preparing to replace perl 5.14.2-21build1 (using .../perl_5.18.1-4_arm64.deb) ... Unpacking replacement perl ... Preparing to replace perl-base 5.14.2-21build1 (using .../perl-base_5.18.1-4_arm64.deb) ... Unpacking replacement perl-base ... Setting up perl-base (5.18.1-4) ... (Reading database ... 11844 files and directories currently installed.) Preparing to replace perl-modules 5.14.2-21build1 (using .../perl-modules_5.18.1-4_all.deb) ... Unpacking replacement perl-modules ... Preparing to replace tar 1.26+dfsg-8 (using .../archives/tar_1.27-1_arm64.deb) ... Unpacking replacement tar ... Setting up tar (1.27-1) ... (Reading database ... 11882 files and directories currently installed.) Preparing to replace libsqlite3-0:arm64 3.7.17-1ubuntu1 (using .../libsqlite3-0_3.8.0.2-1ubuntu1_arm64.deb) ... Unpacking replacement libsqlite3-0:arm64 ... Preparing to replace libdrm2:arm64 2.4.46-3 (using .../libdrm2_2.4.46-3ubuntu1_arm64.deb) ... Unpacking replacement libdrm2:arm64 ... Preparing to replace libkmod2:arm64 9-3ubuntu1 (using .../libkmod2_15-0ubuntu2_arm64.deb) ... Unpacking replacement libkmod2:arm64 ... Preparing to replace kmod 9-3ubuntu1 (using .../kmod_15-0ubuntu2_arm64.deb) ... Unpacking replacement kmod ... Preparing to replace module-init-tools 9-3ubuntu1 (using .../module-init-tools_15-0ubuntu2_all.deb) ... Unpacking replacement module-init-tools ... Preparing to replace libk5crypto3:arm64 1.10.1+dfsg-6.1ubuntu1 (using .../libk5crypto3_1.11.3+dfsg-3ubuntu1_arm64.deb) ... Unpacking replacement libk5crypto3:arm64 ... Preparing to replace libgssapi-krb5-2:arm64 1.10.1+dfsg-6.1ubuntu1 (using .../libgssapi-krb5-2_1.11.3+dfsg-3ubuntu1_arm64.deb) ... Unpacking replacement libgssapi-krb5-2:arm64 ... Preparing to replace libkrb5-3:arm64 1.10.1+dfsg-6.1ubuntu1 (using .../libkrb5-3_1.11.3+dfsg-3ubuntu1_arm64.deb) ... Unpacking replacement libkrb5-3:arm64 ... Preparing to replace libkrb5support0:arm64 1.10.1+dfsg-6.1ubuntu1 (using .../libkrb5support0_1.11.3+dfsg-3ubuntu1_arm64.deb) ... Unpacking replacement libkrb5support0:arm64 ... Preparing to replace libldap-2.4-2:arm64 2.4.31-1+nmu2ubuntu3 (using .../libldap-2.4-2_2.4.31-1+nmu2ubuntu4_arm64.deb) ... Unpacking replacement libldap-2.4-2:arm64 ... Preparing to replace libmpfr4:arm64 3.1.1-2 (using .../libmpfr4_3.1.2-1_arm64.deb) ... Unpacking replacement libmpfr4:arm64 ... Preparing to replace busybox-initramfs 1:1.20.0-9ubuntu1 (using .../busybox-initramfs_1%3a1.20.0-9ubuntu2_arm64.deb) ... Unpacking replacement busybox-initramfs ... Preparing to replace initramfs-tools 0.103ubuntu1 (using .../initramfs-tools_0.103ubuntu2_all.deb) ... Unpacking replacement initramfs-tools ... Preparing to replace initramfs-tools-bin 0.103ubuntu1 (using .../initramfs-tools-bin_0.103ubuntu2_arm64.deb) ... Unpacking replacement initramfs-tools-bin ... Preparing to replace upstart 1.10-0ubuntu7 (using .../upstart_1.10-0ubuntu8_arm64.deb) ... Unpacking replacement upstart ... Setting up libsqlite3-0:arm64 (3.8.0.2-1ubuntu1) ... Setting up libdrm2:arm64 (2.4.46-3ubuntu1) ... Setting up libkmod2:arm64 (15-0ubuntu2) ... Setting up kmod (15-0ubuntu2) ... Setting up module-init-tools (15-0ubuntu2) ... Setting up libkrb5support0:arm64 (1.11.3+dfsg-3ubuntu1) ... Setting up libk5crypto3:arm64 (1.11.3+dfsg-3ubuntu1) ... Setting up libkrb5-3:arm64 (1.11.3+dfsg-3ubuntu1) ... Setting up libgssapi-krb5-2:arm64 (1.11.3+dfsg-3ubuntu1) ... Setting up libldap-2.4-2:arm64 (2.4.31-1+nmu2ubuntu4) ... Setting up libmpfr4:arm64 (3.1.2-1) ... Setting up busybox-initramfs (1:1.20.0-9ubuntu2) ... Setting up initramfs-tools-bin (0.103ubuntu2) ... Setting up initramfs-tools (0.103ubuntu2) ... update-initramfs: deferring update (trigger activated) Setting up upstart (1.10-0ubuntu8) ... Setting up perl-modules (5.18.1-4) ... Setting up perl (5.18.1-4) ... Processing triggers for libc-bin ... Processing triggers for initramfs-tools ... RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', 'PACKAGEBUILD-5156957', 'arm64', 'trusty-proposed', '--nolog', '--batch', '--archive=ubuntu', '--dist=trusty-proposed', '--purpose=PRIMARY', '--architecture=arm64', '--comp=universe', 'maude_2.6-4.dsc'] Initiating build PACKAGEBUILD-5156957 with 8 jobs across 8 processor cores. Kernel reported to sbuild: 3.8.0-mustang_sw_1.07.04-Alpha #1 SMP Sat Sep 14 09:50:58 MDT 2013 aarch64 Automatic build of maude_2.6-4 on magic by sbuild/arm64 1.170.5 Build started at 20131027-1653 ****************************************************************************** maude_2.6-4.dsc exists in cwd ** Using build dependencies supplied by package: Build-Depends: debhelper (>= 9), autotools-dev, libtecla1-dev, libbdd-dev, libgmp3-dev, libsigsegv-dev, bison, flex, libncurses5-dev Checking for already installed source dependencies... debhelper: missing autotools-dev: missing libtecla1-dev: missing libbdd-dev: missing libgmp3-dev: missing libsigsegv-dev: missing bison: missing flex: missing libncurses5-dev: missing Checking for source dependency conflicts... /usr/bin/sudo /usr/bin/apt-get --purge $CHROOT_OPTIONS -q -y install debhelper autotools-dev libtecla1-dev libbdd-dev libgmp3-dev libsigsegv-dev bison flex libncurses5-dev Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: apparmor-easyprof bsdmainutils dh-apparmor dh-python file gettext gettext-base groff-base intltool-debian libasprintf0c2 libbdd0c2 libbison-dev libcroco3 libexpat1 libffi6 libfl-dev libglib2.0-0 libgmp-dev libgmpxx4ldbl libmagic1 libpipeline1 libpython3-stdlib libpython3.3-minimal libpython3.3-stdlib libsigsegv2 libssl1.0.0 libtecla1 libtinfo-dev libunistring0 libxml2 m4 man-db mime-support po-debconf python3 python3-minimal python3.3 python3.3-minimal Suggested packages: bison-doc wamerican wordlist whois vacation dh-make gettext-doc groff libgmp10-doc libmpfr-dev ncurses-doc less www-browser libmail-box-perl python3-doc python3-tk python3.3-doc binfmt-support Recommended packages: curl wget lynx-cur libasprintf-dev libgettextpo-dev libglib2.0-data shared-mime-info xml-core libmail-sendmail-perl The following NEW packages will be installed: apparmor-easyprof autotools-dev bison bsdmainutils debhelper dh-apparmor dh-python file flex gettext gettext-base groff-base intltool-debian libasprintf0c2 libbdd-dev libbdd0c2 libbison-dev libcroco3 libexpat1 libffi6 libfl-dev libglib2.0-0 libgmp-dev libgmp3-dev libgmpxx4ldbl libmagic1 libncurses5-dev libpipeline1 libpython3-stdlib libpython3.3-minimal libpython3.3-stdlib libsigsegv-dev libsigsegv2 libssl1.0.0 libtecla1 libtecla1-dev libtinfo-dev libunistring0 libxml2 m4 man-db mime-support po-debconf python3 python3-minimal python3.3 python3.3-minimal 0 upgraded, 47 newly installed, 0 to remove and 0 not upgraded. Need to get 14.0 MB of archives. After this operation, 48.0 MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libexpat1 libffi6 libmagic1 libssl1.0.0 libpython3.3-minimal mime-support libpython3.3-stdlib python3.3-minimal libasprintf0c2 libglib2.0-0 libpipeline1 libxml2 groff-base bsdmainutils man-db libsigsegv2 m4 libfl-dev flex libcroco3 libgmpxx4ldbl libunistring0 python3.3 python3-minimal libpython3-stdlib python3 dh-python file gettext-base autotools-dev libbison-dev bison gettext intltool-debian po-debconf apparmor-easyprof dh-apparmor debhelper libbdd0c2 libbdd-dev libgmp-dev libgmp3-dev libtinfo-dev libncurses5-dev libsigsegv-dev libtecla1 libtecla1-dev Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ trusty/main libexpat1 arm64 2.1.0-4 [114 kB] Get:2 http://ftpmaster.internal/ubuntu/ trusty/main libffi6 arm64 3.0.13-4 [19.0 kB] Get:3 http://ftpmaster.internal/ubuntu/ trusty/main libmagic1 arm64 5.11-2ubuntu4 [163 kB] Get:4 http://ftpmaster.internal/ubuntu/ trusty/main libssl1.0.0 arm64 1.0.1e-3ubuntu1 [860 kB] Get:5 http://ftpmaster.internal/ubuntu/ trusty/main libpython3.3-minimal arm64 3.3.2-7ubuntu3 [609 kB] Get:6 http://ftpmaster.internal/ubuntu/ trusty/main mime-support all 3.54ubuntu1 [31.7 kB] Get:7 http://ftpmaster.internal/ubuntu/ trusty/main libpython3.3-stdlib arm64 3.3.2-7ubuntu3 [2568 kB] Get:8 http://ftpmaster.internal/ubuntu/ trusty/main python3.3-minimal arm64 3.3.2-7ubuntu3 [1431 kB] Get:9 http://ftpmaster.internal/ubuntu/ trusty/main libasprintf0c2 arm64 0.18.3.1-1ubuntu1 [7172 B] Get:10 http://ftpmaster.internal/ubuntu/ trusty/main libglib2.0-0 arm64 2.38.1-1 [827 kB] Get:11 http://ftpmaster.internal/ubuntu/ trusty/main libpipeline1 arm64 1.2.4-1 [24.5 kB] Get:12 http://ftpmaster.internal/ubuntu/ trusty/main libxml2 arm64 2.9.1+dfsg1-3ubuntu2 [588 kB] Get:13 http://ftpmaster.internal/ubuntu/ trusty/main groff-base arm64 1.22.2-3 [688 kB] Get:14 http://ftpmaster.internal/ubuntu/ trusty/main bsdmainutils arm64 9.0.5ubuntu1 [199 kB] Get:15 http://ftpmaster.internal/ubuntu/ trusty/main man-db arm64 2.6.5-2 [678 kB] Get:16 http://ftpmaster.internal/ubuntu/ trusty/main libsigsegv2 arm64 2.10-2 [14.0 kB] Get:17 http://ftpmaster.internal/ubuntu/ trusty/main m4 arm64 1.4.17-1 [195 kB] Get:18 http://ftpmaster.internal/ubuntu/ trusty/main libfl-dev arm64 2.5.35-10.1ubuntu1 [18.9 kB] Get:19 http://ftpmaster.internal/ubuntu/ trusty/main flex arm64 2.5.35-10.1ubuntu1 [221 kB] Get:20 http://ftpmaster.internal/ubuntu/ trusty/main libcroco3 arm64 0.6.8-2 [64.9 kB] Get:21 http://ftpmaster.internal/ubuntu/ trusty/main libgmpxx4ldbl arm64 2:5.1.2+dfsg-2ubuntu1 [10.1 kB] Get:22 http://ftpmaster.internal/ubuntu/ trusty/main libunistring0 arm64 0.9.3-5ubuntu1 [403 kB] Get:23 http://ftpmaster.internal/ubuntu/ trusty/main python3.3 arm64 3.3.2-7ubuntu3 [129 kB] Get:24 http://ftpmaster.internal/ubuntu/ trusty/main python3-minimal arm64 3.3.2-14ubuntu1 [26.4 kB] Get:25 http://ftpmaster.internal/ubuntu/ trusty/main libpython3-stdlib arm64 3.3.2-14ubuntu1 [8144 B] Get:26 http://ftpmaster.internal/ubuntu/ trusty/main python3 arm64 3.3.2-14ubuntu1 [9144 B] Get:27 http://ftpmaster.internal/ubuntu/ trusty-proposed/main dh-python all 1.20131021-1ubuntu1 [58.5 kB] Get:28 http://ftpmaster.internal/ubuntu/ trusty/main file arm64 5.11-2ubuntu4 [18.2 kB] Get:29 http://ftpmaster.internal/ubuntu/ trusty/main gettext-base arm64 0.18.3.1-1ubuntu1 [64.0 kB] Get:30 http://ftpmaster.internal/ubuntu/ trusty/main autotools-dev all 20130810.1 [44.3 kB] Get:31 http://ftpmaster.internal/ubuntu/ trusty/main libbison-dev arm64 2:2.7.1.dfsg-1 [307 kB] Get:32 http://ftpmaster.internal/ubuntu/ trusty/main bison arm64 2:2.7.1.dfsg-1 [281 kB] Get:33 http://ftpmaster.internal/ubuntu/ trusty/main gettext arm64 0.18.3.1-1ubuntu1 [983 kB] Get:34 http://ftpmaster.internal/ubuntu/ trusty/main intltool-debian all 0.35.0+20060710.1 [31.6 kB] Get:35 http://ftpmaster.internal/ubuntu/ trusty/main po-debconf all 1.0.16+nmu2ubuntu1 [210 kB] Get:36 http://ftpmaster.internal/ubuntu/ trusty/main apparmor-easyprof all 2.8.0-0ubuntu32 [23.3 kB] Get:37 http://ftpmaster.internal/ubuntu/ trusty/main dh-apparmor all 2.8.0-0ubuntu32 [7830 B] Get:38 http://ftpmaster.internal/ubuntu/ trusty/main debhelper all 9.20130921ubuntu1 [635 kB] Get:39 http://ftpmaster.internal/ubuntu/ trusty/universe libbdd0c2 arm64 2.4-8 [53.5 kB] Get:40 http://ftpmaster.internal/ubuntu/ trusty/universe libbdd-dev arm64 2.4-8 [472 kB] Get:41 http://ftpmaster.internal/ubuntu/ trusty/main libgmp-dev arm64 2:5.1.2+dfsg-2ubuntu1 [365 kB] Get:42 http://ftpmaster.internal/ubuntu/ trusty/main libgmp3-dev arm64 2:5.1.2+dfsg-2ubuntu1 [1812 B] Get:43 http://ftpmaster.internal/ubuntu/ trusty/main libtinfo-dev arm64 5.9+20130608-1ubuntu1 [99.3 kB] Get:44 http://ftpmaster.internal/ubuntu/ trusty/main libncurses5-dev arm64 5.9+20130608-1ubuntu1 [219 kB] Get:45 http://ftpmaster.internal/ubuntu/ trusty/main libsigsegv-dev arm64 2.10-2 [8144 B] Get:46 http://ftpmaster.internal/ubuntu/ trusty/universe libtecla1 arm64 1.6.1-5ubuntu1 [54.8 kB] Get:47 http://ftpmaster.internal/ubuntu/ trusty/universe libtecla1-dev arm64 1.6.1-5ubuntu1 [159 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 14.0 MB in 31s (446 kB/s) Selecting previously unselected package libexpat1:arm64. (Reading database ... 11885 files and directories currently installed.) Unpacking libexpat1:arm64 (from .../libexpat1_2.1.0-4_arm64.deb) ... Selecting previously unselected package libffi6:arm64. Unpacking libffi6:arm64 (from .../libffi6_3.0.13-4_arm64.deb) ... Selecting previously unselected package libmagic1:arm64. Unpacking libmagic1:arm64 (from .../libmagic1_5.11-2ubuntu4_arm64.deb) ... Selecting previously unselected package libssl1.0.0:arm64. Unpacking libssl1.0.0:arm64 (from .../libssl1.0.0_1.0.1e-3ubuntu1_arm64.deb) ... Selecting previously unselected package libpython3.3-minimal:arm64. Unpacking libpython3.3-minimal:arm64 (from .../libpython3.3-minimal_3.3.2-7ubuntu3_arm64.deb) ... Selecting previously unselected package mime-support. Unpacking mime-support (from .../mime-support_3.54ubuntu1_all.deb) ... Selecting previously unselected package libpython3.3-stdlib:arm64. Unpacking libpython3.3-stdlib:arm64 (from .../libpython3.3-stdlib_3.3.2-7ubuntu3_arm64.deb) ... Selecting previously unselected package python3.3-minimal. Unpacking python3.3-minimal (from .../python3.3-minimal_3.3.2-7ubuntu3_arm64.deb) ... Selecting previously unselected package libasprintf0c2:arm64. Unpacking libasprintf0c2:arm64 (from .../libasprintf0c2_0.18.3.1-1ubuntu1_arm64.deb) ... Selecting previously unselected package libglib2.0-0:arm64. Unpacking libglib2.0-0:arm64 (from .../libglib2.0-0_2.38.1-1_arm64.deb) ... Selecting previously unselected package libpipeline1:arm64. Unpacking libpipeline1:arm64 (from .../libpipeline1_1.2.4-1_arm64.deb) ... Selecting previously unselected package libxml2:arm64. Unpacking libxml2:arm64 (from .../libxml2_2.9.1+dfsg1-3ubuntu2_arm64.deb) ... Selecting previously unselected package groff-base. Unpacking groff-base (from .../groff-base_1.22.2-3_arm64.deb) ... Selecting previously unselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_9.0.5ubuntu1_arm64.deb) ... Selecting previously unselected package man-db. Unpacking man-db (from .../man-db_2.6.5-2_arm64.deb) ... Selecting previously unselected package libsigsegv2:arm64. Unpacking libsigsegv2:arm64 (from .../libsigsegv2_2.10-2_arm64.deb) ... Selecting previously unselected package m4. Unpacking m4 (from .../archives/m4_1.4.17-1_arm64.deb) ... Selecting previously unselected package libfl-dev:arm64. Unpacking libfl-dev:arm64 (from .../libfl-dev_2.5.35-10.1ubuntu1_arm64.deb) ... Selecting previously unselected package flex. Unpacking flex (from .../flex_2.5.35-10.1ubuntu1_arm64.deb) ... Selecting previously unselected package libcroco3:arm64. Unpacking libcroco3:arm64 (from .../libcroco3_0.6.8-2_arm64.deb) ... Selecting previously unselected package libgmpxx4ldbl:arm64. Unpacking libgmpxx4ldbl:arm64 (from .../libgmpxx4ldbl_2%3a5.1.2+dfsg-2ubuntu1_arm64.deb) ... Selecting previously unselected package libunistring0:arm64. Unpacking libunistring0:arm64 (from .../libunistring0_0.9.3-5ubuntu1_arm64.deb) ... Selecting previously unselected package python3.3. Unpacking python3.3 (from .../python3.3_3.3.2-7ubuntu3_arm64.deb) ... Selecting previously unselected package python3-minimal. Unpacking python3-minimal (from .../python3-minimal_3.3.2-14ubuntu1_arm64.deb) ... Selecting previously unselected package libpython3-stdlib:arm64. Unpacking libpython3-stdlib:arm64 (from .../libpython3-stdlib_3.3.2-14ubuntu1_arm64.deb) ... Selecting previously unselected package python3. Unpacking python3 (from .../python3_3.3.2-14ubuntu1_arm64.deb) ... Selecting previously unselected package dh-python. Unpacking dh-python (from .../dh-python_1.20131021-1ubuntu1_all.deb) ... Selecting previously unselected package file. Unpacking file (from .../file_5.11-2ubuntu4_arm64.deb) ... Selecting previously unselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.3.1-1ubuntu1_arm64.deb) ... Selecting previously unselected package autotools-dev. Unpacking autotools-dev (from .../autotools-dev_20130810.1_all.deb) ... Selecting previously unselected package libbison-dev:arm64. Unpacking libbison-dev:arm64 (from .../libbison-dev_2%3a2.7.1.dfsg-1_arm64.deb) ... Selecting previously unselected package bison. Unpacking bison (from .../bison_2%3a2.7.1.dfsg-1_arm64.deb) ... Selecting previously unselected package gettext. Unpacking gettext (from .../gettext_0.18.3.1-1ubuntu1_arm64.deb) ... Selecting previously unselected package intltool-debian. Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ... Selecting previously unselected package po-debconf. Unpacking po-debconf (from .../po-debconf_1.0.16+nmu2ubuntu1_all.deb) ... Selecting previously unselected package apparmor-easyprof. Unpacking apparmor-easyprof (from .../apparmor-easyprof_2.8.0-0ubuntu32_all.deb) ... Selecting previously unselected package dh-apparmor. Unpacking dh-apparmor (from .../dh-apparmor_2.8.0-0ubuntu32_all.deb) ... Selecting previously unselected package debhelper. Unpacking debhelper (from .../debhelper_9.20130921ubuntu1_all.deb) ... Selecting previously unselected package libbdd0c2. Unpacking libbdd0c2 (from .../libbdd0c2_2.4-8_arm64.deb) ... Selecting previously unselected package libbdd-dev. Unpacking libbdd-dev (from .../libbdd-dev_2.4-8_arm64.deb) ... Selecting previously unselected package libgmp-dev:arm64. Unpacking libgmp-dev:arm64 (from .../libgmp-dev_2%3a5.1.2+dfsg-2ubuntu1_arm64.deb) ... Selecting previously unselected package libgmp3-dev. Unpacking libgmp3-dev (from .../libgmp3-dev_2%3a5.1.2+dfsg-2ubuntu1_arm64.deb) ... Selecting previously unselected package libtinfo-dev:arm64. Unpacking libtinfo-dev:arm64 (from .../libtinfo-dev_5.9+20130608-1ubuntu1_arm64.deb) ... Selecting previously unselected package libncurses5-dev:arm64. Unpacking libncurses5-dev:arm64 (from .../libncurses5-dev_5.9+20130608-1ubuntu1_arm64.deb) ... Selecting previously unselected package libsigsegv-dev:arm64. Unpacking libsigsegv-dev:arm64 (from .../libsigsegv-dev_2.10-2_arm64.deb) ... Selecting previously unselected package libtecla1. Unpacking libtecla1 (from .../libtecla1_1.6.1-5ubuntu1_arm64.deb) ... Selecting previously unselected package libtecla1-dev. Unpacking libtecla1-dev (from .../libtecla1-dev_1.6.1-5ubuntu1_arm64.deb) ... Setting up libexpat1:arm64 (2.1.0-4) ... Setting up libffi6:arm64 (3.0.13-4) ... Setting up libmagic1:arm64 (5.11-2ubuntu4) ... Setting up libssl1.0.0:arm64 (1.0.1e-3ubuntu1) ... Setting up libpython3.3-minimal:arm64 (3.3.2-7ubuntu3) ... Setting up mime-support (3.54ubuntu1) ... update-alternatives: using /usr/bin/see to provide /usr/bin/view (view) in auto mode Setting up libpython3.3-stdlib:arm64 (3.3.2-7ubuntu3) ... Setting up python3.3-minimal (3.3.2-7ubuntu3) ... Setting up libasprintf0c2:arm64 (0.18.3.1-1ubuntu1) ... Setting up libglib2.0-0:arm64 (2.38.1-1) ... No schema files found: doing nothing. Setting up libpipeline1:arm64 (1.2.4-1) ... Setting up libxml2:arm64 (2.9.1+dfsg1-3ubuntu2) ... Setting up groff-base (1.22.2-3) ... Setting up bsdmainutils (9.0.5ubuntu1) ... 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 man-db (2.6.5-2) ... Not building database; man-db/auto-update is not 'true'. Setting up libsigsegv2:arm64 (2.10-2) ... Setting up m4 (1.4.17-1) ... Setting up libfl-dev:arm64 (2.5.35-10.1ubuntu1) ... Setting up flex (2.5.35-10.1ubuntu1) ... Setting up libcroco3:arm64 (0.6.8-2) ... Setting up libgmpxx4ldbl:arm64 (2:5.1.2+dfsg-2ubuntu1) ... Setting up libunistring0:arm64 (0.9.3-5ubuntu1) ... Setting up python3.3 (3.3.2-7ubuntu3) ... Setting up python3-minimal (3.3.2-14ubuntu1) ... Setting up libpython3-stdlib:arm64 (3.3.2-14ubuntu1) ... Setting up file (5.11-2ubuntu4) ... Setting up gettext-base (0.18.3.1-1ubuntu1) ... Setting up autotools-dev (20130810.1) ... Setting up libbison-dev:arm64 (2:2.7.1.dfsg-1) ... Setting up bison (2:2.7.1.dfsg-1) ... update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode Setting up gettext (0.18.3.1-1ubuntu1) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu2ubuntu1) ... Setting up libbdd0c2 (2.4-8) ... Setting up libbdd-dev (2.4-8) ... Setting up libgmp-dev:arm64 (2:5.1.2+dfsg-2ubuntu1) ... Setting up libgmp3-dev (2:5.1.2+dfsg-2ubuntu1) ... Setting up libtinfo-dev:arm64 (5.9+20130608-1ubuntu1) ... Setting up libncurses5-dev:arm64 (5.9+20130608-1ubuntu1) ... Setting up libsigsegv-dev:arm64 (2.10-2) ... Setting up libtecla1 (1.6.1-5ubuntu1) ... Setting up libtecla1-dev (1.6.1-5ubuntu1) ... Setting up python3 (3.3.2-14ubuntu1) ... running python rtupdate hooks for python3.3... running python post-rtupdate hooks for python3.3... Setting up dh-python (1.20131021-1ubuntu1) ... Setting up apparmor-easyprof (2.8.0-0ubuntu32) ... Setting up dh-apparmor (2.8.0-0ubuntu32) ... Setting up debhelper (9.20130921ubuntu1) ... Processing triggers for libc-bin ... Checking correctness of source dependencies... Toolchain package versions: libc6-dev_2.17-93ubuntu4 make_3.81-8.2ubuntu3 dpkg-dev_1.16.12ubuntu1 gcc-4.8_4.8.2-1ubuntu2 g++-4.8_4.8.2-1ubuntu2 binutils_2.23.90.20131017-1ubuntu1 libstdc++-4.8-dev_4.8.2-1ubuntu2 libstdc++6_4.8.2-1ubuntu2 ------------------------------------------------------------------------------ dpkg-source: warning: -sn is not a valid option for Dpkg::Source::Package::V3::quilt gpgv: Signature made Thu Oct 24 07:28:07 2013 UTC using DSA key ID C09FD35A gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./maude_2.6-4.dsc dpkg-source: info: extracting maude in maude-2.6 dpkg-source: info: unpacking maude_2.6.orig.tar.gz dpkg-source: info: unpacking maude_2.6-4.debian.tar.gz dpkg-source: info: applying search-datadir.patch dpkg-buildpackage: source package maude dpkg-buildpackage: source version 2.6-4 dpkg-source --before-build maude-2.6 dpkg-buildpackage: host architecture arm64 /usr/bin/fakeroot debian/rules clean dh clean --with autotools_dev dh_testdir debian/rules override_dh_auto_clean make[1]: Entering directory `/build/buildd/maude-2.6' dh_auto_clean rm -f src/Mixfix/surface.output find tests -name "*.out" -type f -delete make[1]: Leaving directory `/build/buildd/maude-2.6' dh_autotools-dev_restoreconfig 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/maude.substvars rm -f debian/maude.*.debhelper rm -rf debian/maude/ rm -f debian/*.debhelper.log rm -f debian/files find . \( \( -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 {} + \) \) rm -f *-stamp debian/rules build-arch dh build-arch --with autotools_dev dh_testdir -a dh_autotools-dev_updateconfig -a 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/buildd/maude-2.6' 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 --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-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 gawk... no checking for mawk... mawk checking whether make sets $(MAKE)... yes checking for gcc... gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... 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... 4.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-maintainer-mode make[1]: Leaving directory `/build/buildd/maude-2.6' dh_auto_build -a make -j1 make[1]: Entering directory `/build/buildd/maude-2.6' make all-recursive make[2]: Entering directory `/build/buildd/maude-2.6' Making all in src make[3]: Entering directory `/build/buildd/maude-2.6/src' Making all in 3rdParty make[4]: Entering directory `/build/buildd/maude-2.6/src/3rdParty' gcc -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c malloc.c malloc.c: In function 'mmap_resize': malloc.c:3157:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] char* cp = (char*)CALL_MREMAP((char*)oldp - offset, ^ malloc.c: In function 'sys_trim': malloc.c:3574:62: warning: comparison between pointer and integer [enabled by default] if ((CALL_MREMAP(sp->base, sp->size, newsize, 0) != MFAIL) || ^ rm -f libdlmalloc.a ar cru libdlmalloc.a malloc.o ranlib libdlmalloc.a make[4]: Leaving directory `/build/buildd/maude-2.6/src/3rdParty' Making all in Utility make[4]: Entering directory `/build/buildd/maude-2.6/src/Utility' g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o macros.o macros.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o preVector.o preVector.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o intSet.o intSet.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o pointerSet.o pointerSet.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o stringTable.o stringTable.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o graph.o graph.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o digraph.o digraph.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o unionFind.o unionFind.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o diophantineSystem.o diophantineSystem.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o natSet.o natSet.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o pointerMap.o pointerMap.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o sequencePartition.o sequencePartition.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o indent.o indent.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o binBuf.o binBuf.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o decBuf.o decBuf.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o bddUser.o bddUser.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o tty.o tty.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o bdd.o bdd.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o timer.o timer.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o mpzSystem.o mpzSystem.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o intSystem.o intSystem.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o allSat.o allSat.cc rm -f libutility.a ar cru libutility.a macros.o preVector.o intSet.o pointerSet.o stringTable.o graph.o digraph.o unionFind.o diophantineSystem.o natSet.o pointerMap.o sequencePartition.o indent.o binBuf.o decBuf.o bddUser.o tty.o bdd.o timer.o mpzSystem.o intSystem.o allSat.o ranlib libutility.a make[4]: Leaving directory `/build/buildd/maude-2.6/src/Utility' Making all in Temporal make[4]: Entering directory `/build/buildd/maude-2.6/src/Temporal' g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libtemporal_a-logicFormula.o `test -f 'logicFormula.cc' || echo './'`logicFormula.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libtemporal_a-buchiAutomaton2.o `test -f 'buchiAutomaton2.cc' || echo './'`buchiAutomaton2.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libtemporal_a-transitionSet.o `test -f 'transitionSet.cc' || echo './'`transitionSet.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libtemporal_a-veryWeakAlternatingAutomaton.o `test -f 'veryWeakAlternatingAutomaton.cc' || echo './'`veryWeakAlternatingAutomaton.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libtemporal_a-rawTransitionSet.o `test -f 'rawTransitionSet.cc' || echo './'`rawTransitionSet.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libtemporal_a-genBuchiAutomaton.o `test -f 'genBuchiAutomaton.cc' || echo './'`genBuchiAutomaton.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -D_FORTIFY_SOURCE=2 -g -O2 -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 ranlib libtemporal.a make[4]: Leaving directory `/build/buildd/maude-2.6/src/Temporal' Making all in Interface make[4]: Entering directory `/build/buildd/maude-2.6/src/Interface' g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libinterface_a-symbol.o `test -f 'symbol.cc' || echo './'`symbol.cc In file included from term.hh:34:0, from symbol.cc:41: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libinterface_a-binarySymbol.o `test -f 'binarySymbol.cc' || echo './'`binarySymbol.cc In file included from term.hh:34:0, from binarySymbol.hh:33, from binarySymbol.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libinterface_a-associativeSymbol.o `test -f 'associativeSymbol.cc' || echo './'`associativeSymbol.cc In file included from term.hh:34:0, from binarySymbol.hh:33, from associativeSymbol.hh:28, from associativeSymbol.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libinterface_a-term.o `test -f 'term.cc' || echo './'`term.cc In file included from term.hh:34:0, from term.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libinterface_a-dagNode.o `test -f 'dagNode.cc' || echo './'`dagNode.cc In file included from term.hh:34:0, from binarySymbol.hh:33, from dagNode.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ 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 ranlib libinterface.a make[4]: Leaving directory `/build/buildd/maude-2.6/src/Interface' Making all in Core make[4]: Entering directory `/build/buildd/maude-2.6/src/Core' g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-memoryCell.o `test -f 'memoryCell.cc' || echo './'`memoryCell.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-rhsBuilder.o `test -f 'rhsBuilder.cc' || echo './'`rhsBuilder.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-termBag.o `test -f 'termBag.cc' || echo './'`termBag.cc In file included from ../../src/Interface/term.hh:34:0, from termBag.cc:36: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-bindingLhsAutomaton.o `test -f 'bindingLhsAutomaton.cc' || echo './'`bindingLhsAutomaton.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-trivialRhsAutomaton.o `test -f 'trivialRhsAutomaton.cc' || echo './'`trivialRhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from variableInfo.hh:30, from trivialRhsAutomaton.cc:41: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-copyRhsAutomaton.o `test -f 'copyRhsAutomaton.cc' || echo './'`copyRhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from variableInfo.hh:30, from copyRhsAutomaton.cc:42: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-variableInfo.o `test -f 'variableInfo.cc' || echo './'`variableInfo.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from variableInfo.hh:30, from variableInfo.cc:38: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-narrowingVariableInfo.o `test -f 'narrowingVariableInfo.cc' || echo './'`narrowingVariableInfo.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-termSet.o `test -f 'termSet.cc' || echo './'`termSet.cc In file included from ../../src/Interface/term.hh:34:0, from termSet.cc:36: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-strategy.o `test -f 'strategy.cc' || echo './'`strategy.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-sortTable.o `test -f 'sortTable.cc' || echo './'`sortTable.cc In file included from ../../src/Interface/term.hh:34:0, from sortTable.cc:38: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-sortConstraintTable.o `test -f 'sortConstraintTable.cc' || echo './'`sortConstraintTable.cc In file included from ../../src/Interface/term.hh:34:0, from sortConstraintTable.cc:39: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-equationTable.o `test -f 'equationTable.cc' || echo './'`equationTable.cc In file included from ../../src/Interface/term.hh:34:0, from equationTable.cc:38: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-ruleTable.o `test -f 'ruleTable.cc' || echo './'`ruleTable.cc In file included from ../../src/Interface/term.hh:34:0, from ruleTable.cc:38: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-sort.o `test -f 'sort.cc' || echo './'`sort.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-connectedComponent.o `test -f 'connectedComponent.cc' || echo './'`connectedComponent.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-module.o `test -f 'module.cc' || echo './'`module.cc In file included from ../../src/Interface/term.hh:34:0, from module.cc:37: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-substitution.o `test -f 'substitution.cc' || echo './'`substitution.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-localBinding.o `test -f 'localBinding.cc' || echo './'`localBinding.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from variableInfo.hh:30, from localBinding.cc:42: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-subproblemSequence.o `test -f 'subproblemSequence.cc' || echo './'`subproblemSequence.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-subproblemDisjunction.o `test -f 'subproblemDisjunction.cc' || echo './'`subproblemDisjunction.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-sortCheckSubproblem.o `test -f 'sortCheckSubproblem.cc' || echo './'`sortCheckSubproblem.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-disjunctiveSubproblemAccumulator.o `test -f 'disjunctiveSubproblemAccumulator.cc' || echo './'`disjunctiveSubproblemAccumulator.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-preEquation.o `test -f 'preEquation.cc' || echo './'`preEquation.cc In file included from ../../src/Interface/term.hh:34:0, from preEquation.cc:40: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-equation.o `test -f 'equation.cc' || echo './'`equation.cc In file included from ../../src/Interface/term.hh:34:0, from equation.cc:38: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-rule.o `test -f 'rule.cc' || echo './'`rule.cc In file included from ../../src/Interface/term.hh:34:0, from rule.cc:39: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-sortConstraint.o `test -f 'sortConstraint.cc' || echo './'`sortConstraint.cc In file included from ../../src/Interface/term.hh:34:0, from sortConstraint.cc:38: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-rewritingContext.o `test -f 'rewritingContext.cc' || echo './'`rewritingContext.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-variableAbstractionSubproblem.o `test -f 'variableAbstractionSubproblem.cc' || echo './'`variableAbstractionSubproblem.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-equalitySubproblem.o `test -f 'equalitySubproblem.cc' || echo './'`equalitySubproblem.cc In file included from ../../src/Interface/term.hh:34:0, from equalitySubproblem.cc:38: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-dagRoot.o `test -f 'dagRoot.cc' || echo './'`dagRoot.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-cachedDag.o `test -f 'cachedDag.cc' || echo './'`cachedDag.cc In file included from ../../src/Interface/term.hh:34:0, from cachedDag.cc:38: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-extensionMatchSubproblem.o `test -f 'extensionMatchSubproblem.cc' || echo './'`extensionMatchSubproblem.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-dagNodeSet.o `test -f 'dagNodeSet.cc' || echo './'`dagNodeSet.cc In file included from dagNodeSet.cc:40:0: dagNodeSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ dagNodeSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-hashConsSet.o `test -f 'hashConsSet.cc' || echo './'`hashConsSet.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-memoTable.o `test -f 'memoTable.cc' || echo './'`memoTable.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-memoMap.o `test -f 'memoMap.cc' || echo './'`memoMap.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-rootContainer.o `test -f 'rootContainer.cc' || echo './'`rootContainer.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-sortBdds.o `test -f 'sortBdds.cc' || echo './'`sortBdds.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-unificationContext.o `test -f 'unificationContext.cc' || echo './'`unificationContext.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-protectedDagNodeSet.o `test -f 'protectedDagNodeSet.cc' || echo './'`protectedDagNodeSet.cc In file included from protectedDagNodeSet.hh:28:0, from protectedDagNodeSet.cc:40: dagNodeSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ dagNodeSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-pendingUnificationStack.o `test -f 'pendingUnificationStack.cc' || echo './'`pendingUnificationStack.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-unificationSubproblemDisjunction.o `test -f 'unificationSubproblemDisjunction.cc' || echo './'`unificationSubproblemDisjunction.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libcore_a-compoundCycleSubproblem.o `test -f 'compoundCycleSubproblem.cc' || echo './'`compoundCycleSubproblem.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from compoundCycleSubproblem.cc:39: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ 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 ranlib libcore.a make[4]: Leaving directory `/build/buildd/maude-2.6/src/Core' Making all in Variable make[4]: Entering directory `/build/buildd/maude-2.6/src/Variable' g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libvariable_a-variableSymbol.o `test -f 'variableSymbol.cc' || echo './'`variableSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from variableSymbol.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libvariable_a-variableTerm.o `test -f 'variableTerm.cc' || echo './'`variableTerm.cc In file included from ../../src/Interface/term.hh:34:0, from variableTerm.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libvariable_a-variableDagNode.o `test -f 'variableDagNode.cc' || echo './'`variableDagNode.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libvariable_a-variableLhsAutomaton.o `test -f 'variableLhsAutomaton.cc' || echo './'`variableLhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ./variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from variableLhsAutomaton.cc:43: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ rm -f libvariable.a ar cru libvariable.a libvariable_a-variableSymbol.o libvariable_a-variableTerm.o libvariable_a-variableDagNode.o libvariable_a-variableLhsAutomaton.o ranlib libvariable.a make[4]: Leaving directory `/build/buildd/maude-2.6/src/Variable' Making all in NA_Theory make[4]: Entering directory `/build/buildd/maude-2.6/src/NA_Theory' g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -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../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libNA_Theory_a-NA_Term.o `test -f 'NA_Term.cc' || echo './'`NA_Term.cc In file included from ../../src/Interface/term.hh:34:0, from NA_Term.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -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../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libNA_Theory_a-NA_LhsAutomaton.o `test -f 'NA_LhsAutomaton.cc' || echo './'`NA_LhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from NA_Term.hh:28, from NA_LhsAutomaton.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libNA_Theory_a-NA_RhsAutomaton.o `test -f 'NA_RhsAutomaton.cc' || echo './'`NA_RhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from NA_RhsAutomaton.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ 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 ranlib libNA_Theory.a make[4]: Leaving directory `/build/buildd/maude-2.6/src/NA_Theory' Making all in ACU_Persistent make[4]: Entering directory `/build/buildd/maude-2.6/src/ACU_Persistent' g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libACU_Persistent_a-ACU_RedBlackNode.o `test -f 'ACU_RedBlackNode.cc' || echo './'`ACU_RedBlackNode.cc In file included from ../../src/Interface/term.hh:34:0, from ACU_RedBlackNode.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libACU_Persistent_a-ACU_Tree.o `test -f 'ACU_Tree.cc' || echo './'`ACU_Tree.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ACU_Tree.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ rm -f libACU_Persistent.a ar cru libACU_Persistent.a libACU_Persistent_a-ACU_RedBlackNode.o libACU_Persistent_a-ACU_Tree.o ranlib libACU_Persistent.a make[4]: Leaving directory `/build/buildd/maude-2.6/src/ACU_Persistent' Making all in ACU_Theory make[4]: Entering directory `/build/buildd/maude-2.6/src/ACU_Theory' g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_Symbol.o `test -f 'ACU_Symbol.cc' || echo './'`ACU_Symbol.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_Symbol.hh:28, from ACU_Symbol.cc:43: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_Term.o `test -f 'ACU_Term.cc' || echo './'`ACU_Term.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_Term.cc:43: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_BaseDagNode.o `test -f 'ACU_BaseDagNode.cc' || echo './'`ACU_BaseDagNode.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_Symbol.hh:28, from ACU_BaseDagNode.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_DagNode.o `test -f 'ACU_DagNode.cc' || echo './'`ACU_DagNode.cc In file included from ../../src/Interface/term.hh:34:0, from ACU_DagNode.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_TreeDagNode.o `test -f 'ACU_TreeDagNode.cc' || echo './'`ACU_TreeDagNode.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_Symbol.hh:28, from ACU_TreeDagNode.cc:41: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_RhsAutomaton.o `test -f 'ACU_RhsAutomaton.cc' || echo './'`ACU_RhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ACU_RhsAutomaton.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_LhsAutomaton.o `test -f 'ACU_LhsAutomaton.cc' || echo './'`ACU_LhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_LhsAutomaton.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_Subproblem.o `test -f 'ACU_Subproblem.cc' || echo './'`ACU_Subproblem.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_Subproblem.cc:41: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_ExtensionInfo.o `test -f 'ACU_ExtensionInfo.cc' || echo './'`ACU_ExtensionInfo.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_Symbol.hh:28, from ACU_ExtensionInfo.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_CollectorLhsAutomaton.o `test -f 'ACU_CollectorLhsAutomaton.cc' || echo './'`ACU_CollectorLhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_CollectorLhsAutomaton.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_NGA_LhsAutomaton.o `test -f 'ACU_NGA_LhsAutomaton.cc' || echo './'`ACU_NGA_LhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_NGA_LhsAutomaton.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_VarLhsAutomaton.o `test -f 'ACU_VarLhsAutomaton.cc' || echo './'`ACU_VarLhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_VarLhsAutomaton.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_GndLhsAutomaton.o `test -f 'ACU_GndLhsAutomaton.cc' || echo './'`ACU_GndLhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_GndLhsAutomaton.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_NonLinearLhsAutomaton.o `test -f 'ACU_NonLinearLhsAutomaton.cc' || echo './'`ACU_NonLinearLhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_NonLinearLhsAutomaton.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_ArgumentIterator.o `test -f 'ACU_ArgumentIterator.cc' || echo './'`ACU_ArgumentIterator.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_Symbol.hh:28, from ACU_Term.hh:28, from ACU_ArgumentIterator.cc:37: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_DagArgumentIterator.o `test -f 'ACU_DagArgumentIterator.cc' || echo './'`ACU_DagArgumentIterator.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_Symbol.hh:28, from ACU_DagArgumentIterator.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -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../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_LazySubproblem.o `test -f 'ACU_LazySubproblem.cc' || echo './'`ACU_LazySubproblem.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_LazySubproblem.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libACU_Theory_a-ACU_UnificationSubproblem2.o `test -f 'ACU_UnificationSubproblem2.cc' || echo './'`ACU_UnificationSubproblem2.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_UnificationSubproblem2.cc:42: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ 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 ranlib libACU_Theory.a make[4]: Leaving directory `/build/buildd/maude-2.6/src/ACU_Theory' Making all in AU_Persistent make[4]: Entering directory `/build/buildd/maude-2.6/src/AU_Persistent' g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -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../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -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../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -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 ranlib libAU_Persistent.a make[4]: Leaving directory `/build/buildd/maude-2.6/src/AU_Persistent' Making all in AU_Theory make[4]: Entering directory `/build/buildd/maude-2.6/src/AU_Theory' g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libAU_Theory_a-AU_Symbol.o `test -f 'AU_Symbol.cc' || echo './'`AU_Symbol.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from AU_Symbol.hh:28, from AU_Symbol.cc:45: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libAU_Theory_a-AU_DagNode.o `test -f 'AU_DagNode.cc' || echo './'`AU_DagNode.cc In file included from ../../src/Interface/term.hh:34:0, from AU_DagNode.cc:37: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libAU_Theory_a-AU_DequeDagNode.o `test -f 'AU_DequeDagNode.cc' || echo './'`AU_DequeDagNode.cc In file included from ../../src/Interface/term.hh:34:0, from AU_DequeDagNode.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libAU_Theory_a-AU_Term.o `test -f 'AU_Term.cc' || echo './'`AU_Term.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from AU_Term.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libAU_Theory_a-AU_DagArgumentIterator.o `test -f 'AU_DagArgumentIterator.cc' || echo './'`AU_DagArgumentIterator.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from AU_Symbol.hh:28, from AU_DagArgumentIterator.cc:37: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -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../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libAU_Theory_a-AU_ExtensionInfo.o `test -f 'AU_ExtensionInfo.cc' || echo './'`AU_ExtensionInfo.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from AU_Symbol.hh:28, from AU_ExtensionInfo.cc:37: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libAU_Theory_a-AU_RhsAutomaton.o `test -f 'AU_RhsAutomaton.cc' || echo './'`AU_RhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from AU_RhsAutomaton.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libAU_Theory_a-AU_LhsAutomaton.o `test -f 'AU_LhsAutomaton.cc' || echo './'`AU_LhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from AU_LhsAutomaton.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libAU_Theory_a-AU_ArgumentIterator.o `test -f 'AU_ArgumentIterator.cc' || echo './'`AU_ArgumentIterator.cc In file included from ../../src/Interface/term.hh:34:0, from AU_Term.hh:28, from AU_ArgumentIterator.hh:29, from AU_ArgumentIterator.cc:37: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libAU_Theory_a-AU_Layer.o `test -f 'AU_Layer.cc' || echo './'`AU_Layer.cc In file included from ../../src/Interface/term.hh:34:0, from AU_Layer.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libAU_Theory_a-AU_Subproblem.o `test -f 'AU_Subproblem.cc' || echo './'`AU_Subproblem.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from AU_Symbol.hh:28, from AU_Subproblem.cc:45: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ 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 ranlib libAU_Theory.a make[4]: Leaving directory `/build/buildd/maude-2.6/src/AU_Theory' Making all in CUI_Theory make[4]: Entering directory `/build/buildd/maude-2.6/src/CUI_Theory' g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libCUI_Theory_a-CUI_Symbol.o `test -f 'CUI_Symbol.cc' || echo './'`CUI_Symbol.cc In file included from ../../src/Interface/term.hh:34:0, from CUI_Symbol.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libCUI_Theory_a-CUI_DagNode.o `test -f 'CUI_DagNode.cc' || echo './'`CUI_DagNode.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from CUI_DagNode.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -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../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libCUI_Theory_a-CUI_RhsAutomaton.o `test -f 'CUI_RhsAutomaton.cc' || echo './'`CUI_RhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from CUI_RhsAutomaton.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libCUI_Theory_a-CUI_Term.o `test -f 'CUI_Term.cc' || echo './'`CUI_Term.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from CUI_Term.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -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../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libCUI_Theory_a-CUI_UnificationSubproblem.o `test -f 'CUI_UnificationSubproblem.cc' || echo './'`CUI_UnificationSubproblem.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from CUI_UnificationSubproblem.cc:43: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libCUI_Theory_a-CUI_LhsAutomaton.o `test -f 'CUI_LhsAutomaton.cc' || echo './'`CUI_LhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from CUI_LhsAutomaton.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ 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_LhsAutomaton.o ranlib libCUI_Theory.a make[4]: Leaving directory `/build/buildd/maude-2.6/src/CUI_Theory' Making all in S_Theory make[4]: Entering directory `/build/buildd/maude-2.6/src/S_Theory' g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libS_Theory_a-S_Symbol.o `test -f 'S_Symbol.cc' || echo './'`S_Symbol.cc In file included from ../../src/Interface/term.hh:34:0, from S_Term.hh:29, from S_Symbol.cc:44: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libS_Theory_a-S_DagNode.o `test -f 'S_DagNode.cc' || echo './'`S_DagNode.cc In file included from ../../src/Interface/term.hh:34:0, from S_DagNode.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libS_Theory_a-S_Term.o `test -f 'S_Term.cc' || echo './'`S_Term.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from S_Term.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -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../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -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../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -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../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libS_Theory_a-S_LhsAutomaton.o `test -f 'S_LhsAutomaton.cc' || echo './'`S_LhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from S_LhsAutomaton.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libS_Theory_a-S_RhsAutomaton.o `test -f 'S_RhsAutomaton.cc' || echo './'`S_RhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from S_RhsAutomaton.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libS_Theory_a-S_Subproblem.o `test -f 'S_Subproblem.cc' || echo './'`S_Subproblem.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from S_Subproblem.cc:42: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ 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 ranlib libS_Theory.a make[4]: Leaving directory `/build/buildd/maude-2.6/src/S_Theory' Making all in FreeTheory make[4]: Entering directory `/build/buildd/maude-2.6/src/FreeTheory' g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libfreeTheory_a-freeSymbol.o `test -f 'freeSymbol.cc' || echo './'`freeSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from freeSymbol.cc:43: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libfreeTheory_a-freeUnarySymbol.o `test -f 'freeUnarySymbol.cc' || echo './'`freeUnarySymbol.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libfreeTheory_a-freeBinarySymbol.o `test -f 'freeBinarySymbol.cc' || echo './'`freeBinarySymbol.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libfreeTheory_a-freeTernarySymbol.o `test -f 'freeTernarySymbol.cc' || echo './'`freeTernarySymbol.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libfreeTheory_a-freeTerm.o `test -f 'freeTerm.cc' || echo './'`freeTerm.cc In file included from ../../src/Interface/term.hh:34:0, from freeTerm.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libfreeTheory_a-freeArgumentIterator.o `test -f 'freeArgumentIterator.cc' || echo './'`freeArgumentIterator.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libfreeTheory_a-freeDagNode.o `test -f 'freeDagNode.cc' || echo './'`freeDagNode.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libfreeTheory_a-freeDagArgumentIterator.o `test -f 'freeDagArgumentIterator.cc' || echo './'`freeDagArgumentIterator.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libfreeTheory_a-freeLhsAutomaton.o `test -f 'freeLhsAutomaton.cc' || echo './'`freeLhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from freeLhsAutomaton.cc:41: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libfreeTheory_a-freeRhsAutomaton.o `test -f 'freeRhsAutomaton.cc' || echo './'`freeRhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from freeRhsAutomaton.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libfreeTheory_a-freeNet.o `test -f 'freeNet.cc' || echo './'`freeNet.cc In file included from ../../src/Interface/term.hh:34:0, from freeNet.cc:45: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libfreeTheory_a-freePreNet.o `test -f 'freePreNet.cc' || echo './'`freePreNet.cc In file included from ../../src/Interface/term.hh:34:0, from freePreNet.cc:45: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libfreeTheory_a-freeRemainder.o `test -f 'freeRemainder.cc' || echo './'`freeRemainder.cc In file included from ../../src/Interface/term.hh:34:0, from freeRemainder.cc:41: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libfreeTheory_a-freePositionTable.o `test -f 'freePositionTable.cc' || echo './'`freePositionTable.cc rm -f libfreeTheory.a ar cru libfreeTheory.a libfreeTheory_a-freeSymbol.o libfreeTheory_a-freeUnarySymbol.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 ranlib libfreeTheory.a make[4]: Leaving directory `/build/buildd/maude-2.6/src/FreeTheory' Making all in Higher make[4]: Entering directory `/build/buildd/maude-2.6/src/Higher' g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libhigher_a-rewriteSearchState.o `test -f 'rewriteSearchState.cc' || echo './'`rewriteSearchState.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from ../../src/Core/rule.hh:28, from rewriteSearchState.cc:42: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libhigher_a-matchSearchState.o `test -f 'matchSearchState.cc' || echo './'`matchSearchState.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from pattern.hh:28, from matchSearchState.cc:41: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libhigher_a-positionState.o `test -f 'positionState.cc' || echo './'`positionState.cc g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libhigher_a-pattern.o `test -f 'pattern.cc' || echo './'`pattern.cc In file included from ../../src/Interface/term.hh:34:0, from pattern.cc:36: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libhigher_a-searchState.o `test -f 'searchState.cc' || echo './'`searchState.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from searchState.cc:43: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libhigher_a-rewriteSequenceSearch.o `test -f 'rewriteSequenceSearch.cc' || echo './'`rewriteSequenceSearch.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from pattern.hh:28, from rewriteSequenceSearch.cc:42: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libhigher_a-modelCheckerSymbol.o `test -f 'modelCheckerSymbol.cc' || echo './'`modelCheckerSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from modelCheckerSymbol.cc:42: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ In file included from temporalSymbol.hh:29:0, from modelCheckerSymbol.hh:28, from modelCheckerSymbol.cc:65: ../../src/Core/dagNodeSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/dagNodeSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libhigher_a-stateTransitionGraph.o `test -f 'stateTransitionGraph.cc' || echo './'`stateTransitionGraph.cc g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libhigher_a-rewriteConditionFragment.o `test -f 'rewriteConditionFragment.cc' || echo './'`rewriteConditionFragment.cc In file included from ../../src/Interface/term.hh:34:0, from rewriteConditionFragment.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libhigher_a-assignmentConditionFragment.o `test -f 'assignmentConditionFragment.cc' || echo './'`assignmentConditionFragment.cc In file included from ../../src/Interface/term.hh:34:0, from assignmentConditionFragment.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libhigher_a-sortTestConditionFragment.o `test -f 'sortTestConditionFragment.cc' || echo './'`sortTestConditionFragment.cc In file included from ../../src/Interface/term.hh:34:0, from sortTestConditionFragment.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libhigher_a-equalityConditionFragment.o `test -f 'equalityConditionFragment.cc' || echo './'`equalityConditionFragment.cc In file included from ../../src/Interface/term.hh:34:0, from equalityConditionFragment.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libhigher_a-assignmentConditionState.o `test -f 'assignmentConditionState.cc' || echo './'`assignmentConditionState.cc In file included from ../../src/Interface/term.hh:34:0, from assignmentConditionState.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libhigher_a-rewriteConditionState.o `test -f 'rewriteConditionState.cc' || echo './'`rewriteConditionState.cc In file included from ../../src/Interface/term.hh:34:0, from rewriteConditionState.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libhigher_a-temporalSymbol.o `test -f 'temporalSymbol.cc' || echo './'`temporalSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from temporalSymbol.cc:42: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ In file included from temporalSymbol.hh:29:0, from temporalSymbol.cc:59: ../../src/Core/dagNodeSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/dagNodeSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libhigher_a-satSolverSymbol.o `test -f 'satSolverSymbol.cc' || echo './'`satSolverSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from satSolverSymbol.cc:43: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ In file included from temporalSymbol.hh:29:0, from satSolverSymbol.hh:28, from satSolverSymbol.cc:62: ../../src/Core/dagNodeSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/dagNodeSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libhigher_a-unificationProblem.o `test -f 'unificationProblem.cc' || echo './'`unificationProblem.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from unificationProblem.cc:43: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libhigher_a-narrowingSearchState.o `test -f 'narrowingSearchState.cc' || echo './'`narrowingSearchState.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from ../../src/Core/rule.hh:28, from narrowingSearchState.cc:43: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libhigher_a-narrowingUnificationProblem.o `test -f 'narrowingUnificationProblem.cc' || echo './'`narrowingUnificationProblem.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from ../../src/Core/rule.hh:28, from narrowingUnificationProblem.cc:49: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libhigher_a-narrowingSequenceSearch.o `test -f 'narrowingSequenceSearch.cc' || echo './'`narrowingSequenceSearch.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from pattern.hh:28, from narrowingSequenceSearch.cc:47: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ In file included from ../../src/Core/protectedDagNodeSet.hh:28:0, from narrowingSequenceSearch.hh:30, from narrowingSequenceSearch.cc:49: ../../src/Core/dagNodeSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/dagNodeSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ 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 ranlib libhigher.a make[4]: Leaving directory `/build/buildd/maude-2.6/src/Higher' Making all in BuiltIn make[4]: Entering directory `/build/buildd/maude-2.6/src/BuiltIn' g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libbuiltIn_a-equalitySymbol.o `test -f 'equalitySymbol.cc' || echo './'`equalitySymbol.cc In file included from ../../src/Interface/term.hh:34:0, from equalitySymbol.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libbuiltIn_a-sortTestSymbol.o `test -f 'sortTestSymbol.cc' || echo './'`sortTestSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from sortTestSymbol.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libbuiltIn_a-branchSymbol.o `test -f 'branchSymbol.cc' || echo './'`branchSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from branchSymbol.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libbuiltIn_a-stringSymbol.o `test -f 'stringSymbol.cc' || echo './'`stringSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from stringSymbol.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libbuiltIn_a-stringTerm.o `test -f 'stringTerm.cc' || echo './'`stringTerm.cc In file included from ../../src/Interface/term.hh:34:0, from stringTerm.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libbuiltIn_a-stringDagNode.o `test -f 'stringDagNode.cc' || echo './'`stringDagNode.cc g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libbuiltIn_a-stringOpSymbol.o `test -f 'stringOpSymbol.cc' || echo './'`stringOpSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from stringOpSymbol.cc:41: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libbuiltIn_a-floatSymbol.o `test -f 'floatSymbol.cc' || echo './'`floatSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from floatSymbol.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libbuiltIn_a-floatTerm.o `test -f 'floatTerm.cc' || echo './'`floatTerm.cc In file included from ../../src/Interface/term.hh:34:0, from floatTerm.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libbuiltIn_a-floatDagNode.o `test -f 'floatDagNode.cc' || echo './'`floatDagNode.cc g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libbuiltIn_a-floatOpSymbol.o `test -f 'floatOpSymbol.cc' || echo './'`floatOpSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from floatOpSymbol.cc:42: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libbuiltIn_a-succSymbol.o `test -f 'succSymbol.cc' || echo './'`succSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from succSymbol.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libbuiltIn_a-numberOpSymbol.o `test -f 'numberOpSymbol.cc' || echo './'`numberOpSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from numberOpSymbol.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libbuiltIn_a-minusSymbol.o `test -f 'minusSymbol.cc' || echo './'`minusSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from minusSymbol.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libbuiltIn_a-ACU_NumberOpSymbol.o `test -f 'ACU_NumberOpSymbol.cc' || echo './'`ACU_NumberOpSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from ACU_NumberOpSymbol.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libbuiltIn_a-CUI_NumberOpSymbol.o `test -f 'CUI_NumberOpSymbol.cc' || echo './'`CUI_NumberOpSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from CUI_NumberOpSymbol.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libbuiltIn_a-divisionSymbol.o `test -f 'divisionSymbol.cc' || echo './'`divisionSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from divisionSymbol.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libbuiltIn_a-randomOpSymbol.o `test -f 'randomOpSymbol.cc' || echo './'`randomOpSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from randomOpSymbol.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libbuiltIn_a-counterSymbol.o `test -f 'counterSymbol.cc' || echo './'`counterSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from counterSymbol.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libbuiltIn_a-matrixOpSymbol.o `test -f 'matrixOpSymbol.cc' || echo './'`matrixOpSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from matrixOpSymbol.cc:43: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ 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 ranlib libbuiltIn.a make[4]: Leaving directory `/build/buildd/maude-2.6/src/BuiltIn' Making all in IO_Stuff make[4]: Entering directory `/build/buildd/maude-2.6/src/IO_Stuff' g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -D_FORTIFY_SOURCE=2 -g -O2 -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../.. -I../../src/Utility -D_FORTIFY_SOURCE=2 -g -O2 -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../.. -I../../src/Utility -D_FORTIFY_SOURCE=2 -g -O2 -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:16: 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 ranlib libIO_Stuff.a make[4]: Leaving directory `/build/buildd/maude-2.6/src/IO_Stuff' Making all in ObjectSystem make[4]: Entering directory `/build/buildd/maude-2.6/src/ObjectSystem' g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libobjectSystem_a-configSymbol.o `test -f 'configSymbol.cc' || echo './'`configSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from configSymbol.cc:44: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libobjectSystem_a-objectSystemRewritingContext.o `test -f 'objectSystemRewritingContext.cc' || echo './'`objectSystemRewritingContext.cc In file included from ../../src/Interface/term.hh:34:0, from objectSystemRewritingContext.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libobjectSystem_a-externalObjectManagerSymbol.o `test -f 'externalObjectManagerSymbol.cc' || echo './'`externalObjectManagerSymbol.cc g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libobjectSystem_a-socketManagerSymbol.o `test -f 'socketManagerSymbol.cc' || echo './'`socketManagerSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from socketManagerSymbol.cc:43: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -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 ranlib libobjectSystem.a make[4]: Leaving directory `/build/buildd/maude-2.6/src/ObjectSystem' Making all in Meta make[4]: Entering directory `/build/buildd/maude-2.6/src/Meta' g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmeta_a-metaModuleCache.o `test -f 'metaModuleCache.cc' || echo './'`metaModuleCache.cc g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmeta_a-metaLevel.o `test -f 'metaLevel.cc' || echo './'`metaLevel.cc In file included from ../../src/Interface/term.hh:34:0, from metaLevel.cc:51: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmeta_a-interpreterManagerSymbol.o `test -f 'interpreterManagerSymbol.cc' || echo './'`interpreterManagerSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from interpreterManagerSymbol.cc:44: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmeta_a-metaOpCache.o `test -f 'metaOpCache.cc' || echo './'`metaOpCache.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from ../../src/Core/rule.hh:28, from ../../src/Mixfix/userLevelRewritingContext.hh:34, from metaOpCache.cc:55: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmeta_a-metaModule.o `test -f 'metaModule.cc' || echo './'`metaModule.cc g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmeta_a-metaLevelOpSymbol.o `test -f 'metaLevelOpSymbol.cc' || echo './'`metaLevelOpSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from metaLevelOpSymbol.cc:48: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ In file included from ../../src/Core/protectedDagNodeSet.hh:28:0, from ../../src/Higher/narrowingSequenceSearch.hh:30, from metaLevelOpSymbol.cc:67: ../../src/Core/dagNodeSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/dagNodeSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ In file included from metaLevelOpSymbol.cc:101:0: metaMatch.cc: In member function 'MatchSearchState* MetaLevelOpSymbol::makeMatchSearchState2(MetaModule*, FreeDagNode*, RewritingContext&) const': metaMatch.cc:175:10: warning: converting 'false' to pointer type 'MatchSearchState*' [-Wconversion-null] return false; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmeta_a-metaPreModule.o `test -f 'metaPreModule.cc' || echo './'`metaPreModule.cc In file included from ../../src/Interface/term.hh:34:0, from metaPreModule.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ 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 ranlib libmeta.a make[4]: Leaving directory `/build/buildd/maude-2.6/src/Meta' Making all in FullCompiler make[4]: Entering directory `/build/buildd/maude-2.6/src/FullCompiler' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/build/buildd/maude-2.6/src/FullCompiler' Making all in MSCP10 make[4]: Entering directory `/build/buildd/maude-2.6/src/MSCP10' g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -D_FORTIFY_SOURCE=2 -g -O2 -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../.. -I../../src/Utility -D_FORTIFY_SOURCE=2 -g -O2 -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../.. -I../../src/Utility -D_FORTIFY_SOURCE=2 -g -O2 -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 ranlib libmscp10.a make[4]: Leaving directory `/build/buildd/maude-2.6/src/MSCP10' Making all in StrategyLanguage make[4]: Entering directory `/build/buildd/maude-2.6/src/StrategyLanguage' g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libstrategyLanguage_a-trivialStrategy.o `test -f 'trivialStrategy.cc' || echo './'`trivialStrategy.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libstrategyLanguage_a-applicationStrategy.o `test -f 'applicationStrategy.cc' || echo './'`applicationStrategy.cc In file included from ../../src/Interface/term.hh:34:0, from applicationStrategy.cc:37: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libstrategyLanguage_a-concatenationStrategy.o `test -f 'concatenationStrategy.cc' || echo './'`concatenationStrategy.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libstrategyLanguage_a-iterationStrategy.o `test -f 'iterationStrategy.cc' || echo './'`iterationStrategy.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libstrategyLanguage_a-branchStrategy.o `test -f 'branchStrategy.cc' || echo './'`branchStrategy.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libstrategyLanguage_a-unionStrategy.o `test -f 'unionStrategy.cc' || echo './'`unionStrategy.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libstrategyLanguage_a-testStrategy.o `test -f 'testStrategy.cc' || echo './'`testStrategy.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from ../../src/Higher/pattern.hh:28, from testStrategy.hh:29, from testStrategy.cc:47: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libstrategyLanguage_a-strategicExecution.o `test -f 'strategicExecution.cc' || echo './'`strategicExecution.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libstrategyLanguage_a-strategicTask.o `test -f 'strategicTask.cc' || echo './'`strategicTask.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libstrategyLanguage_a-branchTask.o `test -f 'branchTask.cc' || echo './'`branchTask.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libstrategyLanguage_a-strategicProcess.o `test -f 'strategicProcess.cc' || echo './'`strategicProcess.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libstrategyLanguage_a-decompositionProcess.o `test -f 'decompositionProcess.cc' || echo './'`decompositionProcess.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libstrategyLanguage_a-applicationProcess.o `test -f 'applicationProcess.cc' || echo './'`applicationProcess.cc In file included from ../../src/Interface/term.hh:34:0, from applicationProcess.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libstrategyLanguage_a-strategicSearch.o `test -f 'strategicSearch.cc' || echo './'`strategicSearch.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libstrategyLanguage_a-sharedRewriteSearchState.o `test -f 'sharedRewriteSearchState.cc' || echo './'`sharedRewriteSearchState.cc In file included from ../../src/Interface/term.hh:34:0, from sharedRewriteSearchState.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libstrategyLanguage_a-matchProcess.o `test -f 'matchProcess.cc' || echo './'`matchProcess.cc In file included from ../../src/Interface/term.hh:34:0, from matchProcess.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libstrategyLanguage_a-rewriteTask.o `test -f 'rewriteTask.cc' || echo './'`rewriteTask.cc In file included from ../../src/Interface/term.hh:34:0, from rewriteTask.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -D_FORTIFY_SOURCE=2 -g -O2 -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 ranlib libstrategyLanguage.a make[4]: Leaving directory `/build/buildd/maude-2.6/src/StrategyLanguage' Making all in Mixfix make[4]: Entering directory `/build/buildd/maude-2.6/src/Mixfix' cat \ ./top.yy \ ./modules.yy \ ./commands.yy \ ./bottom.yy \ > surface.yy bison -dv surface.yy -o surface.c surface.yy:573.25: warning: a ';' might be needed at the end of action code surface.yy:573.25: future versions of Bison will not add the ';' surface.yy:1097.77: warning: a ';' might be needed at the end of action code surface.yy:1097.77: future versions of Bison will not add the ';' surface.yy:1102.77: warning: a ';' might be needed at the end of action code surface.yy:1102.77: future versions of Bison will not add the ';' 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/buildd/maude-2.6/src/Mixfix' g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-syntaxContainer.o `test -f 'syntaxContainer.cc' || echo './'`syntaxContainer.cc g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-renaming.o `test -f 'renaming.cc' || echo './'`renaming.cc In file included from ../../src/Interface/term.hh:34:0, from renaming.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-view.o `test -f 'view.cc' || echo './'`view.cc In file included from ../../src/Interface/term.hh:34:0, from view.cc:42: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-entity.o `test -f 'entity.cc' || echo './'`entity.cc g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-moduleCache.o `test -f 'moduleCache.cc' || echo './'`moduleCache.cc g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-moduleExpression.o `test -f 'moduleExpression.cc' || echo './'`moduleExpression.cc g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-importModule.o `test -f 'importModule.cc' || echo './'`importModule.cc In file included from ../../src/Interface/term.hh:34:0, from importModule.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-importTranslation.o `test -f 'importTranslation.cc' || echo './'`importTranslation.cc In file included from ../../src/Interface/term.hh:34:0, from importTranslation.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-fileTable.o `test -f 'fileTable.cc' || echo './'`fileTable.cc g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-loopSymbol.o `test -f 'loopSymbol.cc' || echo './'`loopSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from loopSymbol.cc:45: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-quotedIdentifierSymbol.o `test -f 'quotedIdentifierSymbol.cc' || echo './'`quotedIdentifierSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from quotedIdentifierSymbol.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-quotedIdentifierDagNode.o `test -f 'quotedIdentifierDagNode.cc' || echo './'`quotedIdentifierDagNode.cc g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-quotedIdentifierTerm.o `test -f 'quotedIdentifierTerm.cc' || echo './'`quotedIdentifierTerm.cc In file included from ../../src/Interface/term.hh:34:0, from quotedIdentifierTerm.cc:41: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-quotedIdentifierOpSymbol.o `test -f 'quotedIdentifierOpSymbol.cc' || echo './'`quotedIdentifierOpSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from ../../src/Core/rule.hh:28, from userLevelRewritingContext.hh:34, from quotedIdentifierOpSymbol.cc:61: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-mixfixModule.o `test -f 'mixfixModule.cc' || echo './'`mixfixModule.cc In file included from ../../src/Interface/term.hh:34:0, from mixfixModule.cc:55: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ In file included from ../../src/Higher/temporalSymbol.hh:29:0, from ../../src/Higher/modelCheckerSymbol.hh:28, from mixfixModule.cc:114: ../../src/Core/dagNodeSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/dagNodeSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-token.o `test -f 'token.cc' || echo './'`token.cc g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-global.o `test -f 'global.cc' || echo './'`global.cc In file included from ../../src/Interface/term.hh:34:0, from global.cc:42: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-userLevelRewritingContext.o `test -f 'userLevelRewritingContext.cc' || echo './'`userLevelRewritingContext.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from ../../src/Core/sortConstraint.hh:28, from userLevelRewritingContext.cc:52: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ In file included from userLevelRewritingContext.cc:71:0: interact.cc: In static member function 'static void UserLevelRewritingContext::stackOverflowHandler(int, stackoverflow_context_t)': interact.cc:121:53: warning: ignoring return value of 'ssize_t write(int, const void*, size_t)', declared with attribute warn_unused_result [-Wunused-result] write(STDERR_FILENO, message, sizeof(message) - 1); ^ interact.cc: In static member function 'static void UserLevelRewritingContext::internalErrorHandler(int)': interact.cc:147:55: warning: ignoring return value of 'ssize_t write(int, const void*, size_t)', declared with attribute warn_unused_result [-Wunused-result] write(STDERR_FILENO, message1, sizeof(message1) - 1); ^ interact.cc:148:55: warning: ignoring return value of 'ssize_t write(int, const void*, size_t)', declared with attribute warn_unused_result [-Wunused-result] write(STDERR_FILENO, message2, sizeof(message2) - 1); ^ interact.cc:149:55: warning: ignoring return value of 'ssize_t write(int, const void*, size_t)', declared with attribute warn_unused_result [-Wunused-result] write(STDERR_FILENO, message3, sizeof(message3) - 1); ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-preModule.o `test -f 'preModule.cc' || echo './'`preModule.cc In file included from ../../src/Interface/term.hh:34:0, from preModule.cc:44: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-syntacticPreModule.o `test -f 'syntacticPreModule.cc' || echo './'`syntacticPreModule.cc In file included from ../../src/Interface/term.hh:34:0, from syntacticPreModule.cc:44: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-symbolType.o `test -f 'symbolType.cc' || echo './'`symbolType.cc g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-xmlBuffer.o `test -f 'xmlBuffer.cc' || echo './'`xmlBuffer.cc g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-maudemlBuffer.o `test -f 'maudemlBuffer.cc' || echo './'`maudemlBuffer.cc In file included from ../../src/Interface/term.hh:34:0, from maudemlBuffer.cc:44: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-interpreter.o `test -f 'interpreter.cc' || echo './'`interpreter.cc In file included from ../../src/Interface/term.hh:34:0, from interpreter.cc:42: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ In file included from ../../src/Core/protectedDagNodeSet.hh:28:0, from ../../src/Higher/narrowingSequenceSearch.hh:30, from interpreter.cc:53: ../../src/Core/dagNodeSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/dagNodeSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-moduleDatabase.o `test -f 'moduleDatabase.cc' || echo './'`moduleDatabase.cc g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-viewDatabase.o `test -f 'viewDatabase.cc' || echo './'`viewDatabase.cc g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-profileModule.o `test -f 'profileModule.cc' || echo './'`profileModule.cc In file included from ../../src/Interface/term.hh:34:0, from profileModule.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-mixfixParser.o `test -f 'mixfixParser.cc' || echo './'`mixfixParser.cc In file included from ../../src/Interface/term.hh:34:0, from mixfixParser.cc:46: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-visibleModule.o `test -f 'visibleModule.cc' || echo './'`visibleModule.cc In file included from ../../src/Interface/term.hh:34:0, from visibleModule.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-sharedTokens.o `test -f 'sharedTokens.cc' || echo './'`sharedTokens.cc g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-metadataStore.o `test -f 'metadataStore.cc' || echo './'`metadataStore.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from metadataStore.cc:41: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-printAttribute.o `test -f 'printAttribute.cc' || echo './'`printAttribute.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from printAttribute.cc:42: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-banner.o `test -f 'banner.cc' || echo './'`banner.cc g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-lexer.o `test -f 'lexer.cc' || echo './'`lexer.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from ../../src/Core/rule.hh:28, from userLevelRewritingContext.hh:34, from ./lexer.ll:48: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-surface.o `test -f 'surface.cc' || echo './'`surface.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from ../../src/Core/rule.hh:28, from userLevelRewritingContext.hh:34, from surface.yy:54: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ surface.c: In function 'int yyparse(void*)': surface.c:5607:35: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings] surface.c:5751:35: warning: deprecated conversion from string constant to 'char*' [-Wwrite-strings] surface.yy:308:66: 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../.. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o libmixfix_a-freshVariableSource.o `test -f 'freshVariableSource.cc' || echo './'`freshVariableSource.cc In file included from ../../src/Interface/term.hh:34:0, from freshVariableSource.cc:41: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ 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 ranlib libmixfix.a make[5]: Leaving directory `/build/buildd/maude-2.6/src/Mixfix' make[4]: Leaving directory `/build/buildd/maude-2.6/src/Mixfix' Making all in Main make[4]: Entering directory `/build/buildd/maude-2.6/src/Main' g++ -DHAVE_CONFIG_H -I. -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 -D_FORTIFY_SOURCE=2 -g -O2 -Wformat -Werror=format-security -c -o maude-main.o `test -f 'main.cc' || echo './'`main.cc In file included from ../../src/Interface/term.hh:34:0, from main.cc:46: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::cardinality; ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated] PointerSet::makeEmpty; ^ g++ -g -O2 -Wformat -Werror=format-security -Wl,-Bsymbolic-functions -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 ../3rdParty/libdlmalloc.a -lnsl make[4]: Leaving directory `/build/buildd/maude-2.6/src/Main' make[4]: Entering directory `/build/buildd/maude-2.6/src' make[4]: Nothing to be done for `all-am'. make[4]: Leaving directory `/build/buildd/maude-2.6/src' make[3]: Leaving directory `/build/buildd/maude-2.6/src' Making all in tests make[3]: Entering directory `/build/buildd/maude-2.6/tests' Making all in BuiltIn make[4]: Entering directory `/build/buildd/maude-2.6/tests/BuiltIn' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/build/buildd/maude-2.6/tests/BuiltIn' Making all in Misc make[4]: Entering directory `/build/buildd/maude-2.6/tests/Misc' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/build/buildd/maude-2.6/tests/Misc' Making all in Meta make[4]: Entering directory `/build/buildd/maude-2.6/tests/Meta' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/build/buildd/maude-2.6/tests/Meta' Making all in ResolvedBugs make[4]: Entering directory `/build/buildd/maude-2.6/tests/ResolvedBugs' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/build/buildd/maude-2.6/tests/ResolvedBugs' make[4]: Entering directory `/build/buildd/maude-2.6/tests' make[4]: Nothing to be done for `all-am'. make[4]: Leaving directory `/build/buildd/maude-2.6/tests' make[3]: Leaving directory `/build/buildd/maude-2.6/tests' make[3]: Entering directory `/build/buildd/maude-2.6' make[3]: Nothing to be done for `all-am'. make[3]: Leaving directory `/build/buildd/maude-2.6' make[2]: Leaving directory `/build/buildd/maude-2.6' make[1]: Leaving directory `/build/buildd/maude-2.6' dh_auto_test -a make -j1 check make[1]: Entering directory `/build/buildd/maude-2.6' Making check in src make[2]: Entering directory `/build/buildd/maude-2.6/src' Making check in 3rdParty make[3]: Entering directory `/build/buildd/maude-2.6/src/3rdParty' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/build/buildd/maude-2.6/src/3rdParty' Making check in Utility make[3]: Entering directory `/build/buildd/maude-2.6/src/Utility' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/build/buildd/maude-2.6/src/Utility' Making check in Temporal make[3]: Entering directory `/build/buildd/maude-2.6/src/Temporal' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/build/buildd/maude-2.6/src/Temporal' Making check in Interface make[3]: Entering directory `/build/buildd/maude-2.6/src/Interface' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/build/buildd/maude-2.6/src/Interface' Making check in Core make[3]: Entering directory `/build/buildd/maude-2.6/src/Core' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/build/buildd/maude-2.6/src/Core' Making check in Variable make[3]: Entering directory `/build/buildd/maude-2.6/src/Variable' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/build/buildd/maude-2.6/src/Variable' Making check in NA_Theory make[3]: Entering directory `/build/buildd/maude-2.6/src/NA_Theory' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/build/buildd/maude-2.6/src/NA_Theory' Making check in ACU_Persistent make[3]: Entering directory `/build/buildd/maude-2.6/src/ACU_Persistent' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/build/buildd/maude-2.6/src/ACU_Persistent' Making check in ACU_Theory make[3]: Entering directory `/build/buildd/maude-2.6/src/ACU_Theory' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/build/buildd/maude-2.6/src/ACU_Theory' Making check in AU_Persistent make[3]: Entering directory `/build/buildd/maude-2.6/src/AU_Persistent' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/build/buildd/maude-2.6/src/AU_Persistent' Making check in AU_Theory make[3]: Entering directory `/build/buildd/maude-2.6/src/AU_Theory' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/build/buildd/maude-2.6/src/AU_Theory' Making check in CUI_Theory make[3]: Entering directory `/build/buildd/maude-2.6/src/CUI_Theory' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/build/buildd/maude-2.6/src/CUI_Theory' Making check in S_Theory make[3]: Entering directory `/build/buildd/maude-2.6/src/S_Theory' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/build/buildd/maude-2.6/src/S_Theory' Making check in FreeTheory make[3]: Entering directory `/build/buildd/maude-2.6/src/FreeTheory' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/build/buildd/maude-2.6/src/FreeTheory' Making check in Higher make[3]: Entering directory `/build/buildd/maude-2.6/src/Higher' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/build/buildd/maude-2.6/src/Higher' Making check in BuiltIn make[3]: Entering directory `/build/buildd/maude-2.6/src/BuiltIn' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/build/buildd/maude-2.6/src/BuiltIn' Making check in IO_Stuff make[3]: Entering directory `/build/buildd/maude-2.6/src/IO_Stuff' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/build/buildd/maude-2.6/src/IO_Stuff' Making check in ObjectSystem make[3]: Entering directory `/build/buildd/maude-2.6/src/ObjectSystem' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/build/buildd/maude-2.6/src/ObjectSystem' Making check in Meta make[3]: Entering directory `/build/buildd/maude-2.6/src/Meta' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/build/buildd/maude-2.6/src/Meta' Making check in FullCompiler make[3]: Entering directory `/build/buildd/maude-2.6/src/FullCompiler' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/build/buildd/maude-2.6/src/FullCompiler' Making check in MSCP10 make[3]: Entering directory `/build/buildd/maude-2.6/src/MSCP10' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/build/buildd/maude-2.6/src/MSCP10' Making check in StrategyLanguage make[3]: Entering directory `/build/buildd/maude-2.6/src/StrategyLanguage' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/build/buildd/maude-2.6/src/StrategyLanguage' Making check in Mixfix make[3]: Entering directory `/build/buildd/maude-2.6/src/Mixfix' make check-am make[4]: Entering directory `/build/buildd/maude-2.6/src/Mixfix' make[4]: Nothing to be done for `check-am'. make[4]: Leaving directory `/build/buildd/maude-2.6/src/Mixfix' make[3]: Leaving directory `/build/buildd/maude-2.6/src/Mixfix' Making check in Main make[3]: Entering directory `/build/buildd/maude-2.6/src/Main' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/build/buildd/maude-2.6/src/Main' make[3]: Entering directory `/build/buildd/maude-2.6/src' make[3]: Nothing to be done for `check-am'. make[3]: Leaving directory `/build/buildd/maude-2.6/src' make[2]: Leaving directory `/build/buildd/maude-2.6/src' Making check in tests make[2]: Entering directory `/build/buildd/maude-2.6/tests' Making check in BuiltIn make[3]: Entering directory `/build/buildd/maude-2.6/tests/BuiltIn' make check-TESTS make[4]: Entering directory `/build/buildd/maude-2.6/tests/BuiltIn' PASS: nat PASS: int PASS: rat PASS: string PASS: counters ================== All 5 tests passed ================== make[4]: Leaving directory `/build/buildd/maude-2.6/tests/BuiltIn' make[3]: Leaving directory `/build/buildd/maude-2.6/tests/BuiltIn' Making check in Misc make[3]: Entering directory `/build/buildd/maude-2.6/tests/Misc' make check-TESTS make[4]: Entering directory `/build/buildd/maude-2.6/tests/Misc' PASS: dekker PASS: commands PASS: debug PASS: renaming PASS: dataStructures PASS: parameterization PASS: unification PASS: unification2 PASS: unification3 PASS: attributes PASS: diophantine =================== All 11 tests passed =================== make[4]: Leaving directory `/build/buildd/maude-2.6/tests/Misc' make[3]: Leaving directory `/build/buildd/maude-2.6/tests/Misc' Making check in Meta make[3]: Entering directory `/build/buildd/maude-2.6/tests/Meta' make check-TESTS make[4]: Entering directory `/build/buildd/maude-2.6/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 =================== All 25 tests passed =================== make[4]: Leaving directory `/build/buildd/maude-2.6/tests/Meta' make[3]: Leaving directory `/build/buildd/maude-2.6/tests/Meta' Making check in ResolvedBugs make[3]: Entering directory `/build/buildd/maude-2.6/tests/ResolvedBugs' make check-TESTS make[4]: Entering directory `/build/buildd/maude-2.6/tests/ResolvedBugs' PASS: CUIbug12-22-09 ================== All 1 tests passed ================== make[4]: Leaving directory `/build/buildd/maude-2.6/tests/ResolvedBugs' make[3]: Leaving directory `/build/buildd/maude-2.6/tests/ResolvedBugs' make[3]: Entering directory `/build/buildd/maude-2.6/tests' make[3]: Nothing to be done for `check-am'. make[3]: Leaving directory `/build/buildd/maude-2.6/tests' make[2]: Leaving directory `/build/buildd/maude-2.6/tests' make[2]: Entering directory `/build/buildd/maude-2.6' make[2]: Nothing to be done for `check-am'. make[2]: Leaving directory `/build/buildd/maude-2.6' make[1]: Leaving directory `/build/buildd/maude-2.6' /usr/bin/fakeroot debian/rules binary-arch dh binary-arch --with autotools_dev dh_testroot -a dh_prep -a rm -f debian/maude.substvars rm -f debian/maude.*.debhelper rm -rf debian/maude/ dh_auto_install -a install -d debian/maude make -j1 install DESTDIR=/build/buildd/maude-2.6/debian/maude AM_UPDATE_INFO_DIR=no make[1]: Entering directory `/build/buildd/maude-2.6' Making install in src make[2]: Entering directory `/build/buildd/maude-2.6/src' Making install in 3rdParty make[3]: Entering directory `/build/buildd/maude-2.6/src/3rdParty' make[4]: Entering directory `/build/buildd/maude-2.6/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/buildd/maude-2.6/src/3rdParty' make[3]: Leaving directory `/build/buildd/maude-2.6/src/3rdParty' Making install in Utility make[3]: Entering directory `/build/buildd/maude-2.6/src/Utility' make[4]: Entering directory `/build/buildd/maude-2.6/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/buildd/maude-2.6/src/Utility' make[3]: Leaving directory `/build/buildd/maude-2.6/src/Utility' Making install in Temporal make[3]: Entering directory `/build/buildd/maude-2.6/src/Temporal' make[4]: Entering directory `/build/buildd/maude-2.6/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/buildd/maude-2.6/src/Temporal' make[3]: Leaving directory `/build/buildd/maude-2.6/src/Temporal' Making install in Interface make[3]: Entering directory `/build/buildd/maude-2.6/src/Interface' make[4]: Entering directory `/build/buildd/maude-2.6/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/buildd/maude-2.6/src/Interface' make[3]: Leaving directory `/build/buildd/maude-2.6/src/Interface' Making install in Core make[3]: Entering directory `/build/buildd/maude-2.6/src/Core' make[4]: Entering directory `/build/buildd/maude-2.6/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/buildd/maude-2.6/src/Core' make[3]: Leaving directory `/build/buildd/maude-2.6/src/Core' Making install in Variable make[3]: Entering directory `/build/buildd/maude-2.6/src/Variable' make[4]: Entering directory `/build/buildd/maude-2.6/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/buildd/maude-2.6/src/Variable' make[3]: Leaving directory `/build/buildd/maude-2.6/src/Variable' Making install in NA_Theory make[3]: Entering directory `/build/buildd/maude-2.6/src/NA_Theory' make[4]: Entering directory `/build/buildd/maude-2.6/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/buildd/maude-2.6/src/NA_Theory' make[3]: Leaving directory `/build/buildd/maude-2.6/src/NA_Theory' Making install in ACU_Persistent make[3]: Entering directory `/build/buildd/maude-2.6/src/ACU_Persistent' make[4]: Entering directory `/build/buildd/maude-2.6/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/buildd/maude-2.6/src/ACU_Persistent' make[3]: Leaving directory `/build/buildd/maude-2.6/src/ACU_Persistent' Making install in ACU_Theory make[3]: Entering directory `/build/buildd/maude-2.6/src/ACU_Theory' make[4]: Entering directory `/build/buildd/maude-2.6/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/buildd/maude-2.6/src/ACU_Theory' make[3]: Leaving directory `/build/buildd/maude-2.6/src/ACU_Theory' Making install in AU_Persistent make[3]: Entering directory `/build/buildd/maude-2.6/src/AU_Persistent' make[4]: Entering directory `/build/buildd/maude-2.6/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/buildd/maude-2.6/src/AU_Persistent' make[3]: Leaving directory `/build/buildd/maude-2.6/src/AU_Persistent' Making install in AU_Theory make[3]: Entering directory `/build/buildd/maude-2.6/src/AU_Theory' make[4]: Entering directory `/build/buildd/maude-2.6/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/buildd/maude-2.6/src/AU_Theory' make[3]: Leaving directory `/build/buildd/maude-2.6/src/AU_Theory' Making install in CUI_Theory make[3]: Entering directory `/build/buildd/maude-2.6/src/CUI_Theory' make[4]: Entering directory `/build/buildd/maude-2.6/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/buildd/maude-2.6/src/CUI_Theory' make[3]: Leaving directory `/build/buildd/maude-2.6/src/CUI_Theory' Making install in S_Theory make[3]: Entering directory `/build/buildd/maude-2.6/src/S_Theory' make[4]: Entering directory `/build/buildd/maude-2.6/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/buildd/maude-2.6/src/S_Theory' make[3]: Leaving directory `/build/buildd/maude-2.6/src/S_Theory' Making install in FreeTheory make[3]: Entering directory `/build/buildd/maude-2.6/src/FreeTheory' make[4]: Entering directory `/build/buildd/maude-2.6/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/buildd/maude-2.6/src/FreeTheory' make[3]: Leaving directory `/build/buildd/maude-2.6/src/FreeTheory' Making install in Higher make[3]: Entering directory `/build/buildd/maude-2.6/src/Higher' make[4]: Entering directory `/build/buildd/maude-2.6/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/buildd/maude-2.6/src/Higher' make[3]: Leaving directory `/build/buildd/maude-2.6/src/Higher' Making install in BuiltIn make[3]: Entering directory `/build/buildd/maude-2.6/src/BuiltIn' make[4]: Entering directory `/build/buildd/maude-2.6/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/buildd/maude-2.6/src/BuiltIn' make[3]: Leaving directory `/build/buildd/maude-2.6/src/BuiltIn' Making install in IO_Stuff make[3]: Entering directory `/build/buildd/maude-2.6/src/IO_Stuff' make[4]: Entering directory `/build/buildd/maude-2.6/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/buildd/maude-2.6/src/IO_Stuff' make[3]: Leaving directory `/build/buildd/maude-2.6/src/IO_Stuff' Making install in ObjectSystem make[3]: Entering directory `/build/buildd/maude-2.6/src/ObjectSystem' make[4]: Entering directory `/build/buildd/maude-2.6/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/buildd/maude-2.6/src/ObjectSystem' make[3]: Leaving directory `/build/buildd/maude-2.6/src/ObjectSystem' Making install in Meta make[3]: Entering directory `/build/buildd/maude-2.6/src/Meta' make[4]: Entering directory `/build/buildd/maude-2.6/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/buildd/maude-2.6/src/Meta' make[3]: Leaving directory `/build/buildd/maude-2.6/src/Meta' Making install in FullCompiler make[3]: Entering directory `/build/buildd/maude-2.6/src/FullCompiler' make[4]: Entering directory `/build/buildd/maude-2.6/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/buildd/maude-2.6/src/FullCompiler' make[3]: Leaving directory `/build/buildd/maude-2.6/src/FullCompiler' Making install in MSCP10 make[3]: Entering directory `/build/buildd/maude-2.6/src/MSCP10' make[4]: Entering directory `/build/buildd/maude-2.6/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/buildd/maude-2.6/src/MSCP10' make[3]: Leaving directory `/build/buildd/maude-2.6/src/MSCP10' Making install in StrategyLanguage make[3]: Entering directory `/build/buildd/maude-2.6/src/StrategyLanguage' make[4]: Entering directory `/build/buildd/maude-2.6/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/buildd/maude-2.6/src/StrategyLanguage' make[3]: Leaving directory `/build/buildd/maude-2.6/src/StrategyLanguage' Making install in Mixfix make[3]: Entering directory `/build/buildd/maude-2.6/src/Mixfix' make install-am make[4]: Entering directory `/build/buildd/maude-2.6/src/Mixfix' make[5]: Entering directory `/build/buildd/maude-2.6/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/buildd/maude-2.6/src/Mixfix' make[4]: Leaving directory `/build/buildd/maude-2.6/src/Mixfix' make[3]: Leaving directory `/build/buildd/maude-2.6/src/Mixfix' Making install in Main make[3]: Entering directory `/build/buildd/maude-2.6/src/Main' make[4]: Entering directory `/build/buildd/maude-2.6/src/Main' test -z "/usr/bin" || mkdir -p -- "/build/buildd/maude-2.6/debian/maude/usr/bin" /usr/bin/install -c 'maude' '/build/buildd/maude-2.6/debian/maude/usr/bin/maude' test -z "/usr/share/maude" || mkdir -p -- "/build/buildd/maude-2.6/debian/maude/usr/share/maude" /usr/bin/install -c -m 644 'prelude.maude' '/build/buildd/maude-2.6/debian/maude/usr/share/maude/prelude.maude' /usr/bin/install -c -m 644 'model-checker.maude' '/build/buildd/maude-2.6/debian/maude/usr/share/maude/model-checker.maude' /usr/bin/install -c -m 644 'socket.maude' '/build/buildd/maude-2.6/debian/maude/usr/share/maude/socket.maude' /usr/bin/install -c -m 644 'linear.maude' '/build/buildd/maude-2.6/debian/maude/usr/share/maude/linear.maude' /usr/bin/install -c -m 644 'machine-int.maude' '/build/buildd/maude-2.6/debian/maude/usr/share/maude/machine-int.maude' /usr/bin/install -c -m 644 'term-order.maude' '/build/buildd/maude-2.6/debian/maude/usr/share/maude/term-order.maude' /usr/bin/install -c -m 644 'metaInterpreter.maude' '/build/buildd/maude-2.6/debian/maude/usr/share/maude/metaInterpreter.maude' make[4]: Leaving directory `/build/buildd/maude-2.6/src/Main' make[3]: Leaving directory `/build/buildd/maude-2.6/src/Main' make[3]: Entering directory `/build/buildd/maude-2.6/src' make[4]: Entering directory `/build/buildd/maude-2.6/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/buildd/maude-2.6/src' make[3]: Leaving directory `/build/buildd/maude-2.6/src' make[2]: Leaving directory `/build/buildd/maude-2.6/src' Making install in tests make[2]: Entering directory `/build/buildd/maude-2.6/tests' Making install in BuiltIn make[3]: Entering directory `/build/buildd/maude-2.6/tests/BuiltIn' make[4]: Entering directory `/build/buildd/maude-2.6/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/buildd/maude-2.6/tests/BuiltIn' make[3]: Leaving directory `/build/buildd/maude-2.6/tests/BuiltIn' Making install in Misc make[3]: Entering directory `/build/buildd/maude-2.6/tests/Misc' make[4]: Entering directory `/build/buildd/maude-2.6/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/buildd/maude-2.6/tests/Misc' make[3]: Leaving directory `/build/buildd/maude-2.6/tests/Misc' Making install in Meta make[3]: Entering directory `/build/buildd/maude-2.6/tests/Meta' make[4]: Entering directory `/build/buildd/maude-2.6/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/buildd/maude-2.6/tests/Meta' make[3]: Leaving directory `/build/buildd/maude-2.6/tests/Meta' Making install in ResolvedBugs make[3]: Entering directory `/build/buildd/maude-2.6/tests/ResolvedBugs' make[4]: Entering directory `/build/buildd/maude-2.6/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/buildd/maude-2.6/tests/ResolvedBugs' make[3]: Leaving directory `/build/buildd/maude-2.6/tests/ResolvedBugs' make[3]: Entering directory `/build/buildd/maude-2.6/tests' make[4]: Entering directory `/build/buildd/maude-2.6/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/buildd/maude-2.6/tests' make[3]: Leaving directory `/build/buildd/maude-2.6/tests' make[2]: Leaving directory `/build/buildd/maude-2.6/tests' make[2]: Entering directory `/build/buildd/maude-2.6' make[3]: Entering directory `/build/buildd/maude-2.6' 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/buildd/maude-2.6' make[2]: Leaving directory `/build/buildd/maude-2.6' make[1]: Leaving directory `/build/buildd/maude-2.6' dh_installdocs -a install -g 0 -o 0 -d debian/maude/usr/share/doc/maude install -g 0 -o 0 -m 644 -p debian/copyright debian/maude/usr/share/doc/maude/copyright dh_installchangelogs -a install -o 0 -g 0 -p -m644 debian/changelog debian/maude/usr/share/doc/maude/changelog.Debian dh_installman -a install -d debian/maude/usr/share/man/man1/ install -p -m644 debian/maude.1 debian/maude/usr/share/man/man1/maude.1 man --recode UTF-8 ./maude\.1 > maude\.1\.new chmod 644 maude.1.new mv -f maude.1.new maude.1 dh_perl -a dh_link -a dh_compress -a cd debian/maude chmod a-x usr/share/man/man1/maude.1 usr/share/doc/maude/changelog.Debian gzip -9nf usr/share/man/man1/maude.1 usr/share/doc/maude/changelog.Debian cd '/build/buildd/maude-2.6' dh_fixperms -a find debian/maude -print0 2>/dev/null | xargs -0r chown --no-dereference 0:0 find debian/maude ! -type l -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s find debian/maude/usr/share/doc -type f ! -regex 'debian/maude/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 644 find debian/maude/usr/share/doc -type d -print0 2>/dev/null | xargs -0r chmod 755 find debian/maude/usr/share/man debian/maude/usr/man/ debian/maude/usr/X11*/man/ -type f -print0 2>/dev/null | xargs -0r chmod 644 find debian/maude -perm -5 -type f \( -name '*.so.*' -or -name '*.so' -or -name '*.la' -or -name '*.a' \) -print0 2>/dev/null | xargs -0r chmod 644 find debian/maude/usr/include -type f -print0 2>/dev/null | xargs -0r chmod 644 find debian/maude/usr/share/applications -type f -print0 2>/dev/null | xargs -0r chmod 644 find debian/maude -perm -5 -type f \( -name '*.cmxs' \) -print0 2>/dev/null | xargs -0r chmod 644 find debian/maude/usr/lib/perl5 debian/maude/usr/share/perl5 -type f -perm -5 -name '*.pm' -print0 2>/dev/null | xargs -0r chmod a-X find debian/maude/usr/bin -type f -print0 2>/dev/null | xargs -0r chmod a+x find debian/maude/usr/lib -type f -name '*.ali' -print0 2>/dev/null | xargs -0r chmod uga-w dh_strip -a dh_strip debug symbol extraction: all non-arch-all packages for this build platform arm64: maude dh_strip debug symbol extraction: packages to act on: maude dh_strip debug symbol extraction: ignored packages: Using buildid for compat level >= 9 dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe dpkg-deb: building package `maude-dbgsym' in `../maude-dbgsym_2.6-4_arm64.ddeb'. strip --remove-section=.comment --remove-section=.note debian/maude/usr/bin/maude dh_makeshlibs -a rm -f debian/maude/DEBIAN/shlibs dh_shlibdeps -a install -o 0 -g 0 -d debian/maude/DEBIAN dpkg-shlibdeps -Tdebian/maude.substvars debian/maude/usr/bin/maude dh_installdeb -a dh_gencontrol -a echo misc:Depends= >> debian/maude.substvars dpkg-gencontrol -ldebian/changelog -Tdebian/maude.substvars -Pdebian/maude dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe chmod 644 debian/maude/DEBIAN/control chown 0:0 debian/maude/DEBIAN/control dh_md5sums -a (cd debian/maude >/dev/null ; find . -type f ! -regex './DEBIAN/.*' -printf '%P\0' | LC_ALL=C sort -z | xargs -r0 md5sum > DEBIAN/md5sums) >/dev/null chmod 644 debian/maude/DEBIAN/md5sums chown 0:0 debian/maude/DEBIAN/md5sums dh_builddeb -a dpkg-deb --build debian/maude .. INFO: pkgstriptranslations version 118 pkgstriptranslations: processing maude (in debian/maude); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/maude/DEBIAN/control, package maude, directory debian/maude pkgstripfiles: PNG optimization for package maude took 0 s dpkg-deb: warning: 'debian/maude/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package `maude' in `../maude_2.6-4_arm64.deb'. dpkg-genchanges -B -mUbuntu Build Daemon >../maude_2.6-4_arm64.changes dpkg-genchanges: arch-specific upload - not including arch-independent packages dpkg-genchanges: binary-only upload - not including any source code dpkg-source --after-build maude-2.6 dpkg-buildpackage: binary only upload (no source included) ****************************************************************************** Build finished at 20131027-1705 Publishing debug debs. chroot-autobuild/build/buildd/maude_2.6-4_arm64.deb: new debian package, version 2.0. size 911932 bytes: control archive=1520 bytes. 2020 bytes, 38 lines control 717 bytes, 11 lines md5sums Package: maude Version: 2.6-4 Architecture: arm64 Maintainer: Ubuntu Developers Original-Maintainer: Debian Med Packaging Team Installed-Size: 2143 Depends: libbdd0c2, libc6 (>= 2.17), libgcc1, libgmp10, libgmpxx4ldbl, libsigsegv2 (>= 2.9), libstdc++6, libtecla1 Section: science Priority: optional Homepage: http://maude.cs.uiuc.edu Description: high-performance logical framework Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. Maude has been influenced in important ways by the OBJ3 language, which can be regarded as an equational logic sublanguage. Besides supporting equational specification and programming, Maude also supports rewriting logic computation. . Rewriting logic is a logic of concurrent change that can naturally deal with state and with concurrent computations. It has good properties as a general semantic framework for giving executable semantics to a wide range of languages and models of concurrency. In particular, it supports very well concurrent object-oriented computation. The same reasons making rewriting logic a good semantic framework make it also a good logical framework, that is, a metalogic in which many other logics can be naturally represented and executed. . Maude supports in a systematic and efficient way logical reflection. This makes Maude remarkably extensible and powerful, supports an extensible algebra of module composition operations, and allows many advanced metaprogramming and metalanguage applications. Indeed, some of the most interesting applications of Maude are metalanguage applications, in which Maude is used to create executable environments for different logics, theorem provers, languages, and models of computation. . Maude is of interest to the biomedical community for modeling and analysis of biological systems. chroot-autobuild/build/buildd/maude_2.6-4_arm64.deb: drwxr-xr-x root/root 0 2013-10-27 17:05 ./ drwxr-xr-x root/root 0 2013-10-27 17:04 ./usr/ drwxr-xr-x root/root 0 2013-10-27 17:05 ./usr/bin/ -rwxr-xr-x root/root 2036904 2013-10-27 17:05 ./usr/bin/maude drwxr-xr-x root/root 0 2013-10-27 17:04 ./usr/share/ drwxr-xr-x root/root 0 2013-10-27 17:04 ./usr/share/man/ drwxr-xr-x root/root 0 2013-10-27 17:04 ./usr/share/man/man1/ -rw-r--r-- root/root 1515 2013-10-27 17:04 ./usr/share/man/man1/maude.1.gz drwxr-xr-x root/root 0 2013-10-27 17:04 ./usr/share/maude/ -rw-r--r-- root/root 3540 2013-10-27 17:04 ./usr/share/maude/linear.maude -rw-r--r-- root/root 2842 2013-10-27 17:04 ./usr/share/maude/socket.maude -rw-r--r-- root/root 3328 2013-10-27 17:04 ./usr/share/maude/metaInterpreter.maude -rw-r--r-- root/root 3965 2013-10-27 17:04 ./usr/share/maude/machine-int.maude -rw-r--r-- root/root 85945 2013-10-27 17:04 ./usr/share/maude/prelude.maude -rw-r--r-- root/root 9776 2013-10-27 17:04 ./usr/share/maude/model-checker.maude -rw-r--r-- root/root 1619 2013-10-27 17:04 ./usr/share/maude/term-order.maude drwxr-xr-x root/root 0 2013-10-27 17:04 ./usr/share/doc/ drwxr-xr-x root/root 0 2013-10-27 17:04 ./usr/share/doc/maude/ -rw-r--r-- root/root 646 2013-10-24 07:23 ./usr/share/doc/maude/changelog.Debian.gz -rw-r--r-- root/root 2878 2013-07-09 13:21 ./usr/share/doc/maude/copyright maude_2.6-4_arm64.changes: Format: 1.8 Date: Thu, 24 Oct 2013 09:22:27 +0200 Source: maude Binary: maude Architecture: arm64 Version: 2.6-4 Distribution: trusty-proposed Urgency: low Maintainer: Ubuntu Build Daemon Changed-By: Andreas Tille Description: maude - high-performance logical framework Closes: 727454 Changes: maude (2.6-4) unstable; urgency=low . * debian/rules: dh --with autotools_dev Closes: #727454 Checksums-Sha1: 78beccb5d7557dc449f5a5e673178f32c47d1b37 911932 maude_2.6-4_arm64.deb Checksums-Sha256: 730dac37a17edfb930c9a0f5cdc9c056ed3ddda8ea0a4cbe4f31dfd50bb32519 911932 maude_2.6-4_arm64.deb Files: 4141734a31bb1e3f081dc1163f85f61b 911932 science optional maude_2.6-4_arm64.deb ****************************************************************************** Built successfully ****************************************************************************** Finished at 20131027-1705 Build needed 00:10:49, 210300k disk space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['scan-for-processes', 'PACKAGEBUILD-5156957'] Scanning for processes to kill in build /home/buildd/build-PACKAGEBUILD-5156957/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', 'PACKAGEBUILD-5156957'] Unmounting chroot for build PACKAGEBUILD-5156957... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', 'PACKAGEBUILD-5156957'] Removing build PACKAGEBUILD-5156957