dev-lang:maude-3.1-r1:20220407-233643.log

dev-lang:maude-3.1-r1:20220407-233643.log (text/plain), 182.04 KB, created by Toralf Förster on 2022-04-08 14:03:02 UTC

 * Package:    dev-lang/maude-3.1-r1
 * Repository: gentoo
 * Maintainer: [e-mail]
 * USE:        abi_x86_64 amd64 elibc_glibc kernel_linux userland_GNU
 * FEATURES:   network-sandbox preserve-libs sandbox userpriv usersandbox

>>> Unpacking source...
>>> Unpacking Maude-3.1.tar.gz to /var/tmp/portage/dev-lang/maude-3.1-r1/work
>>> Unpacking Full-Maude-3.1.zip to /var/tmp/portage/dev-lang/maude-3.1-r1/work
>>> Source unpacked in /var/tmp/portage/dev-lang/maude-3.1-r1/work
>>> Preparing source in /var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1 ...
 * Applying maude-2.6-search-datadir.patch ...
 [ ok ]
 * Applying maude-2.7-AR.patch ...
 [ ok ]
 * Applying maude-3.1-prll.patch ...
 [ ok ]
 * Running eautoreconf in '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1' ...
 * Running 'aclocal --system-acdir=/var/tmp/portage/dev-lang/maude-3.1-r1/temp/aclocal' ...
 [ ok ]
 * Running 'autoconf --force' ...
 [ ok ]
 * Running 'autoheader' ...
 [ ok ]
 * Running 'automake --add-missing --copy --force-missing' ...
 [ ok ]
 * Running elibtoolize in: maude-3.1/
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1 ...
 * econf: updating maude-3.1/config.sub with /usr/share/gnuconfig/config.sub
 * econf: updating maude-3.1/config.guess with /usr/share/gnuconfig/config.guess
