emerge log

dev-lang:maude-2.6-r1:20150213-140338.log (text/plain), 226.55 KB, created by Toralf Förster on 2015-02-15 21:21:48 UTC

 * Package:    dev-lang/maude-2.6-r1
 * Repository: gentoo
 * Maintainer: [e-mail]
 * 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 [01m[Kterm.hh:34:0[m[K,
                 from [01m[Ksymbol.cc:41[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[Kterm.hh:34:0[m[K,
                 from [01m[KbinarySymbol.hh:33[m[K,
                 from [01m[KbinarySymbol.cc:38[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[Kterm.hh:34:0[m[K,
                 from [01m[KbinarySymbol.hh:33[m[K,
                 from [01m[KassociativeSymbol.hh:28[m[K,
                 from [01m[KassociativeSymbol.cc:39[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[Kterm.hh:34:0[m[K,
                 from [01m[Kterm.cc:40[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[Kterm.hh:34:0[m[K,
                 from [01m[KbinarySymbol.hh:33[m[K,
                 from [01m[KdagNode.cc:39[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KtermBag.cc:36[m[K:
[01m[K./termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K./termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[KvariableInfo.hh:30[m[K,
                 from [01m[KtrivialRhsAutomaton.cc:41[m[K:
[01m[K./termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K./termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[KvariableInfo.hh:30[m[K,
                 from [01m[KcopyRhsAutomaton.cc:42[m[K:
[01m[K./termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K./termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[KvariableInfo.hh:30[m[K,
                 from [01m[KvariableInfo.cc:38[m[K:
[01m[K./termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K./termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KtermSet.cc:36[m[K:
[01m[K./termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K./termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KsortTable.cc:38[m[K:
[01m[K./termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K./termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KsortConstraintTable.cc:39[m[K:
[01m[K./termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K./termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KequationTable.cc:38[m[K:
[01m[K./termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K./termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KruleTable.cc:38[m[K:
[01m[K./termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K./termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[Kmodule.cc:37[m[K:
[01m[K./termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K./termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[KvariableInfo.hh:30[m[K,
                 from [01m[KlocalBinding.cc:42[m[K:
[01m[K./termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K./termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KpreEquation.cc:40[m[K:
[01m[K./termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K./termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[Kequation.cc:38[m[K:
[01m[K./termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K./termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[Krule.cc:39[m[K:
[01m[K./termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K./termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KsortConstraint.cc:38[m[K:
[01m[K./termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K./termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KequalitySubproblem.cc:38[m[K:
[01m[K./termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K./termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KcachedDag.cc:38[m[K:
[01m[K./termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K./termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[KdagNodeSet.cc:40:0[m[K:
[01m[KdagNodeSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[KdagNodeSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[KprotectedDagNodeSet.hh:28:0[m[K,
                 from [01m[KprotectedDagNodeSet.cc:40[m[K:
[01m[KdagNodeSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[KdagNodeSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Interface/binarySymbol.hh:33[m[K,
                 from [01m[KcompoundCycleSubproblem.cc:39[m[K:
[01m[K./termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K./termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KvariableSymbol.cc:38[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KvariableTerm.cc:38[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K./variableTerm.hh:28[m[K,
                 from [01m[K../../src/Core/variableInfo.hh:30[m[K,
                 from [01m[KvariableLhsAutomaton.cc:43[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KNA_Term.cc:39[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KNA_Term.hh:28[m[K,
                 from [01m[KNA_LhsAutomaton.cc:39[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[K../../src/Core/variableInfo.hh:30[m[K,
                 from [01m[KNA_RhsAutomaton.cc:39[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KACU_RedBlackNode.cc:40[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Interface/binarySymbol.hh:33[m[K,
                 from [01m[KACU_Tree.cc:38[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Interface/binarySymbol.hh:33[m[K,
                 from [01m[K../../src/Interface/associativeSymbol.hh:28[m[K,
                 from [01m[KACU_Symbol.hh:28[m[K,
                 from [01m[KACU_Symbol.cc:43[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Interface/binarySymbol.hh:33[m[K,
                 from [01m[K../../src/Interface/associativeSymbol.hh:28[m[K,
                 from [01m[KACU_Term.cc:43[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Interface/binarySymbol.hh:33[m[K,
                 from [01m[K../../src/Interface/associativeSymbol.hh:28[m[K,
                 from [01m[KACU_Symbol.hh:28[m[K,
                 from [01m[KACU_BaseDagNode.cc:38[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KACU_DagNode.cc:40[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Interface/binarySymbol.hh:33[m[K,
                 from [01m[K../../src/Interface/associativeSymbol.hh:28[m[K,
                 from [01m[KACU_Symbol.hh:28[m[K,
                 from [01m[KACU_TreeDagNode.cc:41[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[K../../src/Core/variableInfo.hh:30[m[K,
                 from [01m[KACU_RhsAutomaton.cc:40[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Interface/binarySymbol.hh:33[m[K,
                 from [01m[K../../src/Interface/associativeSymbol.hh:28[m[K,
                 from [01m[KACU_LhsAutomaton.cc:40[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Interface/binarySymbol.hh:33[m[K,
                 from [01m[K../../src/Interface/associativeSymbol.hh:28[m[K,
                 from [01m[KACU_Subproblem.cc:41[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Interface/binarySymbol.hh:33[m[K,
                 from [01m[K../../src/Interface/associativeSymbol.hh:28[m[K,
                 from [01m[KACU_Symbol.hh:28[m[K,
                 from [01m[KACU_ExtensionInfo.cc:38[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Interface/binarySymbol.hh:33[m[K,
                 from [01m[K../../src/Interface/associativeSymbol.hh:28[m[K,
                 from [01m[KACU_CollectorLhsAutomaton.cc:39[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Interface/binarySymbol.hh:33[m[K,
                 from [01m[K../../src/Interface/associativeSymbol.hh:28[m[K,
                 from [01m[KACU_NGA_LhsAutomaton.cc:40[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Interface/binarySymbol.hh:33[m[K,
                 from [01m[K../../src/Interface/associativeSymbol.hh:28[m[K,
                 from [01m[KACU_VarLhsAutomaton.cc:40[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Interface/binarySymbol.hh:33[m[K,
                 from [01m[K../../src/Interface/associativeSymbol.hh:28[m[K,
                 from [01m[KACU_GndLhsAutomaton.cc:40[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Interface/binarySymbol.hh:33[m[K,
                 from [01m[K../../src/Interface/associativeSymbol.hh:28[m[K,
                 from [01m[KACU_NonLinearLhsAutomaton.cc:39[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Interface/binarySymbol.hh:33[m[K,
                 from [01m[K../../src/Interface/associativeSymbol.hh:28[m[K,
                 from [01m[KACU_Symbol.hh:28[m[K,
                 from [01m[KACU_Term.hh:28[m[K,
                 from [01m[KACU_ArgumentIterator.cc:37[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Interface/binarySymbol.hh:33[m[K,
                 from [01m[K../../src/Interface/associativeSymbol.hh:28[m[K,
                 from [01m[KACU_Symbol.hh:28[m[K,
                 from [01m[KACU_DagArgumentIterator.cc:38[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Interface/binarySymbol.hh:33[m[K,
                 from [01m[K../../src/Interface/associativeSymbol.hh:28[m[K,
                 from [01m[KACU_LazySubproblem.cc:40[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Interface/binarySymbol.hh:33[m[K,
                 from [01m[K../../src/Interface/associativeSymbol.hh:28[m[K,
                 from [01m[KACU_UnificationSubproblem2.cc:42[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Interface/binarySymbol.hh:33[m[K,
                 from [01m[K../../src/Interface/associativeSymbol.hh:28[m[K,
                 from [01m[KAU_Symbol.hh:28[m[K,
                 from [01m[KAU_Symbol.cc:45[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KAU_DagNode.cc:37[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KAU_DequeDagNode.cc:38[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[KAU_Term.cc:40[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Interface/binarySymbol.hh:33[m[K,
                 from [01m[K../../src/Interface/associativeSymbol.hh:28[m[K,
                 from [01m[KAU_Symbol.hh:28[m[K,
                 from [01m[KAU_DagArgumentIterator.cc:37[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Interface/binarySymbol.hh:33[m[K,
                 from [01m[K../../src/Interface/associativeSymbol.hh:28[m[K,
                 from [01m[KAU_Symbol.hh:28[m[K,
                 from [01m[KAU_ExtensionInfo.cc:37[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[K../../src/Core/variableInfo.hh:30[m[K,
                 from [01m[KAU_RhsAutomaton.cc:39[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Interface/binarySymbol.hh:33[m[K,
                 from [01m[K../../src/Interface/associativeSymbol.hh:28[m[K,
                 from [01m[KAU_LhsAutomaton.cc:40[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KAU_Term.hh:28[m[K,
                 from [01m[KAU_ArgumentIterator.hh:29[m[K,
                 from [01m[KAU_ArgumentIterator.cc:37[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KAU_Layer.cc:39[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Interface/binarySymbol.hh:33[m[K,
                 from [01m[K../../src/Interface/associativeSymbol.hh:28[m[K,
                 from [01m[KAU_Symbol.hh:28[m[K,
                 from [01m[KAU_Subproblem.cc:45[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KCUI_Symbol.cc:40[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Interface/binarySymbol.hh:33[m[K,
                 from [01m[KCUI_DagNode.cc:38[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[K../../src/Core/variableInfo.hh:30[m[K,
                 from [01m[KCUI_RhsAutomaton.cc:39[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Interface/binarySymbol.hh:33[m[K,
                 from [01m[KCUI_Term.cc:39[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[K../../src/Core/variableInfo.hh:30[m[K,
                 from [01m[KCUI_UnificationSubproblem.cc:43[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Interface/binarySymbol.hh:33[m[K,
                 from [01m[KCUI_LhsAutomaton.cc:39[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KS_Term.hh:29[m[K,
                 from [01m[KS_Symbol.cc:44[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KS_DagNode.cc:38[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[KS_Term.cc:39[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[K../../src/Core/variableInfo.hh:30[m[K,
                 from [01m[KS_LhsAutomaton.cc:38[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[K../../src/Core/variableInfo.hh:30[m[K,
                 from [01m[KS_RhsAutomaton.cc:39[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[K../../src/Core/variableInfo.hh:30[m[K,
                 from [01m[KS_Subproblem.cc:42[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KfreeSymbol.cc:43[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KfreeTerm.cc:40[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KfreeLhsAutomaton.cc:41[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KfreeRhsAutomaton.cc:40[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KfreeNet.cc:45[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KfreePreNet.cc:45[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KfreeRemainder.cc:41[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[K../../src/Core/variableInfo.hh:30[m[K,
                 from [01m[K../../src/Core/preEquation.hh:30[m[K,
                 from [01m[K../../src/Core/rule.hh:28[m[K,
                 from [01m[KrewriteSearchState.cc:42[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[K../../src/Core/variableInfo.hh:30[m[K,
                 from [01m[K../../src/Core/preEquation.hh:30[m[K,
                 from [01m[Kpattern.hh:28[m[K,
                 from [01m[KmatchSearchState.cc:41[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[Kpattern.cc:36[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[K../../src/Core/variableInfo.hh:30[m[K,
                 from [01m[K../../src/Core/preEquation.hh:30[m[K,
                 from [01m[KsearchState.cc:43[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[K../../src/Core/variableInfo.hh:30[m[K,
                 from [01m[K../../src/Core/preEquation.hh:30[m[K,
                 from [01m[Kpattern.hh:28[m[K,
                 from [01m[KrewriteSequenceSearch.cc:42[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KmodelCheckerSymbol.cc:42[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
In file included from [01m[KtemporalSymbol.hh:29:0[m[K,
                 from [01m[KmodelCheckerSymbol.hh:28[m[K,
                 from [01m[KmodelCheckerSymbol.cc:65[m[K:
[01m[K../../src/Core/dagNodeSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/dagNodeSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KrewriteConditionFragment.cc:39[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KassignmentConditionFragment.cc:39[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KsortTestConditionFragment.cc:39[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KequalityConditionFragment.cc:40[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KassignmentConditionState.cc:38[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KrewriteConditionState.cc:39[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KtemporalSymbol.cc:42[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
In file included from [01m[KtemporalSymbol.hh:29:0[m[K,
                 from [01m[KtemporalSymbol.cc:59[m[K:
[01m[K../../src/Core/dagNodeSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/dagNodeSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KsatSolverSymbol.cc:43[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
In file included from [01m[KtemporalSymbol.hh:29:0[m[K,
                 from [01m[KsatSolverSymbol.hh:28[m[K,
                 from [01m[KsatSolverSymbol.cc:62[m[K:
[01m[K../../src/Core/dagNodeSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/dagNodeSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[KunificationProblem.cc:43[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[K../../src/Core/variableInfo.hh:30[m[K,
                 from [01m[K../../src/Core/preEquation.hh:30[m[K,
                 from [01m[K../../src/Core/rule.hh:28[m[K,
                 from [01m[KnarrowingSearchState.cc:43[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[K../../src/Core/variableInfo.hh:30[m[K,
                 from [01m[K../../src/Core/preEquation.hh:30[m[K,
                 from [01m[K../../src/Core/rule.hh:28[m[K,
                 from [01m[KnarrowingUnificationProblem.cc:49[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[K../../src/Core/variableInfo.hh:30[m[K,
                 from [01m[K../../src/Core/preEquation.hh:30[m[K,
                 from [01m[Kpattern.hh:28[m[K,
                 from [01m[KnarrowingSequenceSearch.cc:47[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
In file included from [01m[K../../src/Core/protectedDagNodeSet.hh:28:0[m[K,
                 from [01m[KnarrowingSequenceSearch.hh:30[m[K,
                 from [01m[KnarrowingSequenceSearch.cc:49[m[K:
[01m[K../../src/Core/dagNodeSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/dagNodeSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KequalitySymbol.cc:40[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KsortTestSymbol.cc:39[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KbranchSymbol.cc:39[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KstringSymbol.cc:39[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KstringTerm.cc:39[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KstringOpSymbol.cc:41[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KfloatSymbol.cc:40[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KfloatTerm.cc:39[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KfloatOpSymbol.cc:42[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KsuccSymbol.cc:38[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KnumberOpSymbol.cc:38[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KminusSymbol.cc:38[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KACU_NumberOpSymbol.cc:40[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KCUI_NumberOpSymbol.cc:38[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KdivisionSymbol.cc:38[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KrandomOpSymbol.cc:38[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KcounterSymbol.cc:38[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KmatrixOpSymbol.cc:43[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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
[01m[KdirectoryManager.cc:[m[K In member function ‘[01m[Kconst char* DirectoryManager::popd(int)[m[K’:
[01m[KdirectoryManager.cc:256:16:[m[K [01;35m[Kwarning: [m[Kignoring return value of ‘[01m[Kint chdir(const char*)[m[K’, declared with attribute warn_unused_result [-Wunused-result]
  chdir(dirName);
[01;32m[K                ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KconfigSymbol.cc:44[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KobjectSystemRewritingContext.cc:40[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KsocketManagerSymbol.cc:43[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KmetaLevel.cc:51[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KinterpreterManagerSymbol.cc:44[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[K../../src/Core/variableInfo.hh:30[m[K,
                 from [01m[K../../src/Core/preEquation.hh:30[m[K,
                 from [01m[K../../src/Core/rule.hh:28[m[K,
                 from [01m[K../../src/Mixfix/userLevelRewritingContext.hh:34[m[K,
                 from [01m[KmetaOpCache.cc:55[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KmetaLevelOpSymbol.cc:48[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
In file included from [01m[K../../src/Core/protectedDagNodeSet.hh:28:0[m[K,
                 from [01m[K../../src/Higher/narrowingSequenceSearch.hh:30[m[K,
                 from [01m[KmetaLevelOpSymbol.cc:67[m[K:
[01m[K../../src/Core/dagNodeSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/dagNodeSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
In file included from [01m[KmetaLevelOpSymbol.cc:101:0[m[K:
[01m[KmetaMatch.cc:[m[K In member function ‘[01m[KMatchSearchState* MetaLevelOpSymbol::makeMatchSearchState2(MetaModule*, FreeDagNode*, RewritingContext&) const[m[K’:
[01m[KmetaMatch.cc:175:10:[m[K [01;35m[Kwarning: [m[Kconverting ‘[01m[Kfalse[m[K’ to pointer type ‘[01m[KMatchSearchState*[m[K’ [-Wconversion-null]
   return false;
[01;32m[K          ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KmetaPreModule.cc:40[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KapplicationStrategy.cc:37[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[K../../src/Core/variableInfo.hh:30[m[K,
                 from [01m[K../../src/Core/preEquation.hh:30[m[K,
                 from [01m[K../../src/Higher/pattern.hh:28[m[K,
                 from [01m[KtestStrategy.hh:29[m[K,
                 from [01m[KtestStrategy.cc:47[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KapplicationProcess.cc:38[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KsharedRewriteSearchState.cc:38[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KmatchProcess.cc:38[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KrewriteTask.cc:38[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[Krenaming.cc:38[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[Kview.cc:42[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KimportModule.cc:38[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KimportTranslation.cc:39[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KloopSymbol.cc:45[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KquotedIdentifierSymbol.cc:40[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KquotedIdentifierTerm.cc:41[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[K../../src/Core/variableInfo.hh:30[m[K,
                 from [01m[K../../src/Core/preEquation.hh:30[m[K,
                 from [01m[K../../src/Core/rule.hh:28[m[K,
                 from [01m[KuserLevelRewritingContext.hh:34[m[K,
                 from [01m[KquotedIdentifierOpSymbol.cc:61[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KmixfixModule.cc:55[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
In file included from [01m[K../../src/Higher/temporalSymbol.hh:29:0[m[K,
                 from [01m[K../../src/Higher/modelCheckerSymbol.hh:28[m[K,
                 from [01m[KmixfixModule.cc:114[m[K:
[01m[K../../src/Core/dagNodeSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/dagNodeSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[Kglobal.cc:42[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[K../../src/Core/variableInfo.hh:30[m[K,
                 from [01m[K../../src/Core/preEquation.hh:30[m[K,
                 from [01m[K../../src/Core/sortConstraint.hh:28[m[K,
                 from [01m[KuserLevelRewritingContext.cc:52[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
In file included from [01m[KuserLevelRewritingContext.cc:71:0[m[K:
[01m[Kinteract.cc:[m[K In static member function ‘[01m[Kstatic void UserLevelRewritingContext::stackOverflowHandler(int, stackoverflow_context_t)[m[K’:
[01m[Kinteract.cc:121:53:[m[K [01;35m[Kwarning: [m[Kignoring return value of ‘[01m[Kssize_t write(int, const void*, size_t)[m[K’, declared with attribute warn_unused_result [-Wunused-result]
   write(STDERR_FILENO, message, sizeof(message) - 1);
[01;32m[K                                                     ^[m[K
[01m[Kinteract.cc:[m[K In static member function ‘[01m[Kstatic void UserLevelRewritingContext::internalErrorHandler(int)[m[K’:
[01m[Kinteract.cc:147:55:[m[K [01;35m[Kwarning: [m[Kignoring return value of ‘[01m[Kssize_t write(int, const void*, size_t)[m[K’, declared with attribute warn_unused_result [-Wunused-result]
   write(STDERR_FILENO, message1, sizeof(message1) - 1);
[01;32m[K                                                       ^[m[K
[01m[Kinteract.cc:148:55:[m[K [01;35m[Kwarning: [m[Kignoring return value of ‘[01m[Kssize_t write(int, const void*, size_t)[m[K’, declared with attribute warn_unused_result [-Wunused-result]
   write(STDERR_FILENO, message2, sizeof(message2) - 1);
[01;32m[K                                                       ^[m[K
[01m[Kinteract.cc:149:55:[m[K [01;35m[Kwarning: [m[Kignoring return value of ‘[01m[Kssize_t write(int, const void*, size_t)[m[K’, declared with attribute warn_unused_result [-Wunused-result]
   write(STDERR_FILENO, message3, sizeof(message3) - 1);
[01;32m[K                                                       ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KpreModule.cc:44[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KsyntacticPreModule.cc:44[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KmaudemlBuffer.cc:44[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[Kinterpreter.cc:42[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
In file included from [01m[K../../src/Core/protectedDagNodeSet.hh:28:0[m[K,
                 from [01m[K../../src/Higher/narrowingSequenceSearch.hh:30[m[K,
                 from [01m[Kinterpreter.cc:53[m[K:
[01m[K../../src/Core/dagNodeSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/dagNodeSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KprofileModule.cc:38[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KmixfixParser.cc:46[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[KvisibleModule.cc:39[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[K../../src/Core/variableInfo.hh:30[m[K,
                 from [01m[K../../src/Core/preEquation.hh:30[m[K,
                 from [01m[KmetadataStore.cc:41[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[K../../src/Core/variableInfo.hh:30[m[K,
                 from [01m[K../../src/Core/preEquation.hh:30[m[K,
                 from [01m[KprintAttribute.cc:42[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[K../../src/Core/variableInfo.hh:30[m[K,
                 from [01m[K../../src/Core/preEquation.hh:30[m[K,
                 from [01m[K../../src/Core/rule.hh:28[m[K,
                 from [01m[KuserLevelRewritingContext.hh:34[m[K,
                 from [01m[K./lexer.ll:48[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
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 [01m[K../../src/Interface/term.hh:34:0[m[K,
                 from [01m[K../../src/Variable/variableTerm.hh:28[m[K,
                 from [01m[K../../src/Core/variableInfo.hh:30[m[K,
                 from [01m[K../../src/Core/preEquation.hh:30[m[K,
                 from [01m[K../../src/Core/rule.hh:28[m[K,
                 from [01m[KuserLevelRewritingContext.hh:34[m[K,
                 from [01m[Ksurface.yy:54[m[K:
[01m[K../../src/Core/termSet.hh:35:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::cardinality;
[01;32m[K   ^[m[K
[01m[K../../src/Core/termSet.hh:36:3:[m[K [01;35m[Kwarning: [m[Kaccess declarations are deprecated in favour of using-declarations; suggestion: add the ‘[01m[Kusing[m[K’ keyword [-Wdeprecated]
   PointerSet::makeEmpty;
[01;32m[K   ^[m[K
[01m[Ksurface.yy:[m[K In function ‘[01m[Kint yyparse()[m[K’:
[01m[Ksurface.yy:63:67:[m[K [01;31m[Kerror: [m[K‘[01m[KparseResult[m[K’ was not declared in this scope
 #define PARSE_RESULT (*((UserLevelRewritingContext::ParseResult*) parseResult))
[01;32m[K                                                                   ^[m[K
[01m[Ksurface.yy:235:6:[m[K [01;36m[Knote: [m[Kin expansion of macro ‘[01m[KPARSE_RESULT[m[K’
      PARSE_RESULT = UserLevelRewritingContext::QUIT;
[01;32m[K      ^[m[K
[01m[Ksurface.yy:63:67:[m[K [01;31m[Kerror: [m[K‘[01m[KparseResult[m[K’ was not declared in this scope
 #define PARSE_RESULT (*((UserLevelRewritingContext::ParseResult*) parseResult))
[01;32m[K                                                                   ^[m[K
[01m[Ksurface.yy:312:6:[m[K [01;36m[Knote: [m[Kin expansion of macro ‘[01m[KPARSE_RESULT[m[K’
      PARSE_RESULT = UserLevelRewritingContext::QUIT;
[01;32m[K      ^[m[K
[01m[Ksurface.yy:63:67:[m[K [01;31m[Kerror: [m[K‘[01m[KparseResult[m[K’ was not declared in this scope
 #define PARSE_RESULT (*((UserLevelRewritingContext::ParseResult*) parseResult))
[01;32m[K                                                                   ^[m[K
[01m[Ksurface.yy:319:10:[m[K [01;36m[Knote: [m[Kin expansion of macro ‘[01m[KPARSE_RESULT[m[K’
          PARSE_RESULT = UserLevelRewritingContext::QUIT;
[01;32m[K          ^[m[K
[01m[Ksurface.yy:573:4:[m[K [01;31m[Kerror: [m[Kexpected ‘[01m[K;[m[K’ before ‘[01m[K}[m[K’ token
    }
[01;32m[K    ^[m[K
[01m[Ksurface.yy:1097:33:[m[K [01;31m[Kerror: [m[Kexpected ‘[01m[K;[m[K’ before ‘[01m[K}[m[K’ token
 command  : KW_SELECT  { lexBubble(END_COMMAND, 1) }
[01;32m[K                                 ^[m[K
[01m[Ksurface.yy:1102:33:[m[K [01;31m[Kerror: [m[Kexpected ‘[01m[K;[m[K’ before ‘[01m[K}[m[K’ token
   | KW_DUMP   { lexBubble(END_COMMAND, 1) }
[01;32m[K                                 ^[m[K
[01m[Ksurface.yy:63:67:[m[K [01;31m[Kerror: [m[K‘[01m[KparseResult[m[K’ was not declared in this scope
 #define PARSE_RESULT (*((UserLevelRewritingContext::ParseResult*) parseResult))
[01;32m[K                                                                   ^[m[K
[01m[Ksurface.yy:1490:6:[m[K [01;36m[Knote: [m[Kin expansion of macro ‘[01m[KPARSE_RESULT[m[K’
      PARSE_RESULT = UserLevelRewritingContext::RESUME;
[01;32m[K      ^[m[K
[01m[Ksurface.yy:63:67:[m[K [01;31m[Kerror: [m[K‘[01m[KparseResult[m[K’ was not declared in this scope
 #define PARSE_RESULT (*((UserLevelRewritingContext::ParseResult*) parseResult))
[01;32m[K                                                                   ^[m[K
[01m[Ksurface.yy:1494:6:[m[K [01;36m[Knote: [m[Kin expansion of macro ‘[01m[KPARSE_RESULT[m[K’
      PARSE_RESULT = UserLevelRewritingContext::ABORT;
[01;32m[K      ^[m[K
[01m[Ksurface.yy:63:67:[m[K [01;31m[Kerror: [m[K‘[01m[KparseResult[m[K’ was not declared in this scope
 #define PARSE_RESULT (*((UserLevelRewritingContext::ParseResult*) parseResult))
[01;32m[K                                                                   ^[m[K
[01m[Ksurface.yy:1498:6:[m[K [01;36m[Knote: [m[Kin expansion of macro ‘[01m[KPARSE_RESULT[m[K’
      PARSE_RESULT = UserLevelRewritingContext::STEP;
[01;32m[K      ^[m[K
[01m[Ksurface.yy:63:67:[m[K [01;31m[Kerror: [m[K‘[01m[KparseResult[m[K’ was not declared in this scope
 #define PARSE_RESULT (*((UserLevelRewritingContext::ParseResult*) parseResult))
[01;32m[K                                                                   ^[m[K
[01m[Ksurface.yy:1502:6:[m[K [01;36m[Knote: [m[Kin expansion of macro ‘[01m[KPARSE_RESULT[m[K’
      PARSE_RESULT = UserLevelRewritingContext::WHERE;
[01;32m[K      ^[m[K
[01m[Ksurface.c:5250:35:[m[K [01;35m[Kwarning: [m[Kdeprecated conversion from string constant to ‘[01m[Kchar*[m[K’ [-Wwrite-strings]
[01m[Ksurface.c:5394:35:[m[K [01;35m[Kwarning: [m[Kdeprecated conversion from string constant to ‘[01m[Kchar*[m[K’ [-Wwrite-strings]
[01m[Ksurface.yy:308:58:[m[K [01;35m[Kwarning: [m[Kignoring return value of ‘[01m[Kint system(const char*)[m[K’, declared with attribute warn_unused_result [-Wunused-result]
      system((string("ls") + $3).c_str());
[01;32m[K                                                          ^[m[K
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'