DC-Build-Header: maude 2.6-3 / 2013-07-16 15:17:49 +0000 DC-Task: source:maude version:2.6-3 architecture:any chroot:unstable esttime:367 logfile:/tmp/maude_2.6-3_unstable_clang.log modes:binary-only:clang DC-Sbuild-call: su user -c 'sbuild -n --apt-update -d unstable -v --chroot-setup-commands=/tmp/switch-to-clang --append-to-version "clang1" --maintainer "Lucas Nussbaum " --uploader "Lucas Nussbaum " maude_2.6-3' sbuild (Debian sbuild) 0.63.2 (18 Aug 2012) on ip-10-232-32-134.ec2.internal ╔══════════════════════════════════════════════════════════════════════════════╗ ║ maude 2.6-3clang1 (amd64) 16 Jul 2013 15:17 ║ ╚══════════════════════════════════════════════════════════════════════════════╝ Package: maude Version: 2.6-3clang1 Source Version: 2.6-3 Distribution: unstable Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 I: NOTICE: Log filtering will replace 'build/maude-A4uK2_/maude-2.6' with '«PKGBUILDDIR»' I: NOTICE: Log filtering will replace 'build/maude-A4uK2_' with '«BUILDDIR»' I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/unstable-amd64-sbuild-b79555da-02c7-4ed4-af39-528ed9b65a19' with '«CHROOT»' ┌──────────────────────────────────────────────────────────────────────────────┐ │ Update chroot │ └──────────────────────────────────────────────────────────────────────────────┘ Get:1 http://localhost:9999 unstable InRelease [204 kB] Get:2 http://localhost:9999 unstable/main Sources/DiffIndex [7876 B] Get:3 http://localhost:9999 unstable/main amd64 Packages/DiffIndex [7876 B] Get:4 http://localhost:9999 unstable/main Translation-en/DiffIndex [7876 B] Get:5 http://localhost:9999 unstable/main 2013-07-13-2032.15.pdiff [23.1 kB] Get:6 http://localhost:9999 unstable/main amd64 2013-07-13-2032.15.pdiff [16.9 kB] Get:7 http://localhost:9999 unstable/main 2013-07-13-2032.15.pdiff [23.1 kB] Get:8 http://localhost:9999 unstable/main 2013-07-13-2032.15.pdiff [1809 B] Get:9 http://localhost:9999 unstable/main amd64 2013-07-13-2032.15.pdiff [16.9 kB] Get:10 http://localhost:9999 unstable/main 2013-07-14-0231.07.pdiff [12.9 kB] Get:11 http://localhost:9999 unstable/main 2013-07-13-2032.15.pdiff [1809 B] Get:12 http://localhost:9999 unstable/main amd64 2013-07-14-0231.07.pdiff [14.9 kB] Get:13 http://localhost:9999 unstable/main 2013-07-14-0231.07.pdiff [12.9 kB] Get:14 http://localhost:9999 unstable/main 2013-07-14-0231.07.pdiff [1384 B] Get:15 http://localhost:9999 unstable/main amd64 2013-07-14-0231.07.pdiff [14.9 kB] Get:16 http://localhost:9999 unstable/main 2013-07-14-0832.16.pdiff [4670 B] Get:17 http://localhost:9999 unstable/main 2013-07-14-0231.07.pdiff [1384 B] Get:18 http://localhost:9999 unstable/main amd64 2013-07-14-0832.16.pdiff [1624 B] Get:19 http://localhost:9999 unstable/main 2013-07-14-0832.16.pdiff [4670 B] Get:20 http://localhost:9999 unstable/main 2013-07-14-0832.16.pdiff [337 B] Get:21 http://localhost:9999 unstable/main amd64 2013-07-14-0832.16.pdiff [1624 B] Get:22 http://localhost:9999 unstable/main 2013-07-14-1431.18.pdiff [11.4 kB] Get:23 http://localhost:9999 unstable/main 2013-07-14-0832.16.pdiff [337 B] Get:24 http://localhost:9999 unstable/main amd64 2013-07-14-1431.18.pdiff [8223 B] Get:25 http://localhost:9999 unstable/main 2013-07-14-1431.18.pdiff [11.4 kB] Get:26 http://localhost:9999 unstable/main 2013-07-14-1431.18.pdiff [887 B] Get:27 http://localhost:9999 unstable/main amd64 2013-07-14-1431.18.pdiff [8223 B] Get:28 http://localhost:9999 unstable/main 2013-07-14-2031.21.pdiff [9038 B] Get:29 http://localhost:9999 unstable/main 2013-07-14-1431.18.pdiff [887 B] Get:30 http://localhost:9999 unstable/main amd64 2013-07-14-2031.21.pdiff [9955 B] Get:31 http://localhost:9999 unstable/main 2013-07-14-2031.21.pdiff [9038 B] Get:32 http://localhost:9999 unstable/main 2013-07-14-2031.21.pdiff [2736 B] Get:33 http://localhost:9999 unstable/main amd64 2013-07-14-2031.21.pdiff [9955 B] Get:34 http://localhost:9999 unstable/main 2013-07-15-0229.01.pdiff [9715 B] Get:35 http://localhost:9999 unstable/main 2013-07-14-2031.21.pdiff [2736 B] Get:36 http://localhost:9999 unstable/main amd64 2013-07-15-0229.01.pdiff [12.7 kB] Get:37 http://localhost:9999 unstable/main 2013-07-15-0229.01.pdiff [9715 B] Get:38 http://localhost:9999 unstable/main 2013-07-15-0229.01.pdiff [2239 B] Get:39 http://localhost:9999 unstable/main amd64 2013-07-15-0229.01.pdiff [12.7 kB] Get:40 http://localhost:9999 unstable/main 2013-07-15-0830.19.pdiff [3273 B] Get:41 http://localhost:9999 unstable/main 2013-07-15-0229.01.pdiff [2239 B] Get:42 http://localhost:9999 unstable/main amd64 2013-07-15-0830.19.pdiff [3964 B] Get:43 http://localhost:9999 unstable/main 2013-07-15-0830.19.pdiff [3273 B] Get:44 http://localhost:9999 unstable/main 2013-07-15-0830.19.pdiff [1357 B] Get:45 http://localhost:9999 unstable/main amd64 2013-07-15-0830.19.pdiff [3964 B] Get:46 http://localhost:9999 unstable/main 2013-07-15-1432.36.pdiff [5326 B] Get:47 http://localhost:9999 unstable/main 2013-07-15-0830.19.pdiff [1357 B] Get:48 http://localhost:9999 unstable/main amd64 2013-07-15-1432.36.pdiff [9809 B] Get:49 http://localhost:9999 unstable/main 2013-07-15-1432.36.pdiff [5326 B] Get:50 http://localhost:9999 unstable/main 2013-07-15-1432.36.pdiff [322 B] Get:51 http://localhost:9999 unstable/main amd64 2013-07-15-1432.36.pdiff [9809 B] Get:52 http://localhost:9999 unstable/main 2013-07-15-2031.50.pdiff [12.2 kB] Get:53 http://localhost:9999 unstable/main 2013-07-15-1432.36.pdiff [322 B] Get:54 http://localhost:9999 unstable/main amd64 2013-07-15-2031.50.pdiff [24.4 kB] Get:55 http://localhost:9999 unstable/main 2013-07-15-2031.50.pdiff [12.2 kB] Get:56 http://localhost:9999 unstable/main 2013-07-15-2031.50.pdiff [537 B] Get:57 http://localhost:9999 unstable/main amd64 2013-07-15-2031.50.pdiff [24.4 kB] Get:58 http://localhost:9999 unstable/main 2013-07-16-0233.12.pdiff [14.8 kB] Get:59 http://localhost:9999 unstable/main 2013-07-15-2031.50.pdiff [537 B] Get:60 http://localhost:9999 unstable/main amd64 2013-07-16-0233.12.pdiff [49.5 kB] Get:61 http://localhost:9999 unstable/main 2013-07-16-0233.12.pdiff [14.8 kB] Get:62 http://localhost:9999 unstable/main 2013-07-16-0233.12.pdiff [3247 B] Get:63 http://localhost:9999 unstable/main amd64 2013-07-16-0233.12.pdiff [49.5 kB] Get:64 http://localhost:9999 unstable/main 2013-07-16-0834.41.pdiff [7447 B] Get:65 http://localhost:9999 unstable/main 2013-07-16-0233.12.pdiff [3247 B] Get:66 http://localhost:9999 unstable/main amd64 2013-07-16-0834.41.pdiff [4493 B] Get:67 http://localhost:9999 unstable/main 2013-07-16-0834.41.pdiff [7447 B] Get:68 http://localhost:9999 unstable/main 2013-07-16-0834.41.pdiff [5852 B] Get:69 http://localhost:9999 unstable/main amd64 2013-07-16-0834.41.pdiff [4493 B] Get:70 http://localhost:9999 unstable/main 2013-07-16-0834.41.pdiff [5852 B] Fetched 519 kB in 41s (12.5 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: cpp-4.7 gcc-4.7 gcc-4.7-base initscripts libgcc-4.7-dev sysv-rc sysvinit sysvinit-utils 8 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 14.2 MB of archives. After this operation, 18.4 kB disk space will be freed. Get:1 http://localhost:9999/debian/ unstable/main sysvinit amd64 2.88dsf-42 [134 kB] Get:2 http://localhost:9999/debian/ unstable/main sysv-rc all 2.88dsf-42 [80.4 kB] Get:3 http://localhost:9999/debian/ unstable/main sysvinit-utils amd64 2.88dsf-42 [103 kB] Get:4 http://localhost:9999/debian/ unstable/main initscripts amd64 2.88dsf-42 [87.1 kB] Get:5 http://localhost:9999/debian/ unstable/main gcc-4.7 amd64 4.7.3-6 [5819 kB] Get:6 http://localhost:9999/debian/ unstable/main cpp-4.7 amd64 4.7.3-6 [5385 kB] Get:7 http://localhost:9999/debian/ unstable/main libgcc-4.7-dev amd64 4.7.3-6 [2465 kB] Get:8 http://localhost:9999/debian/ unstable/main gcc-4.7-base amd64 4.7.3-6 [149 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 14.2 MB in 0s (23.7 MB/s) (Reading database ... 13844 files and directories currently installed.) Preparing to replace sysvinit 2.88dsf-41 (using .../sysvinit_2.88dsf-42_amd64.deb) ... Unpacking replacement sysvinit ... Setting up sysvinit (2.88dsf-42) ... Not restarting sysvinit (Reading database ... 13844 files and directories currently installed.) Preparing to replace sysv-rc 2.88dsf-41 (using .../sysv-rc_2.88dsf-42_all.deb) ... Unpacking replacement sysv-rc ... Preparing to replace sysvinit-utils 2.88dsf-41 (using .../sysvinit-utils_2.88dsf-42_amd64.deb) ... Unpacking replacement sysvinit-utils ... Setting up sysvinit-utils (2.88dsf-42) ... Setting up sysv-rc (2.88dsf-42) ... (Reading database ... 13844 files and directories currently installed.) Preparing to replace initscripts 2.88dsf-41 (using .../initscripts_2.88dsf-42_amd64.deb) ... Removing unmodified and obsolete conffile /etc/init.d/mtab.sh ... Unpacking replacement initscripts ... Setting up initscripts (2.88dsf-42) ... Installing new version of config file /etc/init.d/bootmisc.sh ... Installing new version of config file /etc/init.d/checkfs.sh ... Installing new version of config file /etc/init.d/checkroot.sh ... Installing new version of config file /etc/init.d/checkroot-bootclean.sh ... Installing new version of config file /etc/init.d/mountdevsubfs.sh ... Installing new version of config file /etc/init.d/mountkernfs.sh ... Installing new version of config file /etc/init.d/rmnologin ... Installing new version of config file /etc/network/if-up.d/mountnfs ... (Reading database ... 13843 files and directories currently installed.) Preparing to replace gcc-4.7 4.7.3-5 (using .../gcc-4.7_4.7.3-6_amd64.deb) ... Unpacking replacement gcc-4.7 ... Preparing to replace cpp-4.7 4.7.3-5 (using .../cpp-4.7_4.7.3-6_amd64.deb) ... Unpacking replacement cpp-4.7 ... Preparing to replace libgcc-4.7-dev:amd64 4.7.3-5 (using .../libgcc-4.7-dev_4.7.3-6_amd64.deb) ... Unpacking replacement libgcc-4.7-dev:amd64 ... Preparing to replace gcc-4.7-base:amd64 4.7.3-5 (using .../gcc-4.7-base_4.7.3-6_amd64.deb) ... Unpacking replacement gcc-4.7-base:amd64 ... Setting up gcc-4.7-base:amd64 (4.7.3-6) ... Setting up cpp-4.7 (4.7.3-6) ... Setting up libgcc-4.7-dev:amd64 (4.7.3-6) ... Setting up gcc-4.7 (4.7.3-6) ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Fetch source files │ └──────────────────────────────────────────────────────────────────────────────┘ Check APT ───────── Checking available source versions... Download source files with APT ────────────────────────────── Reading package lists... Building dependency tree... Reading state information... NOTICE: 'maude' packaging is maintained in the 'Svn' version control system at: svn://anonscm.debian.org/debian-med/trunk/packages/maude/trunk/ Need to get 1606 kB of source archives. Get:1 http://localhost:9999/debian/ unstable/main maude 2.6-3 (dsc) [1399 B] Get:2 http://localhost:9999/debian/ unstable/main maude 2.6-3 (tar) [1600 kB] Get:3 http://localhost:9999/debian/ unstable/main maude 2.6-3 (diff) [5068 B] Fetched 1606 kB in 0s (5126 kB/s) Download complete and in download only mode Check arch ────────── ┌──────────────────────────────────────────────────────────────────────────────┐ │ Chroot Setup Commands │ └──────────────────────────────────────────────────────────────────────────────┘ /tmp/switch-to-clang ──────────────────── + echo 'Entering customization script...' Entering customization script... + echo 'Install of clang' Install of clang + apt-get update Hit http://localhost:9999 unstable InRelease Hit http://localhost:9999 unstable/main Sources/DiffIndex Hit http://localhost:9999 unstable/main amd64 Packages/DiffIndex Hit http://localhost:9999 unstable/main Translation-en/DiffIndex Reading package lists... + apt-get install --yes --no-install-recommends --force-yes clang-3.3 Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: libclang-common-3.3-dev libclang1-3.3 libffi6 libllvm3.3 libobjc-4.7-dev libobjc4 libstdc++6-4.7-dev Suggested packages: libstdc++6-4.7-doc Recommended packages: llvm-3.3-dev python The following NEW packages will be installed: clang-3.3 libclang-common-3.3-dev libclang1-3.3 libffi6 libllvm3.3 libobjc-4.7-dev libobjc4 libstdc++6-4.7-dev 0 upgraded, 8 newly installed, 0 to remove and 0 not upgraded. Need to get 27.2 MB of archives. After this operation, 80.8 MB of additional disk space will be used. Get:1 http://localhost:9999/debian/ unstable/main libffi6 amd64 3.0.13-4 [21.6 kB] Get:2 http://localhost:9999/debian/ unstable/main libllvm3.3 amd64 1:3.3-3 [8575 kB] Get:3 http://localhost:9999/debian/ unstable/main libobjc4 amd64 4.8.1-6 [160 kB] Get:4 http://localhost:9999/debian/ unstable/main libstdc++6-4.7-dev amd64 4.7.3-6 [1694 kB] Get:5 http://localhost:9999/debian/ unstable/main libobjc-4.7-dev amd64 4.7.3-6 [719 kB] Get:6 http://localhost:9999/debian/ unstable/main libclang-common-3.3-dev amd64 1:3.3-3 [574 kB] Get:7 http://localhost:9999/debian/ unstable/main libclang1-3.3 amd64 1:3.3-3 [4579 kB] Get:8 http://localhost:9999/debian/ unstable/main clang-3.3 amd64 1:3.3-3 [10.9 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 27.2 MB in 1s (25.9 MB/s) Selecting previously unselected package libffi6:amd64. (Reading database ... 13843 files and directories currently installed.) Unpacking libffi6:amd64 (from .../libffi6_3.0.13-4_amd64.deb) ... Selecting previously unselected package libllvm3.3:amd64. Unpacking libllvm3.3:amd64 (from .../libllvm3.3_1%3a3.3-3_amd64.deb) ... Selecting previously unselected package libobjc4:amd64. Unpacking libobjc4:amd64 (from .../libobjc4_4.8.1-6_amd64.deb) ... Selecting previously unselected package libstdc++6-4.7-dev:amd64. Unpacking libstdc++6-4.7-dev:amd64 (from .../libstdc++6-4.7-dev_4.7.3-6_amd64.deb) ... Selecting previously unselected package libobjc-4.7-dev:amd64. Unpacking libobjc-4.7-dev:amd64 (from .../libobjc-4.7-dev_4.7.3-6_amd64.deb) ... Selecting previously unselected package libclang-common-3.3-dev. Unpacking libclang-common-3.3-dev (from .../libclang-common-3.3-dev_1%3a3.3-3_amd64.deb) ... Selecting previously unselected package libclang1-3.3. Unpacking libclang1-3.3 (from .../libclang1-3.3_1%3a3.3-3_amd64.deb) ... Selecting previously unselected package clang-3.3. Unpacking clang-3.3 (from .../clang-3.3_1%3a3.3-3_amd64.deb) ... Setting up libffi6:amd64 (3.0.13-4) ... Setting up libllvm3.3:amd64 (1:3.3-3) ... Setting up libobjc4:amd64 (4.8.1-6) ... Setting up libstdc++6-4.7-dev:amd64 (4.7.3-6) ... Setting up libobjc-4.7-dev:amd64 (4.7.3-6) ... Setting up libclang-common-3.3-dev (1:3.3-3) ... Setting up libclang1-3.3 (1:3.3-3) ... Setting up clang-3.3 (1:3.3-3) ... Processing triggers for libc-bin ... + echo 'Replace gcc, g++ & cpp by clang' Replace gcc, g++ & cpp by clang + VERSIONS='4.6 4.7 4.8' + cd /usr/bin + for VERSION in '$VERSIONS' + rm -f g++-4.6 gcc-4.6 cpp-4.6 + ln -s clang++ g++-4.6 + ln -s clang gcc-4.6 + ln -s clang cpp-4.6 + for VERSION in '$VERSIONS' + rm -f g++-4.7 gcc-4.7 cpp-4.7 + ln -s clang++ g++-4.7 + ln -s clang gcc-4.7 + ln -s clang cpp-4.7 + for VERSION in '$VERSIONS' + rm -f g++-4.8 gcc-4.8 cpp-4.8 + ln -s clang++ g++-4.8 + ln -s clang gcc-4.8 + ln -s clang cpp-4.8 + cd - /«BUILDDIR» + echo 'Block the installation of new gcc version' Block the installation of new gcc version + dpkg --set-selections + echo 'gcc-4.6 hold' + dpkg --set-selections + echo 'cpp-4.6 hold' + dpkg --set-selections + echo 'g++-4.6 hold' + dpkg --set-selections + echo 'gcc-4.7 hold' + dpkg --set-selections + echo 'cpp-4.7 hold' + dpkg --set-selections + echo 'g++-4.7 hold' + dpkg --set-selections + echo 'gcc-4.8 hold' + dpkg --set-selections + echo 'cpp-4.8 hold' + dpkg --set-selections + echo 'g++-4.8 hold' + echo 'Check if gcc, g++ & cpp are actually clang' Check if gcc, g++ & cpp are actually clang + grep clang + gcc --version + grep clang + cpp --version + grep clang + g++ --version I: Finished running '/tmp/switch-to-clang'. Finished processing commands. ──────────────────────────────────────────────────────────────────────────────── Merged Build-Depends: build-essential, fakeroot Filtered Build-Depends: build-essential, fakeroot dpkg-deb: building package `sbuild-build-depends-core-dummy' in `/«BUILDDIR»/resolver-AwJ7J2/apt_archive/sbuild-build-depends-core-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install core build dependencies (apt-based resolver) │ └──────────────────────────────────────────────────────────────────────────────┘ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: sbuild-build-depends-core-dummy debconf: delaying package configuration, since apt-utils is not installed 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 0 B/708 B of archives. After this operation, 0 B of additional disk space will be used. Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... 14698 files and directories currently installed.) Unpacking sbuild-build-depends-core-dummy (from .../sbuild-build-depends-core-dummy.deb) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... Merged Build-Depends: base-files, base-passwd, bash, bsdutils, coreutils, dash, debianutils, diffutils, dpkg, e2fsprogs, findutils, grep, gzip, hostname, libc-bin, login, mount, ncurses-base, ncurses-bin, perl-base, sed, sysvinit, sysvinit-utils, tar, util-linux, libc6-dev | libc-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), debhelper (>= 9), autotools-dev, libtecla1-dev, libbdd-dev, libgmp3-dev, libsigsegv-dev, bison, flex, libncurses5-dev Filtered Build-Depends: base-files, base-passwd, bash, bsdutils, coreutils, dash, debianutils, diffutils, dpkg, e2fsprogs, findutils, grep, gzip, hostname, libc-bin, login, mount, ncurses-base, ncurses-bin, perl-base, sed, sysvinit, sysvinit-utils, tar, util-linux, libc6-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), debhelper (>= 9), autotools-dev, libtecla1-dev, libbdd-dev, libgmp3-dev, libsigsegv-dev, bison, flex, libncurses5-dev dpkg-deb: building package `sbuild-build-depends-maude-dummy' in `/«BUILDDIR»/resolver-Vfvg97/apt_archive/sbuild-build-depends-maude-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install maude build dependencies (apt-based resolver) │ └──────────────────────────────────────────────────────────────────────────────┘ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: autotools-dev bison bsdmainutils debhelper file flex gettext gettext-base groff-base intltool-debian libasprintf0c2 libbdd-dev libbdd0c2 libbison-dev libcroco3 libglib2.0-0 libgmp-dev libgmp3-dev libmagic1 libncurses5-dev libpipeline1 libsigsegv-dev libsigsegv2 libtecla1 libtecla1-dev libtinfo-dev libunistring0 libxml2 m4 man-db po-debconf 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 Recommended packages: curl wget lynx-cur autopoint libasprintf-dev libgettextpo-dev libglib2.0-data shared-mime-info xml-core libmail-sendmail-perl The following NEW packages will be installed: autotools-dev bison bsdmainutils debhelper file flex gettext gettext-base groff-base intltool-debian libasprintf0c2 libbdd-dev libbdd0c2 libbison-dev libcroco3 libglib2.0-0 libgmp-dev libgmp3-dev libmagic1 libncurses5-dev libpipeline1 libsigsegv-dev libsigsegv2 libtecla1 libtecla1-dev libtinfo-dev libunistring0 libxml2 m4 man-db po-debconf sbuild-build-depends-maude-dummy 0 upgraded, 32 newly installed, 0 to remove and 0 not upgraded. Need to get 12.6 MB/12.6 MB of archives. After this operation, 33.9 MB of additional disk space will be used. Get:1 http://localhost:9999/debian/ unstable/main libpipeline1 amd64 1.2.4-1 [41.0 kB] Get:2 http://localhost:9999/debian/ unstable/main groff-base amd64 1.22.2-3 [747 kB] Get:3 http://localhost:9999/debian/ unstable/main bsdmainutils amd64 9.0.5 [211 kB] Get:4 http://localhost:9999/debian/ unstable/main man-db amd64 2.6.5-2 [976 kB] Get:5 http://localhost:9999/debian/ unstable/main libasprintf0c2 amd64 0.18.2.1-1 [28.9 kB] Get:6 http://localhost:9999/debian/ unstable/main libmagic1 amd64 1:5.14-2 [216 kB] Get:7 http://localhost:9999/debian/ unstable/main libxml2 amd64 2.9.1+dfsg1-2 [911 kB] Get:8 http://localhost:9999/debian/ unstable/main libsigsegv2 amd64 2.10-2 [29.8 kB] Get:9 http://localhost:9999/debian/ unstable/main m4 amd64 1.4.16-5 [260 kB] Get:10 http://localhost:9999/debian/ unstable/main flex amd64 2.5.35-10.1 [332 kB] Get:11 http://localhost:9999/debian/ unstable/main libglib2.0-0 amd64 2.36.3-3 [2048 kB] Get:12 http://localhost:9999/debian/ unstable/main libcroco3 amd64 0.6.8-2 [133 kB] Get:13 http://localhost:9999/debian/ unstable/main libunistring0 amd64 0.9.3-5 [434 kB] Get:14 http://localhost:9999/debian/ unstable/main file amd64 1:5.14-2 [54.0 kB] Get:15 http://localhost:9999/debian/ unstable/main gettext-base amd64 0.18.2.1-1 [156 kB] Get:16 http://localhost:9999/debian/ unstable/main autotools-dev all 20130515.1 [73.0 kB] Get:17 http://localhost:9999/debian/ unstable/main libbison-dev amd64 2:2.7.1.dfsg-1 [346 kB] Get:18 http://localhost:9999/debian/ unstable/main bison amd64 2:2.7.1.dfsg-1 [789 kB] Get:19 http://localhost:9999/debian/ unstable/main gettext amd64 0.18.2.1-1 [2019 kB] Get:20 http://localhost:9999/debian/ unstable/main intltool-debian all 0.35.0+20060710.1 [30.8 kB] Get:21 http://localhost:9999/debian/ unstable/main po-debconf all 1.0.16+nmu2 [224 kB] Get:22 http://localhost:9999/debian/ unstable/main debhelper all 9.20130630 [710 kB] Get:23 http://localhost:9999/debian/ unstable/main libbdd0c2 amd64 2.4-8 [64.3 kB] Get:24 http://localhost:9999/debian/ unstable/main libbdd-dev amd64 2.4-8 [473 kB] Get:25 http://localhost:9999/debian/ unstable/main libgmp-dev amd64 2:5.1.2+dfsg-2 [664 kB] Get:26 http://localhost:9999/debian/ unstable/main libgmp3-dev amd64 2:5.1.2+dfsg-2 [14.1 kB] Get:27 http://localhost:9999/debian/ unstable/main libtinfo-dev amd64 5.9+20130608-1 [108 kB] Get:28 http://localhost:9999/debian/ unstable/main libncurses5-dev amd64 5.9+20130608-1 [222 kB] Get:29 http://localhost:9999/debian/ unstable/main libsigsegv-dev amd64 2.10-2 [22.8 kB] Get:30 http://localhost:9999/debian/ unstable/main libtecla1 amd64 1.6.1-5 [102 kB] Get:31 http://localhost:9999/debian/ unstable/main libtecla1-dev amd64 1.6.1-5 [207 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 12.6 MB in 1s (11.7 MB/s) Selecting previously unselected package libpipeline1:amd64. (Reading database ... 14698 files and directories currently installed.) Unpacking libpipeline1:amd64 (from .../libpipeline1_1.2.4-1_amd64.deb) ... Selecting previously unselected package groff-base. Unpacking groff-base (from .../groff-base_1.22.2-3_amd64.deb) ... Selecting previously unselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_9.0.5_amd64.deb) ... Selecting previously unselected package man-db. Unpacking man-db (from .../man-db_2.6.5-2_amd64.deb) ... Selecting previously unselected package libasprintf0c2:amd64. Unpacking libasprintf0c2:amd64 (from .../libasprintf0c2_0.18.2.1-1_amd64.deb) ... Selecting previously unselected package libmagic1:amd64. Unpacking libmagic1:amd64 (from .../libmagic1_1%3a5.14-2_amd64.deb) ... Selecting previously unselected package libxml2:amd64. Unpacking libxml2:amd64 (from .../libxml2_2.9.1+dfsg1-2_amd64.deb) ... Selecting previously unselected package libsigsegv2:amd64. Unpacking libsigsegv2:amd64 (from .../libsigsegv2_2.10-2_amd64.deb) ... Selecting previously unselected package m4. Unpacking m4 (from .../archives/m4_1.4.16-5_amd64.deb) ... Selecting previously unselected package flex. Unpacking flex (from .../flex_2.5.35-10.1_amd64.deb) ... Selecting previously unselected package libglib2.0-0:amd64. Unpacking libglib2.0-0:amd64 (from .../libglib2.0-0_2.36.3-3_amd64.deb) ... Selecting previously unselected package libcroco3:amd64. Unpacking libcroco3:amd64 (from .../libcroco3_0.6.8-2_amd64.deb) ... Selecting previously unselected package libunistring0:amd64. Unpacking libunistring0:amd64 (from .../libunistring0_0.9.3-5_amd64.deb) ... Selecting previously unselected package file. Unpacking file (from .../file_1%3a5.14-2_amd64.deb) ... Selecting previously unselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.2.1-1_amd64.deb) ... Selecting previously unselected package autotools-dev. Unpacking autotools-dev (from .../autotools-dev_20130515.1_all.deb) ... Selecting previously unselected package libbison-dev:amd64. Unpacking libbison-dev:amd64 (from .../libbison-dev_2%3a2.7.1.dfsg-1_amd64.deb) ... Selecting previously unselected package bison. Unpacking bison (from .../bison_2%3a2.7.1.dfsg-1_amd64.deb) ... Selecting previously unselected package gettext. Unpacking gettext (from .../gettext_0.18.2.1-1_amd64.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+nmu2_all.deb) ... Selecting previously unselected package debhelper. Unpacking debhelper (from .../debhelper_9.20130630_all.deb) ... Selecting previously unselected package libbdd0c2. Unpacking libbdd0c2 (from .../libbdd0c2_2.4-8_amd64.deb) ... Selecting previously unselected package libbdd-dev. Unpacking libbdd-dev (from .../libbdd-dev_2.4-8_amd64.deb) ... Selecting previously unselected package libgmp-dev:amd64. Unpacking libgmp-dev:amd64 (from .../libgmp-dev_2%3a5.1.2+dfsg-2_amd64.deb) ... Selecting previously unselected package libgmp3-dev. Unpacking libgmp3-dev (from .../libgmp3-dev_2%3a5.1.2+dfsg-2_amd64.deb) ... Selecting previously unselected package libtinfo-dev:amd64. Unpacking libtinfo-dev:amd64 (from .../libtinfo-dev_5.9+20130608-1_amd64.deb) ... Selecting previously unselected package libncurses5-dev:amd64. Unpacking libncurses5-dev:amd64 (from .../libncurses5-dev_5.9+20130608-1_amd64.deb) ... Selecting previously unselected package libsigsegv-dev:amd64. Unpacking libsigsegv-dev:amd64 (from .../libsigsegv-dev_2.10-2_amd64.deb) ... Selecting previously unselected package libtecla1. Unpacking libtecla1 (from .../libtecla1_1.6.1-5_amd64.deb) ... Selecting previously unselected package libtecla1-dev. Unpacking libtecla1-dev (from .../libtecla1-dev_1.6.1-5_amd64.deb) ... Selecting previously unselected package sbuild-build-depends-maude-dummy. Unpacking sbuild-build-depends-maude-dummy (from .../sbuild-build-depends-maude-dummy.deb) ... Setting up libpipeline1:amd64 (1.2.4-1) ... Setting up groff-base (1.22.2-3) ... Setting up bsdmainutils (9.0.5) ... 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 libasprintf0c2:amd64 (0.18.2.1-1) ... Setting up libmagic1:amd64 (1:5.14-2) ... Setting up libxml2:amd64 (2.9.1+dfsg1-2) ... Setting up libsigsegv2:amd64 (2.10-2) ... Setting up m4 (1.4.16-5) ... Setting up flex (2.5.35-10.1) ... Setting up libglib2.0-0:amd64 (2.36.3-3) ... No schema files found: doing nothing. Setting up libcroco3:amd64 (0.6.8-2) ... Setting up libunistring0:amd64 (0.9.3-5) ... Setting up file (1:5.14-2) ... Setting up gettext-base (0.18.2.1-1) ... Setting up autotools-dev (20130515.1) ... Setting up libbison-dev:amd64 (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.2.1-1) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu2) ... Setting up debhelper (9.20130630) ... Setting up libbdd0c2 (2.4-8) ... Setting up libbdd-dev (2.4-8) ... Setting up libgmp-dev:amd64 (2:5.1.2+dfsg-2) ... Setting up libgmp3-dev (2:5.1.2+dfsg-2) ... Setting up libtinfo-dev:amd64 (5.9+20130608-1) ... Setting up libncurses5-dev:amd64 (5.9+20130608-1) ... Setting up libsigsegv-dev:amd64 (2.10-2) ... Setting up libtecla1 (1.6.1-5) ... Setting up libtecla1-dev (1.6.1-5) ... Setting up sbuild-build-depends-maude-dummy (0.invalid.0) ... Processing triggers for libc-bin ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build environment │ └──────────────────────────────────────────────────────────────────────────────┘ Kernel: Linux 2.6.32-5-xen-amd64 amd64 (x86_64) Toolchain package versions: binutils_2.23.52.20130620-1 dpkg-dev_1.16.10 g++-4.6_4.6.4-4 g++-4.8_4.8.1-6 gcc-4.6_4.6.4-4 gcc-4.7_4.7.3-6 gcc-4.8_4.8.1-6 libc6-dev_2.17-7 libstdc++-4.8-dev_4.8.1-6 libstdc++6_4.8.1-6 libstdc++6-4.6-dev_4.6.4-4 libstdc++6-4.7-dev_4.7.3-6 linux-libc-dev_3.9.8-1 Package versions: apt_0.9.9.1 autotools-dev_20130515.1 base-files_7.2 base-passwd_3.5.26 bash_4.2+dfsg-1 binutils_2.23.52.20130620-1 bison_2:2.7.1.dfsg-1 bsdmainutils_9.0.5 bsdutils_1:2.20.1-5.5 build-essential_11.6 bzip2_1.0.6-4 clang-3.3_1:3.3-3 coreutils_8.20-3 cpp_4:4.8.1-2 cpp-4.6_4.6.4-4 cpp-4.7_4.7.3-6 cpp-4.8_4.8.1-6 dash_0.5.7-3 debconf_1.5.50 debconf-i18n_1.5.50 debfoster_2.7-1.2 debhelper_9.20130630 debian-archive-keyring_2012.4 debianutils_4.3.4 diffutils_1:3.2-8 dpkg_1.16.10 dpkg-dev_1.16.10 e2fslibs_1.42.8-1 e2fsprogs_1.42.8-1 fakeroot_1.19-2 file_1:5.14-2 findutils_4.4.2-6 flex_2.5.35-10.1 g++_4:4.8.1-2 g++-4.6_4.6.4-4 g++-4.8_4.8.1-6 gcc_4:4.8.1-2 gcc-4.4-base_4.4.7-4 gcc-4.5-base_4.5.4-1 gcc-4.6_4.6.4-4 gcc-4.6-base_4.6.4-4 gcc-4.7_4.7.3-6 gcc-4.7-base_4.7.3-6 gcc-4.8_4.8.1-6 gcc-4.8-base_4.8.1-6 gettext_0.18.2.1-1 gettext-base_0.18.2.1-1 gnupg_1.4.12-7 gpgv_1.4.12-7 grep_2.14-2 groff-base_1.22.2-3 gzip_1.6-1 hostname_3.13 initscripts_2.88dsf-42 insserv_1.14.0-5 intltool-debian_0.35.0+20060710.1 libacl1_2.2.52-1 libapt-pkg4.12_0.9.9.1 libasan0_4.8.1-6 libasprintf0c2_0.18.2.1-1 libatomic1_4.8.1-6 libattr1_1:2.4.47-1 libbdd-dev_2.4-8 libbdd0c2_2.4-8 libbison-dev_2:2.7.1.dfsg-1 libblkid1_2.20.1-5.5 libbz2-1.0_1.0.6-4 libc-bin_2.17-7 libc-dev-bin_2.17-7 libc6_2.17-7 libc6-dev_2.17-7 libcap2_1:2.22-1.2 libclang-common-3.3-dev_1:3.3-3 libclang1-3.3_1:3.3-3 libclass-isa-perl_0.36-5 libcloog-isl4_0.18.0-2 libcloog-ppl1_0.16.1-3 libcomerr2_1.42.8-1 libcroco3_0.6.8-2 libdb5.1_5.1.29-6 libdpkg-perl_1.16.10 libffi6_3.0.13-4 libfile-fcntllock-perl_0.14-2 libgc1c2_1:7.2d-5 libgcc-4.7-dev_4.7.3-6 libgcc-4.8-dev_4.8.1-6 libgcc1_1:4.8.1-6 libgdbm3_1.8.3-12 libglib2.0-0_2.36.3-3 libgmp-dev_2:5.1.2+dfsg-2 libgmp10_2:5.1.2+dfsg-2 libgmp3-dev_2:5.1.2+dfsg-2 libgmpxx4ldbl_2:5.1.2+dfsg-2 libgomp1_4.8.1-6 libgpm2_1.20.4-6.1 libisl10_0.11.2-1 libitm1_4.8.1-6 libllvm3.3_1:3.3-3 liblocale-gettext-perl_1.05-7+b1 liblzma5_5.1.1alpha+20120614-2 libmagic1_1:5.14-2 libmount1_2.20.1-5.5 libmpc2_0.9-4 libmpc3_1.0.1-1 libmpfr4_3.1.1-1 libncurses5_5.9+20130608-1 libncurses5-dev_5.9+20130608-1 libobjc-4.7-dev_4.7.3-6 libobjc4_4.8.1-6 libpam-modules_1.1.3-9 libpam-modules-bin_1.1.3-9 libpam-runtime_1.1.3-9 libpam0g_1.1.3-9 libpcre3_1:8.31-2 libpipeline1_1.2.4-1 libppl-c4_1:1.0-7 libppl12_1:1.0-7 libquadmath0_4.8.1-6 libreadline6_6.2+dfsg-0.1 libselinux1_2.1.13-2 libsemanage-common_2.1.10-2 libsemanage1_2.1.10-2 libsepol1_2.1.9-2 libsigsegv-dev_2.10-2 libsigsegv2_2.10-2 libslang2_2.2.4-15 libss2_1.42.8-1 libstdc++-4.8-dev_4.8.1-6 libstdc++6_4.8.1-6 libstdc++6-4.6-dev_4.6.4-4 libstdc++6-4.7-dev_4.7.3-6 libswitch-perl_2.16-2 libtecla1_1.6.1-5 libtecla1-dev_1.6.1-5 libtext-charwidth-perl_0.04-7+b1 libtext-iconv-perl_1.7-5 libtext-wrapi18n-perl_0.06-7 libtimedate-perl_1.2000-1 libtinfo-dev_5.9+20130608-1 libtinfo5_5.9+20130608-1 libtsan0_4.8.1-6 libunistring0_0.9.3-5 libusb-0.1-4_2:0.1.12-23.2 libustr-1.0-1_1.0.4-3 libuuid1_2.20.1-5.5 libxml2_2.9.1+dfsg1-2 linux-libc-dev_3.9.8-1 login_1:4.1.5.1-1 lsb-base_4.1+Debian12 m4_1.4.16-5 make_3.81-8.2 man-db_2.6.5-2 mawk_1.3.3-17 mount_2.20.1-5.5 multiarch-support_2.17-7 ncurses-base_5.9+20130608-1 ncurses-bin_5.9+20130608-1 passwd_1:4.1.5.1-1 patch_2.7.1-3 perl_5.14.2-21 perl-base_5.14.2-21 perl-modules_5.14.2-21 po-debconf_1.0.16+nmu2 readline-common_6.2+dfsg-0.1 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-maude-dummy_0.invalid.0 sed_4.2.2-1 sensible-utils_0.0.9 sudo_1.8.5p2-1+nmu1 sysv-rc_2.88dsf-42 sysvinit_2.88dsf-42 sysvinit-utils_2.88dsf-42 tar_1.26+dfsg-6 tzdata_2013c-2 ucf_3.0027+nmu1 util-linux_2.20.1-5.5 vim_2:7.3.923-3 vim-common_2:7.3.923-3 vim-runtime_2:7.3.923-3 xz-utils_5.1.1alpha+20120614-2 zlib1g_1:1.2.8.dfsg-1 ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build │ └──────────────────────────────────────────────────────────────────────────────┘ Unpack source ───────────── gpgv: keyblock resource `/sbuild-nonexistent/.gnupg/trustedkeys.gpg': file open error gpgv: Signature made Tue Jul 9 13:45:30 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-3.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-3.debian.tar.gz dpkg-source: info: applying search-datadir.patch Check disc space ──────────────── Sufficient free space for build Hack binNMU version ─────────────────── Created changelog entry for binNMU version 2.6-3clang1 User Environment ──────────────── HOME=/sbuild-nonexistent LOGNAME=user PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SCHROOT_ALIAS_NAME=unstable-amd64-sbuild SCHROOT_CHROOT_NAME=unstable-amd64-sbuild SCHROOT_COMMAND=env SCHROOT_GID=1000 SCHROOT_GROUP=user SCHROOT_SESSION_ID=unstable-amd64-sbuild-b79555da-02c7-4ed4-af39-528ed9b65a19 SCHROOT_UID=1000 SCHROOT_USER=user SHELL=/bin/sh USER=user dpkg-buildpackage ───────────────── dpkg-buildpackage: source package maude dpkg-buildpackage: source version 2.6-3clang1 dpkg-source --before-build maude-2.6 dpkg-buildpackage: host architecture amd64 fakeroot debian/rules clean dh clean dh_testdir debian/rules override_dh_auto_clean make[1]: Entering directory `/«PKGBUILDDIR»' dh_auto_clean rm -f src/Mixfix/surface.output find tests -name "*.out" -type f -delete make[1]: Leaving directory `/«PKGBUILDDIR»' 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 dh_testdir -a debian/rules override_dh_auto_configure make[1]: Entering directory `/«PKGBUILDDIR»' dh_auto_configure -- --datadir="/usr/share/maude" ./configure --build=x86_64-linux-gnu --prefix=/usr --includedir=\${prefix}/include --mandir=\${prefix}/share/man --infodir=\${prefix}/share/info --sysconfdir=/etc --localstatedir=/var --libdir=\${prefix}/lib/x86_64-linux-gnu --libexecdir=\${prefix}/lib/x86_64-linux-gnu --disable-maintainer-mode --disable-dependency-tracking --datadir=/usr/share/maude configure: WARNING: unrecognized options: --disable-maintainer-mode checking build system type... x86_64-pc-linux-gnu checking host system type... x86_64-pc-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.2.1 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 `/«PKGBUILDDIR»' dh_auto_build -a make -j1 make[1]: Entering directory `/«PKGBUILDDIR»' make all-recursive make[2]: Entering directory `/«PKGBUILDDIR»' Making all in src make[3]: Entering directory `/«PKGBUILDDIR»/src' Making all in 3rdParty make[4]: Entering directory `/«PKGBUILDDIR»/src/3rdParty' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/«PKGBUILDDIR»/src/3rdParty' Making all in Utility make[4]: Entering directory `/«PKGBUILDDIR»/src/Utility' g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o macros.o macros.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o preVector.o preVector.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o intSet.o intSet.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o pointerSet.o pointerSet.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o stringTable.o stringTable.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o graph.o graph.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o digraph.o digraph.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o unionFind.o unionFind.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o diophantineSystem.o diophantineSystem.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o natSet.o natSet.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o pointerMap.o pointerMap.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o sequencePartition.o sequencePartition.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o indent.o indent.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o binBuf.o binBuf.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o decBuf.o decBuf.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o bddUser.o bddUser.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o tty.o tty.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o bdd.o bdd.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o timer.o timer.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o mpzSystem.o mpzSystem.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o intSystem.o intSystem.cc g++ -DHAVE_CONFIG_H -I. -I. -I../.. -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -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 `/«PKGBUILDDIR»/src/Utility' Making all in Temporal make[4]: Entering directory `/«PKGBUILDDIR»/src/Temporal' g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 `/«PKGBUILDDIR»/src/Temporal' Making all in Interface make[4]: Entering directory `/«PKGBUILDDIR»/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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libinterface_a-symbol.o `test -f 'symbol.cc' || echo './'`symbol.cc In file included from symbol.cc:41: In file included from ./term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libinterface_a-binarySymbol.o `test -f 'binarySymbol.cc' || echo './'`binarySymbol.cc In file included from binarySymbol.cc:38: In file included from ./binarySymbol.hh:33: In file included from ./term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libinterface_a-associativeSymbol.o `test -f 'associativeSymbol.cc' || echo './'`associativeSymbol.cc In file included from associativeSymbol.cc:39: In file included from ./associativeSymbol.hh:28: In file included from ./binarySymbol.hh:33: In file included from ./term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libinterface_a-term.o `test -f 'term.cc' || echo './'`term.cc In file included from term.cc:40: In file included from ./term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libinterface_a-dagNode.o `test -f 'dagNode.cc' || echo './'`dagNode.cc In file included from dagNode.cc:39: In file included from ./binarySymbol.hh:33: In file included from ./term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 `/«PKGBUILDDIR»/src/Interface' Making all in Core make[4]: Entering directory `/«PKGBUILDDIR»/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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libcore_a-termBag.o `test -f 'termBag.cc' || echo './'`termBag.cc In file included from termBag.cc:36: In file included from ../../src/Interface/term.hh:34: ./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libcore_a-trivialRhsAutomaton.o `test -f 'trivialRhsAutomaton.cc' || echo './'`trivialRhsAutomaton.cc In file included from trivialRhsAutomaton.cc:41: In file included from ./variableInfo.hh:30: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libcore_a-copyRhsAutomaton.o `test -f 'copyRhsAutomaton.cc' || echo './'`copyRhsAutomaton.cc In file included from copyRhsAutomaton.cc:42: In file included from ./variableInfo.hh:30: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libcore_a-variableInfo.o `test -f 'variableInfo.cc' || echo './'`variableInfo.cc In file included from variableInfo.cc:38: In file included from ./variableInfo.hh:30: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libcore_a-termSet.o `test -f 'termSet.cc' || echo './'`termSet.cc In file included from termSet.cc:36: In file included from ../../src/Interface/term.hh:34: ./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libcore_a-sortTable.o `test -f 'sortTable.cc' || echo './'`sortTable.cc In file included from sortTable.cc:38: In file included from ../../src/Interface/term.hh:34: ./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libcore_a-sortConstraintTable.o `test -f 'sortConstraintTable.cc' || echo './'`sortConstraintTable.cc In file included from sortConstraintTable.cc:39: In file included from ../../src/Interface/term.hh:34: ./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libcore_a-equationTable.o `test -f 'equationTable.cc' || echo './'`equationTable.cc In file included from equationTable.cc:38: In file included from ../../src/Interface/term.hh:34: ./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libcore_a-ruleTable.o `test -f 'ruleTable.cc' || echo './'`ruleTable.cc In file included from ruleTable.cc:38: In file included from ../../src/Interface/term.hh:34: ./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libcore_a-module.o `test -f 'module.cc' || echo './'`module.cc In file included from module.cc:37: In file included from ../../src/Interface/term.hh:34: ./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libcore_a-localBinding.o `test -f 'localBinding.cc' || echo './'`localBinding.cc In file included from localBinding.cc:42: In file included from ./variableInfo.hh:30: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libcore_a-preEquation.o `test -f 'preEquation.cc' || echo './'`preEquation.cc In file included from preEquation.cc:40: In file included from ../../src/Interface/term.hh:34: ./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libcore_a-equation.o `test -f 'equation.cc' || echo './'`equation.cc In file included from equation.cc:38: In file included from ../../src/Interface/term.hh:34: ./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libcore_a-rule.o `test -f 'rule.cc' || echo './'`rule.cc In file included from rule.cc:39: In file included from ../../src/Interface/term.hh:34: ./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libcore_a-sortConstraint.o `test -f 'sortConstraint.cc' || echo './'`sortConstraint.cc In file included from sortConstraint.cc:38: In file included from ../../src/Interface/term.hh:34: ./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libcore_a-equalitySubproblem.o `test -f 'equalitySubproblem.cc' || echo './'`equalitySubproblem.cc In file included from equalitySubproblem.cc:38: In file included from ../../src/Interface/term.hh:34: ./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libcore_a-cachedDag.o `test -f 'cachedDag.cc' || echo './'`cachedDag.cc In file included from cachedDag.cc:38: In file included from ../../src/Interface/term.hh:34: ./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libcore_a-dagNodeSet.o `test -f 'dagNodeSet.cc' || echo './'`dagNodeSet.cc In file included from dagNodeSet.cc:40: ./dagNodeSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ./dagNodeSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libcore_a-protectedDagNodeSet.o `test -f 'protectedDagNodeSet.cc' || echo './'`protectedDagNodeSet.cc In file included from protectedDagNodeSet.cc:40: In file included from ./protectedDagNodeSet.hh:28: ./dagNodeSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ./dagNodeSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libcore_a-compoundCycleSubproblem.o `test -f 'compoundCycleSubproblem.cc' || echo './'`compoundCycleSubproblem.cc In file included from compoundCycleSubproblem.cc:39: In file included from ../../src/Interface/binarySymbol.hh:33: In file included from ../../src/Interface/term.hh:34: ./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 `/«PKGBUILDDIR»/src/Core' Making all in Variable make[4]: Entering directory `/«PKGBUILDDIR»/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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libvariable_a-variableSymbol.o `test -f 'variableSymbol.cc' || echo './'`variableSymbol.cc In file included from variableSymbol.cc:38: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libvariable_a-variableTerm.o `test -f 'variableTerm.cc' || echo './'`variableTerm.cc In file included from variableTerm.cc:38: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libvariable_a-variableLhsAutomaton.o `test -f 'variableLhsAutomaton.cc' || echo './'`variableLhsAutomaton.cc In file included from variableLhsAutomaton.cc:43: In file included from ../../src/Core/variableInfo.hh:30: In file included from ./variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 `/«PKGBUILDDIR»/src/Variable' Making all in NA_Theory make[4]: Entering directory `/«PKGBUILDDIR»/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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 NA_Term.cc:39: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 NA_LhsAutomaton.cc:39: In file included from ./NA_Term.hh:28: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 NA_RhsAutomaton.cc:39: In file included from ../../src/Core/variableInfo.hh:30: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 `/«PKGBUILDDIR»/src/NA_Theory' Making all in ACU_Persistent make[4]: Entering directory `/«PKGBUILDDIR»/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 -fstack-protector --param=ssp-buffer-size=4 -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 ACU_RedBlackNode.cc:40: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 ACU_Tree.cc:38: In file included from ../../src/Interface/binarySymbol.hh:33: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 `/«PKGBUILDDIR»/src/ACU_Persistent' Making all in ACU_Theory make[4]: Entering directory `/«PKGBUILDDIR»/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 -fstack-protector --param=ssp-buffer-size=4 -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 ACU_Symbol.cc:43: In file included from ./ACU_Symbol.hh:28: In file included from ../../src/Interface/associativeSymbol.hh:28: In file included from ../../src/Interface/binarySymbol.hh:33: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 ACU_Term.cc:43: In file included from ../../src/Interface/associativeSymbol.hh:28: In file included from ../../src/Interface/binarySymbol.hh:33: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 ACU_BaseDagNode.cc:38: In file included from ./ACU_Symbol.hh:28: In file included from ../../src/Interface/associativeSymbol.hh:28: In file included from ../../src/Interface/binarySymbol.hh:33: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 ACU_DagNode.cc:40: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 ACU_TreeDagNode.cc:41: In file included from ./ACU_Symbol.hh:28: In file included from ../../src/Interface/associativeSymbol.hh:28: In file included from ../../src/Interface/binarySymbol.hh:33: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 ACU_RhsAutomaton.cc:40: In file included from ../../src/Core/variableInfo.hh:30: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 ACU_LhsAutomaton.cc:40: In file included from ../../src/Interface/associativeSymbol.hh:28: In file included from ../../src/Interface/binarySymbol.hh:33: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 ACU_Subproblem.cc:41: In file included from ../../src/Interface/associativeSymbol.hh:28: In file included from ../../src/Interface/binarySymbol.hh:33: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 ACU_ExtensionInfo.cc:38: In file included from ./ACU_Symbol.hh:28: In file included from ../../src/Interface/associativeSymbol.hh:28: In file included from ../../src/Interface/binarySymbol.hh:33: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 ACU_CollectorLhsAutomaton.cc:39: In file included from ../../src/Interface/associativeSymbol.hh:28: In file included from ../../src/Interface/binarySymbol.hh:33: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 ACU_NGA_LhsAutomaton.cc:40: In file included from ../../src/Interface/associativeSymbol.hh:28: In file included from ../../src/Interface/binarySymbol.hh:33: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 ACU_VarLhsAutomaton.cc:40: In file included from ../../src/Interface/associativeSymbol.hh:28: In file included from ../../src/Interface/binarySymbol.hh:33: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 ACU_GndLhsAutomaton.cc:40: In file included from ../../src/Interface/associativeSymbol.hh:28: In file included from ../../src/Interface/binarySymbol.hh:33: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 ACU_NonLinearLhsAutomaton.cc:39: In file included from ../../src/Interface/associativeSymbol.hh:28: In file included from ../../src/Interface/binarySymbol.hh:33: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 ACU_ArgumentIterator.cc:37: In file included from ./ACU_Term.hh:28: In file included from ./ACU_Symbol.hh:28: In file included from ../../src/Interface/associativeSymbol.hh:28: In file included from ../../src/Interface/binarySymbol.hh:33: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 ACU_DagArgumentIterator.cc:38: In file included from ./ACU_Symbol.hh:28: In file included from ../../src/Interface/associativeSymbol.hh:28: In file included from ../../src/Interface/binarySymbol.hh:33: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 ACU_LazySubproblem.cc:40: In file included from ../../src/Interface/associativeSymbol.hh:28: In file included from ../../src/Interface/binarySymbol.hh:33: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 ACU_UnificationSubproblem2.cc:42: In file included from ../../src/Interface/associativeSymbol.hh:28: In file included from ../../src/Interface/binarySymbol.hh:33: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 `/«PKGBUILDDIR»/src/ACU_Theory' Making all in AU_Persistent make[4]: Entering directory `/«PKGBUILDDIR»/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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 `/«PKGBUILDDIR»/src/AU_Persistent' Making all in AU_Theory make[4]: Entering directory `/«PKGBUILDDIR»/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 -fstack-protector --param=ssp-buffer-size=4 -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 AU_Symbol.cc:45: In file included from ./AU_Symbol.hh:28: In file included from ../../src/Interface/associativeSymbol.hh:28: In file included from ../../src/Interface/binarySymbol.hh:33: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 AU_DagNode.cc:37: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 AU_DequeDagNode.cc:38: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 AU_Term.cc:40: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 AU_DagArgumentIterator.cc:37: In file included from ./AU_Symbol.hh:28: In file included from ../../src/Interface/associativeSymbol.hh:28: In file included from ../../src/Interface/binarySymbol.hh:33: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 AU_ExtensionInfo.cc:37: In file included from ./AU_Symbol.hh:28: In file included from ../../src/Interface/associativeSymbol.hh:28: In file included from ../../src/Interface/binarySymbol.hh:33: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 AU_RhsAutomaton.cc:39: In file included from ../../src/Core/variableInfo.hh:30: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 AU_LhsAutomaton.cc:40: In file included from ../../src/Interface/associativeSymbol.hh:28: In file included from ../../src/Interface/binarySymbol.hh:33: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 AU_ArgumentIterator.cc:37: In file included from ./AU_ArgumentIterator.hh:29: In file included from ./AU_Term.hh:28: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 AU_Layer.cc:39: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 AU_Subproblem.cc:45: In file included from ./AU_Symbol.hh:28: In file included from ../../src/Interface/associativeSymbol.hh:28: In file included from ../../src/Interface/binarySymbol.hh:33: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 `/«PKGBUILDDIR»/src/AU_Theory' Making all in CUI_Theory make[4]: Entering directory `/«PKGBUILDDIR»/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 -fstack-protector --param=ssp-buffer-size=4 -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 CUI_Symbol.cc:40: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 CUI_DagNode.cc:38: In file included from ../../src/Interface/binarySymbol.hh:33: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 CUI_RhsAutomaton.cc:39: In file included from ../../src/Core/variableInfo.hh:30: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 CUI_Term.cc:39: In file included from ../../src/Interface/binarySymbol.hh:33: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 CUI_UnificationSubproblem.cc:43: In file included from ../../src/Core/variableInfo.hh:30: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 CUI_LhsAutomaton.cc:39: In file included from ../../src/Interface/binarySymbol.hh:33: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 `/«PKGBUILDDIR»/src/CUI_Theory' Making all in S_Theory make[4]: Entering directory `/«PKGBUILDDIR»/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 -fstack-protector --param=ssp-buffer-size=4 -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 S_Symbol.cc:44: In file included from ./S_Term.hh:29: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 S_DagNode.cc:38: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 S_Term.cc:39: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 S_LhsAutomaton.cc:38: In file included from ../../src/Core/variableInfo.hh:30: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 S_RhsAutomaton.cc:39: In file included from ../../src/Core/variableInfo.hh:30: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 S_Subproblem.cc:42: In file included from ../../src/Core/variableInfo.hh:30: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 `/«PKGBUILDDIR»/src/S_Theory' Making all in FreeTheory make[4]: Entering directory `/«PKGBUILDDIR»/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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libfreeTheory_a-freeSymbol.o `test -f 'freeSymbol.cc' || echo './'`freeSymbol.cc In file included from freeSymbol.cc:43: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libfreeTheory_a-freeTerm.o `test -f 'freeTerm.cc' || echo './'`freeTerm.cc In file included from freeTerm.cc:40: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libfreeTheory_a-freeLhsAutomaton.o `test -f 'freeLhsAutomaton.cc' || echo './'`freeLhsAutomaton.cc In file included from freeLhsAutomaton.cc:41: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libfreeTheory_a-freeRhsAutomaton.o `test -f 'freeRhsAutomaton.cc' || echo './'`freeRhsAutomaton.cc In file included from freeRhsAutomaton.cc:40: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libfreeTheory_a-freeNet.o `test -f 'freeNet.cc' || echo './'`freeNet.cc In file included from freeNet.cc:45: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libfreeTheory_a-freePreNet.o `test -f 'freePreNet.cc' || echo './'`freePreNet.cc In file included from freePreNet.cc:45: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libfreeTheory_a-freeRemainder.o `test -f 'freeRemainder.cc' || echo './'`freeRemainder.cc In file included from freeRemainder.cc:41: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 `/«PKGBUILDDIR»/src/FreeTheory' Making all in Higher make[4]: Entering directory `/«PKGBUILDDIR»/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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libhigher_a-rewriteSearchState.o `test -f 'rewriteSearchState.cc' || echo './'`rewriteSearchState.cc In file included from rewriteSearchState.cc:42: In file included from ../../src/Core/rule.hh:28: In file included from ../../src/Core/preEquation.hh:30: In file included from ../../src/Core/variableInfo.hh:30: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libhigher_a-matchSearchState.o `test -f 'matchSearchState.cc' || echo './'`matchSearchState.cc In file included from matchSearchState.cc:41: In file included from ./pattern.hh:28: In file included from ../../src/Core/preEquation.hh:30: In file included from ../../src/Core/variableInfo.hh:30: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libhigher_a-pattern.o `test -f 'pattern.cc' || echo './'`pattern.cc In file included from pattern.cc:36: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libhigher_a-searchState.o `test -f 'searchState.cc' || echo './'`searchState.cc In file included from searchState.cc:43: In file included from ../../src/Core/preEquation.hh:30: In file included from ../../src/Core/variableInfo.hh:30: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libhigher_a-rewriteSequenceSearch.o `test -f 'rewriteSequenceSearch.cc' || echo './'`rewriteSequenceSearch.cc In file included from rewriteSequenceSearch.cc:42: In file included from ./pattern.hh:28: In file included from ../../src/Core/preEquation.hh:30: In file included from ../../src/Core/variableInfo.hh:30: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libhigher_a-modelCheckerSymbol.o `test -f 'modelCheckerSymbol.cc' || echo './'`modelCheckerSymbol.cc In file included from modelCheckerSymbol.cc:42: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using In file included from modelCheckerSymbol.cc:65: In file included from ./modelCheckerSymbol.hh:28: In file included from ./temporalSymbol.hh:29: ../../src/Core/dagNodeSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/dagNodeSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 4 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libhigher_a-rewriteConditionFragment.o `test -f 'rewriteConditionFragment.cc' || echo './'`rewriteConditionFragment.cc In file included from rewriteConditionFragment.cc:39: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libhigher_a-assignmentConditionFragment.o `test -f 'assignmentConditionFragment.cc' || echo './'`assignmentConditionFragment.cc In file included from assignmentConditionFragment.cc:39: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libhigher_a-sortTestConditionFragment.o `test -f 'sortTestConditionFragment.cc' || echo './'`sortTestConditionFragment.cc In file included from sortTestConditionFragment.cc:39: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libhigher_a-equalityConditionFragment.o `test -f 'equalityConditionFragment.cc' || echo './'`equalityConditionFragment.cc In file included from equalityConditionFragment.cc:40: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libhigher_a-assignmentConditionState.o `test -f 'assignmentConditionState.cc' || echo './'`assignmentConditionState.cc In file included from assignmentConditionState.cc:38: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libhigher_a-rewriteConditionState.o `test -f 'rewriteConditionState.cc' || echo './'`rewriteConditionState.cc In file included from rewriteConditionState.cc:39: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libhigher_a-temporalSymbol.o `test -f 'temporalSymbol.cc' || echo './'`temporalSymbol.cc In file included from temporalSymbol.cc:42: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using In file included from temporalSymbol.cc:59: In file included from ./temporalSymbol.hh:29: ../../src/Core/dagNodeSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/dagNodeSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 4 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libhigher_a-satSolverSymbol.o `test -f 'satSolverSymbol.cc' || echo './'`satSolverSymbol.cc In file included from satSolverSymbol.cc:43: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using In file included from satSolverSymbol.cc:62: In file included from ./satSolverSymbol.hh:28: In file included from ./temporalSymbol.hh:29: ../../src/Core/dagNodeSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/dagNodeSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 4 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libhigher_a-unificationProblem.o `test -f 'unificationProblem.cc' || echo './'`unificationProblem.cc In file included from unificationProblem.cc:43: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libhigher_a-narrowingSearchState.o `test -f 'narrowingSearchState.cc' || echo './'`narrowingSearchState.cc In file included from narrowingSearchState.cc:43: In file included from ../../src/Core/rule.hh:28: In file included from ../../src/Core/preEquation.hh:30: In file included from ../../src/Core/variableInfo.hh:30: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libhigher_a-narrowingUnificationProblem.o `test -f 'narrowingUnificationProblem.cc' || echo './'`narrowingUnificationProblem.cc In file included from narrowingUnificationProblem.cc:49: In file included from ../../src/Core/rule.hh:28: In file included from ../../src/Core/preEquation.hh:30: In file included from ../../src/Core/variableInfo.hh:30: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libhigher_a-narrowingSequenceSearch.o `test -f 'narrowingSequenceSearch.cc' || echo './'`narrowingSequenceSearch.cc In file included from narrowingSequenceSearch.cc:47: In file included from ./pattern.hh:28: In file included from ../../src/Core/preEquation.hh:30: In file included from ../../src/Core/variableInfo.hh:30: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using In file included from narrowingSequenceSearch.cc:49: In file included from ./narrowingSequenceSearch.hh:30: In file included from ../../src/Core/protectedDagNodeSet.hh:28: ../../src/Core/dagNodeSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/dagNodeSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 4 warnings generated. 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 `/«PKGBUILDDIR»/src/Higher' Making all in BuiltIn make[4]: Entering directory `/«PKGBUILDDIR»/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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libbuiltIn_a-equalitySymbol.o `test -f 'equalitySymbol.cc' || echo './'`equalitySymbol.cc In file included from equalitySymbol.cc:40: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libbuiltIn_a-sortTestSymbol.o `test -f 'sortTestSymbol.cc' || echo './'`sortTestSymbol.cc In file included from sortTestSymbol.cc:39: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libbuiltIn_a-branchSymbol.o `test -f 'branchSymbol.cc' || echo './'`branchSymbol.cc In file included from branchSymbol.cc:39: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libbuiltIn_a-stringSymbol.o `test -f 'stringSymbol.cc' || echo './'`stringSymbol.cc In file included from stringSymbol.cc:39: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libbuiltIn_a-stringTerm.o `test -f 'stringTerm.cc' || echo './'`stringTerm.cc In file included from stringTerm.cc:39: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libbuiltIn_a-stringOpSymbol.o `test -f 'stringOpSymbol.cc' || echo './'`stringOpSymbol.cc In file included from stringOpSymbol.cc:41: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libbuiltIn_a-floatSymbol.o `test -f 'floatSymbol.cc' || echo './'`floatSymbol.cc In file included from floatSymbol.cc:40: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libbuiltIn_a-floatTerm.o `test -f 'floatTerm.cc' || echo './'`floatTerm.cc In file included from floatTerm.cc:39: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libbuiltIn_a-floatOpSymbol.o `test -f 'floatOpSymbol.cc' || echo './'`floatOpSymbol.cc In file included from floatOpSymbol.cc:42: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libbuiltIn_a-succSymbol.o `test -f 'succSymbol.cc' || echo './'`succSymbol.cc In file included from succSymbol.cc:38: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libbuiltIn_a-numberOpSymbol.o `test -f 'numberOpSymbol.cc' || echo './'`numberOpSymbol.cc In file included from numberOpSymbol.cc:38: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libbuiltIn_a-minusSymbol.o `test -f 'minusSymbol.cc' || echo './'`minusSymbol.cc In file included from minusSymbol.cc:38: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libbuiltIn_a-ACU_NumberOpSymbol.o `test -f 'ACU_NumberOpSymbol.cc' || echo './'`ACU_NumberOpSymbol.cc In file included from ACU_NumberOpSymbol.cc:40: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libbuiltIn_a-CUI_NumberOpSymbol.o `test -f 'CUI_NumberOpSymbol.cc' || echo './'`CUI_NumberOpSymbol.cc In file included from CUI_NumberOpSymbol.cc:38: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libbuiltIn_a-divisionSymbol.o `test -f 'divisionSymbol.cc' || echo './'`divisionSymbol.cc In file included from divisionSymbol.cc:38: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libbuiltIn_a-randomOpSymbol.o `test -f 'randomOpSymbol.cc' || echo './'`randomOpSymbol.cc In file included from randomOpSymbol.cc:38: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libbuiltIn_a-counterSymbol.o `test -f 'counterSymbol.cc' || echo './'`counterSymbol.cc In file included from counterSymbol.cc:38: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libbuiltIn_a-matrixOpSymbol.o `test -f 'matrixOpSymbol.cc' || echo './'`matrixOpSymbol.cc In file included from matrixOpSymbol.cc:43: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 `/«PKGBUILDDIR»/src/BuiltIn' Making all in IO_Stuff make[4]: Entering directory `/«PKGBUILDDIR»/src/IO_Stuff' g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libIO_Stuff_a-directoryManager.o `test -f 'directoryManager.cc' || echo './'`directoryManager.cc directoryManager.cc:256:2: warning: ignoring return value of function declared with warn_unused_result attribute [-Wunused-result] chdir(dirName); ^~~~~ ~~~~~~~ 1 warning generated. 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 `/«PKGBUILDDIR»/src/IO_Stuff' Making all in ObjectSystem make[4]: Entering directory `/«PKGBUILDDIR»/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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libobjectSystem_a-configSymbol.o `test -f 'configSymbol.cc' || echo './'`configSymbol.cc In file included from configSymbol.cc:44: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libobjectSystem_a-objectSystemRewritingContext.o `test -f 'objectSystemRewritingContext.cc' || echo './'`objectSystemRewritingContext.cc In file included from objectSystemRewritingContext.cc:40: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libobjectSystem_a-socketManagerSymbol.o `test -f 'socketManagerSymbol.cc' || echo './'`socketManagerSymbol.cc In file included from socketManagerSymbol.cc:43: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 `/«PKGBUILDDIR»/src/ObjectSystem' Making all in Meta make[4]: Entering directory `/«PKGBUILDDIR»/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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libmeta_a-metaLevel.o `test -f 'metaLevel.cc' || echo './'`metaLevel.cc In file included from metaLevel.cc:51: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libmeta_a-interpreterManagerSymbol.o `test -f 'interpreterManagerSymbol.cc' || echo './'`interpreterManagerSymbol.cc In file included from interpreterManagerSymbol.cc:44: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libmeta_a-metaOpCache.o `test -f 'metaOpCache.cc' || echo './'`metaOpCache.cc In file included from metaOpCache.cc:55: In file included from ../../src/Mixfix/userLevelRewritingContext.hh:34: In file included from ../../src/Core/rule.hh:28: In file included from ../../src/Core/preEquation.hh:30: In file included from ../../src/Core/variableInfo.hh:30: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libmeta_a-metaLevelOpSymbol.o `test -f 'metaLevelOpSymbol.cc' || echo './'`metaLevelOpSymbol.cc In file included from metaLevelOpSymbol.cc:48: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using In file included from metaLevelOpSymbol.cc:67: In file included from ../../src/Higher/narrowingSequenceSearch.hh:30: In file included from ../../src/Core/protectedDagNodeSet.hh:28: ../../src/Core/dagNodeSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/dagNodeSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using In file included from metaLevelOpSymbol.cc:101: ./metaMatch.cc:175:10: warning: initialization of pointer of type 'MatchSearchState *' to null from a constant boolean expression [-Wbool-conversion] return false; ^~~~~ 5 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libmeta_a-metaPreModule.o `test -f 'metaPreModule.cc' || echo './'`metaPreModule.cc In file included from metaPreModule.cc:40: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 `/«PKGBUILDDIR»/src/Meta' Making all in FullCompiler make[4]: Entering directory `/«PKGBUILDDIR»/src/FullCompiler' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/«PKGBUILDDIR»/src/FullCompiler' Making all in MSCP10 make[4]: Entering directory `/«PKGBUILDDIR»/src/MSCP10' g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libmscp10_a-scp_parser.o `test -f 'scp_parser.cc' || echo './'`scp_parser.cc scp_parser.cc:510:16: warning: using the result of an assignment as a condition without parentheses [-Wparentheses] if (ecov = memabslnt[-memevent[event].nextsymbol].bubbleev) { ~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ scp_parser.cc:510:16: note: place parentheses around the assignment to silence this warning if (ecov = memabslnt[-memevent[event].nextsymbol].bubbleev) { ^ ( ) scp_parser.cc:510:16: note: use '==' to turn this assignment into an equality comparison if (ecov = memabslnt[-memevent[event].nextsymbol].bubbleev) { ^ == scp_parser.cc:512:13: warning: using the result of an assignment as a condition without parentheses [-Wparentheses] if (bcov = memabslnt[-memrhs[memprodtn[bubcov[ecov].prodtn].rhs]].bubblecov) { ~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ scp_parser.cc:512:13: note: place parentheses around the assignment to silence this warning if (bcov = memabslnt[-memrhs[memprodtn[bubcov[ecov].prodtn].rhs]].bubblecov) { ^ ( ) scp_parser.cc:512:13: note: use '==' to turn this assignment into an equality comparison if (bcov = memabslnt[-memrhs[memprodtn[bubcov[ecov].prodtn].rhs]].bubblecov) { ^ == scp_parser.cc:526:11: warning: using the result of an assignment as a condition without parentheses [-Wparentheses] if (bcov = memabslnt[-memevent[event].nextsymbol].bubblecov) { ~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ scp_parser.cc:526:11: note: place parentheses around the assignment to silence this warning if (bcov = memabslnt[-memevent[event].nextsymbol].bubblecov) { ^ ( ) scp_parser.cc:526:11: note: use '==' to turn this assignment into an equality comparison if (bcov = memabslnt[-memevent[event].nextsymbol].bubblecov) { ^ == scp_parser.cc:1474:15: warning: using the result of an assignment as a condition without parentheses [-Wparentheses] if (pnode = memanal[anal].prevnode) { ~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~ scp_parser.cc:1474:15: note: place parentheses around the assignment to silence this warning if (pnode = memanal[anal].prevnode) { ^ ( ) scp_parser.cc:1474:15: note: use '==' to turn this assignment into an equality comparison if (pnode = memanal[anal].prevnode) { ^ == scp_parser.cc:1482:17: warning: using the result of an assignment as a condition without parentheses [-Wparentheses] if (pnode = memevent[pevent].prevnode) { ~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ scp_parser.cc:1482:17: note: place parentheses around the assignment to silence this warning if (pnode = memevent[pevent].prevnode) { ^ ( ) scp_parser.cc:1482:17: note: use '==' to turn this assignment into an equality comparison if (pnode = memevent[pevent].prevnode) { ^ == 5 warnings generated. g++ -DHAVE_CONFIG_H -I. -I. -I../.. -I../../src/Utility -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 `/«PKGBUILDDIR»/src/MSCP10' Making all in StrategyLanguage make[4]: Entering directory `/«PKGBUILDDIR»/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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libstrategyLanguage_a-applicationStrategy.o `test -f 'applicationStrategy.cc' || echo './'`applicationStrategy.cc In file included from applicationStrategy.cc:37: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libstrategyLanguage_a-testStrategy.o `test -f 'testStrategy.cc' || echo './'`testStrategy.cc In file included from testStrategy.cc:47: In file included from ./testStrategy.hh:29: In file included from ../../src/Higher/pattern.hh:28: In file included from ../../src/Core/preEquation.hh:30: In file included from ../../src/Core/variableInfo.hh:30: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libstrategyLanguage_a-applicationProcess.o `test -f 'applicationProcess.cc' || echo './'`applicationProcess.cc In file included from applicationProcess.cc:38: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libstrategyLanguage_a-sharedRewriteSearchState.o `test -f 'sharedRewriteSearchState.cc' || echo './'`sharedRewriteSearchState.cc In file included from sharedRewriteSearchState.cc:38: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libstrategyLanguage_a-matchProcess.o `test -f 'matchProcess.cc' || echo './'`matchProcess.cc In file included from matchProcess.cc:38: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libstrategyLanguage_a-rewriteTask.o `test -f 'rewriteTask.cc' || echo './'`rewriteTask.cc In file included from rewriteTask.cc:38: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 `/«PKGBUILDDIR»/src/StrategyLanguage' Making all in Mixfix make[4]: Entering directory `/«PKGBUILDDIR»/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 `/«PKGBUILDDIR»/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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libmixfix_a-renaming.o `test -f 'renaming.cc' || echo './'`renaming.cc In file included from renaming.cc:38: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libmixfix_a-view.o `test -f 'view.cc' || echo './'`view.cc In file included from view.cc:42: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libmixfix_a-importModule.o `test -f 'importModule.cc' || echo './'`importModule.cc In file included from importModule.cc:38: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libmixfix_a-importTranslation.o `test -f 'importTranslation.cc' || echo './'`importTranslation.cc In file included from importTranslation.cc:39: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libmixfix_a-loopSymbol.o `test -f 'loopSymbol.cc' || echo './'`loopSymbol.cc In file included from loopSymbol.cc:45: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libmixfix_a-quotedIdentifierSymbol.o `test -f 'quotedIdentifierSymbol.cc' || echo './'`quotedIdentifierSymbol.cc In file included from quotedIdentifierSymbol.cc:40: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libmixfix_a-quotedIdentifierTerm.o `test -f 'quotedIdentifierTerm.cc' || echo './'`quotedIdentifierTerm.cc In file included from quotedIdentifierTerm.cc:41: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libmixfix_a-quotedIdentifierOpSymbol.o `test -f 'quotedIdentifierOpSymbol.cc' || echo './'`quotedIdentifierOpSymbol.cc In file included from quotedIdentifierOpSymbol.cc:61: In file included from ./userLevelRewritingContext.hh:34: In file included from ../../src/Core/rule.hh:28: In file included from ../../src/Core/preEquation.hh:30: In file included from ../../src/Core/variableInfo.hh:30: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libmixfix_a-mixfixModule.o `test -f 'mixfixModule.cc' || echo './'`mixfixModule.cc In file included from mixfixModule.cc:55: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using In file included from mixfixModule.cc:114: In file included from ../../src/Higher/modelCheckerSymbol.hh:28: In file included from ../../src/Higher/temporalSymbol.hh:29: ../../src/Core/dagNodeSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/dagNodeSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 4 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libmixfix_a-global.o `test -f 'global.cc' || echo './'`global.cc In file included from global.cc:42: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libmixfix_a-userLevelRewritingContext.o `test -f 'userLevelRewritingContext.cc' || echo './'`userLevelRewritingContext.cc In file included from userLevelRewritingContext.cc:52: In file included from ../../src/Core/sortConstraint.hh:28: In file included from ../../src/Core/preEquation.hh:30: In file included from ../../src/Core/variableInfo.hh:30: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using In file included from userLevelRewritingContext.cc:71: ./interact.cc:121:3: warning: ignoring return value of function declared with warn_unused_result attribute [-Wunused-result] write(STDERR_FILENO, message, sizeof(message) - 1); ^~~~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./interact.cc:147:3: warning: ignoring return value of function declared with warn_unused_result attribute [-Wunused-result] write(STDERR_FILENO, message1, sizeof(message1) - 1); ^~~~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./interact.cc:148:3: warning: ignoring return value of function declared with warn_unused_result attribute [-Wunused-result] write(STDERR_FILENO, message2, sizeof(message2) - 1); ^~~~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./interact.cc:149:3: warning: ignoring return value of function declared with warn_unused_result attribute [-Wunused-result] write(STDERR_FILENO, message3, sizeof(message3) - 1); ^~~~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 6 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libmixfix_a-preModule.o `test -f 'preModule.cc' || echo './'`preModule.cc In file included from preModule.cc:44: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libmixfix_a-syntacticPreModule.o `test -f 'syntacticPreModule.cc' || echo './'`syntacticPreModule.cc In file included from syntacticPreModule.cc:44: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libmixfix_a-maudemlBuffer.o `test -f 'maudemlBuffer.cc' || echo './'`maudemlBuffer.cc In file included from maudemlBuffer.cc:44: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libmixfix_a-interpreter.o `test -f 'interpreter.cc' || echo './'`interpreter.cc In file included from interpreter.cc:42: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using In file included from interpreter.cc:53: In file included from ../../src/Higher/narrowingSequenceSearch.hh:30: In file included from ../../src/Core/protectedDagNodeSet.hh:28: ../../src/Core/dagNodeSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/dagNodeSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 4 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libmixfix_a-profileModule.o `test -f 'profileModule.cc' || echo './'`profileModule.cc In file included from profileModule.cc:38: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libmixfix_a-mixfixParser.o `test -f 'mixfixParser.cc' || echo './'`mixfixParser.cc In file included from mixfixParser.cc:46: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libmixfix_a-visibleModule.o `test -f 'visibleModule.cc' || echo './'`visibleModule.cc In file included from visibleModule.cc:39: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libmixfix_a-metadataStore.o `test -f 'metadataStore.cc' || echo './'`metadataStore.cc In file included from metadataStore.cc:41: In file included from ../../src/Core/preEquation.hh:30: In file included from ../../src/Core/variableInfo.hh:30: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libmixfix_a-printAttribute.o `test -f 'printAttribute.cc' || echo './'`printAttribute.cc In file included from printAttribute.cc:42: In file included from ../../src/Core/preEquation.hh:30: In file included from ../../src/Core/variableInfo.hh:30: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libmixfix_a-lexer.o `test -f 'lexer.cc' || echo './'`lexer.cc In file included from ./lexer.ll:48: In file included from ./userLevelRewritingContext.hh:34: In file included from ../../src/Core/rule.hh:28: In file included from ../../src/Core/preEquation.hh:30: In file included from ../../src/Core/variableInfo.hh:30: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libmixfix_a-surface.o `test -f 'surface.cc' || echo './'`surface.cc In file included from surface.yy:54: In file included from ./userLevelRewritingContext.hh:34: In file included from ../../src/Core/rule.hh:28: In file included from ../../src/Core/preEquation.hh:30: In file included from ../../src/Core/variableInfo.hh:30: In file included from ../../src/Variable/variableTerm.hh:28: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using surface.yy:308:6: warning: ignoring return value of function declared with warn_unused_result attribute [-Wunused-result] system((string("ls") + (yyvsp[(3) - (3)].yyString)).c_str()); ^~~~~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ surface.c:5607:20: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] yyerror (YY_("syntax error")); ^ surface.c:437:22: note: expanded from macro 'YY_' # define YY_(Msgid) Msgid ^ surface.c:5751:16: warning: conversion from string literal to 'char *' is deprecated [-Wdeprecated-writable-strings] yyerror (YY_("memory exhausted")); ^ surface.c:437:22: note: expanded from macro 'YY_' # define YY_(Msgid) Msgid ^ 5 warnings generated. 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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o libmixfix_a-freshVariableSource.o `test -f 'freshVariableSource.cc' || echo './'`freshVariableSource.cc In file included from freshVariableSource.cc:41: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. 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 `/«PKGBUILDDIR»/src/Mixfix' make[4]: Leaving directory `/«PKGBUILDDIR»/src/Mixfix' Making all in Main make[4]: Entering directory `/«PKGBUILDDIR»/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 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -c -o maude-main.o `test -f 'main.cc' || echo './'`main.cc In file included from main.cc:46: In file included from ../../src/Interface/term.hh:34: ../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::cardinality; ^ using ../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated] PointerSet::makeEmpty; ^ using 2 warnings generated. g++ -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wl,-z,relro -o maude maude-main.o ../Mixfix/libmixfix.a ../StrategyLanguage/libstrategyLanguage.a ../Meta/libmeta.a ../ObjectSystem/libobjectSystem.a ../BuiltIn/libbuiltIn.a ../Higher/libhigher.a ../FreeTheory/libfreeTheory.a ../AU_Theory/libAU_Theory.a ../AU_Persistent/libAU_Persistent.a ../ACU_Theory/libACU_Theory.a ../ACU_Persistent/libACU_Persistent.a ../CUI_Theory/libCUI_Theory.a ../S_Theory/libS_Theory.a ../NA_Theory/libNA_Theory.a ../Variable/libvariable.a ../Interface/libinterface.a ../Core/libcore.a ../MSCP10/libmscp10.a ../Temporal/libtemporal.a ../IO_Stuff/libIO_Stuff.a ../Utility/libutility.a -lbdd -ltecla -lcurses -lsigsegv -lgmpxx -lgmp -lnsl make[4]: Leaving directory `/«PKGBUILDDIR»/src/Main' make[4]: Entering directory `/«PKGBUILDDIR»/src' make[4]: Nothing to be done for `all-am'. make[4]: Leaving directory `/«PKGBUILDDIR»/src' make[3]: Leaving directory `/«PKGBUILDDIR»/src' Making all in tests make[3]: Entering directory `/«PKGBUILDDIR»/tests' Making all in BuiltIn make[4]: Entering directory `/«PKGBUILDDIR»/tests/BuiltIn' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/«PKGBUILDDIR»/tests/BuiltIn' Making all in Misc make[4]: Entering directory `/«PKGBUILDDIR»/tests/Misc' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/«PKGBUILDDIR»/tests/Misc' Making all in Meta make[4]: Entering directory `/«PKGBUILDDIR»/tests/Meta' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/«PKGBUILDDIR»/tests/Meta' Making all in ResolvedBugs make[4]: Entering directory `/«PKGBUILDDIR»/tests/ResolvedBugs' make[4]: Nothing to be done for `all'. make[4]: Leaving directory `/«PKGBUILDDIR»/tests/ResolvedBugs' make[4]: Entering directory `/«PKGBUILDDIR»/tests' make[4]: Nothing to be done for `all-am'. make[4]: Leaving directory `/«PKGBUILDDIR»/tests' make[3]: Leaving directory `/«PKGBUILDDIR»/tests' make[3]: Entering directory `/«PKGBUILDDIR»' make[3]: Leaving directory `/«PKGBUILDDIR»' make[2]: Leaving directory `/«PKGBUILDDIR»' make[1]: Leaving directory `/«PKGBUILDDIR»' dh_auto_test -a make -j1 check make[1]: Entering directory `/«PKGBUILDDIR»' Making check in src make[2]: Entering directory `/«PKGBUILDDIR»/src' Making check in 3rdParty make[3]: Entering directory `/«PKGBUILDDIR»/src/3rdParty' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/«PKGBUILDDIR»/src/3rdParty' Making check in Utility make[3]: Entering directory `/«PKGBUILDDIR»/src/Utility' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/«PKGBUILDDIR»/src/Utility' Making check in Temporal make[3]: Entering directory `/«PKGBUILDDIR»/src/Temporal' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/«PKGBUILDDIR»/src/Temporal' Making check in Interface make[3]: Entering directory `/«PKGBUILDDIR»/src/Interface' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/«PKGBUILDDIR»/src/Interface' Making check in Core make[3]: Entering directory `/«PKGBUILDDIR»/src/Core' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/«PKGBUILDDIR»/src/Core' Making check in Variable make[3]: Entering directory `/«PKGBUILDDIR»/src/Variable' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/«PKGBUILDDIR»/src/Variable' Making check in NA_Theory make[3]: Entering directory `/«PKGBUILDDIR»/src/NA_Theory' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/«PKGBUILDDIR»/src/NA_Theory' Making check in ACU_Persistent make[3]: Entering directory `/«PKGBUILDDIR»/src/ACU_Persistent' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/«PKGBUILDDIR»/src/ACU_Persistent' Making check in ACU_Theory make[3]: Entering directory `/«PKGBUILDDIR»/src/ACU_Theory' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/«PKGBUILDDIR»/src/ACU_Theory' Making check in AU_Persistent make[3]: Entering directory `/«PKGBUILDDIR»/src/AU_Persistent' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/«PKGBUILDDIR»/src/AU_Persistent' Making check in AU_Theory make[3]: Entering directory `/«PKGBUILDDIR»/src/AU_Theory' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/«PKGBUILDDIR»/src/AU_Theory' Making check in CUI_Theory make[3]: Entering directory `/«PKGBUILDDIR»/src/CUI_Theory' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/«PKGBUILDDIR»/src/CUI_Theory' Making check in S_Theory make[3]: Entering directory `/«PKGBUILDDIR»/src/S_Theory' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/«PKGBUILDDIR»/src/S_Theory' Making check in FreeTheory make[3]: Entering directory `/«PKGBUILDDIR»/src/FreeTheory' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/«PKGBUILDDIR»/src/FreeTheory' Making check in Higher make[3]: Entering directory `/«PKGBUILDDIR»/src/Higher' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/«PKGBUILDDIR»/src/Higher' Making check in BuiltIn make[3]: Entering directory `/«PKGBUILDDIR»/src/BuiltIn' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/«PKGBUILDDIR»/src/BuiltIn' Making check in IO_Stuff make[3]: Entering directory `/«PKGBUILDDIR»/src/IO_Stuff' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/«PKGBUILDDIR»/src/IO_Stuff' Making check in ObjectSystem make[3]: Entering directory `/«PKGBUILDDIR»/src/ObjectSystem' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/«PKGBUILDDIR»/src/ObjectSystem' Making check in Meta make[3]: Entering directory `/«PKGBUILDDIR»/src/Meta' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/«PKGBUILDDIR»/src/Meta' Making check in FullCompiler make[3]: Entering directory `/«PKGBUILDDIR»/src/FullCompiler' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/«PKGBUILDDIR»/src/FullCompiler' Making check in MSCP10 make[3]: Entering directory `/«PKGBUILDDIR»/src/MSCP10' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/«PKGBUILDDIR»/src/MSCP10' Making check in StrategyLanguage make[3]: Entering directory `/«PKGBUILDDIR»/src/StrategyLanguage' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/«PKGBUILDDIR»/src/StrategyLanguage' Making check in Mixfix make[3]: Entering directory `/«PKGBUILDDIR»/src/Mixfix' make check-am make[4]: Entering directory `/«PKGBUILDDIR»/src/Mixfix' make[4]: Nothing to be done for `check-am'. make[4]: Leaving directory `/«PKGBUILDDIR»/src/Mixfix' make[3]: Leaving directory `/«PKGBUILDDIR»/src/Mixfix' Making check in Main make[3]: Entering directory `/«PKGBUILDDIR»/src/Main' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/«PKGBUILDDIR»/src/Main' make[3]: Entering directory `/«PKGBUILDDIR»/src' make[3]: Nothing to be done for `check-am'. make[3]: Leaving directory `/«PKGBUILDDIR»/src' make[2]: Leaving directory `/«PKGBUILDDIR»/src' Making check in tests make[2]: Entering directory `/«PKGBUILDDIR»/tests' Making check in BuiltIn make[3]: Entering directory `/«PKGBUILDDIR»/tests/BuiltIn' make check-TESTS make[4]: Entering directory `/«PKGBUILDDIR»/tests/BuiltIn' make[4]: *** wait: No child processes. Stop. make[4]: *** Waiting for unfinished jobs.... make[4]: *** wait: No child processes. Stop. make[3]: *** wait: No child processes. Stop. make[3]: *** Waiting for unfinished jobs.... make[3]: *** wait: No child processes. Stop. make[2]: *** wait: No child processes. Stop. make[2]: *** Waiting for unfinished jobs.... make[2]: *** wait: No child processes. Stop. make[1]: *** wait: No child processes. Stop. make[1]: *** Waiting for unfinished jobs.... make[1]: *** wait: No child processes. Stop. make: *** wait: No child processes. Stop. make: *** Waiting for unfinished jobs.... make: *** wait: No child processes. Stop. Build killed with signal TERM after 60 minutes of inactivity ──────────────────────────────────────────────────────────────────────────────── Build finished at 20130716-1623 Finished ──────── E: Build failure (dpkg-buildpackage died) ┌──────────────────────────────────────────────────────────────────────────────┐ │ Cleanup │ └──────────────────────────────────────────────────────────────────────────────┘ Purging /«BUILDDIR» Not cleaning session: cloned chroot in use ┌──────────────────────────────────────────────────────────────────────────────┐ │ Summary │ └──────────────────────────────────────────────────────────────────────────────┘ Build Architecture: amd64 Build-Space: 213616 Build-Time: 3855 Distribution: unstable Fail-Stage: build Host Architecture: amd64 Install-Time: 10 Job: maude_2.6-3 Machine Architecture: amd64 Package: maude Package-Time: 3929 Source-Version: 2.6-3 Space: 213616 Status: attempted Version: 2.6-3clang1 ──────────────────────────────────────────────────────────────────────────────── Finished at 20130716-1623 Build needed 01:05:29, 213616k disc space DC-Status: Failed 3929.291509733s DC-Time-Estimation: 3929.291509733 versus expected 367 (r/m: 9.706516375294278 ; m: 367.0)