./configure --prefix=/usr --build=x86_64-pc-linux-gnu --host=x86_64-pc-linux-gnu --mandir=/usr/share/man --infodir=/usr/share/info --datadir=/usr/share --sysconfdir=/etc --localstatedir=/var/lib --datarootdir=/usr/share --disable-dependency-tracking --disable-silent-rules --docdir=/usr/share/doc/maude-3.1-r1 --htmldir=/usr/share/doc/maude-3.1-r1/html --libdir=/usr/lib64 --datadir=/usr/share/maude --without-yices2 --without-libsigsegv
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.9/ebuild-helpers/xattr/install -c
checking whether build environment is sane... yes
checking for a race-free 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 the compiler supports GNU C... yes
checking whether x86_64-pc-linux-gnu-gcc accepts -g... yes
checking for x86_64-pc-linux-gnu-gcc option to enable C11 features... none needed
checking whether x86_64-pc-linux-gnu-gcc understands -c and -o together... yes
checking whether make supports the include directive... yes (GNU style)
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 the compiler supports GNU C++... yes
checking whether x86_64-pc-linux-gnu-g++ accepts -g... yes
checking for x86_64-pc-linux-gnu-g++ option to enable C++11 features... none needed
checking dependency style of x86_64-pc-linux-gnu-g++... none
checking for x86_64-pc-linux-gnu-ar... x86_64-pc-linux-gnu-ar
checking the archiver (x86_64-pc-linux-gnu-ar) interface... ar
checking g++ compiler version... 11.2.1
checking for x86_64-pc-linux-gnu-ranlib... x86_64-pc-linux-gnu-ranlib
checking for ppoll(2)... yes
checking for socket in -lsocket... no
checking for stdio.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for strings.h... yes
checking for sys/stat.h... yes
checking for sys/types.h... yes
checking for unistd.h... yes
checking for sys/time.h... yes
checking for sys/time.h... (cached) yes
checking for math.h... yes
checking for ieeefp.h... no
checking for sys/termios.h... yes
checking for stddef.h... yes
checking for limits.h... yes
checking for stdlib.h... (cached) yes
checking for stdio.h... (cached) yes
checking for ctype.h... yes
checking for unistd.h... (cached) yes
checking for ostream... yes
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/Parser/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/StrategyLanguage/Makefile
config.status: creating src/Mixfix/Makefile
config.status: creating src/SMT/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 tests/StrategyLanguage/Makefile
config.status: creating config.h
config.status: executing depfiles commands
>>> Source configured.
>>> Compiling source in /var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1 ...
make -j4 
make  all-recursive
make[1]: Entering directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1'
Making all in src
make[2]: Entering directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src'
Making all in 3rdParty
make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src/3rdParty'
make[3]: Nothing to be done for 'all'.
make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src/3rdParty'
Making all in Utility
make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src/Utility'
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libutility_a-macros.o `test -f 'macros.cc' || echo './'`macros.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libutility_a-preVector.o `test -f 'preVector.cc' || echo './'`preVector.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libutility_a-intSet.o `test -f 'intSet.cc' || echo './'`intSet.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libutility_a-pointerSet.o `test -f 'pointerSet.cc' || echo './'`pointerSet.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libutility_a-stringTable.o `test -f 'stringTable.cc' || echo './'`stringTable.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libutility_a-graph.o `test -f 'graph.cc' || echo './'`graph.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libutility_a-digraph.o `test -f 'digraph.cc' || echo './'`digraph.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libutility_a-unionFind.o `test -f 'unionFind.cc' || echo './'`unionFind.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libutility_a-diophantineSystem.o `test -f 'diophantineSystem.cc' || echo './'`diophantineSystem.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libutility_a-natSet.o `test -f 'natSet.cc' || echo './'`natSet.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libutility_a-pointerMap.o `test -f 'pointerMap.cc' || echo './'`pointerMap.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libutility_a-sequencePartition.o `test -f 'sequencePartition.cc' || echo './'`sequencePartition.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libutility_a-indent.o `test -f 'indent.cc' || echo './'`indent.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libutility_a-binBuf.o `test -f 'binBuf.cc' || echo './'`binBuf.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libutility_a-decBuf.o `test -f 'decBuf.cc' || echo './'`decBuf.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libutility_a-bddUser.o `test -f 'bddUser.cc' || echo './'`bddUser.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libutility_a-tty.o `test -f 'tty.cc' || echo './'`tty.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libutility_a-bdd.o `test -f 'bdd.cc' || echo './'`bdd.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libutility_a-timer.o `test -f 'timer.cc' || echo './'`timer.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libutility_a-mpzSystem.o `test -f 'mpzSystem.cc' || echo './'`mpzSystem.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libutility_a-intSystem.o `test -f 'intSystem.cc' || echo './'`intSystem.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libutility_a-allSat.o `test -f 'allSat.cc' || echo './'`allSat.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libutility_a-sequenceAssignment.o `test -f 'sequenceAssignment.cc' || echo './'`sequenceAssignment.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libutility_a-pigPug.o `test -f 'pigPug.cc' || echo './'`pigPug.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libutility_a-wordLevel.o `test -f 'wordLevel.cc' || echo './'`wordLevel.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libutility_a-wordSystem.o `test -f 'wordSystem.cc' || echo './'`wordSystem.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libutility_a-rope.o `test -f 'rope.cc' || echo './'`rope.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libutility_a-variableConstraint.o `test -f 'variableConstraint.cc' || echo './'`variableConstraint.cc
rm -f libutility.a
x86_64-pc-linux-gnu-ar cru libutility.a libutility_a-macros.o libutility_a-preVector.o libutility_a-intSet.o libutility_a-pointerSet.o libutility_a-stringTable.o libutility_a-graph.o libutility_a-digraph.o libutility_a-unionFind.o libutility_a-diophantineSystem.o libutility_a-natSet.o libutility_a-pointerMap.o libutility_a-sequencePartition.o libutility_a-indent.o libutility_a-binBuf.o libutility_a-decBuf.o libutility_a-bddUser.o libutility_a-tty.o libutility_a-bdd.o libutility_a-timer.o libutility_a-mpzSystem.o libutility_a-intSystem.o libutility_a-allSat.o libutility_a-sequenceAssignment.o libutility_a-pigPug.o libutility_a-wordLevel.o libutility_a-wordSystem.o libutility_a-rope.o libutility_a-variableConstraint.o 
x86_64-pc-linux-gnu-ranlib libutility.a
make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src/Utility'
Making all in Parser
make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src/Parser'
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility   -pipe -march=native -fno-diagnostics-color -O2 -c -o libparser_a-parser.o `test -f 'parser.cc' || echo './'`parser.cc
rm -f libparser.a
x86_64-pc-linux-gnu-ar cru libparser.a libparser_a-parser.o 
x86_64-pc-linux-gnu-ranlib libparser.a
make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src/Parser'
Making all in Temporal
make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src/Temporal'
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libtemporal_a-modelChecker2.o `test -f 'modelChecker2.cc' || echo './'`modelChecker2.cc
rm -f libtemporal.a
x86_64-pc-linux-gnu-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-3.1-r1/work/maude-3.1/src/Temporal'
Making all in Interface
make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libinterface_a-symbol.o `test -f 'symbol.cc' || echo './'`symbol.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler   -pipe -march=native -fno-diagnostics-color -O2 -c -o libinterface_a-binarySymbol.o `test -f 'binarySymbol.cc' || echo './'`binarySymbol.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler   -pipe -march=native -fno-diagnostics-color -O2 -c -o libinterface_a-associativeSymbol.o `test -f 'associativeSymbol.cc' || echo './'`associativeSymbol.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler   -pipe -march=native -fno-diagnostics-color -O2 -c -o libinterface_a-term.o `test -f 'term.cc' || echo './'`term.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler   -pipe -march=native -fno-diagnostics-color -O2 -c -o libinterface_a-dagNode.o `test -f 'dagNode.cc' || echo './'`dagNode.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler   -pipe -march=native -fno-diagnostics-color -O2 -c -o libinterface_a-regularInstruction.o `test -f 'regularInstruction.cc' || echo './'`regularInstruction.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler   -pipe -march=native -fno-diagnostics-color -O2 -c -o libinterface_a-nonFinalInstruction.o `test -f 'nonFinalInstruction.cc' || echo './'`nonFinalInstruction.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Core -I../../src/Variable -I../../src/FullCompiler   -pipe -march=native -fno-diagnostics-color -O2 -c -o libinterface_a-nonFinalExtor.o `test -f 'nonFinalExtor.cc' || echo './'`nonFinalExtor.cc
rm -f libinterface.a
x86_64-pc-linux-gnu-ar cru libinterface.a libinterface_a-symbol.o libinterface_a-binarySymbol.o libinterface_a-associativeSymbol.o libinterface_a-term.o libinterface_a-dagNode.o libinterface_a-regularInstruction.o libinterface_a-nonFinalInstruction.o libinterface_a-nonFinalExtor.o 
x86_64-pc-linux-gnu-ranlib libinterface.a
make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src/Interface'
Making all in Core
make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/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 -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -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 -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -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 -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -c -o libcore_a-termBag.o `test -f 'termBag.cc' || echo './'`termBag.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -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 -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -c -o libcore_a-trivialRhsAutomaton.o `test -f 'trivialRhsAutomaton.cc' || echo './'`trivialRhsAutomaton.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -c -o libcore_a-copyRhsAutomaton.o `test -f 'copyRhsAutomaton.cc' || echo './'`copyRhsAutomaton.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -c -o libcore_a-variableInfo.o `test -f 'variableInfo.cc' || echo './'`variableInfo.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -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 -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -c -o libcore_a-termSet.o `test -f 'termSet.cc' || echo './'`termSet.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -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 -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -c -o libcore_a-sortTable.o `test -f 'sortTable.cc' || echo './'`sortTable.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -c -o libcore_a-sortConstraintTable.o `test -f 'sortConstraintTable.cc' || echo './'`sortConstraintTable.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -c -o libcore_a-equationTable.o `test -f 'equationTable.cc' || echo './'`equationTable.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -c -o libcore_a-ruleTable.o `test -f 'ruleTable.cc' || echo './'`ruleTable.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -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 -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -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 -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -c -o libcore_a-module.o `test -f 'module.cc' || echo './'`module.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -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 -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -c -o libcore_a-localBinding.o `test -f 'localBinding.cc' || echo './'`localBinding.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -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 -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -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 -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -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 -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -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 -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -c -o libcore_a-preEquation.o `test -f 'preEquation.cc' || echo './'`preEquation.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -c -o libcore_a-equation.o `test -f 'equation.cc' || echo './'`equation.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -c -o libcore_a-rule.o `test -f 'rule.cc' || echo './'`rule.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -c -o libcore_a-sortConstraint.o `test -f 'sortConstraint.cc' || echo './'`sortConstraint.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -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 -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -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 -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -c -o libcore_a-equalitySubproblem.o `test -f 'equalitySubproblem.cc' || echo './'`equalitySubproblem.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -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 -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -c -o libcore_a-cachedDag.o `test -f 'cachedDag.cc' || echo './'`cachedDag.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -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 -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -c -o libcore_a-dagNodeSet.o `test -f 'dagNodeSet.cc' || echo './'`dagNodeSet.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -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 -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -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 -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -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 -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -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 -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -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 -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -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 -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -c -o libcore_a-protectedDagNodeSet.o `test -f 'protectedDagNodeSet.cc' || echo './'`protectedDagNodeSet.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -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 -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -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 -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -c -o libcore_a-compoundCycleSubproblem.o `test -f 'compoundCycleSubproblem.cc' || echo './'`compoundCycleSubproblem.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -c -o libcore_a-stackMachine.o `test -f 'stackMachine.cc' || echo './'`stackMachine.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -c -o libcore_a-stackMachineRhsCompiler.o `test -f 'stackMachineRhsCompiler.cc' || echo './'`stackMachineRhsCompiler.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -c -o libcore_a-returnInstruction.o `test -f 'returnInstruction.cc' || echo './'`returnInstruction.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -c -o libcore_a-nullInstruction.o `test -f 'nullInstruction.cc' || echo './'`nullInstruction.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -c -o libcore_a-rewriteStrategy.o `test -f 'rewriteStrategy.cc' || echo './'`rewriteStrategy.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Interface -I../../src/Variable -I../../src/FullCompiler -I../../src/StrategyLanguage   -pipe -march=native -fno-diagnostics-color -O2 -c -o libcore_a-strategyDefinition.o `test -f 'strategyDefinition.cc' || echo './'`strategyDefinition.cc
rm -f libcore.a
x86_64-pc-linux-gnu-ar cru libcore.a libcore_a-memoryCell.o libcore_a-rhsBuilder.o libcore_a-termBag.o libcore_a-bindingLhsAutomaton.o libcore_a-trivialRhsAutomaton.o libcore_a-copyRhsAutomaton.o libcore_a-variableInfo.o libcore_a-narrowingVariableInfo.o libcore_a-termSet.o libcore_a-strategy.o libcore_a-sortTable.o libcore_a-sortConstraintTable.o libcore_a-equationTable.o libcore_a-ruleTable.o libcore_a-sort.o libcore_a-connectedComponent.o libcore_a-module.o libcore_a-substitution.o libcore_a-localBinding.o libcore_a-subproblemSequence.o libcore_a-subproblemDisjunction.o libcore_a-sortCheckSubproblem.o libcore_a-disjunctiveSubproblemAccumulator.o libcore_a-preEquation.o libcore_a-equation.o libcore_a-rule.o libcore_a-sortConstraint.o libcore_a-rewritingContext.o libcore_a-variableAbstractionSubproblem.o libcore_a-equalitySubproblem.o libcore_a-dagRoot.o libcore_a-cachedDag.o libcore_a-extensionMatchSubproblem.o libcore_a-dagNodeSet.o libcore_a-hashConsSet.o libcore_a-memoTable.o libcore_a-memoMap.o libcore_a-rootContainer.o libcore_a-sortBdds.o libcore_a-unificationContext.o libcore_a-protectedDagNodeSet.o libcore_a-pendingUnificationStack.o libcore_a-unificationSubproblemDisjunction.o libcore_a-compoundCycleSubproblem.o libcore_a-stackMachine.o libcore_a-stackMachineRhsCompiler.o libcore_a-returnInstruction.o libcore_a-nullInstruction.o libcore_a-rewriteStrategy.o libcore_a-strategyDefinition.o 
x86_64-pc-linux-gnu-ranlib libcore.a
make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src/Core'
Making all in Variable
make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libvariable_a-variableSymbol.o `test -f 'variableSymbol.cc' || echo './'`variableSymbol.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/FullCompiler   -pipe -march=native -fno-diagnostics-color -O2 -c -o libvariable_a-variableTerm.o `test -f 'variableTerm.cc' || echo './'`variableTerm.cc
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I../../src/Interface -I../../src/Core -I../../src/FullCompiler   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libvariable_a-variableLhsAutomaton.o `test -f 'variableLhsAutomaton.cc' || echo './'`variableLhsAutomaton.cc
rm -f libvariable.a
x86_64-pc-linux-gnu-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-3.1-r1/work/maude-3.1/src/Variable'
Making all in NA_Theory
make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libNA_Theory_a-NA_Term.o `test -f 'NA_Term.cc' || echo './'`NA_Term.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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libNA_Theory_a-NA_LhsAutomaton.o `test -f 'NA_LhsAutomaton.cc' || echo './'`NA_LhsAutomaton.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libNA_Theory_a-NA_RhsAutomaton.o `test -f 'NA_RhsAutomaton.cc' || echo './'`NA_RhsAutomaton.cc
rm -f libNA_Theory.a
x86_64-pc-linux-gnu-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-3.1-r1/work/maude-3.1/src/NA_Theory'
Making all in ACU_Persistent
make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libACU_Persistent_a-ACU_RedBlackNode.o `test -f 'ACU_RedBlackNode.cc' || echo './'`ACU_RedBlackNode.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libACU_Persistent_a-ACU_Tree.o `test -f 'ACU_Tree.cc' || echo './'`ACU_Tree.cc
rm -f libACU_Persistent.a
x86_64-pc-linux-gnu-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-3.1-r1/work/maude-3.1/src/ACU_Persistent'
Making all in ACU_Theory
make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libACU_Theory_a-ACU_Symbol.o `test -f 'ACU_Symbol.cc' || echo './'`ACU_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/ACU_Persistent -I../../src/FullCompiler   -pipe -march=native -fno-diagnostics-color -O2 -c -o libACU_Theory_a-ACU_Term.o `test -f 'ACU_Term.cc' || echo './'`ACU_Term.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libACU_Theory_a-ACU_BaseDagNode.o `test -f 'ACU_BaseDagNode.cc' || echo './'`ACU_BaseDagNode.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libACU_Theory_a-ACU_DagNode.o `test -f 'ACU_DagNode.cc' || echo './'`ACU_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/ACU_Persistent -I../../src/FullCompiler   -pipe -march=native -fno-diagnostics-color -O2 -c -o libACU_Theory_a-ACU_TreeDagNode.o `test -f 'ACU_TreeDagNode.cc' || echo './'`ACU_TreeDagNode.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libACU_Theory_a-ACU_RhsAutomaton.o `test -f 'ACU_RhsAutomaton.cc' || echo './'`ACU_RhsAutomaton.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libACU_Theory_a-ACU_LhsAutomaton.o `test -f 'ACU_LhsAutomaton.cc' || echo './'`ACU_LhsAutomaton.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libACU_Theory_a-ACU_Subproblem.o `test -f 'ACU_Subproblem.cc' || echo './'`ACU_Subproblem.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libACU_Theory_a-ACU_ExtensionInfo.o `test -f 'ACU_ExtensionInfo.cc' || echo './'`ACU_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/ACU_Persistent -I../../src/FullCompiler   -pipe -march=native -fno-diagnostics-color -O2 -c -o libACU_Theory_a-ACU_CollectorLhsAutomaton.o `test -f 'ACU_CollectorLhsAutomaton.cc' || echo './'`ACU_CollectorLhsAutomaton.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libACU_Theory_a-ACU_NGA_LhsAutomaton.o `test -f 'ACU_NGA_LhsAutomaton.cc' || echo './'`ACU_NGA_LhsAutomaton.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libACU_Theory_a-ACU_VarLhsAutomaton.o `test -f 'ACU_VarLhsAutomaton.cc' || echo './'`ACU_VarLhsAutomaton.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libACU_Theory_a-ACU_GndLhsAutomaton.o `test -f 'ACU_GndLhsAutomaton.cc' || echo './'`ACU_GndLhsAutomaton.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libACU_Theory_a-ACU_NonLinearLhsAutomaton.o `test -f 'ACU_NonLinearLhsAutomaton.cc' || echo './'`ACU_NonLinearLhsAutomaton.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libACU_Theory_a-ACU_ArgumentIterator.o `test -f 'ACU_ArgumentIterator.cc' || echo './'`ACU_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/ACU_Persistent -I../../src/FullCompiler   -pipe -march=native -fno-diagnostics-color -O2 -c -o libACU_Theory_a-ACU_DagArgumentIterator.o `test -f 'ACU_DagArgumentIterator.cc' || echo './'`ACU_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/ACU_Persistent -I../../src/FullCompiler   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libACU_Theory_a-ACU_LazySubproblem.o `test -f 'ACU_LazySubproblem.cc' || echo './'`ACU_LazySubproblem.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libACU_Theory_a-ACU_UnificationSubproblem2.o `test -f 'ACU_UnificationSubproblem2.cc' || echo './'`ACU_UnificationSubproblem2.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libACU_Theory_a-ACU_BndVarLhsAutomaton.o `test -f 'ACU_BndVarLhsAutomaton.cc' || echo './'`ACU_BndVarLhsAutomaton.cc
rm -f libACU_Theory.a
x86_64-pc-linux-gnu-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 libACU_Theory_a-ACU_BndVarLhsAutomaton.o 
x86_64-pc-linux-gnu-ranlib libACU_Theory.a
make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src/ACU_Theory'
Making all in AU_Persistent
make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libAU_Persistent_a-AU_DequeIter.o `test -f 'AU_DequeIter.cc' || echo './'`AU_DequeIter.cc
rm -f libAU_Persistent.a
x86_64-pc-linux-gnu-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-3.1-r1/work/maude-3.1/src/AU_Persistent'
Making all in AU_Theory
make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libAU_Theory_a-AU_Symbol.o `test -f 'AU_Symbol.cc' || echo './'`AU_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/AU_Persistent -I../../src/FullCompiler   -pipe -march=native -fno-diagnostics-color -O2 -c -o libAU_Theory_a-AU_DagNode.o `test -f 'AU_DagNode.cc' || echo './'`AU_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/AU_Persistent -I../../src/FullCompiler   -pipe -march=native -fno-diagnostics-color -O2 -c -o libAU_Theory_a-AU_DequeDagNode.o `test -f 'AU_DequeDagNode.cc' || echo './'`AU_DequeDagNode.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libAU_Theory_a-AU_Term.o `test -f 'AU_Term.cc' || echo './'`AU_Term.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libAU_Theory_a-AU_DagArgumentIterator.o `test -f 'AU_DagArgumentIterator.cc' || echo './'`AU_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/AU_Persistent -I../../src/FullCompiler   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libAU_Theory_a-AU_ExtensionInfo.o `test -f 'AU_ExtensionInfo.cc' || echo './'`AU_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/AU_Persistent -I../../src/FullCompiler   -pipe -march=native -fno-diagnostics-color -O2 -c -o libAU_Theory_a-AU_RhsAutomaton.o `test -f 'AU_RhsAutomaton.cc' || echo './'`AU_RhsAutomaton.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libAU_Theory_a-AU_LhsAutomaton.o `test -f 'AU_LhsAutomaton.cc' || echo './'`AU_LhsAutomaton.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libAU_Theory_a-AU_ArgumentIterator.o `test -f 'AU_ArgumentIterator.cc' || echo './'`AU_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/AU_Persistent -I../../src/FullCompiler   -pipe -march=native -fno-diagnostics-color -O2 -c -o libAU_Theory_a-AU_Layer.o `test -f 'AU_Layer.cc' || echo './'`AU_Layer.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libAU_Theory_a-AU_Subproblem.o `test -f 'AU_Subproblem.cc' || echo './'`AU_Subproblem.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libAU_Theory_a-AU_UnificationSubproblem2.o `test -f 'AU_UnificationSubproblem2.cc' || echo './'`AU_UnificationSubproblem2.cc
rm -f libAU_Theory.a
x86_64-pc-linux-gnu-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 libAU_Theory_a-AU_UnificationSubproblem2.o 
x86_64-pc-linux-gnu-ranlib libAU_Theory.a
make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src/AU_Theory'
Making all in CUI_Theory
make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libCUI_Theory_a-CUI_Symbol.o `test -f 'CUI_Symbol.cc' || echo './'`CUI_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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libCUI_Theory_a-CUI_DagNode.o `test -f 'CUI_DagNode.cc' || echo './'`CUI_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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libCUI_Theory_a-CUI_RhsAutomaton.o `test -f 'CUI_RhsAutomaton.cc' || echo './'`CUI_RhsAutomaton.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libCUI_Theory_a-CUI_Term.o `test -f 'CUI_Term.cc' || echo './'`CUI_Term.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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libCUI_Theory_a-CUI_UnificationSubproblem.o `test -f 'CUI_UnificationSubproblem.cc' || echo './'`CUI_UnificationSubproblem.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libCUI_Theory_a-CUI_UnificationSubproblem2.o `test -f 'CUI_UnificationSubproblem2.cc' || echo './'`CUI_UnificationSubproblem2.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libCUI_Theory_a-CUI_LhsAutomaton.o `test -f 'CUI_LhsAutomaton.cc' || echo './'`CUI_LhsAutomaton.cc
rm -f libCUI_Theory.a
x86_64-pc-linux-gnu-ar cru libCUI_Theory.a libCUI_Theory_a-CUI_Symbol.o libCUI_Theory_a-CUI_DagNode.o libCUI_Theory_a-CUI_DagArgumentIterator.o libCUI_Theory_a-CUI_RhsAutomaton.o libCUI_Theory_a-CUI_Term.o libCUI_Theory_a-CUI_ArgumentIterator.o libCUI_Theory_a-CUI_UnificationSubproblem.o libCUI_Theory_a-CUI_UnificationSubproblem2.o libCUI_Theory_a-CUI_LhsAutomaton.o 
x86_64-pc-linux-gnu-ranlib libCUI_Theory.a
make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src/CUI_Theory'
Making all in S_Theory
make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libS_Theory_a-S_Symbol.o `test -f 'S_Symbol.cc' || echo './'`S_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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libS_Theory_a-S_DagNode.o `test -f 'S_DagNode.cc' || echo './'`S_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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libS_Theory_a-S_Term.o `test -f 'S_Term.cc' || echo './'`S_Term.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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libS_Theory_a-S_LhsAutomaton.o `test -f 'S_LhsAutomaton.cc' || echo './'`S_LhsAutomaton.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libS_Theory_a-S_RhsAutomaton.o `test -f 'S_RhsAutomaton.cc' || echo './'`S_RhsAutomaton.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libS_Theory_a-S_Subproblem.o `test -f 'S_Subproblem.cc' || echo './'`S_Subproblem.cc
rm -f libS_Theory.a
x86_64-pc-linux-gnu-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-3.1-r1/work/maude-3.1/src/S_Theory'
Making all in FreeTheory
make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libfreeTheory_a-freeSymbol.o `test -f 'freeSymbol.cc' || echo './'`freeSymbol.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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libfreeTheory_a-freeNullarySymbol.o `test -f 'freeNullarySymbol.cc' || echo './'`freeNullarySymbol.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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libfreeTheory_a-freeTerm.o `test -f 'freeTerm.cc' || echo './'`freeTerm.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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libfreeTheory_a-freeLhsAutomaton.o `test -f 'freeLhsAutomaton.cc' || echo './'`freeLhsAutomaton.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libfreeTheory_a-freeRhsAutomaton.o `test -f 'freeRhsAutomaton.cc' || echo './'`freeRhsAutomaton.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libfreeTheory_a-freeNet.o `test -f 'freeNet.cc' || echo './'`freeNet.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libfreeTheory_a-freePreNet.o `test -f 'freePreNet.cc' || echo './'`freePreNet.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libfreeTheory_a-freeRemainder.o `test -f 'freeRemainder.cc' || echo './'`freeRemainder.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libfreeTheory_a-freePositionTable.o `test -f 'freePositionTable.cc' || echo './'`freePositionTable.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libfreeTheory_a-freeInstruction.o `test -f 'freeInstruction.cc' || echo './'`freeInstruction.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libfreeTheory_a-freeFastInstruction.o `test -f 'freeFastInstruction.cc' || echo './'`freeFastInstruction.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libfreeTheory_a-freeGeneralCtor.o `test -f 'freeGeneralCtor.cc' || echo './'`freeGeneralCtor.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libfreeTheory_a-freeGeneralCtorFinal.o `test -f 'freeGeneralCtorFinal.cc' || echo './'`freeGeneralCtorFinal.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libfreeTheory_a-freeGeneralExtor.o `test -f 'freeGeneralExtor.cc' || echo './'`freeGeneralExtor.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libfreeTheory_a-freeGeneralExtorFinal.o `test -f 'freeGeneralExtorFinal.cc' || echo './'`freeGeneralExtorFinal.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libfreeTheory_a-freeFast3RhsAutomaton.o `test -f 'freeFast3RhsAutomaton.cc' || echo './'`freeFast3RhsAutomaton.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libfreeTheory_a-freeFast2RhsAutomaton.o `test -f 'freeFast2RhsAutomaton.cc' || echo './'`freeFast2RhsAutomaton.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libfreeTheory_a-freeNullaryRhsAutomaton.o `test -f 'freeNullaryRhsAutomaton.cc' || echo './'`freeNullaryRhsAutomaton.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libfreeTheory_a-freeUnaryRhsAutomaton.o `test -f 'freeUnaryRhsAutomaton.cc' || echo './'`freeUnaryRhsAutomaton.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libfreeTheory_a-freeBinaryRhsAutomaton.o `test -f 'freeBinaryRhsAutomaton.cc' || echo './'`freeBinaryRhsAutomaton.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libfreeTheory_a-freeTernaryRhsAutomaton.o `test -f 'freeTernaryRhsAutomaton.cc' || echo './'`freeTernaryRhsAutomaton.cc
rm -f libfreeTheory.a
x86_64-pc-linux-gnu-ar cru libfreeTheory.a libfreeTheory_a-freeSymbol.o libfreeTheory_a-freeUnarySymbol.o libfreeTheory_a-freeNullarySymbol.o libfreeTheory_a-freeBinarySymbol.o libfreeTheory_a-freeTernarySymbol.o libfreeTheory_a-freeTerm.o libfreeTheory_a-freeArgumentIterator.o libfreeTheory_a-freeDagNode.o libfreeTheory_a-freeDagArgumentIterator.o libfreeTheory_a-freeLhsAutomaton.o libfreeTheory_a-freeRhsAutomaton.o libfreeTheory_a-freeNet.o libfreeTheory_a-freePreNet.o libfreeTheory_a-freeRemainder.o libfreeTheory_a-freePositionTable.o libfreeTheory_a-freeInstruction.o libfreeTheory_a-freeFastInstruction.o libfreeTheory_a-freeGeneralCtor.o libfreeTheory_a-freeGeneralCtorFinal.o libfreeTheory_a-freeGeneralExtor.o libfreeTheory_a-freeGeneralExtorFinal.o libfreeTheory_a-freeFast3RhsAutomaton.o libfreeTheory_a-freeFast2RhsAutomaton.o libfreeTheory_a-freeNullaryRhsAutomaton.o libfreeTheory_a-freeUnaryRhsAutomaton.o libfreeTheory_a-freeBinaryRhsAutomaton.o libfreeTheory_a-freeTernaryRhsAutomaton.o 
x86_64-pc-linux-gnu-ranlib libfreeTheory.a
make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src/FreeTheory'
Making all in Higher
make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-rewriteSearchState.o `test -f 'rewriteSearchState.cc' || echo './'`rewriteSearchState.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-matchSearchState.o `test -f 'matchSearchState.cc' || echo './'`matchSearchState.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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-pattern.o `test -f 'pattern.cc' || echo './'`pattern.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-searchState.o `test -f 'searchState.cc' || echo './'`searchState.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-rewriteSequenceSearch.o `test -f 'rewriteSequenceSearch.cc' || echo './'`rewriteSequenceSearch.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-modelCheckerSymbol.o `test -f 'modelCheckerSymbol.cc' || echo './'`modelCheckerSymbol.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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-rewriteConditionFragment.o `test -f 'rewriteConditionFragment.cc' || echo './'`rewriteConditionFragment.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-assignmentConditionFragment.o `test -f 'assignmentConditionFragment.cc' || echo './'`assignmentConditionFragment.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-sortTestConditionFragment.o `test -f 'sortTestConditionFragment.cc' || echo './'`sortTestConditionFragment.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-equalityConditionFragment.o `test -f 'equalityConditionFragment.cc' || echo './'`equalityConditionFragment.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-assignmentConditionState.o `test -f 'assignmentConditionState.cc' || echo './'`assignmentConditionState.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-rewriteConditionState.o `test -f 'rewriteConditionState.cc' || echo './'`rewriteConditionState.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-temporalSymbol.o `test -f 'temporalSymbol.cc' || echo './'`temporalSymbol.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-satSolverSymbol.o `test -f 'satSolverSymbol.cc' || echo './'`satSolverSymbol.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-unificationProblem.o `test -f 'unificationProblem.cc' || echo './'`unificationProblem.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-narrowingSearchState.o `test -f 'narrowingSearchState.cc' || echo './'`narrowingSearchState.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-narrowingUnificationProblem.o `test -f 'narrowingUnificationProblem.cc' || echo './'`narrowingUnificationProblem.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-narrowingSequenceSearch.o `test -f 'narrowingSequenceSearch.cc' || echo './'`narrowingSequenceSearch.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-unifierFilter.o `test -f 'unifierFilter.cc' || echo './'`unifierFilter.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-variantNarrowingSearchState.o `test -f 'variantNarrowingSearchState.cc' || echo './'`variantNarrowingSearchState.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-variantFolder.o `test -f 'variantFolder.cc' || echo './'`variantFolder.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-variantSearch.o `test -f 'variantSearch.cc' || echo './'`variantSearch.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-variantUnificationProblem.o `test -f 'variantUnificationProblem.cc' || echo './'`variantUnificationProblem.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-narrowingSearchState2.o `test -f 'narrowingSearchState2.cc' || echo './'`narrowingSearchState2.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-narrowingFolder.o `test -f 'narrowingFolder.cc' || echo './'`narrowingFolder.cc
In constructor ‘Vector<T>::Vector(Vector<T>::size_type) [with T = DagNode*]’,
    inlined from ‘Vector<T>::Vector(Vector<T>::size_type) [with T = DagNode*]’ at ../../src/Utility/vector.hh:187:1,
    inlined from ‘void VariantSearch::expandVariant(const Vector<DagNode*>&, int)’ at variantSearch.cc:396:49:
