* Package: dev-lang/maude-2.6-r1 * Repository: gentoo * Maintainer: sci@gentoo.org * USE: abi_x86_64 amd64 elibc_glibc kernel_linux userland_GNU * FEATURES: preserve-libs sandbox userpriv usersandbox * Applying maude-2.5.0-prll.patch ... [ ok ] * Applying maude-2.6-search-datadir.patch ... [ ok ] * Applying maude-2.6-gcc47.patch ... [ ok ] * Running eautoreconf in '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6' ... * Running aclocal ... [ ok ] * Running autoconf --force ... [ ok ] * Running autoheader ... [ ok ] * Running automake --add-missing --copy --force-missing ... [ ok ] * Running elibtoolize in: Maude-2.6/ >>> Working in BUILD_DIR: "/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6" 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/lib/portage/python3.3/ebuild-helpers/xattr/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... /bin/mkdir -p checking for gawk... gawk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking for x86_64-pc-linux-gnu-gcc... x86_64-pc-linux-gnu-gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether x86_64-pc-linux-gnu-gcc accepts -g... yes checking for x86_64-pc-linux-gnu-gcc option to accept ISO C89... none needed checking whether x86_64-pc-linux-gnu-gcc understands -c and -o together... yes checking for style of include used by make... GNU checking dependency style of x86_64-pc-linux-gnu-gcc... none checking for x86_64-pc-linux-gnu-g++... x86_64-pc-linux-gnu-g++ checking whether we are using the GNU C++ compiler... yes checking whether x86_64-pc-linux-gnu-g++ accepts -g... yes checking dependency style of x86_64-pc-linux-gnu-g++... none checking g++ compiler version... 4.9.2 checking for x86_64-pc-linux-gnu-ranlib... x86_64-pc-linux-gnu-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... x86_64-pc-linux-gnu-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 checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating src/Makefile config.status: creating src/3rdParty/Makefile config.status: creating src/Utility/Makefile config.status: creating src/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 >>> Working in BUILD_DIR: "/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6" (CDPATH="${ZSH_VERSION+.}:" && cd . && /bin/sh /var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/missing autoheader) rm -f stamp-h1 touch config.h.in cd . && /bin/sh ./config.status config.h config.status: creating config.h config.status: config.h is unchanged make all-recursive make[1]: Entering directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6' Making all in src make[2]: Entering directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src' Making all in 3rdParty make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/3rdParty' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/3rdParty' Making all in Utility make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/Utility' x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -O2 -pipe -c -o macros.o macros.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -O2 -pipe -c -o preVector.o preVector.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -O2 -pipe -c -o intSet.o intSet.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -O2 -pipe -c -o pointerSet.o pointerSet.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -O2 -pipe -c -o stringTable.o stringTable.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -O2 -pipe -c -o graph.o graph.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -O2 -pipe -c -o digraph.o digraph.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -O2 -pipe -c -o unionFind.o unionFind.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -O2 -pipe -c -o diophantineSystem.o diophantineSystem.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -O2 -pipe -c -o natSet.o natSet.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -O2 -pipe -c -o pointerMap.o pointerMap.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -O2 -pipe -c -o sequencePartition.o sequencePartition.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -O2 -pipe -c -o indent.o indent.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -O2 -pipe -c -o binBuf.o binBuf.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -O2 -pipe -c -o decBuf.o decBuf.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -O2 -pipe -c -o bddUser.o bddUser.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -O2 -pipe -c -o tty.o tty.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -O2 -pipe -c -o bdd.o bdd.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -O2 -pipe -c -o timer.o timer.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -O2 -pipe -c -o mpzSystem.o mpzSystem.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -O2 -pipe -c -o intSystem.o intSystem.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -O2 -pipe -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 x86_64-pc-linux-gnu-ranlib libutility.a make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/Utility' Making all in Temporal make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/Temporal' x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -O2 -pipe -c -o libtemporal_a-logicFormula.o `test -f 'logicFormula.cc' || echo './'`logicFormula.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -O2 -pipe -c -o libtemporal_a-buchiAutomaton2.o `test -f 'buchiAutomaton2.cc' || echo './'`buchiAutomaton2.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -O2 -pipe -c -o libtemporal_a-transitionSet.o `test -f 'transitionSet.cc' || echo './'`transitionSet.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -O2 -pipe -c -o libtemporal_a-veryWeakAlternatingAutomaton.o `test -f 'veryWeakAlternatingAutomaton.cc' || echo './'`veryWeakAlternatingAutomaton.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -O2 -pipe -c -o libtemporal_a-rawTransitionSet.o `test -f 'rawTransitionSet.cc' || echo './'`rawTransitionSet.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -O2 -pipe -c -o libtemporal_a-genBuchiAutomaton.o `test -f 'genBuchiAutomaton.cc' || echo './'`genBuchiAutomaton.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -O2 -pipe -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 x86_64-pc-linux-gnu-ranlib libtemporal.a make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/Temporal' Making all in Interface make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/Interface' x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libinterface_a-symbol.o `test -f 'symbol.cc' || echo './'`symbol.cc In file included from term.hh:34:0, from symbol.cc:41: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libinterface_a-binarySymbol.o `test -f 'binarySymbol.cc' || echo './'`binarySymbol.cc In file included from term.hh:34:0, from binarySymbol.hh:33, from binarySymbol.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libinterface_a-associativeSymbol.o `test -f 'associativeSymbol.cc' || echo './'`associativeSymbol.cc In file included from term.hh:34:0, from binarySymbol.hh:33, from associativeSymbol.hh:28, from associativeSymbol.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libinterface_a-term.o `test -f 'term.cc' || echo './'`term.cc In file included from term.hh:34:0, from term.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libinterface_a-dagNode.o `test -f 'dagNode.cc' || echo './'`dagNode.cc In file included from term.hh:34:0, from binarySymbol.hh:33, from dagNode.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ rm -f libinterface.a ar cru libinterface.a libinterface_a-symbol.o libinterface_a-binarySymbol.o libinterface_a-associativeSymbol.o libinterface_a-term.o libinterface_a-dagNode.o x86_64-pc-linux-gnu-ranlib libinterface.a make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/Interface' Making all in Core make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/Core' x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-memoryCell.o `test -f 'memoryCell.cc' || echo './'`memoryCell.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-rhsBuilder.o `test -f 'rhsBuilder.cc' || echo './'`rhsBuilder.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-termBag.o `test -f 'termBag.cc' || echo './'`termBag.cc In file included from ../../src/Interface/term.hh:34:0, from termBag.cc:36: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-bindingLhsAutomaton.o `test -f 'bindingLhsAutomaton.cc' || echo './'`bindingLhsAutomaton.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-trivialRhsAutomaton.o `test -f 'trivialRhsAutomaton.cc' || echo './'`trivialRhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from variableInfo.hh:30, from trivialRhsAutomaton.cc:41: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-copyRhsAutomaton.o `test -f 'copyRhsAutomaton.cc' || echo './'`copyRhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from variableInfo.hh:30, from copyRhsAutomaton.cc:42: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-variableInfo.o `test -f 'variableInfo.cc' || echo './'`variableInfo.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from variableInfo.hh:30, from variableInfo.cc:38: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-narrowingVariableInfo.o `test -f 'narrowingVariableInfo.cc' || echo './'`narrowingVariableInfo.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-termSet.o `test -f 'termSet.cc' || echo './'`termSet.cc In file included from ../../src/Interface/term.hh:34:0, from termSet.cc:36: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-strategy.o `test -f 'strategy.cc' || echo './'`strategy.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-sortTable.o `test -f 'sortTable.cc' || echo './'`sortTable.cc In file included from ../../src/Interface/term.hh:34:0, from sortTable.cc:38: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-sortConstraintTable.o `test -f 'sortConstraintTable.cc' || echo './'`sortConstraintTable.cc In file included from ../../src/Interface/term.hh:34:0, from sortConstraintTable.cc:39: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-equationTable.o `test -f 'equationTable.cc' || echo './'`equationTable.cc In file included from ../../src/Interface/term.hh:34:0, from equationTable.cc:38: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-ruleTable.o `test -f 'ruleTable.cc' || echo './'`ruleTable.cc In file included from ../../src/Interface/term.hh:34:0, from ruleTable.cc:38: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-sort.o `test -f 'sort.cc' || echo './'`sort.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-connectedComponent.o `test -f 'connectedComponent.cc' || echo './'`connectedComponent.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-module.o `test -f 'module.cc' || echo './'`module.cc In file included from ../../src/Interface/term.hh:34:0, from module.cc:37: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-substitution.o `test -f 'substitution.cc' || echo './'`substitution.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-localBinding.o `test -f 'localBinding.cc' || echo './'`localBinding.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from variableInfo.hh:30, from localBinding.cc:42: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-subproblemSequence.o `test -f 'subproblemSequence.cc' || echo './'`subproblemSequence.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-subproblemDisjunction.o `test -f 'subproblemDisjunction.cc' || echo './'`subproblemDisjunction.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-sortCheckSubproblem.o `test -f 'sortCheckSubproblem.cc' || echo './'`sortCheckSubproblem.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-disjunctiveSubproblemAccumulator.o `test -f 'disjunctiveSubproblemAccumulator.cc' || echo './'`disjunctiveSubproblemAccumulator.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-preEquation.o `test -f 'preEquation.cc' || echo './'`preEquation.cc In file included from ../../src/Interface/term.hh:34:0, from preEquation.cc:40: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-equation.o `test -f 'equation.cc' || echo './'`equation.cc In file included from ../../src/Interface/term.hh:34:0, from equation.cc:38: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-rule.o `test -f 'rule.cc' || echo './'`rule.cc In file included from ../../src/Interface/term.hh:34:0, from rule.cc:39: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-sortConstraint.o `test -f 'sortConstraint.cc' || echo './'`sortConstraint.cc In file included from ../../src/Interface/term.hh:34:0, from sortConstraint.cc:38: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-rewritingContext.o `test -f 'rewritingContext.cc' || echo './'`rewritingContext.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-variableAbstractionSubproblem.o `test -f 'variableAbstractionSubproblem.cc' || echo './'`variableAbstractionSubproblem.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-equalitySubproblem.o `test -f 'equalitySubproblem.cc' || echo './'`equalitySubproblem.cc In file included from ../../src/Interface/term.hh:34:0, from equalitySubproblem.cc:38: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-dagRoot.o `test -f 'dagRoot.cc' || echo './'`dagRoot.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-cachedDag.o `test -f 'cachedDag.cc' || echo './'`cachedDag.cc In file included from ../../src/Interface/term.hh:34:0, from cachedDag.cc:38: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-extensionMatchSubproblem.o `test -f 'extensionMatchSubproblem.cc' || echo './'`extensionMatchSubproblem.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-dagNodeSet.o `test -f 'dagNodeSet.cc' || echo './'`dagNodeSet.cc In file included from dagNodeSet.cc:40:0: dagNodeSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ dagNodeSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-hashConsSet.o `test -f 'hashConsSet.cc' || echo './'`hashConsSet.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-memoTable.o `test -f 'memoTable.cc' || echo './'`memoTable.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-memoMap.o `test -f 'memoMap.cc' || echo './'`memoMap.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-rootContainer.o `test -f 'rootContainer.cc' || echo './'`rootContainer.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-sortBdds.o `test -f 'sortBdds.cc' || echo './'`sortBdds.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-unificationContext.o `test -f 'unificationContext.cc' || echo './'`unificationContext.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-protectedDagNodeSet.o `test -f 'protectedDagNodeSet.cc' || echo './'`protectedDagNodeSet.cc In file included from protectedDagNodeSet.hh:28:0, from protectedDagNodeSet.cc:40: dagNodeSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ dagNodeSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-pendingUnificationStack.o `test -f 'pendingUnificationStack.cc' || echo './'`pendingUnificationStack.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-unificationSubproblemDisjunction.o `test -f 'unificationSubproblemDisjunction.cc' || echo './'`unificationSubproblemDisjunction.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libcore_a-compoundCycleSubproblem.o `test -f 'compoundCycleSubproblem.cc' || echo './'`compoundCycleSubproblem.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from compoundCycleSubproblem.cc:39: ./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ rm -f libcore.a ar cru libcore.a libcore_a-memoryCell.o libcore_a-rhsBuilder.o libcore_a-termBag.o libcore_a-bindingLhsAutomaton.o libcore_a-trivialRhsAutomaton.o libcore_a-copyRhsAutomaton.o libcore_a-variableInfo.o libcore_a-narrowingVariableInfo.o libcore_a-termSet.o libcore_a-strategy.o libcore_a-sortTable.o libcore_a-sortConstraintTable.o libcore_a-equationTable.o libcore_a-ruleTable.o libcore_a-sort.o libcore_a-connectedComponent.o libcore_a-module.o libcore_a-substitution.o libcore_a-localBinding.o libcore_a-subproblemSequence.o libcore_a-subproblemDisjunction.o libcore_a-sortCheckSubproblem.o libcore_a-disjunctiveSubproblemAccumulator.o libcore_a-preEquation.o libcore_a-equation.o libcore_a-rule.o libcore_a-sortConstraint.o libcore_a-rewritingContext.o libcore_a-variableAbstractionSubproblem.o libcore_a-equalitySubproblem.o libcore_a-dagRoot.o libcore_a-cachedDag.o libcore_a-extensionMatchSubproblem.o libcore_a-dagNodeSet.o libcore_a-hashConsSet.o libcore_a-memoTable.o libcore_a-memoMap.o libcore_a-rootContainer.o libcore_a-sortBdds.o libcore_a-unificationContext.o libcore_a-protectedDagNodeSet.o libcore_a-pendingUnificationStack.o libcore_a-unificationSubproblemDisjunction.o libcore_a-compoundCycleSubproblem.o x86_64-pc-linux-gnu-ranlib libcore.a make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/Core' Making all in Variable make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/Variable' x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/FullCompiler -O2 -pipe -c -o libvariable_a-variableSymbol.o `test -f 'variableSymbol.cc' || echo './'`variableSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from variableSymbol.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/FullCompiler -O2 -pipe -c -o libvariable_a-variableTerm.o `test -f 'variableTerm.cc' || echo './'`variableTerm.cc In file included from ../../src/Interface/term.hh:34:0, from variableTerm.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/FullCompiler -O2 -pipe -c -o libvariable_a-variableDagNode.o `test -f 'variableDagNode.cc' || echo './'`variableDagNode.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/FullCompiler -O2 -pipe -c -o libvariable_a-variableLhsAutomaton.o `test -f 'variableLhsAutomaton.cc' || echo './'`variableLhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ./variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from variableLhsAutomaton.cc:43: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ rm -f libvariable.a ar cru libvariable.a libvariable_a-variableSymbol.o libvariable_a-variableTerm.o libvariable_a-variableDagNode.o libvariable_a-variableLhsAutomaton.o x86_64-pc-linux-gnu-ranlib libvariable.a make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/Variable' Making all in NA_Theory make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/NA_Theory' x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libNA_Theory_a-NA_Symbol.o `test -f 'NA_Symbol.cc' || echo './'`NA_Symbol.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libNA_Theory_a-NA_Term.o `test -f 'NA_Term.cc' || echo './'`NA_Term.cc In file included from ../../src/Interface/term.hh:34:0, from NA_Term.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libNA_Theory_a-NA_DagNode.o `test -f 'NA_DagNode.cc' || echo './'`NA_DagNode.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libNA_Theory_a-NA_LhsAutomaton.o `test -f 'NA_LhsAutomaton.cc' || echo './'`NA_LhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from NA_Term.hh:28, from NA_LhsAutomaton.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libNA_Theory_a-NA_RhsAutomaton.o `test -f 'NA_RhsAutomaton.cc' || echo './'`NA_RhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from NA_RhsAutomaton.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ rm -f libNA_Theory.a ar cru libNA_Theory.a libNA_Theory_a-NA_Symbol.o libNA_Theory_a-NA_Term.o libNA_Theory_a-NA_DagNode.o libNA_Theory_a-NA_LhsAutomaton.o libNA_Theory_a-NA_RhsAutomaton.o x86_64-pc-linux-gnu-ranlib libNA_Theory.a make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/NA_Theory' Making all in ACU_Persistent make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/ACU_Persistent' x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libACU_Persistent_a-ACU_RedBlackNode.o `test -f 'ACU_RedBlackNode.cc' || echo './'`ACU_RedBlackNode.cc In file included from ../../src/Interface/term.hh:34:0, from ACU_RedBlackNode.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libACU_Persistent_a-ACU_Tree.o `test -f 'ACU_Tree.cc' || echo './'`ACU_Tree.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ACU_Tree.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ rm -f libACU_Persistent.a ar cru libACU_Persistent.a libACU_Persistent_a-ACU_RedBlackNode.o libACU_Persistent_a-ACU_Tree.o x86_64-pc-linux-gnu-ranlib libACU_Persistent.a make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/ACU_Persistent' Making all in ACU_Theory make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/ACU_Theory' x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libACU_Theory_a-ACU_Symbol.o `test -f 'ACU_Symbol.cc' || echo './'`ACU_Symbol.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_Symbol.hh:28, from ACU_Symbol.cc:43: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libACU_Theory_a-ACU_Term.o `test -f 'ACU_Term.cc' || echo './'`ACU_Term.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_Term.cc:43: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libACU_Theory_a-ACU_BaseDagNode.o `test -f 'ACU_BaseDagNode.cc' || echo './'`ACU_BaseDagNode.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_Symbol.hh:28, from ACU_BaseDagNode.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libACU_Theory_a-ACU_DagNode.o `test -f 'ACU_DagNode.cc' || echo './'`ACU_DagNode.cc In file included from ../../src/Interface/term.hh:34:0, from ACU_DagNode.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libACU_Theory_a-ACU_TreeDagNode.o `test -f 'ACU_TreeDagNode.cc' || echo './'`ACU_TreeDagNode.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_Symbol.hh:28, from ACU_TreeDagNode.cc:41: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libACU_Theory_a-ACU_RhsAutomaton.o `test -f 'ACU_RhsAutomaton.cc' || echo './'`ACU_RhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ACU_RhsAutomaton.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libACU_Theory_a-ACU_LhsAutomaton.o `test -f 'ACU_LhsAutomaton.cc' || echo './'`ACU_LhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_LhsAutomaton.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libACU_Theory_a-ACU_Subproblem.o `test -f 'ACU_Subproblem.cc' || echo './'`ACU_Subproblem.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_Subproblem.cc:41: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libACU_Theory_a-ACU_ExtensionInfo.o `test -f 'ACU_ExtensionInfo.cc' || echo './'`ACU_ExtensionInfo.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_Symbol.hh:28, from ACU_ExtensionInfo.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libACU_Theory_a-ACU_CollectorLhsAutomaton.o `test -f 'ACU_CollectorLhsAutomaton.cc' || echo './'`ACU_CollectorLhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_CollectorLhsAutomaton.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libACU_Theory_a-ACU_NGA_LhsAutomaton.o `test -f 'ACU_NGA_LhsAutomaton.cc' || echo './'`ACU_NGA_LhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_NGA_LhsAutomaton.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libACU_Theory_a-ACU_VarLhsAutomaton.o `test -f 'ACU_VarLhsAutomaton.cc' || echo './'`ACU_VarLhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_VarLhsAutomaton.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libACU_Theory_a-ACU_GndLhsAutomaton.o `test -f 'ACU_GndLhsAutomaton.cc' || echo './'`ACU_GndLhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_GndLhsAutomaton.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libACU_Theory_a-ACU_NonLinearLhsAutomaton.o `test -f 'ACU_NonLinearLhsAutomaton.cc' || echo './'`ACU_NonLinearLhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_NonLinearLhsAutomaton.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libACU_Theory_a-ACU_ArgumentIterator.o `test -f 'ACU_ArgumentIterator.cc' || echo './'`ACU_ArgumentIterator.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_Symbol.hh:28, from ACU_Term.hh:28, from ACU_ArgumentIterator.cc:37: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libACU_Theory_a-ACU_DagArgumentIterator.o `test -f 'ACU_DagArgumentIterator.cc' || echo './'`ACU_DagArgumentIterator.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_Symbol.hh:28, from ACU_DagArgumentIterator.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libACU_Theory_a-ACU_TreeDagArgumentIterator.o `test -f 'ACU_TreeDagArgumentIterator.cc' || echo './'`ACU_TreeDagArgumentIterator.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libACU_Theory_a-ACU_LazySubproblem.o `test -f 'ACU_LazySubproblem.cc' || echo './'`ACU_LazySubproblem.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_LazySubproblem.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/ACU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libACU_Theory_a-ACU_UnificationSubproblem2.o `test -f 'ACU_UnificationSubproblem2.cc' || echo './'`ACU_UnificationSubproblem2.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from ACU_UnificationSubproblem2.cc:42: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ rm -f libACU_Theory.a ar cru libACU_Theory.a libACU_Theory_a-ACU_Symbol.o libACU_Theory_a-ACU_Term.o libACU_Theory_a-ACU_BaseDagNode.o libACU_Theory_a-ACU_DagNode.o libACU_Theory_a-ACU_TreeDagNode.o libACU_Theory_a-ACU_RhsAutomaton.o libACU_Theory_a-ACU_LhsAutomaton.o libACU_Theory_a-ACU_Subproblem.o libACU_Theory_a-ACU_ExtensionInfo.o libACU_Theory_a-ACU_CollectorLhsAutomaton.o libACU_Theory_a-ACU_NGA_LhsAutomaton.o libACU_Theory_a-ACU_VarLhsAutomaton.o libACU_Theory_a-ACU_GndLhsAutomaton.o libACU_Theory_a-ACU_NonLinearLhsAutomaton.o libACU_Theory_a-ACU_ArgumentIterator.o libACU_Theory_a-ACU_DagArgumentIterator.o libACU_Theory_a-ACU_TreeDagArgumentIterator.o libACU_Theory_a-ACU_LazySubproblem.o libACU_Theory_a-ACU_UnificationSubproblem2.o x86_64-pc-linux-gnu-ranlib libACU_Theory.a make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/ACU_Theory' Making all in AU_Persistent make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/AU_Persistent' x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libAU_Persistent_a-AU_StackNode.o `test -f 'AU_StackNode.cc' || echo './'`AU_StackNode.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libAU_Persistent_a-AU_Deque.o `test -f 'AU_Deque.cc' || echo './'`AU_Deque.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -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 x86_64-pc-linux-gnu-ranlib libAU_Persistent.a make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/AU_Persistent' Making all in AU_Theory make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/AU_Theory' x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libAU_Theory_a-AU_Symbol.o `test -f 'AU_Symbol.cc' || echo './'`AU_Symbol.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from AU_Symbol.hh:28, from AU_Symbol.cc:45: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libAU_Theory_a-AU_DagNode.o `test -f 'AU_DagNode.cc' || echo './'`AU_DagNode.cc In file included from ../../src/Interface/term.hh:34:0, from AU_DagNode.cc:37: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libAU_Theory_a-AU_DequeDagNode.o `test -f 'AU_DequeDagNode.cc' || echo './'`AU_DequeDagNode.cc In file included from ../../src/Interface/term.hh:34:0, from AU_DequeDagNode.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libAU_Theory_a-AU_Term.o `test -f 'AU_Term.cc' || echo './'`AU_Term.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from AU_Term.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libAU_Theory_a-AU_DagArgumentIterator.o `test -f 'AU_DagArgumentIterator.cc' || echo './'`AU_DagArgumentIterator.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from AU_Symbol.hh:28, from AU_DagArgumentIterator.cc:37: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libAU_Theory_a-AU_DequeDagArgumentIterator.o `test -f 'AU_DequeDagArgumentIterator.cc' || echo './'`AU_DequeDagArgumentIterator.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libAU_Theory_a-AU_ExtensionInfo.o `test -f 'AU_ExtensionInfo.cc' || echo './'`AU_ExtensionInfo.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from AU_Symbol.hh:28, from AU_ExtensionInfo.cc:37: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libAU_Theory_a-AU_RhsAutomaton.o `test -f 'AU_RhsAutomaton.cc' || echo './'`AU_RhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from AU_RhsAutomaton.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libAU_Theory_a-AU_LhsAutomaton.o `test -f 'AU_LhsAutomaton.cc' || echo './'`AU_LhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from AU_LhsAutomaton.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libAU_Theory_a-AU_ArgumentIterator.o `test -f 'AU_ArgumentIterator.cc' || echo './'`AU_ArgumentIterator.cc In file included from ../../src/Interface/term.hh:34:0, from AU_Term.hh:28, from AU_ArgumentIterator.hh:29, from AU_ArgumentIterator.cc:37: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libAU_Theory_a-AU_Layer.o `test -f 'AU_Layer.cc' || echo './'`AU_Layer.cc In file included from ../../src/Interface/term.hh:34:0, from AU_Layer.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/AU_Persistent -I../../src/FullCompiler -O2 -pipe -c -o libAU_Theory_a-AU_Subproblem.o `test -f 'AU_Subproblem.cc' || echo './'`AU_Subproblem.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from ../../src/Interface/associativeSymbol.hh:28, from AU_Symbol.hh:28, from AU_Subproblem.cc:45: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ rm -f libAU_Theory.a ar cru libAU_Theory.a libAU_Theory_a-AU_Symbol.o libAU_Theory_a-AU_DagNode.o libAU_Theory_a-AU_DequeDagNode.o libAU_Theory_a-AU_Term.o libAU_Theory_a-AU_DagArgumentIterator.o libAU_Theory_a-AU_DequeDagArgumentIterator.o libAU_Theory_a-AU_ExtensionInfo.o libAU_Theory_a-AU_RhsAutomaton.o libAU_Theory_a-AU_LhsAutomaton.o libAU_Theory_a-AU_ArgumentIterator.o libAU_Theory_a-AU_Layer.o libAU_Theory_a-AU_Subproblem.o x86_64-pc-linux-gnu-ranlib libAU_Theory.a make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/AU_Theory' Making all in CUI_Theory make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/CUI_Theory' x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libCUI_Theory_a-CUI_Symbol.o `test -f 'CUI_Symbol.cc' || echo './'`CUI_Symbol.cc In file included from ../../src/Interface/term.hh:34:0, from CUI_Symbol.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libCUI_Theory_a-CUI_DagNode.o `test -f 'CUI_DagNode.cc' || echo './'`CUI_DagNode.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from CUI_DagNode.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libCUI_Theory_a-CUI_DagArgumentIterator.o `test -f 'CUI_DagArgumentIterator.cc' || echo './'`CUI_DagArgumentIterator.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libCUI_Theory_a-CUI_RhsAutomaton.o `test -f 'CUI_RhsAutomaton.cc' || echo './'`CUI_RhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from CUI_RhsAutomaton.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libCUI_Theory_a-CUI_Term.o `test -f 'CUI_Term.cc' || echo './'`CUI_Term.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from CUI_Term.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libCUI_Theory_a-CUI_ArgumentIterator.o `test -f 'CUI_ArgumentIterator.cc' || echo './'`CUI_ArgumentIterator.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libCUI_Theory_a-CUI_UnificationSubproblem.o `test -f 'CUI_UnificationSubproblem.cc' || echo './'`CUI_UnificationSubproblem.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from CUI_UnificationSubproblem.cc:43: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libCUI_Theory_a-CUI_LhsAutomaton.o `test -f 'CUI_LhsAutomaton.cc' || echo './'`CUI_LhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Interface/binarySymbol.hh:33, from CUI_LhsAutomaton.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ rm -f libCUI_Theory.a ar cru libCUI_Theory.a libCUI_Theory_a-CUI_Symbol.o libCUI_Theory_a-CUI_DagNode.o libCUI_Theory_a-CUI_DagArgumentIterator.o libCUI_Theory_a-CUI_RhsAutomaton.o libCUI_Theory_a-CUI_Term.o libCUI_Theory_a-CUI_ArgumentIterator.o libCUI_Theory_a-CUI_UnificationSubproblem.o libCUI_Theory_a-CUI_LhsAutomaton.o x86_64-pc-linux-gnu-ranlib libCUI_Theory.a make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/CUI_Theory' Making all in S_Theory make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/S_Theory' x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libS_Theory_a-S_Symbol.o `test -f 'S_Symbol.cc' || echo './'`S_Symbol.cc In file included from ../../src/Interface/term.hh:34:0, from S_Term.hh:29, from S_Symbol.cc:44: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libS_Theory_a-S_DagNode.o `test -f 'S_DagNode.cc' || echo './'`S_DagNode.cc In file included from ../../src/Interface/term.hh:34:0, from S_DagNode.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libS_Theory_a-S_Term.o `test -f 'S_Term.cc' || echo './'`S_Term.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from S_Term.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libS_Theory_a-S_ExtensionInfo.o `test -f 'S_ExtensionInfo.cc' || echo './'`S_ExtensionInfo.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libS_Theory_a-S_DagArgumentIterator.o `test -f 'S_DagArgumentIterator.cc' || echo './'`S_DagArgumentIterator.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libS_Theory_a-S_ArgumentIterator.o `test -f 'S_ArgumentIterator.cc' || echo './'`S_ArgumentIterator.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libS_Theory_a-S_LhsAutomaton.o `test -f 'S_LhsAutomaton.cc' || echo './'`S_LhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from S_LhsAutomaton.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libS_Theory_a-S_RhsAutomaton.o `test -f 'S_RhsAutomaton.cc' || echo './'`S_RhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from S_RhsAutomaton.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libS_Theory_a-S_Subproblem.o `test -f 'S_Subproblem.cc' || echo './'`S_Subproblem.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from S_Subproblem.cc:42: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ rm -f libS_Theory.a ar cru libS_Theory.a libS_Theory_a-S_Symbol.o libS_Theory_a-S_DagNode.o libS_Theory_a-S_Term.o libS_Theory_a-S_ExtensionInfo.o libS_Theory_a-S_DagArgumentIterator.o libS_Theory_a-S_ArgumentIterator.o libS_Theory_a-S_LhsAutomaton.o libS_Theory_a-S_RhsAutomaton.o libS_Theory_a-S_Subproblem.o x86_64-pc-linux-gnu-ranlib libS_Theory.a make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/S_Theory' Making all in FreeTheory make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/FreeTheory' x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libfreeTheory_a-freeSymbol.o `test -f 'freeSymbol.cc' || echo './'`freeSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from freeSymbol.cc:43: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libfreeTheory_a-freeUnarySymbol.o `test -f 'freeUnarySymbol.cc' || echo './'`freeUnarySymbol.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libfreeTheory_a-freeBinarySymbol.o `test -f 'freeBinarySymbol.cc' || echo './'`freeBinarySymbol.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libfreeTheory_a-freeTernarySymbol.o `test -f 'freeTernarySymbol.cc' || echo './'`freeTernarySymbol.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libfreeTheory_a-freeTerm.o `test -f 'freeTerm.cc' || echo './'`freeTerm.cc In file included from ../../src/Interface/term.hh:34:0, from freeTerm.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libfreeTheory_a-freeArgumentIterator.o `test -f 'freeArgumentIterator.cc' || echo './'`freeArgumentIterator.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libfreeTheory_a-freeDagNode.o `test -f 'freeDagNode.cc' || echo './'`freeDagNode.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libfreeTheory_a-freeDagArgumentIterator.o `test -f 'freeDagArgumentIterator.cc' || echo './'`freeDagArgumentIterator.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libfreeTheory_a-freeLhsAutomaton.o `test -f 'freeLhsAutomaton.cc' || echo './'`freeLhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from freeLhsAutomaton.cc:41: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libfreeTheory_a-freeRhsAutomaton.o `test -f 'freeRhsAutomaton.cc' || echo './'`freeRhsAutomaton.cc In file included from ../../src/Interface/term.hh:34:0, from freeRhsAutomaton.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libfreeTheory_a-freeNet.o `test -f 'freeNet.cc' || echo './'`freeNet.cc In file included from ../../src/Interface/term.hh:34:0, from freeNet.cc:45: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libfreeTheory_a-freePreNet.o `test -f 'freePreNet.cc' || echo './'`freePreNet.cc In file included from ../../src/Interface/term.hh:34:0, from freePreNet.cc:45: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -c -o libfreeTheory_a-freeRemainder.o `test -f 'freeRemainder.cc' || echo './'`freeRemainder.cc In file included from ../../src/Interface/term.hh:34:0, from freeRemainder.cc:41: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -O2 -pipe -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 x86_64-pc-linux-gnu-ranlib libfreeTheory.a make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/FreeTheory' Making all in Higher make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/Higher' x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -O2 -pipe -c -o libhigher_a-rewriteSearchState.o `test -f 'rewriteSearchState.cc' || echo './'`rewriteSearchState.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from ../../src/Core/rule.hh:28, from rewriteSearchState.cc:42: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -O2 -pipe -c -o libhigher_a-matchSearchState.o `test -f 'matchSearchState.cc' || echo './'`matchSearchState.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from pattern.hh:28, from matchSearchState.cc:41: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -O2 -pipe -c -o libhigher_a-positionState.o `test -f 'positionState.cc' || echo './'`positionState.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -O2 -pipe -c -o libhigher_a-pattern.o `test -f 'pattern.cc' || echo './'`pattern.cc In file included from ../../src/Interface/term.hh:34:0, from pattern.cc:36: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -O2 -pipe -c -o libhigher_a-searchState.o `test -f 'searchState.cc' || echo './'`searchState.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from searchState.cc:43: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -O2 -pipe -c -o libhigher_a-rewriteSequenceSearch.o `test -f 'rewriteSequenceSearch.cc' || echo './'`rewriteSequenceSearch.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from pattern.hh:28, from rewriteSequenceSearch.cc:42: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -O2 -pipe -c -o libhigher_a-modelCheckerSymbol.o `test -f 'modelCheckerSymbol.cc' || echo './'`modelCheckerSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from modelCheckerSymbol.cc:42: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ In file included from temporalSymbol.hh:29:0, from modelCheckerSymbol.hh:28, from modelCheckerSymbol.cc:65: ../../src/Core/dagNodeSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/dagNodeSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -O2 -pipe -c -o libhigher_a-stateTransitionGraph.o `test -f 'stateTransitionGraph.cc' || echo './'`stateTransitionGraph.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -O2 -pipe -c -o libhigher_a-rewriteConditionFragment.o `test -f 'rewriteConditionFragment.cc' || echo './'`rewriteConditionFragment.cc In file included from ../../src/Interface/term.hh:34:0, from rewriteConditionFragment.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -O2 -pipe -c -o libhigher_a-assignmentConditionFragment.o `test -f 'assignmentConditionFragment.cc' || echo './'`assignmentConditionFragment.cc In file included from ../../src/Interface/term.hh:34:0, from assignmentConditionFragment.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -O2 -pipe -c -o libhigher_a-sortTestConditionFragment.o `test -f 'sortTestConditionFragment.cc' || echo './'`sortTestConditionFragment.cc In file included from ../../src/Interface/term.hh:34:0, from sortTestConditionFragment.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -O2 -pipe -c -o libhigher_a-equalityConditionFragment.o `test -f 'equalityConditionFragment.cc' || echo './'`equalityConditionFragment.cc In file included from ../../src/Interface/term.hh:34:0, from equalityConditionFragment.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -O2 -pipe -c -o libhigher_a-assignmentConditionState.o `test -f 'assignmentConditionState.cc' || echo './'`assignmentConditionState.cc In file included from ../../src/Interface/term.hh:34:0, from assignmentConditionState.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -O2 -pipe -c -o libhigher_a-rewriteConditionState.o `test -f 'rewriteConditionState.cc' || echo './'`rewriteConditionState.cc In file included from ../../src/Interface/term.hh:34:0, from rewriteConditionState.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -O2 -pipe -c -o libhigher_a-temporalSymbol.o `test -f 'temporalSymbol.cc' || echo './'`temporalSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from temporalSymbol.cc:42: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ In file included from temporalSymbol.hh:29:0, from temporalSymbol.cc:59: ../../src/Core/dagNodeSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/dagNodeSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -O2 -pipe -c -o libhigher_a-satSolverSymbol.o `test -f 'satSolverSymbol.cc' || echo './'`satSolverSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from satSolverSymbol.cc:43: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ In file included from temporalSymbol.hh:29:0, from satSolverSymbol.hh:28, from satSolverSymbol.cc:62: ../../src/Core/dagNodeSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/dagNodeSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -O2 -pipe -c -o libhigher_a-unificationProblem.o `test -f 'unificationProblem.cc' || echo './'`unificationProblem.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from unificationProblem.cc:43: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -O2 -pipe -c -o libhigher_a-narrowingSearchState.o `test -f 'narrowingSearchState.cc' || echo './'`narrowingSearchState.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from ../../src/Core/rule.hh:28, from narrowingSearchState.cc:43: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -O2 -pipe -c -o libhigher_a-narrowingUnificationProblem.o `test -f 'narrowingUnificationProblem.cc' || echo './'`narrowingUnificationProblem.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from ../../src/Core/rule.hh:28, from narrowingUnificationProblem.cc:49: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Temporal -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/BuiltIn -I../../src/Mixfix -O2 -pipe -c -o libhigher_a-narrowingSequenceSearch.o `test -f 'narrowingSequenceSearch.cc' || echo './'`narrowingSequenceSearch.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from pattern.hh:28, from narrowingSequenceSearch.cc:47: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ In file included from ../../src/Core/protectedDagNodeSet.hh:28:0, from narrowingSequenceSearch.hh:30, from narrowingSequenceSearch.cc:49: ../../src/Core/dagNodeSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/dagNodeSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ rm -f libhigher.a ar cru libhigher.a libhigher_a-rewriteSearchState.o libhigher_a-matchSearchState.o libhigher_a-positionState.o libhigher_a-pattern.o libhigher_a-searchState.o libhigher_a-rewriteSequenceSearch.o libhigher_a-modelCheckerSymbol.o libhigher_a-stateTransitionGraph.o libhigher_a-rewriteConditionFragment.o libhigher_a-assignmentConditionFragment.o libhigher_a-sortTestConditionFragment.o libhigher_a-equalityConditionFragment.o libhigher_a-assignmentConditionState.o libhigher_a-rewriteConditionState.o libhigher_a-temporalSymbol.o libhigher_a-satSolverSymbol.o libhigher_a-unificationProblem.o libhigher_a-narrowingSearchState.o libhigher_a-narrowingUnificationProblem.o libhigher_a-narrowingSequenceSearch.o x86_64-pc-linux-gnu-ranlib libhigher.a make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/Higher' Making all in BuiltIn make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/BuiltIn' x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -O2 -pipe -c -o libbuiltIn_a-equalitySymbol.o `test -f 'equalitySymbol.cc' || echo './'`equalitySymbol.cc In file included from ../../src/Interface/term.hh:34:0, from equalitySymbol.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -O2 -pipe -c -o libbuiltIn_a-sortTestSymbol.o `test -f 'sortTestSymbol.cc' || echo './'`sortTestSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from sortTestSymbol.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -O2 -pipe -c -o libbuiltIn_a-branchSymbol.o `test -f 'branchSymbol.cc' || echo './'`branchSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from branchSymbol.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -O2 -pipe -c -o libbuiltIn_a-stringSymbol.o `test -f 'stringSymbol.cc' || echo './'`stringSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from stringSymbol.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -O2 -pipe -c -o libbuiltIn_a-stringTerm.o `test -f 'stringTerm.cc' || echo './'`stringTerm.cc In file included from ../../src/Interface/term.hh:34:0, from stringTerm.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -O2 -pipe -c -o libbuiltIn_a-stringDagNode.o `test -f 'stringDagNode.cc' || echo './'`stringDagNode.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -O2 -pipe -c -o libbuiltIn_a-stringOpSymbol.o `test -f 'stringOpSymbol.cc' || echo './'`stringOpSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from stringOpSymbol.cc:41: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -O2 -pipe -c -o libbuiltIn_a-floatSymbol.o `test -f 'floatSymbol.cc' || echo './'`floatSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from floatSymbol.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -O2 -pipe -c -o libbuiltIn_a-floatTerm.o `test -f 'floatTerm.cc' || echo './'`floatTerm.cc In file included from ../../src/Interface/term.hh:34:0, from floatTerm.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -O2 -pipe -c -o libbuiltIn_a-floatDagNode.o `test -f 'floatDagNode.cc' || echo './'`floatDagNode.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -O2 -pipe -c -o libbuiltIn_a-floatOpSymbol.o `test -f 'floatOpSymbol.cc' || echo './'`floatOpSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from floatOpSymbol.cc:42: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -O2 -pipe -c -o libbuiltIn_a-succSymbol.o `test -f 'succSymbol.cc' || echo './'`succSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from succSymbol.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -O2 -pipe -c -o libbuiltIn_a-numberOpSymbol.o `test -f 'numberOpSymbol.cc' || echo './'`numberOpSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from numberOpSymbol.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -O2 -pipe -c -o libbuiltIn_a-minusSymbol.o `test -f 'minusSymbol.cc' || echo './'`minusSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from minusSymbol.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -O2 -pipe -c -o libbuiltIn_a-ACU_NumberOpSymbol.o `test -f 'ACU_NumberOpSymbol.cc' || echo './'`ACU_NumberOpSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from ACU_NumberOpSymbol.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -O2 -pipe -c -o libbuiltIn_a-CUI_NumberOpSymbol.o `test -f 'CUI_NumberOpSymbol.cc' || echo './'`CUI_NumberOpSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from CUI_NumberOpSymbol.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -O2 -pipe -c -o libbuiltIn_a-divisionSymbol.o `test -f 'divisionSymbol.cc' || echo './'`divisionSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from divisionSymbol.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -O2 -pipe -c -o libbuiltIn_a-randomOpSymbol.o `test -f 'randomOpSymbol.cc' || echo './'`randomOpSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from randomOpSymbol.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -O2 -pipe -c -o libbuiltIn_a-counterSymbol.o `test -f 'counterSymbol.cc' || echo './'`counterSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from counterSymbol.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/FreeTheory -I../../src/3rdParty -O2 -pipe -c -o libbuiltIn_a-matrixOpSymbol.o `test -f 'matrixOpSymbol.cc' || echo './'`matrixOpSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from matrixOpSymbol.cc:43: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ rm -f libbuiltIn.a ar cru libbuiltIn.a libbuiltIn_a-equalitySymbol.o libbuiltIn_a-sortTestSymbol.o libbuiltIn_a-branchSymbol.o libbuiltIn_a-stringSymbol.o libbuiltIn_a-stringTerm.o libbuiltIn_a-stringDagNode.o libbuiltIn_a-stringOpSymbol.o libbuiltIn_a-floatSymbol.o libbuiltIn_a-floatTerm.o libbuiltIn_a-floatDagNode.o libbuiltIn_a-floatOpSymbol.o libbuiltIn_a-succSymbol.o libbuiltIn_a-numberOpSymbol.o libbuiltIn_a-minusSymbol.o libbuiltIn_a-ACU_NumberOpSymbol.o libbuiltIn_a-CUI_NumberOpSymbol.o libbuiltIn_a-divisionSymbol.o libbuiltIn_a-randomOpSymbol.o libbuiltIn_a-counterSymbol.o libbuiltIn_a-matrixOpSymbol.o x86_64-pc-linux-gnu-ranlib libbuiltIn.a make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/BuiltIn' Making all in IO_Stuff make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/IO_Stuff' x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -O2 -pipe -c -o libIO_Stuff_a-IO_Manager.o `test -f 'IO_Manager.cc' || echo './'`IO_Manager.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -O2 -pipe -c -o libIO_Stuff_a-autoWrapBuffer.o `test -f 'autoWrapBuffer.cc' || echo './'`autoWrapBuffer.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -O2 -pipe -c -o libIO_Stuff_a-directoryManager.o `test -f 'directoryManager.cc' || echo './'`directoryManager.cc directoryManager.cc: In member function β€˜const char* DirectoryManager::popd(int)’: directoryManager.cc:256:16: warning: ignoring return value of β€˜int chdir(const char*)’, declared with attribute warn_unused_result [-Wunused-result] chdir(dirName);  ^ rm -f libIO_Stuff.a ar cru libIO_Stuff.a libIO_Stuff_a-IO_Manager.o libIO_Stuff_a-autoWrapBuffer.o libIO_Stuff_a-directoryManager.o x86_64-pc-linux-gnu-ranlib libIO_Stuff.a make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/IO_Stuff' Making all in ObjectSystem make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/ObjectSystem' x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/S_Theory -I../../src/BuiltIn -O2 -pipe -c -o libobjectSystem_a-configSymbol.o `test -f 'configSymbol.cc' || echo './'`configSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from configSymbol.cc:44: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/S_Theory -I../../src/BuiltIn -O2 -pipe -c -o libobjectSystem_a-objectSystemRewritingContext.o `test -f 'objectSystemRewritingContext.cc' || echo './'`objectSystemRewritingContext.cc In file included from ../../src/Interface/term.hh:34:0, from objectSystemRewritingContext.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/S_Theory -I../../src/BuiltIn -O2 -pipe -c -o libobjectSystem_a-externalObjectManagerSymbol.o `test -f 'externalObjectManagerSymbol.cc' || echo './'`externalObjectManagerSymbol.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/S_Theory -I../../src/BuiltIn -O2 -pipe -c -o libobjectSystem_a-socketManagerSymbol.o `test -f 'socketManagerSymbol.cc' || echo './'`socketManagerSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from socketManagerSymbol.cc:43: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/S_Theory -I../../src/BuiltIn -O2 -pipe -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 x86_64-pc-linux-gnu-ranlib libobjectSystem.a make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/ObjectSystem' Making all in Meta make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/Meta' x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/StrategyLanguage -O2 -pipe -c -o libmeta_a-metaModuleCache.o `test -f 'metaModuleCache.cc' || echo './'`metaModuleCache.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/StrategyLanguage -O2 -pipe -c -o libmeta_a-metaLevel.o `test -f 'metaLevel.cc' || echo './'`metaLevel.cc In file included from ../../src/Interface/term.hh:34:0, from metaLevel.cc:51: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/StrategyLanguage -O2 -pipe -c -o libmeta_a-interpreterManagerSymbol.o `test -f 'interpreterManagerSymbol.cc' || echo './'`interpreterManagerSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from interpreterManagerSymbol.cc:44: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/StrategyLanguage -O2 -pipe -c -o libmeta_a-metaOpCache.o `test -f 'metaOpCache.cc' || echo './'`metaOpCache.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from ../../src/Core/rule.hh:28, from ../../src/Mixfix/userLevelRewritingContext.hh:34, from metaOpCache.cc:55: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/StrategyLanguage -O2 -pipe -c -o libmeta_a-metaModule.o `test -f 'metaModule.cc' || echo './'`metaModule.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/StrategyLanguage -O2 -pipe -c -o libmeta_a-metaLevelOpSymbol.o `test -f 'metaLevelOpSymbol.cc' || echo './'`metaLevelOpSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from metaLevelOpSymbol.cc:48: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ In file included from ../../src/Core/protectedDagNodeSet.hh:28:0, from ../../src/Higher/narrowingSequenceSearch.hh:30, from metaLevelOpSymbol.cc:67: ../../src/Core/dagNodeSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/dagNodeSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ In file included from metaLevelOpSymbol.cc:101:0: metaMatch.cc: In member function β€˜MatchSearchState* MetaLevelOpSymbol::makeMatchSearchState2(MetaModule*, FreeDagNode*, RewritingContext&) const’: metaMatch.cc:175:10: warning: converting β€˜false’ to pointer type β€˜MatchSearchState*’ [-Wconversion-null] return false;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/StrategyLanguage -O2 -pipe -c -o libmeta_a-metaPreModule.o `test -f 'metaPreModule.cc' || echo './'`metaPreModule.cc In file included from ../../src/Interface/term.hh:34:0, from metaPreModule.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ rm -f libmeta.a ar cru libmeta.a libmeta_a-metaModuleCache.o libmeta_a-metaLevel.o libmeta_a-interpreterManagerSymbol.o libmeta_a-metaOpCache.o libmeta_a-metaModule.o libmeta_a-metaLevelOpSymbol.o libmeta_a-metaPreModule.o x86_64-pc-linux-gnu-ranlib libmeta.a make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/Meta' Making all in FullCompiler make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/FullCompiler' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/FullCompiler' Making all in MSCP10 make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/MSCP10' x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -O2 -pipe -c -o libmscp10_a-scp_parser.o `test -f 'scp_parser.cc' || echo './'`scp_parser.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -O2 -pipe -c -o libmscp10_a-scp_compiler.o `test -f 'scp_compiler.cc' || echo './'`scp_compiler.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -O2 -pipe -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 x86_64-pc-linux-gnu-ranlib libmscp10.a make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/MSCP10' Making all in StrategyLanguage make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/StrategyLanguage' x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -O2 -pipe -c -o libstrategyLanguage_a-trivialStrategy.o `test -f 'trivialStrategy.cc' || echo './'`trivialStrategy.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -O2 -pipe -c -o libstrategyLanguage_a-applicationStrategy.o `test -f 'applicationStrategy.cc' || echo './'`applicationStrategy.cc In file included from ../../src/Interface/term.hh:34:0, from applicationStrategy.cc:37: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -O2 -pipe -c -o libstrategyLanguage_a-concatenationStrategy.o `test -f 'concatenationStrategy.cc' || echo './'`concatenationStrategy.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -O2 -pipe -c -o libstrategyLanguage_a-iterationStrategy.o `test -f 'iterationStrategy.cc' || echo './'`iterationStrategy.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -O2 -pipe -c -o libstrategyLanguage_a-branchStrategy.o `test -f 'branchStrategy.cc' || echo './'`branchStrategy.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -O2 -pipe -c -o libstrategyLanguage_a-unionStrategy.o `test -f 'unionStrategy.cc' || echo './'`unionStrategy.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -O2 -pipe -c -o libstrategyLanguage_a-testStrategy.o `test -f 'testStrategy.cc' || echo './'`testStrategy.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from ../../src/Higher/pattern.hh:28, from testStrategy.hh:29, from testStrategy.cc:47: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -O2 -pipe -c -o libstrategyLanguage_a-strategicExecution.o `test -f 'strategicExecution.cc' || echo './'`strategicExecution.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -O2 -pipe -c -o libstrategyLanguage_a-strategicTask.o `test -f 'strategicTask.cc' || echo './'`strategicTask.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -O2 -pipe -c -o libstrategyLanguage_a-branchTask.o `test -f 'branchTask.cc' || echo './'`branchTask.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -O2 -pipe -c -o libstrategyLanguage_a-strategicProcess.o `test -f 'strategicProcess.cc' || echo './'`strategicProcess.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -O2 -pipe -c -o libstrategyLanguage_a-decompositionProcess.o `test -f 'decompositionProcess.cc' || echo './'`decompositionProcess.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -O2 -pipe -c -o libstrategyLanguage_a-applicationProcess.o `test -f 'applicationProcess.cc' || echo './'`applicationProcess.cc In file included from ../../src/Interface/term.hh:34:0, from applicationProcess.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -O2 -pipe -c -o libstrategyLanguage_a-strategicSearch.o `test -f 'strategicSearch.cc' || echo './'`strategicSearch.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -O2 -pipe -c -o libstrategyLanguage_a-sharedRewriteSearchState.o `test -f 'sharedRewriteSearchState.cc' || echo './'`sharedRewriteSearchState.cc In file included from ../../src/Interface/term.hh:34:0, from sharedRewriteSearchState.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -O2 -pipe -c -o libstrategyLanguage_a-matchProcess.o `test -f 'matchProcess.cc' || echo './'`matchProcess.cc In file included from ../../src/Interface/term.hh:34:0, from matchProcess.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -O2 -pipe -c -o libstrategyLanguage_a-rewriteTask.o `test -f 'rewriteTask.cc' || echo './'`rewriteTask.cc In file included from ../../src/Interface/term.hh:34:0, from rewriteTask.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/Core -I../../src/Higher -I../../src/FullCompiler -O2 -pipe -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 x86_64-pc-linux-gnu-ranlib libstrategyLanguage.a make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/StrategyLanguage' Making all in Mixfix make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/Mixfix' cat \ ./top.yy \ ./modules.yy \ ./commands.yy \ ./bottom.yy \ > surface.yy bison -dv surface.yy -o surface.c surface.yy:100.1-12: warning: deprecated directive, use β€˜%pure-parser’ [-Wdeprecated] %pure_parser ^^^^^^^^^^^^ mv surface.c surface.cc flex -t -p -p ./lexer.ll > lexer.cc -I (interactive) entails a minor performance penalty make all-am make[4]: Entering directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/Mixfix' x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-syntaxContainer.o `test -f 'syntaxContainer.cc' || echo './'`syntaxContainer.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-renaming.o `test -f 'renaming.cc' || echo './'`renaming.cc In file included from ../../src/Interface/term.hh:34:0, from renaming.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-view.o `test -f 'view.cc' || echo './'`view.cc In file included from ../../src/Interface/term.hh:34:0, from view.cc:42: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-entity.o `test -f 'entity.cc' || echo './'`entity.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-moduleCache.o `test -f 'moduleCache.cc' || echo './'`moduleCache.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-moduleExpression.o `test -f 'moduleExpression.cc' || echo './'`moduleExpression.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-importModule.o `test -f 'importModule.cc' || echo './'`importModule.cc In file included from ../../src/Interface/term.hh:34:0, from importModule.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-importTranslation.o `test -f 'importTranslation.cc' || echo './'`importTranslation.cc In file included from ../../src/Interface/term.hh:34:0, from importTranslation.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-fileTable.o `test -f 'fileTable.cc' || echo './'`fileTable.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-loopSymbol.o `test -f 'loopSymbol.cc' || echo './'`loopSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from loopSymbol.cc:45: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-quotedIdentifierSymbol.o `test -f 'quotedIdentifierSymbol.cc' || echo './'`quotedIdentifierSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from quotedIdentifierSymbol.cc:40: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-quotedIdentifierDagNode.o `test -f 'quotedIdentifierDagNode.cc' || echo './'`quotedIdentifierDagNode.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-quotedIdentifierTerm.o `test -f 'quotedIdentifierTerm.cc' || echo './'`quotedIdentifierTerm.cc In file included from ../../src/Interface/term.hh:34:0, from quotedIdentifierTerm.cc:41: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-quotedIdentifierOpSymbol.o `test -f 'quotedIdentifierOpSymbol.cc' || echo './'`quotedIdentifierOpSymbol.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from ../../src/Core/rule.hh:28, from userLevelRewritingContext.hh:34, from quotedIdentifierOpSymbol.cc:61: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-mixfixModule.o `test -f 'mixfixModule.cc' || echo './'`mixfixModule.cc In file included from ../../src/Interface/term.hh:34:0, from mixfixModule.cc:55: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ In file included from ../../src/Higher/temporalSymbol.hh:29:0, from ../../src/Higher/modelCheckerSymbol.hh:28, from mixfixModule.cc:114: ../../src/Core/dagNodeSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/dagNodeSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-token.o `test -f 'token.cc' || echo './'`token.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-global.o `test -f 'global.cc' || echo './'`global.cc In file included from ../../src/Interface/term.hh:34:0, from global.cc:42: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-userLevelRewritingContext.o `test -f 'userLevelRewritingContext.cc' || echo './'`userLevelRewritingContext.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from ../../src/Core/sortConstraint.hh:28, from userLevelRewritingContext.cc:52: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ In file included from userLevelRewritingContext.cc:71:0: interact.cc: In static member function β€˜static void UserLevelRewritingContext::stackOverflowHandler(int, stackoverflow_context_t)’: interact.cc:121:53: warning: ignoring return value of β€˜ssize_t write(int, const void*, size_t)’, declared with attribute warn_unused_result [-Wunused-result] write(STDERR_FILENO, message, sizeof(message) - 1);  ^ interact.cc: In static member function β€˜static void UserLevelRewritingContext::internalErrorHandler(int)’: interact.cc:147:55: warning: ignoring return value of β€˜ssize_t write(int, const void*, size_t)’, declared with attribute warn_unused_result [-Wunused-result] write(STDERR_FILENO, message1, sizeof(message1) - 1);  ^ interact.cc:148:55: warning: ignoring return value of β€˜ssize_t write(int, const void*, size_t)’, declared with attribute warn_unused_result [-Wunused-result] write(STDERR_FILENO, message2, sizeof(message2) - 1);  ^ interact.cc:149:55: warning: ignoring return value of β€˜ssize_t write(int, const void*, size_t)’, declared with attribute warn_unused_result [-Wunused-result] write(STDERR_FILENO, message3, sizeof(message3) - 1);  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-preModule.o `test -f 'preModule.cc' || echo './'`preModule.cc In file included from ../../src/Interface/term.hh:34:0, from preModule.cc:44: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-syntacticPreModule.o `test -f 'syntacticPreModule.cc' || echo './'`syntacticPreModule.cc In file included from ../../src/Interface/term.hh:34:0, from syntacticPreModule.cc:44: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-symbolType.o `test -f 'symbolType.cc' || echo './'`symbolType.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-xmlBuffer.o `test -f 'xmlBuffer.cc' || echo './'`xmlBuffer.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-maudemlBuffer.o `test -f 'maudemlBuffer.cc' || echo './'`maudemlBuffer.cc In file included from ../../src/Interface/term.hh:34:0, from maudemlBuffer.cc:44: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-interpreter.o `test -f 'interpreter.cc' || echo './'`interpreter.cc In file included from ../../src/Interface/term.hh:34:0, from interpreter.cc:42: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ In file included from ../../src/Core/protectedDagNodeSet.hh:28:0, from ../../src/Higher/narrowingSequenceSearch.hh:30, from interpreter.cc:53: ../../src/Core/dagNodeSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/dagNodeSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-moduleDatabase.o `test -f 'moduleDatabase.cc' || echo './'`moduleDatabase.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-viewDatabase.o `test -f 'viewDatabase.cc' || echo './'`viewDatabase.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-profileModule.o `test -f 'profileModule.cc' || echo './'`profileModule.cc In file included from ../../src/Interface/term.hh:34:0, from profileModule.cc:38: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-mixfixParser.o `test -f 'mixfixParser.cc' || echo './'`mixfixParser.cc In file included from ../../src/Interface/term.hh:34:0, from mixfixParser.cc:46: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-visibleModule.o `test -f 'visibleModule.cc' || echo './'`visibleModule.cc In file included from ../../src/Interface/term.hh:34:0, from visibleModule.cc:39: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-sharedTokens.o `test -f 'sharedTokens.cc' || echo './'`sharedTokens.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-metadataStore.o `test -f 'metadataStore.cc' || echo './'`metadataStore.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from metadataStore.cc:41: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-printAttribute.o `test -f 'printAttribute.cc' || echo './'`printAttribute.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from printAttribute.cc:42: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-banner.o `test -f 'banner.cc' || echo './'`banner.cc x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-lexer.o `test -f 'lexer.cc' || echo './'`lexer.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from ../../src/Core/rule.hh:28, from userLevelRewritingContext.hh:34, from ./lexer.ll:48: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal -I../../src/Interface -I../../src/Core -I../../src/Variable -I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory -I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn -I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -O2 -pipe -c -o libmixfix_a-surface.o `test -f 'surface.cc' || echo './'`surface.cc In file included from ../../src/Interface/term.hh:34:0, from ../../src/Variable/variableTerm.hh:28, from ../../src/Core/variableInfo.hh:30, from ../../src/Core/preEquation.hh:30, from ../../src/Core/rule.hh:28, from userLevelRewritingContext.hh:34, from surface.yy:54: ../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::cardinality;  ^ ../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the β€˜using’ keyword [-Wdeprecated] PointerSet::makeEmpty;  ^ surface.yy: In function β€˜int yyparse()’: surface.yy:63:67: error: β€˜parseResult’ was not declared in this scope #define PARSE_RESULT (*((UserLevelRewritingContext::ParseResult*) parseResult))  ^ surface.yy:235:6: note: in expansion of macro β€˜PARSE_RESULT’ PARSE_RESULT = UserLevelRewritingContext::QUIT;  ^ surface.yy:63:67: error: β€˜parseResult’ was not declared in this scope #define PARSE_RESULT (*((UserLevelRewritingContext::ParseResult*) parseResult))  ^ surface.yy:312:6: note: in expansion of macro β€˜PARSE_RESULT’ PARSE_RESULT = UserLevelRewritingContext::QUIT;  ^ surface.yy:63:67: error: β€˜parseResult’ was not declared in this scope #define PARSE_RESULT (*((UserLevelRewritingContext::ParseResult*) parseResult))  ^ surface.yy:319:10: note: in expansion of macro β€˜PARSE_RESULT’ PARSE_RESULT = UserLevelRewritingContext::QUIT;  ^ surface.yy:573:4: error: expected β€˜;’ before β€˜}’ token }  ^ surface.yy:1097:33: error: expected β€˜;’ before β€˜}’ token command : KW_SELECT { lexBubble(END_COMMAND, 1) }  ^ surface.yy:1102:33: error: expected β€˜;’ before β€˜}’ token | KW_DUMP { lexBubble(END_COMMAND, 1) }  ^ surface.yy:63:67: error: β€˜parseResult’ was not declared in this scope #define PARSE_RESULT (*((UserLevelRewritingContext::ParseResult*) parseResult))  ^ surface.yy:1490:6: note: in expansion of macro β€˜PARSE_RESULT’ PARSE_RESULT = UserLevelRewritingContext::RESUME;  ^ surface.yy:63:67: error: β€˜parseResult’ was not declared in this scope #define PARSE_RESULT (*((UserLevelRewritingContext::ParseResult*) parseResult))  ^ surface.yy:1494:6: note: in expansion of macro β€˜PARSE_RESULT’ PARSE_RESULT = UserLevelRewritingContext::ABORT;  ^ surface.yy:63:67: error: β€˜parseResult’ was not declared in this scope #define PARSE_RESULT (*((UserLevelRewritingContext::ParseResult*) parseResult))  ^ surface.yy:1498:6: note: in expansion of macro β€˜PARSE_RESULT’ PARSE_RESULT = UserLevelRewritingContext::STEP;  ^ surface.yy:63:67: error: β€˜parseResult’ was not declared in this scope #define PARSE_RESULT (*((UserLevelRewritingContext::ParseResult*) parseResult))  ^ surface.yy:1502:6: note: in expansion of macro β€˜PARSE_RESULT’ PARSE_RESULT = UserLevelRewritingContext::WHERE;  ^ surface.c:5250:35: warning: deprecated conversion from string constant to β€˜char*’ [-Wwrite-strings] surface.c:5394:35: warning: deprecated conversion from string constant to β€˜char*’ [-Wwrite-strings] surface.yy:308:58: warning: ignoring return value of β€˜int system(const char*)’, declared with attribute warn_unused_result [-Wunused-result] system((string("ls") + $3).c_str());  ^ Makefile:1058: recipe for target 'libmixfix_a-surface.o' failed make[4]: *** [libmixfix_a-surface.o] Error 1 make[4]: Leaving directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/Mixfix' Makefile:477: recipe for target 'all' failed make[3]: *** [all] Error 2 make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src/Mixfix' Makefile:354: recipe for target 'all-recursive' failed make[2]: *** [all-recursive] Error 1 make[2]: Leaving directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6/src' Makefile:372: recipe for target 'all-recursive' failed make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6' Makefile:313: recipe for target 'all' failed make: *** [all] Error 2 * ERROR: dev-lang/maude-2.6-r1::gentoo failed (compile phase): * emake failed * * If you need support, post the output of `emerge --info '=dev-lang/maude-2.6-r1::gentoo'`, * the complete build log and the output of `emerge -pqv '=dev-lang/maude-2.6-r1::gentoo'`. * The complete build log is located at '/var/log/portage/dev-lang:maude-2.6-r1:20150213-140338.log'. * For convenience, a symlink to the build log is located at '/var/tmp/portage/dev-lang/maude-2.6-r1/temp/build.log'. * The ebuild environment file is located at '/var/tmp/portage/dev-lang/maude-2.6-r1/temp/environment'. * Working directory: '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6' * S: '/var/tmp/portage/dev-lang/maude-2.6-r1/work/Maude-2.6'