cc1plus: warning: ‘void* __builtin_memset(void*, int, long unsigned int)’ specified bound 18446744073709551608 exceeds maximum object size 9223372036854775807 [-Wstringop-overflow=]
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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-narrowingSearchState3.o `test -f 'narrowingSearchState3.cc' || echo './'`narrowingSearchState3.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-narrowingSequenceSearch3.o `test -f 'narrowingSequenceSearch3.cc' || echo './'`narrowingSequenceSearch3.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-irredundantUnificationProblem.o `test -f 'irredundantUnificationProblem.cc' || echo './'`irredundantUnificationProblem.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-variantUnifierFilter.o `test -f 'variantUnifierFilter.cc' || echo './'`variantUnifierFilter.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-filteredVariantUnifierSearch.o `test -f 'filteredVariantUnifierSearch.cc' || echo './'`filteredVariantUnifierSearch.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libhigher_a-variantMatchingProblem.o `test -f 'variantMatchingProblem.cc' || echo './'`variantMatchingProblem.cc
rm -f libhigher.a
x86_64-pc-linux-gnu-ar cru libhigher.a libhigher_a-rewriteSearchState.o libhigher_a-matchSearchState.o libhigher_a-positionState.o libhigher_a-pattern.o libhigher_a-searchState.o libhigher_a-rewriteSequenceSearch.o libhigher_a-modelCheckerSymbol.o libhigher_a-stateTransitionGraph.o libhigher_a-rewriteConditionFragment.o libhigher_a-assignmentConditionFragment.o libhigher_a-sortTestConditionFragment.o libhigher_a-equalityConditionFragment.o libhigher_a-assignmentConditionState.o libhigher_a-rewriteConditionState.o libhigher_a-temporalSymbol.o libhigher_a-satSolverSymbol.o libhigher_a-unificationProblem.o libhigher_a-narrowingSearchState.o libhigher_a-narrowingUnificationProblem.o libhigher_a-narrowingSequenceSearch.o libhigher_a-unifierFilter.o libhigher_a-variantNarrowingSearchState.o libhigher_a-variantFolder.o libhigher_a-variantSearch.o libhigher_a-variantUnificationProblem.o libhigher_a-narrowingSearchState2.o libhigher_a-narrowingFolder.o libhigher_a-narrowingSearchState3.o libhigher_a-narrowingSequenceSearch3.o libhigher_a-irredundantUnificationProblem.o libhigher_a-variantUnifierFilter.o libhigher_a-filteredVariantUnifierSearch.o libhigher_a-variantMatchingProblem.o 
x86_64-pc-linux-gnu-ranlib libhigher.a
make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src/Higher'
Making all in BuiltIn
make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libbuiltIn_a-equalitySymbol.o `test -f 'equalitySymbol.cc' || echo './'`equalitySymbol.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libbuiltIn_a-sortTestSymbol.o `test -f 'sortTestSymbol.cc' || echo './'`sortTestSymbol.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libbuiltIn_a-branchSymbol.o `test -f 'branchSymbol.cc' || echo './'`branchSymbol.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libbuiltIn_a-stringSymbol.o `test -f 'stringSymbol.cc' || echo './'`stringSymbol.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libbuiltIn_a-stringTerm.o `test -f 'stringTerm.cc' || echo './'`stringTerm.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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libbuiltIn_a-stringOpSymbol.o `test -f 'stringOpSymbol.cc' || echo './'`stringOpSymbol.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libbuiltIn_a-floatSymbol.o `test -f 'floatSymbol.cc' || echo './'`floatSymbol.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libbuiltIn_a-floatTerm.o `test -f 'floatTerm.cc' || echo './'`floatTerm.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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libbuiltIn_a-floatOpSymbol.o `test -f 'floatOpSymbol.cc' || echo './'`floatOpSymbol.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libbuiltIn_a-succSymbol.o `test -f 'succSymbol.cc' || echo './'`succSymbol.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libbuiltIn_a-numberOpSymbol.o `test -f 'numberOpSymbol.cc' || echo './'`numberOpSymbol.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libbuiltIn_a-minusSymbol.o `test -f 'minusSymbol.cc' || echo './'`minusSymbol.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libbuiltIn_a-ACU_NumberOpSymbol.o `test -f 'ACU_NumberOpSymbol.cc' || echo './'`ACU_NumberOpSymbol.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libbuiltIn_a-CUI_NumberOpSymbol.o `test -f 'CUI_NumberOpSymbol.cc' || echo './'`CUI_NumberOpSymbol.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libbuiltIn_a-divisionSymbol.o `test -f 'divisionSymbol.cc' || echo './'`divisionSymbol.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libbuiltIn_a-randomOpSymbol.o `test -f 'randomOpSymbol.cc' || echo './'`randomOpSymbol.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libbuiltIn_a-counterSymbol.o `test -f 'counterSymbol.cc' || echo './'`counterSymbol.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libbuiltIn_a-matrixOpSymbol.o `test -f 'matrixOpSymbol.cc' || echo './'`matrixOpSymbol.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libbuiltIn_a-equalityExtor.o `test -f 'equalityExtor.cc' || echo './'`equalityExtor.cc
In file included from randomOpSymbol.hh:29,
                 from randomOpSymbol.cc:48:
../../src/3rdParty/MersenneTwister.h: In member function ‘MTRand::uint32 MTRand::randInt()’:
../../src/3rdParty/MersenneTwister.h:187:25: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  187 |         register uint32 s1;
      |                         ^~
../../src/3rdParty/MersenneTwister.h: In member function ‘void MTRand::seed(MTRand::uint32*, MTRand::uint32)’:
../../src/3rdParty/MersenneTwister.h:232:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  232 |         register int i = 1;
      |                      ^
../../src/3rdParty/MersenneTwister.h:233:25: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  233 |         register uint32 j = 0;
      |                         ^
../../src/3rdParty/MersenneTwister.h:234:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  234 |         register int k = ( N > seedLength ? N : seedLength );
      |                      ^
../../src/3rdParty/MersenneTwister.h: In member function ‘void MTRand::seed()’:
../../src/3rdParty/MersenneTwister.h:269:34: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  269 |                 register uint32 *s = bigSeed;
      |                                  ^
../../src/3rdParty/MersenneTwister.h:270:30: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  270 |                 register int i = N;
      |                              ^
../../src/3rdParty/MersenneTwister.h:271:31: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  271 |                 register bool success = true;
      |                               ^~~~~~~
../../src/3rdParty/MersenneTwister.h: In member function ‘void MTRand::initialize(MTRand::uint32)’:
../../src/3rdParty/MersenneTwister.h:289:26: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  289 |         register uint32 *s = state;
      |                          ^
../../src/3rdParty/MersenneTwister.h:290:26: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  290 |         register uint32 *r = state;
      |                          ^
../../src/3rdParty/MersenneTwister.h:291:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  291 |         register int i = 1;
      |                      ^
../../src/3rdParty/MersenneTwister.h: In member function ‘void MTRand::reload()’:
../../src/3rdParty/MersenneTwister.h:305:26: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  305 |         register uint32 *p = state;
      |                          ^
../../src/3rdParty/MersenneTwister.h:306:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  306 |         register int i;
      |                      ^
../../src/3rdParty/MersenneTwister.h: In member function ‘void MTRand::save(MTRand::uint32*) const’:
../../src/3rdParty/MersenneTwister.h:345:26: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  345 |         register uint32 *sa = saveArray;
      |                          ^~
../../src/3rdParty/MersenneTwister.h:346:32: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  346 |         register const uint32 *s = state;
      |                                ^
../../src/3rdParty/MersenneTwister.h:347:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  347 |         register int i = N;
      |                      ^
../../src/3rdParty/MersenneTwister.h: In member function ‘void MTRand::load(MTRand::uint32*)’:
../../src/3rdParty/MersenneTwister.h:355:26: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  355 |         register uint32 *s = state;
      |                          ^
../../src/3rdParty/MersenneTwister.h:356:26: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  356 |         register uint32 *la = loadArray;
      |                          ^~
../../src/3rdParty/MersenneTwister.h:357:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  357 |         register int i = N;
      |                      ^
../../src/3rdParty/MersenneTwister.h: In function ‘std::ostream& operator<<(std::ostream&, const MTRand&)’:
../../src/3rdParty/MersenneTwister.h:366:40: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  366 |         register const MTRand::uint32 *s = mtrand.state;
      |                                        ^
../../src/3rdParty/MersenneTwister.h:367:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  367 |         register int i = mtrand.N;
      |                      ^
../../src/3rdParty/MersenneTwister.h: In function ‘std::istream& operator>>(std::istream&, MTRand&)’:
../../src/3rdParty/MersenneTwister.h:375:34: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  375 |         register MTRand::uint32 *s = mtrand.state;
      |                                  ^
../../src/3rdParty/MersenneTwister.h:376:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  376 |         register int i = mtrand.N;
      |                      ^
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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libbuiltIn_a-equalityExtorFinal.o `test -f 'equalityExtorFinal.cc' || echo './'`equalityExtorFinal.cc
rm -f libbuiltIn.a
x86_64-pc-linux-gnu-ar cru libbuiltIn.a libbuiltIn_a-equalitySymbol.o libbuiltIn_a-sortTestSymbol.o libbuiltIn_a-branchSymbol.o libbuiltIn_a-stringSymbol.o libbuiltIn_a-stringTerm.o libbuiltIn_a-stringDagNode.o libbuiltIn_a-stringOpSymbol.o libbuiltIn_a-floatSymbol.o libbuiltIn_a-floatTerm.o libbuiltIn_a-floatDagNode.o libbuiltIn_a-floatOpSymbol.o libbuiltIn_a-succSymbol.o libbuiltIn_a-numberOpSymbol.o libbuiltIn_a-minusSymbol.o libbuiltIn_a-ACU_NumberOpSymbol.o libbuiltIn_a-CUI_NumberOpSymbol.o libbuiltIn_a-divisionSymbol.o libbuiltIn_a-randomOpSymbol.o libbuiltIn_a-counterSymbol.o libbuiltIn_a-matrixOpSymbol.o libbuiltIn_a-equalityExtor.o libbuiltIn_a-equalityExtorFinal.o 
x86_64-pc-linux-gnu-ranlib libbuiltIn.a
make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src/BuiltIn'
Making all in IO_Stuff
make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src/IO_Stuff'
x86_64-pc-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libIO_Stuff_a-directoryManager.o `test -f 'directoryManager.cc' || echo './'`directoryManager.cc
rm -f libIO_Stuff.a
x86_64-pc-linux-gnu-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-3.1-r1/work/maude-3.1/src/IO_Stuff'
Making all in ObjectSystem
make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/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/AU_Persistent -I../../src/AU_Theory -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/S_Theory -I../../src/BuiltIn -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libobjectSystem_a-configSymbol.o `test -f 'configSymbol.cc' || echo './'`configSymbol.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/AU_Persistent -I../../src/AU_Theory -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/S_Theory -I../../src/BuiltIn -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libobjectSystem_a-objectSystemRewritingContext.o `test -f 'objectSystemRewritingContext.cc' || echo './'`objectSystemRewritingContext.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/AU_Persistent -I../../src/AU_Theory -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/S_Theory -I../../src/BuiltIn -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -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/AU_Persistent -I../../src/AU_Theory -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/S_Theory -I../../src/BuiltIn -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libobjectSystem_a-socketManagerSymbol.o `test -f 'socketManagerSymbol.cc' || echo './'`socketManagerSymbol.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/AU_Persistent -I../../src/AU_Theory -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/S_Theory -I../../src/BuiltIn -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libobjectSystem_a-pseudoThread.o `test -f 'pseudoThread.cc' || echo './'`pseudoThread.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/AU_Persistent -I../../src/AU_Theory -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/S_Theory -I../../src/BuiltIn -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libobjectSystem_a-fileManagerSymbol.o `test -f 'fileManagerSymbol.cc' || echo './'`fileManagerSymbol.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/AU_Persistent -I../../src/AU_Theory -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/S_Theory -I../../src/BuiltIn -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libobjectSystem_a-streamManagerSymbol.o `test -f 'streamManagerSymbol.cc' || echo './'`streamManagerSymbol.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/AU_Persistent -I../../src/AU_Theory -I../../src/FreeTheory -I../../src/NA_Theory -I../../src/S_Theory -I../../src/BuiltIn -I../../src/3rdParty   -pipe -march=native -fno-diagnostics-color -O2 -c -o libobjectSystem_a-processManagerSymbol.o `test -f 'processManagerSymbol.cc' || echo './'`processManagerSymbol.cc
rm -f libobjectSystem.a
x86_64-pc-linux-gnu-ar cru libobjectSystem.a libobjectSystem_a-configSymbol.o libobjectSystem_a-objectSystemRewritingContext.o libobjectSystem_a-externalObjectManagerSymbol.o libobjectSystem_a-socketManagerSymbol.o libobjectSystem_a-pseudoThread.o libobjectSystem_a-fileManagerSymbol.o libobjectSystem_a-streamManagerSymbol.o libobjectSystem_a-processManagerSymbol.o 
x86_64-pc-linux-gnu-ranlib libobjectSystem.a
make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src/ObjectSystem'
Making all in Meta
make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/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/AU_Theory -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/IO_Stuff -I../../src/StrategyLanguage -I../../src/3rdParty -I../../src/SMT -I../../src/Parser   -pipe -march=native -fno-diagnostics-color -O2 -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/AU_Theory -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/IO_Stuff -I../../src/StrategyLanguage -I../../src/3rdParty -I../../src/SMT -I../../src/Parser   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmeta_a-metaLevel.o `test -f 'metaLevel.cc' || echo './'`metaLevel.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/AU_Theory -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/IO_Stuff -I../../src/StrategyLanguage -I../../src/3rdParty -I../../src/SMT -I../../src/Parser   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmeta_a-interpreterManagerSymbol.o `test -f 'interpreterManagerSymbol.cc' || echo './'`interpreterManagerSymbol.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/AU_Theory -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/IO_Stuff -I../../src/StrategyLanguage -I../../src/3rdParty -I../../src/SMT -I../../src/Parser   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmeta_a-metaOpCache.o `test -f 'metaOpCache.cc' || echo './'`metaOpCache.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/AU_Theory -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/IO_Stuff -I../../src/StrategyLanguage -I../../src/3rdParty -I../../src/SMT -I../../src/Parser   -pipe -march=native -fno-diagnostics-color -O2 -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/AU_Theory -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/IO_Stuff -I../../src/StrategyLanguage -I../../src/3rdParty -I../../src/SMT -I../../src/Parser   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmeta_a-metaLevelOpSymbol.o `test -f 'metaLevelOpSymbol.cc' || echo './'`metaLevelOpSymbol.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/AU_Theory -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/IO_Stuff -I../../src/StrategyLanguage -I../../src/3rdParty -I../../src/SMT -I../../src/Parser   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmeta_a-metaPreModule.o `test -f 'metaPreModule.cc' || echo './'`metaPreModule.cc
In constructor ‘Vector<T>::Vector(Vector<T>::size_type) [with T = DagNode*]’,
    inlined from ‘Vector<T>::Vector(Vector<T>::size_type) [with T = DagNode*]’ at ../../src/Utility/vector.hh:187:1,
    inlined from ‘DagNode* MetaLevel::upTypeList(const Vector<Sort*>&, bool, PointerMap&)’ at metaUp.cc:812:32:
cc1plus: warning: ‘void* __builtin_memset(void*, int, long unsigned int)’ specified bound 18446744073709551608 exceeds maximum object size 9223372036854775807 [-Wstringop-overflow=]
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/AU_Theory -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/IO_Stuff -I../../src/StrategyLanguage -I../../src/3rdParty -I../../src/SMT -I../../src/Parser   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmeta_a-metaView.o `test -f 'metaView.cc' || echo './'`metaView.cc
rm -f libmeta.a
x86_64-pc-linux-gnu-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 libmeta_a-metaView.o 
x86_64-pc-linux-gnu-ranlib libmeta.a
make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src/Meta'
Making all in FullCompiler
make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src/FullCompiler'
make[3]: Nothing to be done for 'all'.
make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src/FullCompiler'
Making all in StrategyLanguage
make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libstrategyLanguage_a-strategyExpression.o `test -f 'strategyExpression.cc' || echo './'`strategyExpression.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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libstrategyLanguage_a-applicationStrategy.o `test -f 'applicationStrategy.cc' || echo './'`applicationStrategy.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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libstrategyLanguage_a-testStrategy.o `test -f 'testStrategy.cc' || echo './'`testStrategy.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libstrategyLanguage_a-subtermStrategy.o `test -f 'subtermStrategy.cc' || echo './'`subtermStrategy.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libstrategyLanguage_a-callStrategy.o `test -f 'callStrategy.cc' || echo './'`callStrategy.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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libstrategyLanguage_a-applicationProcess.o `test -f 'applicationProcess.cc' || echo './'`applicationProcess.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   -pipe -march=native -fno-diagnostics-color -O2 -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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libstrategyLanguage_a-depthFirstStrategicSearch.o `test -f 'depthFirstStrategicSearch.cc' || echo './'`depthFirstStrategicSearch.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libstrategyLanguage_a-fairStrategicSearch.o `test -f 'fairStrategicSearch.cc' || echo './'`fairStrategicSearch.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libstrategyLanguage_a-matchProcess.o `test -f 'matchProcess.cc' || echo './'`matchProcess.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libstrategyLanguage_a-subtermProcess.o `test -f 'subtermProcess.cc' || echo './'`subtermProcess.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libstrategyLanguage_a-rewriteTask.o `test -f 'rewriteTask.cc' || echo './'`rewriteTask.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libstrategyLanguage_a-subtermTask.o `test -f 'subtermTask.cc' || echo './'`subtermTask.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libstrategyLanguage_a-callTask.o `test -f 'callTask.cc' || echo './'`callTask.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libstrategyLanguage_a-callProcess.o `test -f 'callProcess.cc' || echo './'`callProcess.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libstrategyLanguage_a-strategyStackManager.o `test -f 'strategyStackManager.cc' || echo './'`strategyStackManager.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libstrategyLanguage_a-variableBindingsManager.o `test -f 'variableBindingsManager.cc' || echo './'`variableBindingsManager.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libstrategyLanguage_a-oneStrategy.o `test -f 'oneStrategy.cc' || echo './'`oneStrategy.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   -pipe -march=native -fno-diagnostics-color -O2 -c -o libstrategyLanguage_a-oneTask.o `test -f 'oneTask.cc' || echo './'`oneTask.cc
rm -f libstrategyLanguage.a
x86_64-pc-linux-gnu-ar cru libstrategyLanguage.a libstrategyLanguage_a-strategyExpression.o 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-subtermStrategy.o libstrategyLanguage_a-callStrategy.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-depthFirstStrategicSearch.o libstrategyLanguage_a-fairStrategicSearch.o libstrategyLanguage_a-matchProcess.o libstrategyLanguage_a-subtermProcess.o libstrategyLanguage_a-rewriteTask.o libstrategyLanguage_a-subtermTask.o libstrategyLanguage_a-callTask.o libstrategyLanguage_a-callProcess.o libstrategyLanguage_a-strategyStackManager.o libstrategyLanguage_a-variableBindingsManager.o libstrategyLanguage_a-oneStrategy.o libstrategyLanguage_a-oneTask.o 
x86_64-pc-linux-gnu-ranlib libstrategyLanguage.a
make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src/StrategyLanguage'
Making all in Mixfix
make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src/Mixfix'
cat \
./top.yy \
./modules.yy \
./commands.yy \
./bottom.yy \
> surface.yy
bison -dv surface.yy -o surface.c
flex -t -p -p ./lexer.ll > lexer.cc
surface.yy:94.1-12: warning: deprecated directive: ‘%pure-parser’, use ‘%define api.pure’ [8;id=da89796e0005dc18f97e409300000000;https://www.gnu.org/software/bison/manual/html_node/Diagnostics.html#Wdeprecated\-Wdeprecated8;;\]
   94 | %pure-parser
      | ^~~~~~~~~~~~
      | %define api.pure
-I (interactive) entails a minor performance penalty
surface.yy: warning: fix-its can be applied.  Rerun with option '--update'. [8;id=da89796e0005dc18f97e409300000001;https://www.gnu.org/software/bison/manual/html_node/Diagnostics.html#Wother\-Wother8;;\]
mv surface.c surface.cc
make  all-am
make[4]: Entering directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-parameterDatabase.o `test -f 'parameterDatabase.cc' || echo './'`parameterDatabase.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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-renaming.o `test -f 'renaming.cc' || echo './'`renaming.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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-view.o `test -f 'view.cc' || echo './'`view.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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-syntacticView.o `test -f 'syntacticView.cc' || echo './'`syntacticView.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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-viewExpression.o `test -f 'viewExpression.cc' || echo './'`viewExpression.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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-viewCache.o `test -f 'viewCache.cc' || echo './'`viewCache.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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-enclosingObject.o `test -f 'enclosingObject.cc' || echo './'`enclosingObject.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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-importModule.o `test -f 'importModule.cc' || echo './'`importModule.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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-importTranslation.o `test -f 'importTranslation.cc' || echo './'`importTranslation.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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-strategyTranslation.o `test -f 'strategyTranslation.cc' || echo './'`strategyTranslation.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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-loopSymbol.o `test -f 'loopSymbol.cc' || echo './'`loopSymbol.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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-quotedIdentifierSymbol.o `test -f 'quotedIdentifierSymbol.cc' || echo './'`quotedIdentifierSymbol.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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-quotedIdentifierTerm.o `test -f 'quotedIdentifierTerm.cc' || echo './'`quotedIdentifierTerm.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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-quotedIdentifierOpSymbol.o `test -f 'quotedIdentifierOpSymbol.cc' || echo './'`quotedIdentifierOpSymbol.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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-mixfixModule.o `test -f 'mixfixModule.cc' || echo './'`mixfixModule.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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-global.o `test -f 'global.cc' || echo './'`global.cc
In file included from ../../src/BuiltIn/randomOpSymbol.hh:29,
                 from mixfixModule.cc:111:
../../src/3rdParty/MersenneTwister.h: In member function ‘MTRand::uint32 MTRand::randInt()’:
../../src/3rdParty/MersenneTwister.h:187:25: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  187 |         register uint32 s1;
      |                         ^~
../../src/3rdParty/MersenneTwister.h: In member function ‘void MTRand::seed(MTRand::uint32*, MTRand::uint32)’:
../../src/3rdParty/MersenneTwister.h:232:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  232 |         register int i = 1;
      |                      ^
../../src/3rdParty/MersenneTwister.h:233:25: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  233 |         register uint32 j = 0;
      |                         ^
../../src/3rdParty/MersenneTwister.h:234:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  234 |         register int k = ( N > seedLength ? N : seedLength );
      |                      ^
../../src/3rdParty/MersenneTwister.h: In member function ‘void MTRand::seed()’:
../../src/3rdParty/MersenneTwister.h:269:34: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  269 |                 register uint32 *s = bigSeed;
      |                                  ^
../../src/3rdParty/MersenneTwister.h:270:30: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  270 |                 register int i = N;
      |                              ^
../../src/3rdParty/MersenneTwister.h:271:31: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  271 |                 register bool success = true;
      |                               ^~~~~~~
../../src/3rdParty/MersenneTwister.h: In member function ‘void MTRand::initialize(MTRand::uint32)’:
../../src/3rdParty/MersenneTwister.h:289:26: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  289 |         register uint32 *s = state;
      |                          ^
../../src/3rdParty/MersenneTwister.h:290:26: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  290 |         register uint32 *r = state;
      |                          ^
../../src/3rdParty/MersenneTwister.h:291:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  291 |         register int i = 1;
      |                      ^
../../src/3rdParty/MersenneTwister.h: In member function ‘void MTRand::reload()’:
../../src/3rdParty/MersenneTwister.h:305:26: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  305 |         register uint32 *p = state;
      |                          ^
../../src/3rdParty/MersenneTwister.h:306:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  306 |         register int i;
      |                      ^
../../src/3rdParty/MersenneTwister.h: In member function ‘void MTRand::save(MTRand::uint32*) const’:
../../src/3rdParty/MersenneTwister.h:345:26: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  345 |         register uint32 *sa = saveArray;
      |                          ^~
../../src/3rdParty/MersenneTwister.h:346:32: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  346 |         register const uint32 *s = state;
      |                                ^
../../src/3rdParty/MersenneTwister.h:347:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  347 |         register int i = N;
      |                      ^
../../src/3rdParty/MersenneTwister.h: In member function ‘void MTRand::load(MTRand::uint32*)’:
../../src/3rdParty/MersenneTwister.h:355:26: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  355 |         register uint32 *s = state;
      |                          ^
../../src/3rdParty/MersenneTwister.h:356:26: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  356 |         register uint32 *la = loadArray;
      |                          ^~
../../src/3rdParty/MersenneTwister.h:357:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  357 |         register int i = N;
      |                      ^
../../src/3rdParty/MersenneTwister.h: In function ‘std::ostream& operator<<(std::ostream&, const MTRand&)’:
../../src/3rdParty/MersenneTwister.h:366:40: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  366 |         register const MTRand::uint32 *s = mtrand.state;
      |                                        ^
../../src/3rdParty/MersenneTwister.h:367:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  367 |         register int i = mtrand.N;
      |                      ^
../../src/3rdParty/MersenneTwister.h: In function ‘std::istream& operator>>(std::istream&, MTRand&)’:
../../src/3rdParty/MersenneTwister.h:375:34: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  375 |         register MTRand::uint32 *s = mtrand.state;
      |                                  ^
../../src/3rdParty/MersenneTwister.h:376:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  376 |         register int i = mtrand.N;
      |                      ^
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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-userLevelRewritingContext.o `test -f 'userLevelRewritingContext.cc' || echo './'`userLevelRewritingContext.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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-preModule.o `test -f 'preModule.cc' || echo './'`preModule.cc
In file included from ../../src/BuiltIn/randomOpSymbol.hh:29,
                 from global.cc:48:
../../src/3rdParty/MersenneTwister.h: In member function ‘MTRand::uint32 MTRand::randInt()’:
../../src/3rdParty/MersenneTwister.h:187:25: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  187 |         register uint32 s1;
      |                         ^~
../../src/3rdParty/MersenneTwister.h: In member function ‘void MTRand::seed(MTRand::uint32*, MTRand::uint32)’:
../../src/3rdParty/MersenneTwister.h:232:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  232 |         register int i = 1;
      |                      ^
../../src/3rdParty/MersenneTwister.h:233:25: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  233 |         register uint32 j = 0;
      |                         ^
../../src/3rdParty/MersenneTwister.h:234:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  234 |         register int k = ( N > seedLength ? N : seedLength );
      |                      ^
../../src/3rdParty/MersenneTwister.h: In member function ‘void MTRand::seed()’:
../../src/3rdParty/MersenneTwister.h:269:34: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  269 |                 register uint32 *s = bigSeed;
      |                                  ^
../../src/3rdParty/MersenneTwister.h:270:30: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  270 |                 register int i = N;
      |                              ^
../../src/3rdParty/MersenneTwister.h:271:31: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  271 |                 register bool success = true;
      |                               ^~~~~~~
../../src/3rdParty/MersenneTwister.h: In member function ‘void MTRand::initialize(MTRand::uint32)’:
../../src/3rdParty/MersenneTwister.h:289:26: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  289 |         register uint32 *s = state;
      |                          ^
../../src/3rdParty/MersenneTwister.h:290:26: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  290 |         register uint32 *r = state;
      |                          ^
../../src/3rdParty/MersenneTwister.h:291:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  291 |         register int i = 1;
      |                      ^
../../src/3rdParty/MersenneTwister.h: In member function ‘void MTRand::reload()’:
../../src/3rdParty/MersenneTwister.h:305:26: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  305 |         register uint32 *p = state;
      |                          ^
../../src/3rdParty/MersenneTwister.h:306:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  306 |         register int i;
      |                      ^
../../src/3rdParty/MersenneTwister.h: In member function ‘void MTRand::save(MTRand::uint32*) const’:
../../src/3rdParty/MersenneTwister.h:345:26: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  345 |         register uint32 *sa = saveArray;
      |                          ^~
../../src/3rdParty/MersenneTwister.h:346:32: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  346 |         register const uint32 *s = state;
      |                                ^
../../src/3rdParty/MersenneTwister.h:347:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  347 |         register int i = N;
      |                      ^
../../src/3rdParty/MersenneTwister.h: In member function ‘void MTRand::load(MTRand::uint32*)’:
../../src/3rdParty/MersenneTwister.h:355:26: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  355 |         register uint32 *s = state;
      |                          ^
../../src/3rdParty/MersenneTwister.h:356:26: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  356 |         register uint32 *la = loadArray;
      |                          ^~
../../src/3rdParty/MersenneTwister.h:357:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  357 |         register int i = N;
      |                      ^
../../src/3rdParty/MersenneTwister.h: In function ‘std::ostream& operator<<(std::ostream&, const MTRand&)’:
../../src/3rdParty/MersenneTwister.h:366:40: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  366 |         register const MTRand::uint32 *s = mtrand.state;
      |                                        ^
../../src/3rdParty/MersenneTwister.h:367:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  367 |         register int i = mtrand.N;
      |                      ^
../../src/3rdParty/MersenneTwister.h: In function ‘std::istream& operator>>(std::istream&, MTRand&)’:
../../src/3rdParty/MersenneTwister.h:375:34: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  375 |         register MTRand::uint32 *s = mtrand.state;
      |                                  ^
../../src/3rdParty/MersenneTwister.h:376:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  376 |         register int i = mtrand.N;
      |                      ^
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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-syntacticPreModule.o `test -f 'syntacticPreModule.cc' || echo './'`syntacticPreModule.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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-maudemlBuffer.o `test -f 'maudemlBuffer.cc' || echo './'`maudemlBuffer.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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-interpreter.o `test -f 'interpreter.cc' || echo './'`interpreter.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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-profileModule.o `test -f 'profileModule.cc' || echo './'`profileModule.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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-mixfixParser.o `test -f 'mixfixParser.cc' || echo './'`mixfixParser.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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-visibleModule.o `test -f 'visibleModule.cc' || echo './'`visibleModule.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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-metadataStore.o `test -f 'metadataStore.cc' || echo './'`metadataStore.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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-printAttribute.o `test -f 'printAttribute.cc' || echo './'`printAttribute.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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-banner.o `test -f 'banner.cc' || echo './'`banner.cc
flex -t -p -p ./lexer.ll > lexer.cc
-I (interactive) entails a minor performance penalty
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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-tokenizer.o `test -f 'tokenizer.cc' || echo './'`tokenizer.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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-surface.o `test -f 'surface.cc' || echo './'`surface.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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-freshVariableSource.o `test -f 'freshVariableSource.cc' || echo './'`freshVariableSource.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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-variableGenerator.o `test -f 'variableGenerator.cc' || echo './'`variableGenerator.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/Parser -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/SMT   -pipe -march=native -fno-diagnostics-color -O2 -c -o libmixfix_a-lexer.o `test -f 'lexer.cc' || echo './'`lexer.cc
surface.c: In function ‘int yyparse(UserLevelRewritingContext::ParseResult*)’:
surface.c:6088:33: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings]
surface.c:764:22: note: in definition of macro ‘YY_’
surface.c:6199:29: warning: ISO C++ forbids converting a string constant to ‘char*’ [-Wwrite-strings]
surface.c:764:22: note: in definition of macro ‘YY_’
rm -f libmixfix.a
x86_64-pc-linux-gnu-ar cru libmixfix.a libmixfix_a-parameterDatabase.o libmixfix_a-syntaxContainer.o libmixfix_a-renaming.o libmixfix_a-view.o libmixfix_a-syntacticView.o libmixfix_a-entity.o libmixfix_a-moduleCache.o libmixfix_a-moduleExpression.o libmixfix_a-viewExpression.o libmixfix_a-viewCache.o libmixfix_a-enclosingObject.o libmixfix_a-importModule.o libmixfix_a-importTranslation.o libmixfix_a-strategyTranslation.o libmixfix_a-fileTable.o libmixfix_a-loopSymbol.o libmixfix_a-quotedIdentifierSymbol.o libmixfix_a-quotedIdentifierDagNode.o libmixfix_a-quotedIdentifierTerm.o libmixfix_a-quotedIdentifierOpSymbol.o libmixfix_a-mixfixModule.o libmixfix_a-token.o libmixfix_a-global.o libmixfix_a-userLevelRewritingContext.o libmixfix_a-preModule.o libmixfix_a-syntacticPreModule.o libmixfix_a-symbolType.o libmixfix_a-xmlBuffer.o libmixfix_a-maudemlBuffer.o libmixfix_a-interpreter.o libmixfix_a-moduleDatabase.o libmixfix_a-viewDatabase.o libmixfix_a-profileModule.o libmixfix_a-mixfixParser.o libmixfix_a-visibleModule.o libmixfix_a-sharedTokens.o libmixfix_a-metadataStore.o libmixfix_a-printAttribute.o libmixfix_a-banner.o libmixfix_a-lexer.o libmixfix_a-tokenizer.o libmixfix_a-surface.o libmixfix_a-freshVariableSource.o libmixfix_a-variableGenerator.o libmixfix_a-tokenizer.o  
x86_64-pc-linux-gnu-ranlib libmixfix.a
make[4]: Leaving directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src/Mixfix'
make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src/Mixfix'
Making all in SMT
make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src/SMT'
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/Higher -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/BuiltIn   -pipe -march=native -fno-diagnostics-color -O2 -c -o libSMT_a-SMT_Symbol.o `test -f 'SMT_Symbol.cc' || echo './'`SMT_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/Higher -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/BuiltIn   -pipe -march=native -fno-diagnostics-color -O2 -c -o libSMT_a-SMT_NumberSymbol.o `test -f 'SMT_NumberSymbol.cc' || echo './'`SMT_NumberSymbol.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/Higher -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/BuiltIn   -pipe -march=native -fno-diagnostics-color -O2 -c -o libSMT_a-SMT_NumberDagNode.o `test -f 'SMT_NumberDagNode.cc' || echo './'`SMT_NumberDagNode.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/Higher -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/BuiltIn   -pipe -march=native -fno-diagnostics-color -O2 -c -o libSMT_a-SMT_NumberTerm.o `test -f 'SMT_NumberTerm.cc' || echo './'`SMT_NumberTerm.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/Higher -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/BuiltIn   -pipe -march=native -fno-diagnostics-color -O2 -c -o libSMT_a-SMT_RewriteSearchState.o `test -f 'SMT_RewriteSearchState.cc' || echo './'`SMT_RewriteSearchState.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/Higher -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/BuiltIn   -pipe -march=native -fno-diagnostics-color -O2 -c -o libSMT_a-SMT_RewriteSequenceSearch.o `test -f 'SMT_RewriteSequenceSearch.cc' || echo './'`SMT_RewriteSequenceSearch.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/Higher -I../../src/FullCompiler -I../../src/NA_Theory -I../../src/FreeTheory -I../../src/BuiltIn   -pipe -march=native -fno-diagnostics-color -O2 -c -o libSMT_a-SMT_Info.o `test -f 'SMT_Info.cc' || echo './'`SMT_Info.cc
rm -f libSMT.a
x86_64-pc-linux-gnu-ar cru libSMT.a libSMT_a-SMT_Symbol.o libSMT_a-SMT_NumberSymbol.o libSMT_a-SMT_NumberDagNode.o libSMT_a-SMT_NumberTerm.o libSMT_a-SMT_RewriteSearchState.o libSMT_a-SMT_RewriteSequenceSearch.o libSMT_a-SMT_Info.o 
x86_64-pc-linux-gnu-ranlib libSMT.a
make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src/SMT'
Making all in Main
make[3]: Entering directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src/Main'
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/SMT -I../../src/IO_Stuff -I../../src/ACU_Persistent -I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory -I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler -I../../src/StrategyLanguage -I../../src/Mixfix   -pipe -march=native -fno-diagnostics-color -O2 -c -o maude-main.o `test -f 'main.cc' || echo './'`main.cc
In file included from ../../src/BuiltIn/randomOpSymbol.hh:29,
                 from main.cc:54:
../../src/3rdParty/MersenneTwister.h: In member function ‘MTRand::uint32 MTRand::randInt()’:
../../src/3rdParty/MersenneTwister.h:187:25: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  187 |         register uint32 s1;
      |                         ^~
../../src/3rdParty/MersenneTwister.h: In member function ‘void MTRand::seed(MTRand::uint32*, MTRand::uint32)’:
../../src/3rdParty/MersenneTwister.h:232:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  232 |         register int i = 1;
      |                      ^
../../src/3rdParty/MersenneTwister.h:233:25: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  233 |         register uint32 j = 0;
      |                         ^
../../src/3rdParty/MersenneTwister.h:234:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  234 |         register int k = ( N > seedLength ? N : seedLength );
      |                      ^
../../src/3rdParty/MersenneTwister.h: In member function ‘void MTRand::seed()’:
../../src/3rdParty/MersenneTwister.h:269:34: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  269 |                 register uint32 *s = bigSeed;
      |                                  ^
../../src/3rdParty/MersenneTwister.h:270:30: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  270 |                 register int i = N;
      |                              ^
../../src/3rdParty/MersenneTwister.h:271:31: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  271 |                 register bool success = true;
      |                               ^~~~~~~
../../src/3rdParty/MersenneTwister.h: In member function ‘void MTRand::initialize(MTRand::uint32)’:
../../src/3rdParty/MersenneTwister.h:289:26: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  289 |         register uint32 *s = state;
      |                          ^
../../src/3rdParty/MersenneTwister.h:290:26: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  290 |         register uint32 *r = state;
      |                          ^
../../src/3rdParty/MersenneTwister.h:291:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  291 |         register int i = 1;
      |                      ^
../../src/3rdParty/MersenneTwister.h: In member function ‘void MTRand::reload()’:
../../src/3rdParty/MersenneTwister.h:305:26: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  305 |         register uint32 *p = state;
      |                          ^
../../src/3rdParty/MersenneTwister.h:306:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  306 |         register int i;
      |                      ^
../../src/3rdParty/MersenneTwister.h: In member function ‘void MTRand::save(MTRand::uint32*) const’:
../../src/3rdParty/MersenneTwister.h:345:26: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  345 |         register uint32 *sa = saveArray;
      |                          ^~
../../src/3rdParty/MersenneTwister.h:346:32: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  346 |         register const uint32 *s = state;
      |                                ^
../../src/3rdParty/MersenneTwister.h:347:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  347 |         register int i = N;
      |                      ^
../../src/3rdParty/MersenneTwister.h: In member function ‘void MTRand::load(MTRand::uint32*)’:
../../src/3rdParty/MersenneTwister.h:355:26: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  355 |         register uint32 *s = state;
      |                          ^
../../src/3rdParty/MersenneTwister.h:356:26: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  356 |         register uint32 *la = loadArray;
      |                          ^~
../../src/3rdParty/MersenneTwister.h:357:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  357 |         register int i = N;
      |                      ^
../../src/3rdParty/MersenneTwister.h: In function ‘std::ostream& operator<<(std::ostream&, const MTRand&)’:
../../src/3rdParty/MersenneTwister.h:366:40: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  366 |         register const MTRand::uint32 *s = mtrand.state;
      |                                        ^
../../src/3rdParty/MersenneTwister.h:367:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  367 |         register int i = mtrand.N;
      |                      ^
../../src/3rdParty/MersenneTwister.h: In function ‘std::istream& operator>>(std::istream&, MTRand&)’:
../../src/3rdParty/MersenneTwister.h:375:34: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  375 |         register MTRand::uint32 *s = mtrand.state;
      |                                  ^
../../src/3rdParty/MersenneTwister.h:376:22: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  376 |         register int i = mtrand.N;
      |                      ^
x86_64-pc-linux-gnu-g++  -pipe -march=native -fno-diagnostics-color -O2  -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -o maude maude-main.o ../Mixfix/libmixfix.a ../StrategyLanguage/libstrategyLanguage.a ../Meta/libmeta.a ../ObjectSystem/libobjectSystem.a ../BuiltIn/libbuiltIn.a ../SMT/libSMT.a ../Higher/libhigher.a ../FreeTheory/libfreeTheory.a ../AU_Theory/libAU_Theory.a ../AU_Persistent/libAU_Persistent.a ../ACU_Theory/libACU_Theory.a ../ACU_Persistent/libACU_Persistent.a ../CUI_Theory/libCUI_Theory.a ../S_Theory/libS_Theory.a ../NA_Theory/libNA_Theory.a ../Variable/libvariable.a ../Interface/libinterface.a ../Core/libcore.a ../Parser/libparser.a ../Temporal/libtemporal.a ../IO_Stuff/libIO_Stuff.a  ../Utility/libutility.a   -lgmpxx -lgmp -lbdd -ltecla -lcurses  
/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/bin/ld: cannot find -lcurses: No such file or directory
collect2: error: ld returned 1 exit status
make[3]: *** [Makefile:490: maude] Error 1
make[3]: Leaving directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src/Main'
make[2]: *** [Makefile:360: all-recursive] Error 1
make[2]: Leaving directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1/src'
make[1]: *** [Makefile:379: all-recursive] Error 1
make[1]: Leaving directory '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1'
make: *** [Makefile:320: all] Error 2
 * ERROR: dev-lang/maude-3.1-r1::gentoo failed (compile phase):
 *   emake failed
 * 
 * If you need support, post the output of `emerge --info '=dev-lang/maude-3.1-r1::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=dev-lang/maude-3.1-r1::gentoo'`.
 * The complete build log is located at '/var/log/portage/dev-lang:maude-3.1-r1:20220407-233643.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/dev-lang/maude-3.1-r1/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/dev-lang/maude-3.1-r1/temp/environment'.
 * Working directory: '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1'
 * S: '/var/tmp/portage/dev-lang/maude-3.1-r1/work/maude-3.1'