=> Bootstrap dependency digest>=20010302: found digest-20121220
===> Skipping vulnerability checks.
WARNING: No /var/db/pkg/pkg-vulnerabilities file found.
WARNING: To fix run: `/usr/sbin/pkg_admin -K /var/db/pkg fetch-pkg-vulnerabilities'.
===> Building for maude-2.6
/usr/bin/make  all-recursive
Making all in src
Making all in 3rdParty
if gcc -DHAVE_CONFIG_H -I. -I. -I../..    -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT malloc.o -MD -MP -MF ".deps/malloc.Tpo" -c -o malloc.o malloc.c;  then mv -f ".deps/malloc.Tpo" ".deps/malloc.Po"; else rm -f ".deps/malloc.Tpo"; exit 1; fi
rm -f libdlmalloc.a
ar cru libdlmalloc.a malloc.o 
ranlib libdlmalloc.a
Making all in Utility
if c++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT macros.o -MD -MP -MF ".deps/macros.Tpo" -c -o macros.o macros.cc;  then mv -f ".deps/macros.Tpo" ".deps/macros.Po"; else rm -f ".deps/macros.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT preVector.o -MD -MP -MF ".deps/preVector.Tpo" -c -o preVector.o preVector.cc;  then mv -f ".deps/preVector.Tpo" ".deps/preVector.Po"; else rm -f ".deps/preVector.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT intSet.o -MD -MP -MF ".deps/intSet.Tpo" -c -o intSet.o intSet.cc;  then mv -f ".deps/intSet.Tpo" ".deps/intSet.Po"; else rm -f ".deps/intSet.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT pointerSet.o -MD -MP -MF ".deps/pointerSet.Tpo" -c -o pointerSet.o pointerSet.cc;  then mv -f ".deps/pointerSet.Tpo" ".deps/pointerSet.Po"; else rm -f ".deps/pointerSet.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT stringTable.o -MD -MP -MF ".deps/stringTable.Tpo" -c -o stringTable.o stringTable.cc;  then mv -f ".deps/stringTable.Tpo" ".deps/stringTable.Po"; else rm -f ".deps/stringTable.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT graph.o -MD -MP -MF ".deps/graph.Tpo" -c -o graph.o graph.cc;  then mv -f ".deps/graph.Tpo" ".deps/graph.Po"; else rm -f ".deps/graph.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT digraph.o -MD -MP -MF ".deps/digraph.Tpo" -c -o digraph.o digraph.cc;  then mv -f ".deps/digraph.Tpo" ".deps/digraph.Po"; else rm -f ".deps/digraph.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT unionFind.o -MD -MP -MF ".deps/unionFind.Tpo" -c -o unionFind.o unionFind.cc;  then mv -f ".deps/unionFind.Tpo" ".deps/unionFind.Po"; else rm -f ".deps/unionFind.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT diophantineSystem.o -MD -MP -MF ".deps/diophantineSystem.Tpo" -c -o diophantineSystem.o diophantineSystem.cc;  then mv -f ".deps/diophantineSystem.Tpo" ".deps/diophantineSystem.Po"; else rm -f ".deps/diophantineSystem.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT natSet.o -MD -MP -MF ".deps/natSet.Tpo" -c -o natSet.o natSet.cc;  then mv -f ".deps/natSet.Tpo" ".deps/natSet.Po"; else rm -f ".deps/natSet.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT pointerMap.o -MD -MP -MF ".deps/pointerMap.Tpo" -c -o pointerMap.o pointerMap.cc;  then mv -f ".deps/pointerMap.Tpo" ".deps/pointerMap.Po"; else rm -f ".deps/pointerMap.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT sequencePartition.o -MD -MP -MF ".deps/sequencePartition.Tpo" -c -o sequencePartition.o sequencePartition.cc;  then mv -f ".deps/sequencePartition.Tpo" ".deps/sequencePartition.Po"; else rm -f ".deps/sequencePartition.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT indent.o -MD -MP -MF ".deps/indent.Tpo" -c -o indent.o indent.cc;  then mv -f ".deps/indent.Tpo" ".deps/indent.Po"; else rm -f ".deps/indent.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT binBuf.o -MD -MP -MF ".deps/binBuf.Tpo" -c -o binBuf.o binBuf.cc;  then mv -f ".deps/binBuf.Tpo" ".deps/binBuf.Po"; else rm -f ".deps/binBuf.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT decBuf.o -MD -MP -MF ".deps/decBuf.Tpo" -c -o decBuf.o decBuf.cc;  then mv -f ".deps/decBuf.Tpo" ".deps/decBuf.Po"; else rm -f ".deps/decBuf.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT bddUser.o -MD -MP -MF ".deps/bddUser.Tpo" -c -o bddUser.o bddUser.cc;  then mv -f ".deps/bddUser.Tpo" ".deps/bddUser.Po"; else rm -f ".deps/bddUser.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT tty.o -MD -MP -MF ".deps/tty.Tpo" -c -o tty.o tty.cc;  then mv -f ".deps/tty.Tpo" ".deps/tty.Po"; else rm -f ".deps/tty.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT bdd.o -MD -MP -MF ".deps/bdd.Tpo" -c -o bdd.o bdd.cc;  then mv -f ".deps/bdd.Tpo" ".deps/bdd.Po"; else rm -f ".deps/bdd.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT timer.o -MD -MP -MF ".deps/timer.Tpo" -c -o timer.o timer.cc;  then mv -f ".deps/timer.Tpo" ".deps/timer.Po"; else rm -f ".deps/timer.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT mpzSystem.o -MD -MP -MF ".deps/mpzSystem.Tpo" -c -o mpzSystem.o mpzSystem.cc;  then mv -f ".deps/mpzSystem.Tpo" ".deps/mpzSystem.Po"; else rm -f ".deps/mpzSystem.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT intSystem.o -MD -MP -MF ".deps/intSystem.Tpo" -c -o intSystem.o intSystem.cc;  then mv -f ".deps/intSystem.Tpo" ".deps/intSystem.Po"; else rm -f ".deps/intSystem.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT allSat.o -MD -MP -MF ".deps/allSat.Tpo" -c -o allSat.o allSat.cc;  then mv -f ".deps/allSat.Tpo" ".deps/allSat.Po"; else rm -f ".deps/allSat.Tpo"; exit 1; fi
rm -f libutility.a
ar cru libutility.a macros.o preVector.o  intSet.o pointerSet.o stringTable.o  graph.o digraph.o unionFind.o  diophantineSystem.o natSet.o  pointerMap.o sequencePartition.o  indent.o binBuf.o decBuf.o  bddUser.o tty.o bdd.o timer.o  mpzSystem.o intSystem.o allSat.o 
ranlib libutility.a
Making all in Temporal
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libtemporal_a-logicFormula.o -MD -MP -MF ".deps/libtemporal_a-logicFormula.Tpo" -c -o libtemporal_a-logicFormula.o `test -f 'logicFormula.cc' || echo './'`logicFormula.cc;  then mv -f ".deps/libtemporal_a-logicFormula.Tpo" ".deps/libtemporal_a-logicFormula.Po"; else rm -f ".deps/libtemporal_a-logicFormula.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libtemporal_a-buchiAutomaton2.o -MD -MP -MF ".deps/libtemporal_a-buchiAutomaton2.Tpo" -c -o libtemporal_a-buchiAutomaton2.o `test -f 'buchiAutomaton2.cc' || echo './'`buchiAutomaton2.cc;  then mv -f ".deps/libtemporal_a-buchiAutomaton2.Tpo" ".deps/libtemporal_a-buchiAutomaton2.Po"; else rm -f ".deps/libtemporal_a-buchiAutomaton2.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libtemporal_a-transitionSet.o -MD -MP -MF ".deps/libtemporal_a-transitionSet.Tpo" -c -o libtemporal_a-transitionSet.o `test -f 'transitionSet.cc' || echo './'`transitionSet.cc;  then mv -f ".deps/libtemporal_a-transitionSet.Tpo" ".deps/libtemporal_a-transitionSet.Po"; else rm -f ".deps/libtemporal_a-transitionSet.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libtemporal_a-veryWeakAlternatingAutomaton.o -MD -MP -MF ".deps/libtemporal_a-veryWeakAlternatingAutomaton.Tpo" -c -o libtemporal_a-veryWeakAlternatingAutomaton.o `test -f 'veryWeakAlternatingAutomaton.cc' || echo './'`veryWeakAlternatingAutomaton.cc;  then mv -f ".deps/libtemporal_a-veryWeakAlternatingAutomaton.Tpo" ".deps/libtemporal_a-veryWeakAlternatingAutomaton.Po"; else rm -f ".deps/libtemporal_a-veryWeakAlternatingAutomaton.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libtemporal_a-rawTransitionSet.o -MD -MP -MF ".deps/libtemporal_a-rawTransitionSet.Tpo" -c -o libtemporal_a-rawTransitionSet.o `test -f 'rawTransitionSet.cc' || echo './'`rawTransitionSet.cc;  then mv -f ".deps/libtemporal_a-rawTransitionSet.Tpo" ".deps/libtemporal_a-rawTransitionSet.Po"; else rm -f ".deps/libtemporal_a-rawTransitionSet.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libtemporal_a-genBuchiAutomaton.o -MD -MP -MF ".deps/libtemporal_a-genBuchiAutomaton.Tpo" -c -o libtemporal_a-genBuchiAutomaton.o `test -f 'genBuchiAutomaton.cc' || echo './'`genBuchiAutomaton.cc;  then mv -f ".deps/libtemporal_a-genBuchiAutomaton.Tpo" ".deps/libtemporal_a-genBuchiAutomaton.Po"; else rm -f ".deps/libtemporal_a-genBuchiAutomaton.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libtemporal_a-modelChecker2.o -MD -MP -MF ".deps/libtemporal_a-modelChecker2.Tpo" -c -o libtemporal_a-modelChecker2.o `test -f 'modelChecker2.cc' || echo './'`modelChecker2.cc;  then mv -f ".deps/libtemporal_a-modelChecker2.Tpo" ".deps/libtemporal_a-modelChecker2.Po"; else rm -f ".deps/libtemporal_a-modelChecker2.Tpo"; exit 1; fi
rm -f libtemporal.a
ar cru libtemporal.a libtemporal_a-logicFormula.o  libtemporal_a-buchiAutomaton2.o  libtemporal_a-transitionSet.o  libtemporal_a-veryWeakAlternatingAutomaton.o  libtemporal_a-rawTransitionSet.o  libtemporal_a-genBuchiAutomaton.o  libtemporal_a-modelChecker2.o 
ranlib libtemporal.a
Making all in Interface
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libinterface_a-symbol.o -MD -MP -MF ".deps/libinterface_a-symbol.Tpo" -c -o libinterface_a-symbol.o `test -f 'symbol.cc' || echo './'`symbol.cc;  then mv -f ".deps/libinterface_a-symbol.Tpo" ".deps/libinterface_a-symbol.Po"; else rm -f ".deps/libinterface_a-symbol.Tpo"; exit 1; fi
In file included from symbol.cc:41:
In file included from ./term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libinterface_a-binarySymbol.o -MD -MP -MF ".deps/libinterface_a-binarySymbol.Tpo" -c -o libinterface_a-binarySymbol.o `test -f 'binarySymbol.cc' || echo './'`binarySymbol.cc;  then mv -f ".deps/libinterface_a-binarySymbol.Tpo" ".deps/libinterface_a-binarySymbol.Po"; else rm -f ".deps/libinterface_a-binarySymbol.Tpo"; exit 1; fi
In file included from binarySymbol.cc:38:
In file included from ./binarySymbol.hh:33:
In file included from ./term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libinterface_a-associativeSymbol.o -MD -MP -MF ".deps/libinterface_a-associativeSymbol.Tpo" -c -o libinterface_a-associativeSymbol.o `test -f 'associativeSymbol.cc' || echo './'`associativeSymbol.cc;  then mv -f ".deps/libinterface_a-associativeSymbol.Tpo" ".deps/libinterface_a-associativeSymbol.Po"; else rm -f ".deps/libinterface_a-associativeSymbol.Tpo"; exit 1; fi
In file included from associativeSymbol.cc:39:
In file included from ./associativeSymbol.hh:28:
In file included from ./binarySymbol.hh:33:
In file included from ./term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libinterface_a-term.o -MD -MP -MF ".deps/libinterface_a-term.Tpo" -c -o libinterface_a-term.o `test -f 'term.cc' || echo './'`term.cc;  then mv -f ".deps/libinterface_a-term.Tpo" ".deps/libinterface_a-term.Po"; else rm -f ".deps/libinterface_a-term.Tpo"; exit 1; fi
In file included from term.cc:40:
In file included from ./term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libinterface_a-dagNode.o -MD -MP -MF ".deps/libinterface_a-dagNode.Tpo" -c -o libinterface_a-dagNode.o `test -f 'dagNode.cc' || echo './'`dagNode.cc;  then mv -f ".deps/libinterface_a-dagNode.Tpo" ".deps/libinterface_a-dagNode.Po"; else rm -f ".deps/libinterface_a-dagNode.Tpo"; exit 1; fi
In file included from dagNode.cc:39:
In file included from ./binarySymbol.hh:33:
In file included from ./term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
rm -f libinterface.a
ar cru libinterface.a libinterface_a-symbol.o  libinterface_a-binarySymbol.o  libinterface_a-associativeSymbol.o  libinterface_a-term.o libinterface_a-dagNode.o 
ranlib libinterface.a
Making all in Core
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-memoryCell.o -MD -MP -MF ".deps/libcore_a-memoryCell.Tpo" -c -o libcore_a-memoryCell.o `test -f 'memoryCell.cc' || echo './'`memoryCell.cc;  then mv -f ".deps/libcore_a-memoryCell.Tpo" ".deps/libcore_a-memoryCell.Po"; else rm -f ".deps/libcore_a-memoryCell.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-rhsBuilder.o -MD -MP -MF ".deps/libcore_a-rhsBuilder.Tpo" -c -o libcore_a-rhsBuilder.o `test -f 'rhsBuilder.cc' || echo './'`rhsBuilder.cc;  then mv -f ".deps/libcore_a-rhsBuilder.Tpo" ".deps/libcore_a-rhsBuilder.Po"; else rm -f ".deps/libcore_a-rhsBuilder.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-termBag.o -MD -MP -MF ".deps/libcore_a-termBag.Tpo" -c -o libcore_a-termBag.o `test -f 'termBag.cc' || echo './'`termBag.cc;  then mv -f ".deps/libcore_a-termBag.Tpo" ".deps/libcore_a-termBag.Po"; else rm -f ".deps/libcore_a-termBag.Tpo"; exit 1; fi
In file included from termBag.cc:36:
In file included from ../../src/Interface/term.hh:34:
./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-bindingLhsAutomaton.o -MD -MP -MF ".deps/libcore_a-bindingLhsAutomaton.Tpo" -c -o libcore_a-bindingLhsAutomaton.o `test -f 'bindingLhsAutomaton.cc' || echo './'`bindingLhsAutomaton.cc;  then mv -f ".deps/libcore_a-bindingLhsAutomaton.Tpo" ".deps/libcore_a-bindingLhsAutomaton.Po"; else rm -f ".deps/libcore_a-bindingLhsAutomaton.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-trivialRhsAutomaton.o -MD -MP -MF ".deps/libcore_a-trivialRhsAutomaton.Tpo" -c -o libcore_a-trivialRhsAutomaton.o `test -f 'trivialRhsAutomaton.cc' || echo './'`trivialRhsAutomaton.cc;  then mv -f ".deps/libcore_a-trivialRhsAutomaton.Tpo" ".deps/libcore_a-trivialRhsAutomaton.Po"; else rm -f ".deps/libcore_a-trivialRhsAutomaton.Tpo"; exit 1; fi
In file included from trivialRhsAutomaton.cc:41:
In file included from ./variableInfo.hh:30:
In file included from ../../src/Variable/variableTerm.hh:28:
In file included from ../../src/Interface/term.hh:34:
./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-copyRhsAutomaton.o -MD -MP -MF ".deps/libcore_a-copyRhsAutomaton.Tpo" -c -o libcore_a-copyRhsAutomaton.o `test -f 'copyRhsAutomaton.cc' || echo './'`copyRhsAutomaton.cc;  then mv -f ".deps/libcore_a-copyRhsAutomaton.Tpo" ".deps/libcore_a-copyRhsAutomaton.Po"; else rm -f ".deps/libcore_a-copyRhsAutomaton.Tpo"; exit 1; fi
In file included from copyRhsAutomaton.cc:42:
In file included from ./variableInfo.hh:30:
In file included from ../../src/Variable/variableTerm.hh:28:
In file included from ../../src/Interface/term.hh:34:
./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-variableInfo.o -MD -MP -MF ".deps/libcore_a-variableInfo.Tpo" -c -o libcore_a-variableInfo.o `test -f 'variableInfo.cc' || echo './'`variableInfo.cc;  then mv -f ".deps/libcore_a-variableInfo.Tpo" ".deps/libcore_a-variableInfo.Po"; else rm -f ".deps/libcore_a-variableInfo.Tpo"; exit 1; fi
In file included from variableInfo.cc:38:
In file included from ./variableInfo.hh:30:
In file included from ../../src/Variable/variableTerm.hh:28:
In file included from ../../src/Interface/term.hh:34:
./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-narrowingVariableInfo.o -MD -MP -MF ".deps/libcore_a-narrowingVariableInfo.Tpo" -c -o libcore_a-narrowingVariableInfo.o `test -f 'narrowingVariableInfo.cc' || echo './'`narrowingVariableInfo.cc;  then mv -f ".deps/libcore_a-narrowingVariableInfo.Tpo" ".deps/libcore_a-narrowingVariableInfo.Po"; else rm -f ".deps/libcore_a-narrowingVariableInfo.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-termSet.o -MD -MP -MF ".deps/libcore_a-termSet.Tpo" -c -o libcore_a-termSet.o `test -f 'termSet.cc' || echo './'`termSet.cc;  then mv -f ".deps/libcore_a-termSet.Tpo" ".deps/libcore_a-termSet.Po"; else rm -f ".deps/libcore_a-termSet.Tpo"; exit 1; fi
In file included from termSet.cc:36:
In file included from ../../src/Interface/term.hh:34:
./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-strategy.o -MD -MP -MF ".deps/libcore_a-strategy.Tpo" -c -o libcore_a-strategy.o `test -f 'strategy.cc' || echo './'`strategy.cc;  then mv -f ".deps/libcore_a-strategy.Tpo" ".deps/libcore_a-strategy.Po"; else rm -f ".deps/libcore_a-strategy.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-sortTable.o -MD -MP -MF ".deps/libcore_a-sortTable.Tpo" -c -o libcore_a-sortTable.o `test -f 'sortTable.cc' || echo './'`sortTable.cc;  then mv -f ".deps/libcore_a-sortTable.Tpo" ".deps/libcore_a-sortTable.Po"; else rm -f ".deps/libcore_a-sortTable.Tpo"; exit 1; fi
In file included from sortTable.cc:38:
In file included from ../../src/Interface/term.hh:34:
./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-sortConstraintTable.o -MD -MP -MF ".deps/libcore_a-sortConstraintTable.Tpo" -c -o libcore_a-sortConstraintTable.o `test -f 'sortConstraintTable.cc' || echo './'`sortConstraintTable.cc;  then mv -f ".deps/libcore_a-sortConstraintTable.Tpo" ".deps/libcore_a-sortConstraintTable.Po"; else rm -f ".deps/libcore_a-sortConstraintTable.Tpo"; exit 1; fi
In file included from sortConstraintTable.cc:39:
In file included from ../../src/Interface/term.hh:34:
./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-equationTable.o -MD -MP -MF ".deps/libcore_a-equationTable.Tpo" -c -o libcore_a-equationTable.o `test -f 'equationTable.cc' || echo './'`equationTable.cc;  then mv -f ".deps/libcore_a-equationTable.Tpo" ".deps/libcore_a-equationTable.Po"; else rm -f ".deps/libcore_a-equationTable.Tpo"; exit 1; fi
In file included from equationTable.cc:38:
In file included from ../../src/Interface/term.hh:34:
./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-ruleTable.o -MD -MP -MF ".deps/libcore_a-ruleTable.Tpo" -c -o libcore_a-ruleTable.o `test -f 'ruleTable.cc' || echo './'`ruleTable.cc;  then mv -f ".deps/libcore_a-ruleTable.Tpo" ".deps/libcore_a-ruleTable.Po"; else rm -f ".deps/libcore_a-ruleTable.Tpo"; exit 1; fi
In file included from ruleTable.cc:38:
In file included from ../../src/Interface/term.hh:34:
./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-sort.o -MD -MP -MF ".deps/libcore_a-sort.Tpo" -c -o libcore_a-sort.o `test -f 'sort.cc' || echo './'`sort.cc;  then mv -f ".deps/libcore_a-sort.Tpo" ".deps/libcore_a-sort.Po"; else rm -f ".deps/libcore_a-sort.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-connectedComponent.o -MD -MP -MF ".deps/libcore_a-connectedComponent.Tpo" -c -o libcore_a-connectedComponent.o `test -f 'connectedComponent.cc' || echo './'`connectedComponent.cc;  then mv -f ".deps/libcore_a-connectedComponent.Tpo" ".deps/libcore_a-connectedComponent.Po"; else rm -f ".deps/libcore_a-connectedComponent.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-module.o -MD -MP -MF ".deps/libcore_a-module.Tpo" -c -o libcore_a-module.o `test -f 'module.cc' || echo './'`module.cc;  then mv -f ".deps/libcore_a-module.Tpo" ".deps/libcore_a-module.Po"; else rm -f ".deps/libcore_a-module.Tpo"; exit 1; fi
In file included from module.cc:37:
In file included from ../../src/Interface/term.hh:34:
./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-substitution.o -MD -MP -MF ".deps/libcore_a-substitution.Tpo" -c -o libcore_a-substitution.o `test -f 'substitution.cc' || echo './'`substitution.cc;  then mv -f ".deps/libcore_a-substitution.Tpo" ".deps/libcore_a-substitution.Po"; else rm -f ".deps/libcore_a-substitution.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-localBinding.o -MD -MP -MF ".deps/libcore_a-localBinding.Tpo" -c -o libcore_a-localBinding.o `test -f 'localBinding.cc' || echo './'`localBinding.cc;  then mv -f ".deps/libcore_a-localBinding.Tpo" ".deps/libcore_a-localBinding.Po"; else rm -f ".deps/libcore_a-localBinding.Tpo"; exit 1; fi
In file included from localBinding.cc:42:
In file included from ./variableInfo.hh:30:
In file included from ../../src/Variable/variableTerm.hh:28:
In file included from ../../src/Interface/term.hh:34:
./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-subproblemSequence.o -MD -MP -MF ".deps/libcore_a-subproblemSequence.Tpo" -c -o libcore_a-subproblemSequence.o `test -f 'subproblemSequence.cc' || echo './'`subproblemSequence.cc;  then mv -f ".deps/libcore_a-subproblemSequence.Tpo" ".deps/libcore_a-subproblemSequence.Po"; else rm -f ".deps/libcore_a-subproblemSequence.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-subproblemDisjunction.o -MD -MP -MF ".deps/libcore_a-subproblemDisjunction.Tpo" -c -o libcore_a-subproblemDisjunction.o `test -f 'subproblemDisjunction.cc' || echo './'`subproblemDisjunction.cc;  then mv -f ".deps/libcore_a-subproblemDisjunction.Tpo" ".deps/libcore_a-subproblemDisjunction.Po"; else rm -f ".deps/libcore_a-subproblemDisjunction.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-sortCheckSubproblem.o -MD -MP -MF ".deps/libcore_a-sortCheckSubproblem.Tpo" -c -o libcore_a-sortCheckSubproblem.o `test -f 'sortCheckSubproblem.cc' || echo './'`sortCheckSubproblem.cc;  then mv -f ".deps/libcore_a-sortCheckSubproblem.Tpo" ".deps/libcore_a-sortCheckSubproblem.Po"; else rm -f ".deps/libcore_a-sortCheckSubproblem.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-disjunctiveSubproblemAccumulator.o -MD -MP -MF ".deps/libcore_a-disjunctiveSubproblemAccumulator.Tpo" -c -o libcore_a-disjunctiveSubproblemAccumulator.o `test -f 'disjunctiveSubproblemAccumulator.cc' || echo './'`disjunctiveSubproblemAccumulator.cc;  then mv -f ".deps/libcore_a-disjunctiveSubproblemAccumulator.Tpo" ".deps/libcore_a-disjunctiveSubproblemAccumulator.Po"; else rm -f ".deps/libcore_a-disjunctiveSubproblemAccumulator.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-preEquation.o -MD -MP -MF ".deps/libcore_a-preEquation.Tpo" -c -o libcore_a-preEquation.o `test -f 'preEquation.cc' || echo './'`preEquation.cc;  then mv -f ".deps/libcore_a-preEquation.Tpo" ".deps/libcore_a-preEquation.Po"; else rm -f ".deps/libcore_a-preEquation.Tpo"; exit 1; fi
In file included from preEquation.cc:40:
In file included from ../../src/Interface/term.hh:34:
./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-equation.o -MD -MP -MF ".deps/libcore_a-equation.Tpo" -c -o libcore_a-equation.o `test -f 'equation.cc' || echo './'`equation.cc;  then mv -f ".deps/libcore_a-equation.Tpo" ".deps/libcore_a-equation.Po"; else rm -f ".deps/libcore_a-equation.Tpo"; exit 1; fi
In file included from equation.cc:38:
In file included from ../../src/Interface/term.hh:34:
./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-rule.o -MD -MP -MF ".deps/libcore_a-rule.Tpo" -c -o libcore_a-rule.o `test -f 'rule.cc' || echo './'`rule.cc;  then mv -f ".deps/libcore_a-rule.Tpo" ".deps/libcore_a-rule.Po"; else rm -f ".deps/libcore_a-rule.Tpo"; exit 1; fi
In file included from rule.cc:39:
In file included from ../../src/Interface/term.hh:34:
./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-sortConstraint.o -MD -MP -MF ".deps/libcore_a-sortConstraint.Tpo" -c -o libcore_a-sortConstraint.o `test -f 'sortConstraint.cc' || echo './'`sortConstraint.cc;  then mv -f ".deps/libcore_a-sortConstraint.Tpo" ".deps/libcore_a-sortConstraint.Po"; else rm -f ".deps/libcore_a-sortConstraint.Tpo"; exit 1; fi
In file included from sortConstraint.cc:38:
In file included from ../../src/Interface/term.hh:34:
./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-rewritingContext.o -MD -MP -MF ".deps/libcore_a-rewritingContext.Tpo" -c -o libcore_a-rewritingContext.o `test -f 'rewritingContext.cc' || echo './'`rewritingContext.cc;  then mv -f ".deps/libcore_a-rewritingContext.Tpo" ".deps/libcore_a-rewritingContext.Po"; else rm -f ".deps/libcore_a-rewritingContext.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-variableAbstractionSubproblem.o -MD -MP -MF ".deps/libcore_a-variableAbstractionSubproblem.Tpo" -c -o libcore_a-variableAbstractionSubproblem.o `test -f 'variableAbstractionSubproblem.cc' || echo './'`variableAbstractionSubproblem.cc;  then mv -f ".deps/libcore_a-variableAbstractionSubproblem.Tpo" ".deps/libcore_a-variableAbstractionSubproblem.Po"; else rm -f ".deps/libcore_a-variableAbstractionSubproblem.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-equalitySubproblem.o -MD -MP -MF ".deps/libcore_a-equalitySubproblem.Tpo" -c -o libcore_a-equalitySubproblem.o `test -f 'equalitySubproblem.cc' || echo './'`equalitySubproblem.cc;  then mv -f ".deps/libcore_a-equalitySubproblem.Tpo" ".deps/libcore_a-equalitySubproblem.Po"; else rm -f ".deps/libcore_a-equalitySubproblem.Tpo"; exit 1; fi
In file included from equalitySubproblem.cc:38:
In file included from ../../src/Interface/term.hh:34:
./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-dagRoot.o -MD -MP -MF ".deps/libcore_a-dagRoot.Tpo" -c -o libcore_a-dagRoot.o `test -f 'dagRoot.cc' || echo './'`dagRoot.cc;  then mv -f ".deps/libcore_a-dagRoot.Tpo" ".deps/libcore_a-dagRoot.Po"; else rm -f ".deps/libcore_a-dagRoot.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-cachedDag.o -MD -MP -MF ".deps/libcore_a-cachedDag.Tpo" -c -o libcore_a-cachedDag.o `test -f 'cachedDag.cc' || echo './'`cachedDag.cc;  then mv -f ".deps/libcore_a-cachedDag.Tpo" ".deps/libcore_a-cachedDag.Po"; else rm -f ".deps/libcore_a-cachedDag.Tpo"; exit 1; fi
In file included from cachedDag.cc:38:
In file included from ../../src/Interface/term.hh:34:
./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-extensionMatchSubproblem.o -MD -MP -MF ".deps/libcore_a-extensionMatchSubproblem.Tpo" -c -o libcore_a-extensionMatchSubproblem.o `test -f 'extensionMatchSubproblem.cc' || echo './'`extensionMatchSubproblem.cc;  then mv -f ".deps/libcore_a-extensionMatchSubproblem.Tpo" ".deps/libcore_a-extensionMatchSubproblem.Po"; else rm -f ".deps/libcore_a-extensionMatchSubproblem.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-dagNodeSet.o -MD -MP -MF ".deps/libcore_a-dagNodeSet.Tpo" -c -o libcore_a-dagNodeSet.o `test -f 'dagNodeSet.cc' || echo './'`dagNodeSet.cc;  then mv -f ".deps/libcore_a-dagNodeSet.Tpo" ".deps/libcore_a-dagNodeSet.Po"; else rm -f ".deps/libcore_a-dagNodeSet.Tpo"; exit 1; fi
In file included from dagNodeSet.cc:40:
./dagNodeSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
./dagNodeSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-hashConsSet.o -MD -MP -MF ".deps/libcore_a-hashConsSet.Tpo" -c -o libcore_a-hashConsSet.o `test -f 'hashConsSet.cc' || echo './'`hashConsSet.cc;  then mv -f ".deps/libcore_a-hashConsSet.Tpo" ".deps/libcore_a-hashConsSet.Po"; else rm -f ".deps/libcore_a-hashConsSet.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-memoTable.o -MD -MP -MF ".deps/libcore_a-memoTable.Tpo" -c -o libcore_a-memoTable.o `test -f 'memoTable.cc' || echo './'`memoTable.cc;  then mv -f ".deps/libcore_a-memoTable.Tpo" ".deps/libcore_a-memoTable.Po"; else rm -f ".deps/libcore_a-memoTable.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-memoMap.o -MD -MP -MF ".deps/libcore_a-memoMap.Tpo" -c -o libcore_a-memoMap.o `test -f 'memoMap.cc' || echo './'`memoMap.cc;  then mv -f ".deps/libcore_a-memoMap.Tpo" ".deps/libcore_a-memoMap.Po"; else rm -f ".deps/libcore_a-memoMap.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-rootContainer.o -MD -MP -MF ".deps/libcore_a-rootContainer.Tpo" -c -o libcore_a-rootContainer.o `test -f 'rootContainer.cc' || echo './'`rootContainer.cc;  then mv -f ".deps/libcore_a-rootContainer.Tpo" ".deps/libcore_a-rootContainer.Po"; else rm -f ".deps/libcore_a-rootContainer.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-sortBdds.o -MD -MP -MF ".deps/libcore_a-sortBdds.Tpo" -c -o libcore_a-sortBdds.o `test -f 'sortBdds.cc' || echo './'`sortBdds.cc;  then mv -f ".deps/libcore_a-sortBdds.Tpo" ".deps/libcore_a-sortBdds.Po"; else rm -f ".deps/libcore_a-sortBdds.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-unificationContext.o -MD -MP -MF ".deps/libcore_a-unificationContext.Tpo" -c -o libcore_a-unificationContext.o `test -f 'unificationContext.cc' || echo './'`unificationContext.cc;  then mv -f ".deps/libcore_a-unificationContext.Tpo" ".deps/libcore_a-unificationContext.Po"; else rm -f ".deps/libcore_a-unificationContext.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-protectedDagNodeSet.o -MD -MP -MF ".deps/libcore_a-protectedDagNodeSet.Tpo" -c -o libcore_a-protectedDagNodeSet.o `test -f 'protectedDagNodeSet.cc' || echo './'`protectedDagNodeSet.cc;  then mv -f ".deps/libcore_a-protectedDagNodeSet.Tpo" ".deps/libcore_a-protectedDagNodeSet.Po"; else rm -f ".deps/libcore_a-protectedDagNodeSet.Tpo"; exit 1; fi
In file included from protectedDagNodeSet.cc:40:
In file included from ./protectedDagNodeSet.hh:28:
./dagNodeSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
./dagNodeSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-pendingUnificationStack.o -MD -MP -MF ".deps/libcore_a-pendingUnificationStack.Tpo" -c -o libcore_a-pendingUnificationStack.o `test -f 'pendingUnificationStack.cc' || echo './'`pendingUnificationStack.cc;  then mv -f ".deps/libcore_a-pendingUnificationStack.Tpo" ".deps/libcore_a-pendingUnificationStack.Po"; else rm -f ".deps/libcore_a-pendingUnificationStack.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-unificationSubproblemDisjunction.o -MD -MP -MF ".deps/libcore_a-unificationSubproblemDisjunction.Tpo" -c -o libcore_a-unificationSubproblemDisjunction.o `test -f 'unificationSubproblemDisjunction.cc' || echo './'`unificationSubproblemDisjunction.cc;  then mv -f ".deps/libcore_a-unificationSubproblemDisjunction.Tpo" ".deps/libcore_a-unificationSubproblemDisjunction.Po"; else rm -f ".deps/libcore_a-unificationSubproblemDisjunction.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libcore_a-compoundCycleSubproblem.o -MD -MP -MF ".deps/libcore_a-compoundCycleSubproblem.Tpo" -c -o libcore_a-compoundCycleSubproblem.o `test -f 'compoundCycleSubproblem.cc' || echo './'`compoundCycleSubproblem.cc;  then mv -f ".deps/libcore_a-compoundCycleSubproblem.Tpo" ".deps/libcore_a-compoundCycleSubproblem.Po"; else rm -f ".deps/libcore_a-compoundCycleSubproblem.Tpo"; exit 1; fi
In file included from compoundCycleSubproblem.cc:39:
In file included from ../../src/Interface/binarySymbol.hh:33:
In file included from ../../src/Interface/term.hh:34:
./termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
./termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
rm -f libcore.a
ar cru libcore.a libcore_a-memoryCell.o  libcore_a-rhsBuilder.o libcore_a-termBag.o  libcore_a-bindingLhsAutomaton.o  libcore_a-trivialRhsAutomaton.o  libcore_a-copyRhsAutomaton.o  libcore_a-variableInfo.o  libcore_a-narrowingVariableInfo.o  libcore_a-termSet.o libcore_a-strategy.o  libcore_a-sortTable.o  libcore_a-sortConstraintTable.o  libcore_a-equationTable.o  libcore_a-ruleTable.o libcore_a-sort.o  libcore_a-connectedComponent.o  libcore_a-module.o libcore_a-substitution.o  libcore_a-localBinding.o  libcore_a-subproblemSequence.o  libcore_a-subproblemDisjunction.o  libcore_a-sortCheckSubproblem.o  libcore_a-disjunctiveSubproblemAccumulator.o  libcore_a-preEquation.o libcore_a-equation.o  libcore_a-rule.o libcore_a-sortConstraint.o  libcore_a-rewritingContext.o  libcore_a-variableAbstractionSubproblem.o  libcore_a-equalitySubproblem.o  libcore_a-dagRoot.o libcore_a-cachedDag.o  libcore_a-extensionMatchSubproblem.o  libcore_a-dagNodeSet.o libcore_a-hashConsSet.o  libcore_a-memoTable.o libcore_a-memoMap.o  libcore_a-rootContainer.o libcore_a-sortBdds.o  libcore_a-unificationContext.o  libcore_a-protectedDagNodeSet.o  libcore_a-pendingUnificationStack.o  libcore_a-unificationSubproblemDisjunction.o  libcore_a-compoundCycleSubproblem.o 
ranlib libcore.a
Making all in Variable
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libvariable_a-variableSymbol.o -MD -MP -MF ".deps/libvariable_a-variableSymbol.Tpo" -c -o libvariable_a-variableSymbol.o `test -f 'variableSymbol.cc' || echo './'`variableSymbol.cc;  then mv -f ".deps/libvariable_a-variableSymbol.Tpo" ".deps/libvariable_a-variableSymbol.Po"; else rm -f ".deps/libvariable_a-variableSymbol.Tpo"; exit 1; fi
In file included from variableSymbol.cc:38:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libvariable_a-variableTerm.o -MD -MP -MF ".deps/libvariable_a-variableTerm.Tpo" -c -o libvariable_a-variableTerm.o `test -f 'variableTerm.cc' || echo './'`variableTerm.cc;  then mv -f ".deps/libvariable_a-variableTerm.Tpo" ".deps/libvariable_a-variableTerm.Po"; else rm -f ".deps/libvariable_a-variableTerm.Tpo"; exit 1; fi
In file included from variableTerm.cc:38:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libvariable_a-variableDagNode.o -MD -MP -MF ".deps/libvariable_a-variableDagNode.Tpo" -c -o libvariable_a-variableDagNode.o `test -f 'variableDagNode.cc' || echo './'`variableDagNode.cc;  then mv -f ".deps/libvariable_a-variableDagNode.Tpo" ".deps/libvariable_a-variableDagNode.Po"; else rm -f ".deps/libvariable_a-variableDagNode.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libvariable_a-variableLhsAutomaton.o -MD -MP -MF ".deps/libvariable_a-variableLhsAutomaton.Tpo" -c -o libvariable_a-variableLhsAutomaton.o `test -f 'variableLhsAutomaton.cc' || echo './'`variableLhsAutomaton.cc;  then mv -f ".deps/libvariable_a-variableLhsAutomaton.Tpo" ".deps/libvariable_a-variableLhsAutomaton.Po"; else rm -f ".deps/libvariable_a-variableLhsAutomaton.Tpo"; exit 1; fi
In file included from variableLhsAutomaton.cc:43:
In file included from ../../src/Core/variableInfo.hh:30:
In file included from ./variableTerm.hh:28:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
rm -f libvariable.a
ar cru libvariable.a libvariable_a-variableSymbol.o  libvariable_a-variableTerm.o  libvariable_a-variableDagNode.o  libvariable_a-variableLhsAutomaton.o 
ranlib libvariable.a
Making all in NA_Theory
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libNA_Theory_a-NA_Symbol.o -MD -MP -MF ".deps/libNA_Theory_a-NA_Symbol.Tpo" -c -o libNA_Theory_a-NA_Symbol.o `test -f 'NA_Symbol.cc' || echo './'`NA_Symbol.cc;  then mv -f ".deps/libNA_Theory_a-NA_Symbol.Tpo" ".deps/libNA_Theory_a-NA_Symbol.Po"; else rm -f ".deps/libNA_Theory_a-NA_Symbol.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libNA_Theory_a-NA_Term.o -MD -MP -MF ".deps/libNA_Theory_a-NA_Term.Tpo" -c -o libNA_Theory_a-NA_Term.o `test -f 'NA_Term.cc' || echo './'`NA_Term.cc;  then mv -f ".deps/libNA_Theory_a-NA_Term.Tpo" ".deps/libNA_Theory_a-NA_Term.Po"; else rm -f ".deps/libNA_Theory_a-NA_Term.Tpo"; exit 1; fi
In file included from NA_Term.cc:39:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libNA_Theory_a-NA_DagNode.o -MD -MP -MF ".deps/libNA_Theory_a-NA_DagNode.Tpo" -c -o libNA_Theory_a-NA_DagNode.o `test -f 'NA_DagNode.cc' || echo './'`NA_DagNode.cc;  then mv -f ".deps/libNA_Theory_a-NA_DagNode.Tpo" ".deps/libNA_Theory_a-NA_DagNode.Po"; else rm -f ".deps/libNA_Theory_a-NA_DagNode.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libNA_Theory_a-NA_LhsAutomaton.o -MD -MP -MF ".deps/libNA_Theory_a-NA_LhsAutomaton.Tpo" -c -o libNA_Theory_a-NA_LhsAutomaton.o `test -f 'NA_LhsAutomaton.cc' || echo './'`NA_LhsAutomaton.cc;  then mv -f ".deps/libNA_Theory_a-NA_LhsAutomaton.Tpo" ".deps/libNA_Theory_a-NA_LhsAutomaton.Po"; else rm -f ".deps/libNA_Theory_a-NA_LhsAutomaton.Tpo"; exit 1; fi
In file included from NA_LhsAutomaton.cc:39:
In file included from ./NA_Term.hh:28:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libNA_Theory_a-NA_RhsAutomaton.o -MD -MP -MF ".deps/libNA_Theory_a-NA_RhsAutomaton.Tpo" -c -o libNA_Theory_a-NA_RhsAutomaton.o `test -f 'NA_RhsAutomaton.cc' || echo './'`NA_RhsAutomaton.cc;  then mv -f ".deps/libNA_Theory_a-NA_RhsAutomaton.Tpo" ".deps/libNA_Theory_a-NA_RhsAutomaton.Po"; else rm -f ".deps/libNA_Theory_a-NA_RhsAutomaton.Tpo"; exit 1; fi
In file included from NA_RhsAutomaton.cc:39:
In file included from ../../src/Core/variableInfo.hh:30:
In file included from ../../src/Variable/variableTerm.hh:28:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
rm -f libNA_Theory.a
ar cru libNA_Theory.a libNA_Theory_a-NA_Symbol.o  libNA_Theory_a-NA_Term.o  libNA_Theory_a-NA_DagNode.o  libNA_Theory_a-NA_LhsAutomaton.o  libNA_Theory_a-NA_RhsAutomaton.o 
ranlib libNA_Theory.a
Making all in ACU_Persistent
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libACU_Persistent_a-ACU_RedBlackNode.o -MD -MP -MF ".deps/libACU_Persistent_a-ACU_RedBlackNode.Tpo" -c -o libACU_Persistent_a-ACU_RedBlackNode.o `test -f 'ACU_RedBlackNode.cc' || echo './'`ACU_RedBlackNode.cc;  then mv -f ".deps/libACU_Persistent_a-ACU_RedBlackNode.Tpo" ".deps/libACU_Persistent_a-ACU_RedBlackNode.Po"; else rm -f ".deps/libACU_Persistent_a-ACU_RedBlackNode.Tpo"; exit 1; fi
In file included from ACU_RedBlackNode.cc:40:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libACU_Persistent_a-ACU_Tree.o -MD -MP -MF ".deps/libACU_Persistent_a-ACU_Tree.Tpo" -c -o libACU_Persistent_a-ACU_Tree.o `test -f 'ACU_Tree.cc' || echo './'`ACU_Tree.cc;  then mv -f ".deps/libACU_Persistent_a-ACU_Tree.Tpo" ".deps/libACU_Persistent_a-ACU_Tree.Po"; else rm -f ".deps/libACU_Persistent_a-ACU_Tree.Tpo"; exit 1; fi
In file included from ACU_Tree.cc:38:
In file included from ../../src/Interface/binarySymbol.hh:33:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
rm -f libACU_Persistent.a
ar cru libACU_Persistent.a libACU_Persistent_a-ACU_RedBlackNode.o  libACU_Persistent_a-ACU_Tree.o 
ranlib libACU_Persistent.a
Making all in ACU_Theory
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_Symbol.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_Symbol.Tpo" -c -o libACU_Theory_a-ACU_Symbol.o `test -f 'ACU_Symbol.cc' || echo './'`ACU_Symbol.cc;  then mv -f ".deps/libACU_Theory_a-ACU_Symbol.Tpo" ".deps/libACU_Theory_a-ACU_Symbol.Po"; else rm -f ".deps/libACU_Theory_a-ACU_Symbol.Tpo"; exit 1; fi
In file included from ACU_Symbol.cc:43:
In file included from ./ACU_Symbol.hh:28:
In file included from ../../src/Interface/associativeSymbol.hh:28:
In file included from ../../src/Interface/binarySymbol.hh:33:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_Term.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_Term.Tpo" -c -o libACU_Theory_a-ACU_Term.o `test -f 'ACU_Term.cc' || echo './'`ACU_Term.cc;  then mv -f ".deps/libACU_Theory_a-ACU_Term.Tpo" ".deps/libACU_Theory_a-ACU_Term.Po"; else rm -f ".deps/libACU_Theory_a-ACU_Term.Tpo"; exit 1; fi
In file included from ACU_Term.cc:43:
In file included from ../../src/Interface/associativeSymbol.hh:28:
In file included from ../../src/Interface/binarySymbol.hh:33:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_BaseDagNode.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_BaseDagNode.Tpo" -c -o libACU_Theory_a-ACU_BaseDagNode.o `test -f 'ACU_BaseDagNode.cc' || echo './'`ACU_BaseDagNode.cc;  then mv -f ".deps/libACU_Theory_a-ACU_BaseDagNode.Tpo" ".deps/libACU_Theory_a-ACU_BaseDagNode.Po"; else rm -f ".deps/libACU_Theory_a-ACU_BaseDagNode.Tpo"; exit 1; fi
In file included from ACU_BaseDagNode.cc:38:
In file included from ./ACU_Symbol.hh:28:
In file included from ../../src/Interface/associativeSymbol.hh:28:
In file included from ../../src/Interface/binarySymbol.hh:33:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_DagNode.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_DagNode.Tpo" -c -o libACU_Theory_a-ACU_DagNode.o `test -f 'ACU_DagNode.cc' || echo './'`ACU_DagNode.cc;  then mv -f ".deps/libACU_Theory_a-ACU_DagNode.Tpo" ".deps/libACU_Theory_a-ACU_DagNode.Po"; else rm -f ".deps/libACU_Theory_a-ACU_DagNode.Tpo"; exit 1; fi
In file included from ACU_DagNode.cc:40:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_TreeDagNode.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_TreeDagNode.Tpo" -c -o libACU_Theory_a-ACU_TreeDagNode.o `test -f 'ACU_TreeDagNode.cc' || echo './'`ACU_TreeDagNode.cc;  then mv -f ".deps/libACU_Theory_a-ACU_TreeDagNode.Tpo" ".deps/libACU_Theory_a-ACU_TreeDagNode.Po"; else rm -f ".deps/libACU_Theory_a-ACU_TreeDagNode.Tpo"; exit 1; fi
In file included from ACU_TreeDagNode.cc:41:
In file included from ./ACU_Symbol.hh:28:
In file included from ../../src/Interface/associativeSymbol.hh:28:
In file included from ../../src/Interface/binarySymbol.hh:33:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_RhsAutomaton.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_RhsAutomaton.Tpo" -c -o libACU_Theory_a-ACU_RhsAutomaton.o `test -f 'ACU_RhsAutomaton.cc' || echo './'`ACU_RhsAutomaton.cc;  then mv -f ".deps/libACU_Theory_a-ACU_RhsAutomaton.Tpo" ".deps/libACU_Theory_a-ACU_RhsAutomaton.Po"; else rm -f ".deps/libACU_Theory_a-ACU_RhsAutomaton.Tpo"; exit 1; fi
In file included from ACU_RhsAutomaton.cc:40:
In file included from ../../src/Core/variableInfo.hh:30:
In file included from ../../src/Variable/variableTerm.hh:28:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_LhsAutomaton.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_LhsAutomaton.Tpo" -c -o libACU_Theory_a-ACU_LhsAutomaton.o `test -f 'ACU_LhsAutomaton.cc' || echo './'`ACU_LhsAutomaton.cc;  then mv -f ".deps/libACU_Theory_a-ACU_LhsAutomaton.Tpo" ".deps/libACU_Theory_a-ACU_LhsAutomaton.Po"; else rm -f ".deps/libACU_Theory_a-ACU_LhsAutomaton.Tpo"; exit 1; fi
In file included from ACU_LhsAutomaton.cc:40:
In file included from ../../src/Interface/associativeSymbol.hh:28:
In file included from ../../src/Interface/binarySymbol.hh:33:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_Subproblem.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_Subproblem.Tpo" -c -o libACU_Theory_a-ACU_Subproblem.o `test -f 'ACU_Subproblem.cc' || echo './'`ACU_Subproblem.cc;  then mv -f ".deps/libACU_Theory_a-ACU_Subproblem.Tpo" ".deps/libACU_Theory_a-ACU_Subproblem.Po"; else rm -f ".deps/libACU_Theory_a-ACU_Subproblem.Tpo"; exit 1; fi
In file included from ACU_Subproblem.cc:41:
In file included from ../../src/Interface/associativeSymbol.hh:28:
In file included from ../../src/Interface/binarySymbol.hh:33:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_ExtensionInfo.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_ExtensionInfo.Tpo" -c -o libACU_Theory_a-ACU_ExtensionInfo.o `test -f 'ACU_ExtensionInfo.cc' || echo './'`ACU_ExtensionInfo.cc;  then mv -f ".deps/libACU_Theory_a-ACU_ExtensionInfo.Tpo" ".deps/libACU_Theory_a-ACU_ExtensionInfo.Po"; else rm -f ".deps/libACU_Theory_a-ACU_ExtensionInfo.Tpo"; exit 1; fi
In file included from ACU_ExtensionInfo.cc:38:
In file included from ./ACU_Symbol.hh:28:
In file included from ../../src/Interface/associativeSymbol.hh:28:
In file included from ../../src/Interface/binarySymbol.hh:33:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_CollectorLhsAutomaton.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_CollectorLhsAutomaton.Tpo" -c -o libACU_Theory_a-ACU_CollectorLhsAutomaton.o `test -f 'ACU_CollectorLhsAutomaton.cc' || echo './'`ACU_CollectorLhsAutomaton.cc;  then mv -f ".deps/libACU_Theory_a-ACU_CollectorLhsAutomaton.Tpo" ".deps/libACU_Theory_a-ACU_CollectorLhsAutomaton.Po"; else rm -f ".deps/libACU_Theory_a-ACU_CollectorLhsAutomaton.Tpo"; exit 1; fi
In file included from ACU_CollectorLhsAutomaton.cc:39:
In file included from ../../src/Interface/associativeSymbol.hh:28:
In file included from ../../src/Interface/binarySymbol.hh:33:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_NGA_LhsAutomaton.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_NGA_LhsAutomaton.Tpo" -c -o libACU_Theory_a-ACU_NGA_LhsAutomaton.o `test -f 'ACU_NGA_LhsAutomaton.cc' || echo './'`ACU_NGA_LhsAutomaton.cc;  then mv -f ".deps/libACU_Theory_a-ACU_NGA_LhsAutomaton.Tpo" ".deps/libACU_Theory_a-ACU_NGA_LhsAutomaton.Po"; else rm -f ".deps/libACU_Theory_a-ACU_NGA_LhsAutomaton.Tpo"; exit 1; fi
In file included from ACU_NGA_LhsAutomaton.cc:40:
In file included from ../../src/Interface/associativeSymbol.hh:28:
In file included from ../../src/Interface/binarySymbol.hh:33:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_VarLhsAutomaton.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_VarLhsAutomaton.Tpo" -c -o libACU_Theory_a-ACU_VarLhsAutomaton.o `test -f 'ACU_VarLhsAutomaton.cc' || echo './'`ACU_VarLhsAutomaton.cc;  then mv -f ".deps/libACU_Theory_a-ACU_VarLhsAutomaton.Tpo" ".deps/libACU_Theory_a-ACU_VarLhsAutomaton.Po"; else rm -f ".deps/libACU_Theory_a-ACU_VarLhsAutomaton.Tpo"; exit 1; fi
In file included from ACU_VarLhsAutomaton.cc:40:
In file included from ../../src/Interface/associativeSymbol.hh:28:
In file included from ../../src/Interface/binarySymbol.hh:33:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_GndLhsAutomaton.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_GndLhsAutomaton.Tpo" -c -o libACU_Theory_a-ACU_GndLhsAutomaton.o `test -f 'ACU_GndLhsAutomaton.cc' || echo './'`ACU_GndLhsAutomaton.cc;  then mv -f ".deps/libACU_Theory_a-ACU_GndLhsAutomaton.Tpo" ".deps/libACU_Theory_a-ACU_GndLhsAutomaton.Po"; else rm -f ".deps/libACU_Theory_a-ACU_GndLhsAutomaton.Tpo"; exit 1; fi
In file included from ACU_GndLhsAutomaton.cc:40:
In file included from ../../src/Interface/associativeSymbol.hh:28:
In file included from ../../src/Interface/binarySymbol.hh:33:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_NonLinearLhsAutomaton.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_NonLinearLhsAutomaton.Tpo" -c -o libACU_Theory_a-ACU_NonLinearLhsAutomaton.o `test -f 'ACU_NonLinearLhsAutomaton.cc' || echo './'`ACU_NonLinearLhsAutomaton.cc;  then mv -f ".deps/libACU_Theory_a-ACU_NonLinearLhsAutomaton.Tpo" ".deps/libACU_Theory_a-ACU_NonLinearLhsAutomaton.Po"; else rm -f ".deps/libACU_Theory_a-ACU_NonLinearLhsAutomaton.Tpo"; exit 1; fi
In file included from ACU_NonLinearLhsAutomaton.cc:39:
In file included from ../../src/Interface/associativeSymbol.hh:28:
In file included from ../../src/Interface/binarySymbol.hh:33:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_ArgumentIterator.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_ArgumentIterator.Tpo" -c -o libACU_Theory_a-ACU_ArgumentIterator.o `test -f 'ACU_ArgumentIterator.cc' || echo './'`ACU_ArgumentIterator.cc;  then mv -f ".deps/libACU_Theory_a-ACU_ArgumentIterator.Tpo" ".deps/libACU_Theory_a-ACU_ArgumentIterator.Po"; else rm -f ".deps/libACU_Theory_a-ACU_ArgumentIterator.Tpo"; exit 1; fi
In file included from ACU_ArgumentIterator.cc:37:
In file included from ./ACU_Term.hh:28:
In file included from ./ACU_Symbol.hh:28:
In file included from ../../src/Interface/associativeSymbol.hh:28:
In file included from ../../src/Interface/binarySymbol.hh:33:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_DagArgumentIterator.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_DagArgumentIterator.Tpo" -c -o libACU_Theory_a-ACU_DagArgumentIterator.o `test -f 'ACU_DagArgumentIterator.cc' || echo './'`ACU_DagArgumentIterator.cc;  then mv -f ".deps/libACU_Theory_a-ACU_DagArgumentIterator.Tpo" ".deps/libACU_Theory_a-ACU_DagArgumentIterator.Po"; else rm -f ".deps/libACU_Theory_a-ACU_DagArgumentIterator.Tpo"; exit 1; fi
In file included from ACU_DagArgumentIterator.cc:38:
In file included from ./ACU_Symbol.hh:28:
In file included from ../../src/Interface/associativeSymbol.hh:28:
In file included from ../../src/Interface/binarySymbol.hh:33:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_TreeDagArgumentIterator.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_TreeDagArgumentIterator.Tpo" -c -o libACU_Theory_a-ACU_TreeDagArgumentIterator.o `test -f 'ACU_TreeDagArgumentIterator.cc' || echo './'`ACU_TreeDagArgumentIterator.cc;  then mv -f ".deps/libACU_Theory_a-ACU_TreeDagArgumentIterator.Tpo" ".deps/libACU_Theory_a-ACU_TreeDagArgumentIterator.Po"; else rm -f ".deps/libACU_Theory_a-ACU_TreeDagArgumentIterator.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_LazySubproblem.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_LazySubproblem.Tpo" -c -o libACU_Theory_a-ACU_LazySubproblem.o `test -f 'ACU_LazySubproblem.cc' || echo './'`ACU_LazySubproblem.cc;  then mv -f ".deps/libACU_Theory_a-ACU_LazySubproblem.Tpo" ".deps/libACU_Theory_a-ACU_LazySubproblem.Po"; else rm -f ".deps/libACU_Theory_a-ACU_LazySubproblem.Tpo"; exit 1; fi
In file included from ACU_LazySubproblem.cc:40:
In file included from ../../src/Interface/associativeSymbol.hh:28:
In file included from ../../src/Interface/binarySymbol.hh:33:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libACU_Theory_a-ACU_UnificationSubproblem2.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_UnificationSubproblem2.Tpo" -c -o libACU_Theory_a-ACU_UnificationSubproblem2.o `test -f 'ACU_UnificationSubproblem2.cc' || echo './'`ACU_UnificationSubproblem2.cc;  then mv -f ".deps/libACU_Theory_a-ACU_UnificationSubproblem2.Tpo" ".deps/libACU_Theory_a-ACU_UnificationSubproblem2.Po"; else rm -f ".deps/libACU_Theory_a-ACU_UnificationSubproblem2.Tpo"; exit 1; fi
In file included from ACU_UnificationSubproblem2.cc:42:
In file included from ../../src/Interface/associativeSymbol.hh:28:
In file included from ../../src/Interface/binarySymbol.hh:33:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
rm -f libACU_Theory.a
ar cru libACU_Theory.a libACU_Theory_a-ACU_Symbol.o  libACU_Theory_a-ACU_Term.o  libACU_Theory_a-ACU_BaseDagNode.o  libACU_Theory_a-ACU_DagNode.o  libACU_Theory_a-ACU_TreeDagNode.o  libACU_Theory_a-ACU_RhsAutomaton.o  libACU_Theory_a-ACU_LhsAutomaton.o  libACU_Theory_a-ACU_Subproblem.o  libACU_Theory_a-ACU_ExtensionInfo.o  libACU_Theory_a-ACU_CollectorLhsAutomaton.o  libACU_Theory_a-ACU_NGA_LhsAutomaton.o  libACU_Theory_a-ACU_VarLhsAutomaton.o  libACU_Theory_a-ACU_GndLhsAutomaton.o  libACU_Theory_a-ACU_NonLinearLhsAutomaton.o  libACU_Theory_a-ACU_ArgumentIterator.o  libACU_Theory_a-ACU_DagArgumentIterator.o  libACU_Theory_a-ACU_TreeDagArgumentIterator.o  libACU_Theory_a-ACU_LazySubproblem.o  libACU_Theory_a-ACU_UnificationSubproblem2.o 
ranlib libACU_Theory.a
Making all in AU_Persistent
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libAU_Persistent_a-AU_StackNode.o -MD -MP -MF ".deps/libAU_Persistent_a-AU_StackNode.Tpo" -c -o libAU_Persistent_a-AU_StackNode.o `test -f 'AU_StackNode.cc' || echo './'`AU_StackNode.cc;  then mv -f ".deps/libAU_Persistent_a-AU_StackNode.Tpo" ".deps/libAU_Persistent_a-AU_StackNode.Po"; else rm -f ".deps/libAU_Persistent_a-AU_StackNode.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libAU_Persistent_a-AU_Deque.o -MD -MP -MF ".deps/libAU_Persistent_a-AU_Deque.Tpo" -c -o libAU_Persistent_a-AU_Deque.o `test -f 'AU_Deque.cc' || echo './'`AU_Deque.cc;  then mv -f ".deps/libAU_Persistent_a-AU_Deque.Tpo" ".deps/libAU_Persistent_a-AU_Deque.Po"; else rm -f ".deps/libAU_Persistent_a-AU_Deque.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libAU_Persistent_a-AU_DequeIter.o -MD -MP -MF ".deps/libAU_Persistent_a-AU_DequeIter.Tpo" -c -o libAU_Persistent_a-AU_DequeIter.o `test -f 'AU_DequeIter.cc' || echo './'`AU_DequeIter.cc;  then mv -f ".deps/libAU_Persistent_a-AU_DequeIter.Tpo" ".deps/libAU_Persistent_a-AU_DequeIter.Po"; else rm -f ".deps/libAU_Persistent_a-AU_DequeIter.Tpo"; exit 1; fi
rm -f libAU_Persistent.a
ar cru libAU_Persistent.a libAU_Persistent_a-AU_StackNode.o  libAU_Persistent_a-AU_Deque.o  libAU_Persistent_a-AU_DequeIter.o 
ranlib libAU_Persistent.a
Making all in AU_Theory
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libAU_Theory_a-AU_Symbol.o -MD -MP -MF ".deps/libAU_Theory_a-AU_Symbol.Tpo" -c -o libAU_Theory_a-AU_Symbol.o `test -f 'AU_Symbol.cc' || echo './'`AU_Symbol.cc;  then mv -f ".deps/libAU_Theory_a-AU_Symbol.Tpo" ".deps/libAU_Theory_a-AU_Symbol.Po"; else rm -f ".deps/libAU_Theory_a-AU_Symbol.Tpo"; exit 1; fi
In file included from AU_Symbol.cc:45:
In file included from ./AU_Symbol.hh:28:
In file included from ../../src/Interface/associativeSymbol.hh:28:
In file included from ../../src/Interface/binarySymbol.hh:33:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libAU_Theory_a-AU_DagNode.o -MD -MP -MF ".deps/libAU_Theory_a-AU_DagNode.Tpo" -c -o libAU_Theory_a-AU_DagNode.o `test -f 'AU_DagNode.cc' || echo './'`AU_DagNode.cc;  then mv -f ".deps/libAU_Theory_a-AU_DagNode.Tpo" ".deps/libAU_Theory_a-AU_DagNode.Po"; else rm -f ".deps/libAU_Theory_a-AU_DagNode.Tpo"; exit 1; fi
In file included from AU_DagNode.cc:37:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libAU_Theory_a-AU_DequeDagNode.o -MD -MP -MF ".deps/libAU_Theory_a-AU_DequeDagNode.Tpo" -c -o libAU_Theory_a-AU_DequeDagNode.o `test -f 'AU_DequeDagNode.cc' || echo './'`AU_DequeDagNode.cc;  then mv -f ".deps/libAU_Theory_a-AU_DequeDagNode.Tpo" ".deps/libAU_Theory_a-AU_DequeDagNode.Po"; else rm -f ".deps/libAU_Theory_a-AU_DequeDagNode.Tpo"; exit 1; fi
In file included from AU_DequeDagNode.cc:38:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libAU_Theory_a-AU_Term.o -MD -MP -MF ".deps/libAU_Theory_a-AU_Term.Tpo" -c -o libAU_Theory_a-AU_Term.o `test -f 'AU_Term.cc' || echo './'`AU_Term.cc;  then mv -f ".deps/libAU_Theory_a-AU_Term.Tpo" ".deps/libAU_Theory_a-AU_Term.Po"; else rm -f ".deps/libAU_Theory_a-AU_Term.Tpo"; exit 1; fi
In file included from AU_Term.cc:40:
In file included from ../../src/Variable/variableTerm.hh:28:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libAU_Theory_a-AU_DagArgumentIterator.o -MD -MP -MF ".deps/libAU_Theory_a-AU_DagArgumentIterator.Tpo" -c -o libAU_Theory_a-AU_DagArgumentIterator.o `test -f 'AU_DagArgumentIterator.cc' || echo './'`AU_DagArgumentIterator.cc;  then mv -f ".deps/libAU_Theory_a-AU_DagArgumentIterator.Tpo" ".deps/libAU_Theory_a-AU_DagArgumentIterator.Po"; else rm -f ".deps/libAU_Theory_a-AU_DagArgumentIterator.Tpo"; exit 1; fi
In file included from AU_DagArgumentIterator.cc:37:
In file included from ./AU_Symbol.hh:28:
In file included from ../../src/Interface/associativeSymbol.hh:28:
In file included from ../../src/Interface/binarySymbol.hh:33:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libAU_Theory_a-AU_DequeDagArgumentIterator.o -MD -MP -MF ".deps/libAU_Theory_a-AU_DequeDagArgumentIterator.Tpo" -c -o libAU_Theory_a-AU_DequeDagArgumentIterator.o `test -f 'AU_DequeDagArgumentIterator.cc' || echo './'`AU_DequeDagArgumentIterator.cc;  then mv -f ".deps/libAU_Theory_a-AU_DequeDagArgumentIterator.Tpo" ".deps/libAU_Theory_a-AU_DequeDagArgumentIterator.Po"; else rm -f ".deps/libAU_Theory_a-AU_DequeDagArgumentIterator.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libAU_Theory_a-AU_ExtensionInfo.o -MD -MP -MF ".deps/libAU_Theory_a-AU_ExtensionInfo.Tpo" -c -o libAU_Theory_a-AU_ExtensionInfo.o `test -f 'AU_ExtensionInfo.cc' || echo './'`AU_ExtensionInfo.cc;  then mv -f ".deps/libAU_Theory_a-AU_ExtensionInfo.Tpo" ".deps/libAU_Theory_a-AU_ExtensionInfo.Po"; else rm -f ".deps/libAU_Theory_a-AU_ExtensionInfo.Tpo"; exit 1; fi
In file included from AU_ExtensionInfo.cc:37:
In file included from ./AU_Symbol.hh:28:
In file included from ../../src/Interface/associativeSymbol.hh:28:
In file included from ../../src/Interface/binarySymbol.hh:33:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libAU_Theory_a-AU_RhsAutomaton.o -MD -MP -MF ".deps/libAU_Theory_a-AU_RhsAutomaton.Tpo" -c -o libAU_Theory_a-AU_RhsAutomaton.o `test -f 'AU_RhsAutomaton.cc' || echo './'`AU_RhsAutomaton.cc;  then mv -f ".deps/libAU_Theory_a-AU_RhsAutomaton.Tpo" ".deps/libAU_Theory_a-AU_RhsAutomaton.Po"; else rm -f ".deps/libAU_Theory_a-AU_RhsAutomaton.Tpo"; exit 1; fi
In file included from AU_RhsAutomaton.cc:39:
In file included from ../../src/Core/variableInfo.hh:30:
In file included from ../../src/Variable/variableTerm.hh:28:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libAU_Theory_a-AU_LhsAutomaton.o -MD -MP -MF ".deps/libAU_Theory_a-AU_LhsAutomaton.Tpo" -c -o libAU_Theory_a-AU_LhsAutomaton.o `test -f 'AU_LhsAutomaton.cc' || echo './'`AU_LhsAutomaton.cc;  then mv -f ".deps/libAU_Theory_a-AU_LhsAutomaton.Tpo" ".deps/libAU_Theory_a-AU_LhsAutomaton.Po"; else rm -f ".deps/libAU_Theory_a-AU_LhsAutomaton.Tpo"; exit 1; fi
In file included from AU_LhsAutomaton.cc:40:
In file included from ../../src/Interface/associativeSymbol.hh:28:
In file included from ../../src/Interface/binarySymbol.hh:33:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libAU_Theory_a-AU_ArgumentIterator.o -MD -MP -MF ".deps/libAU_Theory_a-AU_ArgumentIterator.Tpo" -c -o libAU_Theory_a-AU_ArgumentIterator.o `test -f 'AU_ArgumentIterator.cc' || echo './'`AU_ArgumentIterator.cc;  then mv -f ".deps/libAU_Theory_a-AU_ArgumentIterator.Tpo" ".deps/libAU_Theory_a-AU_ArgumentIterator.Po"; else rm -f ".deps/libAU_Theory_a-AU_ArgumentIterator.Tpo"; exit 1; fi
In file included from AU_ArgumentIterator.cc:37:
In file included from ./AU_ArgumentIterator.hh:29:
In file included from ./AU_Term.hh:28:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libAU_Theory_a-AU_Layer.o -MD -MP -MF ".deps/libAU_Theory_a-AU_Layer.Tpo" -c -o libAU_Theory_a-AU_Layer.o `test -f 'AU_Layer.cc' || echo './'`AU_Layer.cc;  then mv -f ".deps/libAU_Theory_a-AU_Layer.Tpo" ".deps/libAU_Theory_a-AU_Layer.Po"; else rm -f ".deps/libAU_Theory_a-AU_Layer.Tpo"; exit 1; fi
In file included from AU_Layer.cc:39:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libAU_Theory_a-AU_Subproblem.o -MD -MP -MF ".deps/libAU_Theory_a-AU_Subproblem.Tpo" -c -o libAU_Theory_a-AU_Subproblem.o `test -f 'AU_Subproblem.cc' || echo './'`AU_Subproblem.cc;  then mv -f ".deps/libAU_Theory_a-AU_Subproblem.Tpo" ".deps/libAU_Theory_a-AU_Subproblem.Po"; else rm -f ".deps/libAU_Theory_a-AU_Subproblem.Tpo"; exit 1; fi
In file included from AU_Subproblem.cc:45:
In file included from ./AU_Symbol.hh:28:
In file included from ../../src/Interface/associativeSymbol.hh:28:
In file included from ../../src/Interface/binarySymbol.hh:33:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
rm -f libAU_Theory.a
ar cru libAU_Theory.a libAU_Theory_a-AU_Symbol.o  libAU_Theory_a-AU_DagNode.o  libAU_Theory_a-AU_DequeDagNode.o  libAU_Theory_a-AU_Term.o  libAU_Theory_a-AU_DagArgumentIterator.o  libAU_Theory_a-AU_DequeDagArgumentIterator.o  libAU_Theory_a-AU_ExtensionInfo.o  libAU_Theory_a-AU_RhsAutomaton.o  libAU_Theory_a-AU_LhsAutomaton.o  libAU_Theory_a-AU_ArgumentIterator.o  libAU_Theory_a-AU_Layer.o  libAU_Theory_a-AU_Subproblem.o 
ranlib libAU_Theory.a
Making all in CUI_Theory
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libCUI_Theory_a-CUI_Symbol.o -MD -MP -MF ".deps/libCUI_Theory_a-CUI_Symbol.Tpo" -c -o libCUI_Theory_a-CUI_Symbol.o `test -f 'CUI_Symbol.cc' || echo './'`CUI_Symbol.cc;  then mv -f ".deps/libCUI_Theory_a-CUI_Symbol.Tpo" ".deps/libCUI_Theory_a-CUI_Symbol.Po"; else rm -f ".deps/libCUI_Theory_a-CUI_Symbol.Tpo"; exit 1; fi
In file included from CUI_Symbol.cc:40:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libCUI_Theory_a-CUI_DagNode.o -MD -MP -MF ".deps/libCUI_Theory_a-CUI_DagNode.Tpo" -c -o libCUI_Theory_a-CUI_DagNode.o `test -f 'CUI_DagNode.cc' || echo './'`CUI_DagNode.cc;  then mv -f ".deps/libCUI_Theory_a-CUI_DagNode.Tpo" ".deps/libCUI_Theory_a-CUI_DagNode.Po"; else rm -f ".deps/libCUI_Theory_a-CUI_DagNode.Tpo"; exit 1; fi
In file included from CUI_DagNode.cc:38:
In file included from ../../src/Interface/binarySymbol.hh:33:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libCUI_Theory_a-CUI_DagArgumentIterator.o -MD -MP -MF ".deps/libCUI_Theory_a-CUI_DagArgumentIterator.Tpo" -c -o libCUI_Theory_a-CUI_DagArgumentIterator.o `test -f 'CUI_DagArgumentIterator.cc' || echo './'`CUI_DagArgumentIterator.cc;  then mv -f ".deps/libCUI_Theory_a-CUI_DagArgumentIterator.Tpo" ".deps/libCUI_Theory_a-CUI_DagArgumentIterator.Po"; else rm -f ".deps/libCUI_Theory_a-CUI_DagArgumentIterator.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libCUI_Theory_a-CUI_RhsAutomaton.o -MD -MP -MF ".deps/libCUI_Theory_a-CUI_RhsAutomaton.Tpo" -c -o libCUI_Theory_a-CUI_RhsAutomaton.o `test -f 'CUI_RhsAutomaton.cc' || echo './'`CUI_RhsAutomaton.cc;  then mv -f ".deps/libCUI_Theory_a-CUI_RhsAutomaton.Tpo" ".deps/libCUI_Theory_a-CUI_RhsAutomaton.Po"; else rm -f ".deps/libCUI_Theory_a-CUI_RhsAutomaton.Tpo"; exit 1; fi
In file included from CUI_RhsAutomaton.cc:39:
In file included from ../../src/Core/variableInfo.hh:30:
In file included from ../../src/Variable/variableTerm.hh:28:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libCUI_Theory_a-CUI_Term.o -MD -MP -MF ".deps/libCUI_Theory_a-CUI_Term.Tpo" -c -o libCUI_Theory_a-CUI_Term.o `test -f 'CUI_Term.cc' || echo './'`CUI_Term.cc;  then mv -f ".deps/libCUI_Theory_a-CUI_Term.Tpo" ".deps/libCUI_Theory_a-CUI_Term.Po"; else rm -f ".deps/libCUI_Theory_a-CUI_Term.Tpo"; exit 1; fi
In file included from CUI_Term.cc:39:
In file included from ../../src/Interface/binarySymbol.hh:33:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libCUI_Theory_a-CUI_ArgumentIterator.o -MD -MP -MF ".deps/libCUI_Theory_a-CUI_ArgumentIterator.Tpo" -c -o libCUI_Theory_a-CUI_ArgumentIterator.o `test -f 'CUI_ArgumentIterator.cc' || echo './'`CUI_ArgumentIterator.cc;  then mv -f ".deps/libCUI_Theory_a-CUI_ArgumentIterator.Tpo" ".deps/libCUI_Theory_a-CUI_ArgumentIterator.Po"; else rm -f ".deps/libCUI_Theory_a-CUI_ArgumentIterator.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libCUI_Theory_a-CUI_UnificationSubproblem.o -MD -MP -MF ".deps/libCUI_Theory_a-CUI_UnificationSubproblem.Tpo" -c -o libCUI_Theory_a-CUI_UnificationSubproblem.o `test -f 'CUI_UnificationSubproblem.cc' || echo './'`CUI_UnificationSubproblem.cc;  then mv -f ".deps/libCUI_Theory_a-CUI_UnificationSubproblem.Tpo" ".deps/libCUI_Theory_a-CUI_UnificationSubproblem.Po"; else rm -f ".deps/libCUI_Theory_a-CUI_UnificationSubproblem.Tpo"; exit 1; fi
In file included from CUI_UnificationSubproblem.cc:43:
In file included from ../../src/Core/variableInfo.hh:30:
In file included from ../../src/Variable/variableTerm.hh:28:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libCUI_Theory_a-CUI_LhsAutomaton.o -MD -MP -MF ".deps/libCUI_Theory_a-CUI_LhsAutomaton.Tpo" -c -o libCUI_Theory_a-CUI_LhsAutomaton.o `test -f 'CUI_LhsAutomaton.cc' || echo './'`CUI_LhsAutomaton.cc;  then mv -f ".deps/libCUI_Theory_a-CUI_LhsAutomaton.Tpo" ".deps/libCUI_Theory_a-CUI_LhsAutomaton.Po"; else rm -f ".deps/libCUI_Theory_a-CUI_LhsAutomaton.Tpo"; exit 1; fi
In file included from CUI_LhsAutomaton.cc:39:
In file included from ../../src/Interface/binarySymbol.hh:33:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
rm -f libCUI_Theory.a
ar cru libCUI_Theory.a libCUI_Theory_a-CUI_Symbol.o  libCUI_Theory_a-CUI_DagNode.o  libCUI_Theory_a-CUI_DagArgumentIterator.o  libCUI_Theory_a-CUI_RhsAutomaton.o  libCUI_Theory_a-CUI_Term.o  libCUI_Theory_a-CUI_ArgumentIterator.o  libCUI_Theory_a-CUI_UnificationSubproblem.o  libCUI_Theory_a-CUI_LhsAutomaton.o 
ranlib libCUI_Theory.a
Making all in S_Theory
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libS_Theory_a-S_Symbol.o -MD -MP -MF ".deps/libS_Theory_a-S_Symbol.Tpo" -c -o libS_Theory_a-S_Symbol.o `test -f 'S_Symbol.cc' || echo './'`S_Symbol.cc;  then mv -f ".deps/libS_Theory_a-S_Symbol.Tpo" ".deps/libS_Theory_a-S_Symbol.Po"; else rm -f ".deps/libS_Theory_a-S_Symbol.Tpo"; exit 1; fi
In file included from S_Symbol.cc:44:
In file included from ./S_Term.hh:29:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libS_Theory_a-S_DagNode.o -MD -MP -MF ".deps/libS_Theory_a-S_DagNode.Tpo" -c -o libS_Theory_a-S_DagNode.o `test -f 'S_DagNode.cc' || echo './'`S_DagNode.cc;  then mv -f ".deps/libS_Theory_a-S_DagNode.Tpo" ".deps/libS_Theory_a-S_DagNode.Po"; else rm -f ".deps/libS_Theory_a-S_DagNode.Tpo"; exit 1; fi
In file included from S_DagNode.cc:38:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libS_Theory_a-S_Term.o -MD -MP -MF ".deps/libS_Theory_a-S_Term.Tpo" -c -o libS_Theory_a-S_Term.o `test -f 'S_Term.cc' || echo './'`S_Term.cc;  then mv -f ".deps/libS_Theory_a-S_Term.Tpo" ".deps/libS_Theory_a-S_Term.Po"; else rm -f ".deps/libS_Theory_a-S_Term.Tpo"; exit 1; fi
In file included from S_Term.cc:39:
In file included from ../../src/Variable/variableTerm.hh:28:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libS_Theory_a-S_ExtensionInfo.o -MD -MP -MF ".deps/libS_Theory_a-S_ExtensionInfo.Tpo" -c -o libS_Theory_a-S_ExtensionInfo.o `test -f 'S_ExtensionInfo.cc' || echo './'`S_ExtensionInfo.cc;  then mv -f ".deps/libS_Theory_a-S_ExtensionInfo.Tpo" ".deps/libS_Theory_a-S_ExtensionInfo.Po"; else rm -f ".deps/libS_Theory_a-S_ExtensionInfo.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libS_Theory_a-S_DagArgumentIterator.o -MD -MP -MF ".deps/libS_Theory_a-S_DagArgumentIterator.Tpo" -c -o libS_Theory_a-S_DagArgumentIterator.o `test -f 'S_DagArgumentIterator.cc' || echo './'`S_DagArgumentIterator.cc;  then mv -f ".deps/libS_Theory_a-S_DagArgumentIterator.Tpo" ".deps/libS_Theory_a-S_DagArgumentIterator.Po"; else rm -f ".deps/libS_Theory_a-S_DagArgumentIterator.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libS_Theory_a-S_ArgumentIterator.o -MD -MP -MF ".deps/libS_Theory_a-S_ArgumentIterator.Tpo" -c -o libS_Theory_a-S_ArgumentIterator.o `test -f 'S_ArgumentIterator.cc' || echo './'`S_ArgumentIterator.cc;  then mv -f ".deps/libS_Theory_a-S_ArgumentIterator.Tpo" ".deps/libS_Theory_a-S_ArgumentIterator.Po"; else rm -f ".deps/libS_Theory_a-S_ArgumentIterator.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libS_Theory_a-S_LhsAutomaton.o -MD -MP -MF ".deps/libS_Theory_a-S_LhsAutomaton.Tpo" -c -o libS_Theory_a-S_LhsAutomaton.o `test -f 'S_LhsAutomaton.cc' || echo './'`S_LhsAutomaton.cc;  then mv -f ".deps/libS_Theory_a-S_LhsAutomaton.Tpo" ".deps/libS_Theory_a-S_LhsAutomaton.Po"; else rm -f ".deps/libS_Theory_a-S_LhsAutomaton.Tpo"; exit 1; fi
In file included from S_LhsAutomaton.cc:38:
In file included from ../../src/Core/variableInfo.hh:30:
In file included from ../../src/Variable/variableTerm.hh:28:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libS_Theory_a-S_RhsAutomaton.o -MD -MP -MF ".deps/libS_Theory_a-S_RhsAutomaton.Tpo" -c -o libS_Theory_a-S_RhsAutomaton.o `test -f 'S_RhsAutomaton.cc' || echo './'`S_RhsAutomaton.cc;  then mv -f ".deps/libS_Theory_a-S_RhsAutomaton.Tpo" ".deps/libS_Theory_a-S_RhsAutomaton.Po"; else rm -f ".deps/libS_Theory_a-S_RhsAutomaton.Tpo"; exit 1; fi
In file included from S_RhsAutomaton.cc:39:
In file included from ../../src/Core/variableInfo.hh:30:
In file included from ../../src/Variable/variableTerm.hh:28:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libS_Theory_a-S_Subproblem.o -MD -MP -MF ".deps/libS_Theory_a-S_Subproblem.Tpo" -c -o libS_Theory_a-S_Subproblem.o `test -f 'S_Subproblem.cc' || echo './'`S_Subproblem.cc;  then mv -f ".deps/libS_Theory_a-S_Subproblem.Tpo" ".deps/libS_Theory_a-S_Subproblem.Po"; else rm -f ".deps/libS_Theory_a-S_Subproblem.Tpo"; exit 1; fi
In file included from S_Subproblem.cc:42:
In file included from ../../src/Core/variableInfo.hh:30:
In file included from ../../src/Variable/variableTerm.hh:28:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
rm -f libS_Theory.a
ar cru libS_Theory.a libS_Theory_a-S_Symbol.o  libS_Theory_a-S_DagNode.o  libS_Theory_a-S_Term.o  libS_Theory_a-S_ExtensionInfo.o  libS_Theory_a-S_DagArgumentIterator.o  libS_Theory_a-S_ArgumentIterator.o  libS_Theory_a-S_LhsAutomaton.o  libS_Theory_a-S_RhsAutomaton.o  libS_Theory_a-S_Subproblem.o 
ranlib libS_Theory.a
Making all in FreeTheory
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libfreeTheory_a-freeSymbol.o -MD -MP -MF ".deps/libfreeTheory_a-freeSymbol.Tpo" -c -o libfreeTheory_a-freeSymbol.o `test -f 'freeSymbol.cc' || echo './'`freeSymbol.cc;  then mv -f ".deps/libfreeTheory_a-freeSymbol.Tpo" ".deps/libfreeTheory_a-freeSymbol.Po"; else rm -f ".deps/libfreeTheory_a-freeSymbol.Tpo"; exit 1; fi
In file included from freeSymbol.cc:43:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libfreeTheory_a-freeUnarySymbol.o -MD -MP -MF ".deps/libfreeTheory_a-freeUnarySymbol.Tpo" -c -o libfreeTheory_a-freeUnarySymbol.o `test -f 'freeUnarySymbol.cc' || echo './'`freeUnarySymbol.cc;  then mv -f ".deps/libfreeTheory_a-freeUnarySymbol.Tpo" ".deps/libfreeTheory_a-freeUnarySymbol.Po"; else rm -f ".deps/libfreeTheory_a-freeUnarySymbol.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libfreeTheory_a-freeBinarySymbol.o -MD -MP -MF ".deps/libfreeTheory_a-freeBinarySymbol.Tpo" -c -o libfreeTheory_a-freeBinarySymbol.o `test -f 'freeBinarySymbol.cc' || echo './'`freeBinarySymbol.cc;  then mv -f ".deps/libfreeTheory_a-freeBinarySymbol.Tpo" ".deps/libfreeTheory_a-freeBinarySymbol.Po"; else rm -f ".deps/libfreeTheory_a-freeBinarySymbol.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libfreeTheory_a-freeTernarySymbol.o -MD -MP -MF ".deps/libfreeTheory_a-freeTernarySymbol.Tpo" -c -o libfreeTheory_a-freeTernarySymbol.o `test -f 'freeTernarySymbol.cc' || echo './'`freeTernarySymbol.cc;  then mv -f ".deps/libfreeTheory_a-freeTernarySymbol.Tpo" ".deps/libfreeTheory_a-freeTernarySymbol.Po"; else rm -f ".deps/libfreeTheory_a-freeTernarySymbol.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libfreeTheory_a-freeTerm.o -MD -MP -MF ".deps/libfreeTheory_a-freeTerm.Tpo" -c -o libfreeTheory_a-freeTerm.o `test -f 'freeTerm.cc' || echo './'`freeTerm.cc;  then mv -f ".deps/libfreeTheory_a-freeTerm.Tpo" ".deps/libfreeTheory_a-freeTerm.Po"; else rm -f ".deps/libfreeTheory_a-freeTerm.Tpo"; exit 1; fi
In file included from freeTerm.cc:40:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libfreeTheory_a-freeArgumentIterator.o -MD -MP -MF ".deps/libfreeTheory_a-freeArgumentIterator.Tpo" -c -o libfreeTheory_a-freeArgumentIterator.o `test -f 'freeArgumentIterator.cc' || echo './'`freeArgumentIterator.cc;  then mv -f ".deps/libfreeTheory_a-freeArgumentIterator.Tpo" ".deps/libfreeTheory_a-freeArgumentIterator.Po"; else rm -f ".deps/libfreeTheory_a-freeArgumentIterator.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libfreeTheory_a-freeDagNode.o -MD -MP -MF ".deps/libfreeTheory_a-freeDagNode.Tpo" -c -o libfreeTheory_a-freeDagNode.o `test -f 'freeDagNode.cc' || echo './'`freeDagNode.cc;  then mv -f ".deps/libfreeTheory_a-freeDagNode.Tpo" ".deps/libfreeTheory_a-freeDagNode.Po"; else rm -f ".deps/libfreeTheory_a-freeDagNode.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libfreeTheory_a-freeDagArgumentIterator.o -MD -MP -MF ".deps/libfreeTheory_a-freeDagArgumentIterator.Tpo" -c -o libfreeTheory_a-freeDagArgumentIterator.o `test -f 'freeDagArgumentIterator.cc' || echo './'`freeDagArgumentIterator.cc;  then mv -f ".deps/libfreeTheory_a-freeDagArgumentIterator.Tpo" ".deps/libfreeTheory_a-freeDagArgumentIterator.Po"; else rm -f ".deps/libfreeTheory_a-freeDagArgumentIterator.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libfreeTheory_a-freeLhsAutomaton.o -MD -MP -MF ".deps/libfreeTheory_a-freeLhsAutomaton.Tpo" -c -o libfreeTheory_a-freeLhsAutomaton.o `test -f 'freeLhsAutomaton.cc' || echo './'`freeLhsAutomaton.cc;  then mv -f ".deps/libfreeTheory_a-freeLhsAutomaton.Tpo" ".deps/libfreeTheory_a-freeLhsAutomaton.Po"; else rm -f ".deps/libfreeTheory_a-freeLhsAutomaton.Tpo"; exit 1; fi
In file included from freeLhsAutomaton.cc:41:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libfreeTheory_a-freeRhsAutomaton.o -MD -MP -MF ".deps/libfreeTheory_a-freeRhsAutomaton.Tpo" -c -o libfreeTheory_a-freeRhsAutomaton.o `test -f 'freeRhsAutomaton.cc' || echo './'`freeRhsAutomaton.cc;  then mv -f ".deps/libfreeTheory_a-freeRhsAutomaton.Tpo" ".deps/libfreeTheory_a-freeRhsAutomaton.Po"; else rm -f ".deps/libfreeTheory_a-freeRhsAutomaton.Tpo"; exit 1; fi
In file included from freeRhsAutomaton.cc:40:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libfreeTheory_a-freeNet.o -MD -MP -MF ".deps/libfreeTheory_a-freeNet.Tpo" -c -o libfreeTheory_a-freeNet.o `test -f 'freeNet.cc' || echo './'`freeNet.cc;  then mv -f ".deps/libfreeTheory_a-freeNet.Tpo" ".deps/libfreeTheory_a-freeNet.Po"; else rm -f ".deps/libfreeTheory_a-freeNet.Tpo"; exit 1; fi
In file included from freeNet.cc:45:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libfreeTheory_a-freePreNet.o -MD -MP -MF ".deps/libfreeTheory_a-freePreNet.Tpo" -c -o libfreeTheory_a-freePreNet.o `test -f 'freePreNet.cc' || echo './'`freePreNet.cc;  then mv -f ".deps/libfreeTheory_a-freePreNet.Tpo" ".deps/libfreeTheory_a-freePreNet.Po"; else rm -f ".deps/libfreeTheory_a-freePreNet.Tpo"; exit 1; fi
In file included from freePreNet.cc:45:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libfreeTheory_a-freeRemainder.o -MD -MP -MF ".deps/libfreeTheory_a-freeRemainder.Tpo" -c -o libfreeTheory_a-freeRemainder.o `test -f 'freeRemainder.cc' || echo './'`freeRemainder.cc;  then mv -f ".deps/libfreeTheory_a-freeRemainder.Tpo" ".deps/libfreeTheory_a-freeRemainder.Po"; else rm -f ".deps/libfreeTheory_a-freeRemainder.Tpo"; exit 1; fi
In file included from freeRemainder.cc:41:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libfreeTheory_a-freePositionTable.o -MD -MP -MF ".deps/libfreeTheory_a-freePositionTable.Tpo" -c -o libfreeTheory_a-freePositionTable.o `test -f 'freePositionTable.cc' || echo './'`freePositionTable.cc;  then mv -f ".deps/libfreeTheory_a-freePositionTable.Tpo" ".deps/libfreeTheory_a-freePositionTable.Po"; else rm -f ".deps/libfreeTheory_a-freePositionTable.Tpo"; exit 1; fi
rm -f libfreeTheory.a
ar cru libfreeTheory.a libfreeTheory_a-freeSymbol.o  libfreeTheory_a-freeUnarySymbol.o  libfreeTheory_a-freeBinarySymbol.o  libfreeTheory_a-freeTernarySymbol.o  libfreeTheory_a-freeTerm.o  libfreeTheory_a-freeArgumentIterator.o  libfreeTheory_a-freeDagNode.o  libfreeTheory_a-freeDagArgumentIterator.o  libfreeTheory_a-freeLhsAutomaton.o  libfreeTheory_a-freeRhsAutomaton.o  libfreeTheory_a-freeNet.o  libfreeTheory_a-freePreNet.o  libfreeTheory_a-freeRemainder.o  libfreeTheory_a-freePositionTable.o 
ranlib libfreeTheory.a
Making all in Higher
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libhigher_a-rewriteSearchState.o -MD -MP -MF ".deps/libhigher_a-rewriteSearchState.Tpo" -c -o libhigher_a-rewriteSearchState.o `test -f 'rewriteSearchState.cc' || echo './'`rewriteSearchState.cc;  then mv -f ".deps/libhigher_a-rewriteSearchState.Tpo" ".deps/libhigher_a-rewriteSearchState.Po"; else rm -f ".deps/libhigher_a-rewriteSearchState.Tpo"; exit 1; fi
In file included from rewriteSearchState.cc:42:
In file included from ../../src/Core/rule.hh:28:
In file included from ../../src/Core/preEquation.hh:30:
In file included from ../../src/Core/variableInfo.hh:30:
In file included from ../../src/Variable/variableTerm.hh:28:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libhigher_a-matchSearchState.o -MD -MP -MF ".deps/libhigher_a-matchSearchState.Tpo" -c -o libhigher_a-matchSearchState.o `test -f 'matchSearchState.cc' || echo './'`matchSearchState.cc;  then mv -f ".deps/libhigher_a-matchSearchState.Tpo" ".deps/libhigher_a-matchSearchState.Po"; else rm -f ".deps/libhigher_a-matchSearchState.Tpo"; exit 1; fi
In file included from matchSearchState.cc:41:
In file included from ./pattern.hh:28:
In file included from ../../src/Core/preEquation.hh:30:
In file included from ../../src/Core/variableInfo.hh:30:
In file included from ../../src/Variable/variableTerm.hh:28:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libhigher_a-positionState.o -MD -MP -MF ".deps/libhigher_a-positionState.Tpo" -c -o libhigher_a-positionState.o `test -f 'positionState.cc' || echo './'`positionState.cc;  then mv -f ".deps/libhigher_a-positionState.Tpo" ".deps/libhigher_a-positionState.Po"; else rm -f ".deps/libhigher_a-positionState.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libhigher_a-pattern.o -MD -MP -MF ".deps/libhigher_a-pattern.Tpo" -c -o libhigher_a-pattern.o `test -f 'pattern.cc' || echo './'`pattern.cc;  then mv -f ".deps/libhigher_a-pattern.Tpo" ".deps/libhigher_a-pattern.Po"; else rm -f ".deps/libhigher_a-pattern.Tpo"; exit 1; fi
In file included from pattern.cc:36:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libhigher_a-searchState.o -MD -MP -MF ".deps/libhigher_a-searchState.Tpo" -c -o libhigher_a-searchState.o `test -f 'searchState.cc' || echo './'`searchState.cc;  then mv -f ".deps/libhigher_a-searchState.Tpo" ".deps/libhigher_a-searchState.Po"; else rm -f ".deps/libhigher_a-searchState.Tpo"; exit 1; fi
In file included from searchState.cc:43:
In file included from ../../src/Core/preEquation.hh:30:
In file included from ../../src/Core/variableInfo.hh:30:
In file included from ../../src/Variable/variableTerm.hh:28:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libhigher_a-rewriteSequenceSearch.o -MD -MP -MF ".deps/libhigher_a-rewriteSequenceSearch.Tpo" -c -o libhigher_a-rewriteSequenceSearch.o `test -f 'rewriteSequenceSearch.cc' || echo './'`rewriteSequenceSearch.cc;  then mv -f ".deps/libhigher_a-rewriteSequenceSearch.Tpo" ".deps/libhigher_a-rewriteSequenceSearch.Po"; else rm -f ".deps/libhigher_a-rewriteSequenceSearch.Tpo"; exit 1; fi
In file included from rewriteSequenceSearch.cc:42:
In file included from ./pattern.hh:28:
In file included from ../../src/Core/preEquation.hh:30:
In file included from ../../src/Core/variableInfo.hh:30:
In file included from ../../src/Variable/variableTerm.hh:28:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libhigher_a-modelCheckerSymbol.o -MD -MP -MF ".deps/libhigher_a-modelCheckerSymbol.Tpo" -c -o libhigher_a-modelCheckerSymbol.o `test -f 'modelCheckerSymbol.cc' || echo './'`modelCheckerSymbol.cc;  then mv -f ".deps/libhigher_a-modelCheckerSymbol.Tpo" ".deps/libhigher_a-modelCheckerSymbol.Po"; else rm -f ".deps/libhigher_a-modelCheckerSymbol.Tpo"; exit 1; fi
In file included from modelCheckerSymbol.cc:42:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
In file included from modelCheckerSymbol.cc:65:
In file included from ./modelCheckerSymbol.hh:28:
In file included from ./temporalSymbol.hh:29:
../../src/Core/dagNodeSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/dagNodeSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
4 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libhigher_a-stateTransitionGraph.o -MD -MP -MF ".deps/libhigher_a-stateTransitionGraph.Tpo" -c -o libhigher_a-stateTransitionGraph.o `test -f 'stateTransitionGraph.cc' || echo './'`stateTransitionGraph.cc;  then mv -f ".deps/libhigher_a-stateTransitionGraph.Tpo" ".deps/libhigher_a-stateTransitionGraph.Po"; else rm -f ".deps/libhigher_a-stateTransitionGraph.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libhigher_a-rewriteConditionFragment.o -MD -MP -MF ".deps/libhigher_a-rewriteConditionFragment.Tpo" -c -o libhigher_a-rewriteConditionFragment.o `test -f 'rewriteConditionFragment.cc' || echo './'`rewriteConditionFragment.cc;  then mv -f ".deps/libhigher_a-rewriteConditionFragment.Tpo" ".deps/libhigher_a-rewriteConditionFragment.Po"; else rm -f ".deps/libhigher_a-rewriteConditionFragment.Tpo"; exit 1; fi
In file included from rewriteConditionFragment.cc:39:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libhigher_a-assignmentConditionFragment.o -MD -MP -MF ".deps/libhigher_a-assignmentConditionFragment.Tpo" -c -o libhigher_a-assignmentConditionFragment.o `test -f 'assignmentConditionFragment.cc' || echo './'`assignmentConditionFragment.cc;  then mv -f ".deps/libhigher_a-assignmentConditionFragment.Tpo" ".deps/libhigher_a-assignmentConditionFragment.Po"; else rm -f ".deps/libhigher_a-assignmentConditionFragment.Tpo"; exit 1; fi
In file included from assignmentConditionFragment.cc:39:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libhigher_a-sortTestConditionFragment.o -MD -MP -MF ".deps/libhigher_a-sortTestConditionFragment.Tpo" -c -o libhigher_a-sortTestConditionFragment.o `test -f 'sortTestConditionFragment.cc' || echo './'`sortTestConditionFragment.cc;  then mv -f ".deps/libhigher_a-sortTestConditionFragment.Tpo" ".deps/libhigher_a-sortTestConditionFragment.Po"; else rm -f ".deps/libhigher_a-sortTestConditionFragment.Tpo"; exit 1; fi
In file included from sortTestConditionFragment.cc:39:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libhigher_a-equalityConditionFragment.o -MD -MP -MF ".deps/libhigher_a-equalityConditionFragment.Tpo" -c -o libhigher_a-equalityConditionFragment.o `test -f 'equalityConditionFragment.cc' || echo './'`equalityConditionFragment.cc;  then mv -f ".deps/libhigher_a-equalityConditionFragment.Tpo" ".deps/libhigher_a-equalityConditionFragment.Po"; else rm -f ".deps/libhigher_a-equalityConditionFragment.Tpo"; exit 1; fi
In file included from equalityConditionFragment.cc:40:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libhigher_a-assignmentConditionState.o -MD -MP -MF ".deps/libhigher_a-assignmentConditionState.Tpo" -c -o libhigher_a-assignmentConditionState.o `test -f 'assignmentConditionState.cc' || echo './'`assignmentConditionState.cc;  then mv -f ".deps/libhigher_a-assignmentConditionState.Tpo" ".deps/libhigher_a-assignmentConditionState.Po"; else rm -f ".deps/libhigher_a-assignmentConditionState.Tpo"; exit 1; fi
In file included from assignmentConditionState.cc:38:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libhigher_a-rewriteConditionState.o -MD -MP -MF ".deps/libhigher_a-rewriteConditionState.Tpo" -c -o libhigher_a-rewriteConditionState.o `test -f 'rewriteConditionState.cc' || echo './'`rewriteConditionState.cc;  then mv -f ".deps/libhigher_a-rewriteConditionState.Tpo" ".deps/libhigher_a-rewriteConditionState.Po"; else rm -f ".deps/libhigher_a-rewriteConditionState.Tpo"; exit 1; fi
In file included from rewriteConditionState.cc:39:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libhigher_a-temporalSymbol.o -MD -MP -MF ".deps/libhigher_a-temporalSymbol.Tpo" -c -o libhigher_a-temporalSymbol.o `test -f 'temporalSymbol.cc' || echo './'`temporalSymbol.cc;  then mv -f ".deps/libhigher_a-temporalSymbol.Tpo" ".deps/libhigher_a-temporalSymbol.Po"; else rm -f ".deps/libhigher_a-temporalSymbol.Tpo"; exit 1; fi
In file included from temporalSymbol.cc:42:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
In file included from temporalSymbol.cc:59:
In file included from ./temporalSymbol.hh:29:
../../src/Core/dagNodeSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/dagNodeSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
4 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libhigher_a-satSolverSymbol.o -MD -MP -MF ".deps/libhigher_a-satSolverSymbol.Tpo" -c -o libhigher_a-satSolverSymbol.o `test -f 'satSolverSymbol.cc' || echo './'`satSolverSymbol.cc;  then mv -f ".deps/libhigher_a-satSolverSymbol.Tpo" ".deps/libhigher_a-satSolverSymbol.Po"; else rm -f ".deps/libhigher_a-satSolverSymbol.Tpo"; exit 1; fi
In file included from satSolverSymbol.cc:43:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
In file included from satSolverSymbol.cc:62:
In file included from ./satSolverSymbol.hh:28:
In file included from ./temporalSymbol.hh:29:
../../src/Core/dagNodeSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/dagNodeSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
4 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libhigher_a-unificationProblem.o -MD -MP -MF ".deps/libhigher_a-unificationProblem.Tpo" -c -o libhigher_a-unificationProblem.o `test -f 'unificationProblem.cc' || echo './'`unificationProblem.cc;  then mv -f ".deps/libhigher_a-unificationProblem.Tpo" ".deps/libhigher_a-unificationProblem.Po"; else rm -f ".deps/libhigher_a-unificationProblem.Tpo"; exit 1; fi
In file included from unificationProblem.cc:43:
In file included from ../../src/Variable/variableTerm.hh:28:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libhigher_a-narrowingSearchState.o -MD -MP -MF ".deps/libhigher_a-narrowingSearchState.Tpo" -c -o libhigher_a-narrowingSearchState.o `test -f 'narrowingSearchState.cc' || echo './'`narrowingSearchState.cc;  then mv -f ".deps/libhigher_a-narrowingSearchState.Tpo" ".deps/libhigher_a-narrowingSearchState.Po"; else rm -f ".deps/libhigher_a-narrowingSearchState.Tpo"; exit 1; fi
In file included from narrowingSearchState.cc:43:
In file included from ../../src/Core/rule.hh:28:
In file included from ../../src/Core/preEquation.hh:30:
In file included from ../../src/Core/variableInfo.hh:30:
In file included from ../../src/Variable/variableTerm.hh:28:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libhigher_a-narrowingUnificationProblem.o -MD -MP -MF ".deps/libhigher_a-narrowingUnificationProblem.Tpo" -c -o libhigher_a-narrowingUnificationProblem.o `test -f 'narrowingUnificationProblem.cc' || echo './'`narrowingUnificationProblem.cc;  then mv -f ".deps/libhigher_a-narrowingUnificationProblem.Tpo" ".deps/libhigher_a-narrowingUnificationProblem.Po"; else rm -f ".deps/libhigher_a-narrowingUnificationProblem.Tpo"; exit 1; fi
In file included from narrowingUnificationProblem.cc:49:
In file included from ../../src/Core/rule.hh:28:
In file included from ../../src/Core/preEquation.hh:30:
In file included from ../../src/Core/variableInfo.hh:30:
In file included from ../../src/Variable/variableTerm.hh:28:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libhigher_a-narrowingSequenceSearch.o -MD -MP -MF ".deps/libhigher_a-narrowingSequenceSearch.Tpo" -c -o libhigher_a-narrowingSequenceSearch.o `test -f 'narrowingSequenceSearch.cc' || echo './'`narrowingSequenceSearch.cc;  then mv -f ".deps/libhigher_a-narrowingSequenceSearch.Tpo" ".deps/libhigher_a-narrowingSequenceSearch.Po"; else rm -f ".deps/libhigher_a-narrowingSequenceSearch.Tpo"; exit 1; fi
In file included from narrowingSequenceSearch.cc:47:
In file included from ./pattern.hh:28:
In file included from ../../src/Core/preEquation.hh:30:
In file included from ../../src/Core/variableInfo.hh:30:
In file included from ../../src/Variable/variableTerm.hh:28:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
In file included from narrowingSequenceSearch.cc:49:
In file included from ./narrowingSequenceSearch.hh:30:
In file included from ../../src/Core/protectedDagNodeSet.hh:28:
../../src/Core/dagNodeSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/dagNodeSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
4 warnings generated.
rm -f libhigher.a
ar cru libhigher.a libhigher_a-rewriteSearchState.o  libhigher_a-matchSearchState.o  libhigher_a-positionState.o  libhigher_a-pattern.o  libhigher_a-searchState.o  libhigher_a-rewriteSequenceSearch.o  libhigher_a-modelCheckerSymbol.o  libhigher_a-stateTransitionGraph.o  libhigher_a-rewriteConditionFragment.o  libhigher_a-assignmentConditionFragment.o  libhigher_a-sortTestConditionFragment.o  libhigher_a-equalityConditionFragment.o  libhigher_a-assignmentConditionState.o  libhigher_a-rewriteConditionState.o  libhigher_a-temporalSymbol.o  libhigher_a-satSolverSymbol.o  libhigher_a-unificationProblem.o  libhigher_a-narrowingSearchState.o  libhigher_a-narrowingUnificationProblem.o  libhigher_a-narrowingSequenceSearch.o 
ranlib libhigher.a
Making all in BuiltIn
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libbuiltIn_a-equalitySymbol.o -MD -MP -MF ".deps/libbuiltIn_a-equalitySymbol.Tpo" -c -o libbuiltIn_a-equalitySymbol.o `test -f 'equalitySymbol.cc' || echo './'`equalitySymbol.cc;  then mv -f ".deps/libbuiltIn_a-equalitySymbol.Tpo" ".deps/libbuiltIn_a-equalitySymbol.Po"; else rm -f ".deps/libbuiltIn_a-equalitySymbol.Tpo"; exit 1; fi
In file included from equalitySymbol.cc:40:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libbuiltIn_a-sortTestSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-sortTestSymbol.Tpo" -c -o libbuiltIn_a-sortTestSymbol.o `test -f 'sortTestSymbol.cc' || echo './'`sortTestSymbol.cc;  then mv -f ".deps/libbuiltIn_a-sortTestSymbol.Tpo" ".deps/libbuiltIn_a-sortTestSymbol.Po"; else rm -f ".deps/libbuiltIn_a-sortTestSymbol.Tpo"; exit 1; fi
In file included from sortTestSymbol.cc:39:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libbuiltIn_a-branchSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-branchSymbol.Tpo" -c -o libbuiltIn_a-branchSymbol.o `test -f 'branchSymbol.cc' || echo './'`branchSymbol.cc;  then mv -f ".deps/libbuiltIn_a-branchSymbol.Tpo" ".deps/libbuiltIn_a-branchSymbol.Po"; else rm -f ".deps/libbuiltIn_a-branchSymbol.Tpo"; exit 1; fi
In file included from branchSymbol.cc:39:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libbuiltIn_a-stringSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-stringSymbol.Tpo" -c -o libbuiltIn_a-stringSymbol.o `test -f 'stringSymbol.cc' || echo './'`stringSymbol.cc;  then mv -f ".deps/libbuiltIn_a-stringSymbol.Tpo" ".deps/libbuiltIn_a-stringSymbol.Po"; else rm -f ".deps/libbuiltIn_a-stringSymbol.Tpo"; exit 1; fi
In file included from stringSymbol.cc:39:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
2 warnings generated.
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libbuiltIn_a-stringTerm.o -MD -MP -MF ".deps/libbuiltIn_a-stringTerm.Tpo" -c -o libbuiltIn_a-stringTerm.o `test -f 'stringTerm.cc' || echo './'`stringTerm.cc;  then mv -f ".deps/libbuiltIn_a-stringTerm.Tpo" ".deps/libbuiltIn_a-stringTerm.Po"; else rm -f ".deps/libbuiltIn_a-stringTerm.Tpo"; exit 1; fi
In file included from stringTerm.cc:39:
In file included from ../../src/Interface/term.hh:34:
../../src/Core/termSet.hh:35:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::cardinality;
              ^
  using 
../../src/Core/termSet.hh:36:15: warning: access declarations are deprecated; use using declarations instead [-Wdeprecated]
  PointerSet::makeEmpty;
              ^
  using 
In file included from stringTerm.cc:46:
In file included from ./stringTerm.hh:28:
In file included from ../../src/Utility/ropeStuff.hh:37:
In file included from /usr/include/g++/ext/rope:2956:
/usr/include/g++/ext/ropeimpl.h:381:6: error: use of undeclared identifier '_L_deallocate'
            _L_deallocate(__l, 1);
            ^
/usr/include/g++/ext/rope:633:4: note: in instantiation of member function '__gnu_cxx::_Rope_RopeRep<char, std::allocator<char> >::_M_free_tree' requested here
          _M_free_tree();
          ^
/usr/include/g++/ext/rope:644:9: note: in instantiation of member function '__gnu_cxx::_Rope_RopeRep<char, std::allocator<char> >::_M_unref_nonnil' requested here
          __t->_M_unref_nonnil();
               ^
/usr/include/g++/ext/rope:1576:19: note: in instantiation of member function '__gnu_cxx::_Rope_RopeRep<char, std::allocator<char> >::_S_unref' requested here
      { _RopeRep::_S_unref(__t); }
                  ^
/usr/include/g++/ext/rope:1875:9: note: in instantiation of member function '__gnu_cxx::rope<char, std::allocator<char> >::_S_unref' requested here
      { _S_unref(this->_M_tree_ptr); }
        ^
stringTerm.cc:57:13: note: in instantiation of member function '__gnu_cxx::rope<char, std::allocator<char> >::~rope' requested here
StringTerm::StringTerm(StringSymbol* symbol, const crope& value)
            ^
/usr/include/g++/ext/rope:566:7: note: must qualify identifier to find this declaration in dependent base class
      __ROPE_DEFINE_ALLOCS(_Alloc)
      ^
/usr/include/g++/ext/rope:521:9: note: expanded from macro '__ROPE_DEFINE_ALLOCS'
        __ROPE_DEFINE_ALLOC(__L,_L) \
        ^
/usr/include/g++/ext/rope:564:21: note: expanded from macro '__ROPE_DEFINE_ALLOC'
        static void __name##_deallocate(_Tp *__p, size_t __n) \
                    ^
<scratch space>:181:1: note: expanded from here
_L_deallocate
^
In file included from stringTerm.cc:46:
In file included from ./stringTerm.hh:28:
In file included from ../../src/Utility/ropeStuff.hh:37:
In file included from /usr/include/g++/ext/rope:2956:
/usr/include/g++/ext/ropeimpl.h:390:6: error: use of undeclared identifier '_C_deallocate'
            _C_deallocate(__c, 1);
            ^
/usr/include/g++/ext/rope:566:7: note: must qualify identifier to find this declaration in dependent base class
      __ROPE_DEFINE_ALLOCS(_Alloc)
      ^
/usr/include/g++/ext/rope:519:9: note: expanded from macro '__ROPE_DEFINE_ALLOCS'
        __ROPE_DEFINE_ALLOC(__C,_C) \
        ^
/usr/include/g++/ext/rope:564:21: note: expanded from macro '__ROPE_DEFINE_ALLOC'
        static void __name##_deallocate(_Tp *__p, size_t __n) \
                    ^
<scratch space>:176:1: note: expanded from here
_C_deallocate
^
In file included from stringTerm.cc:46:
In file included from ./stringTerm.hh:28:
In file included from ../../src/Utility/ropeStuff.hh:37:
In file included from /usr/include/g++/ext/rope:2956:
/usr/include/g++/ext/ropeimpl.h:398:6: error: use of undeclared identifier '_F_deallocate'
            _F_deallocate(__f, 1);
            ^
/usr/include/g++/ext/rope:566:7: note: must qualify identifier to find this declaration in dependent base class
      __ROPE_DEFINE_ALLOCS(_Alloc)
      ^
/usr/include/g++/ext/rope:523:9: note: expanded from macro '__ROPE_DEFINE_ALLOCS'
        __ROPE_DEFINE_ALLOC(__F,_F) \
        ^
/usr/include/g++/ext/rope:564:21: note: expanded from macro '__ROPE_DEFINE_ALLOC'
        static void __name##_deallocate(_Tp *__p, size_t __n) \
                    ^
<scratch space>:186:1: note: expanded from here
_F_deallocate
^
In file included from stringTerm.cc:46:
In file included from ./stringTerm.hh:28:
In file included from ../../src/Utility/ropeStuff.hh:37:
In file included from /usr/include/g++/ext/rope:2956:
/usr/include/g++/ext/ropeimpl.h:407:6: error: use of undeclared identifier '_S_deallocate'
            _S_deallocate(__ss, 1);
            ^
/usr/include/g++/ext/rope:566:7: note: must qualify identifier to find this declaration in dependent base class
      __ROPE_DEFINE_ALLOCS(_Alloc)
      ^
/usr/include/g++/ext/rope:525:9: note: expanded from macro '__ROPE_DEFINE_ALLOCS'
        __ROPE_DEFINE_ALLOC(__S,_S)
        ^
/usr/include/g++/ext/rope:564:21: note: expanded from macro '__ROPE_DEFINE_ALLOC'
        static void __name##_deallocate(_Tp *__p, size_t __n) \
                    ^
<scratch space>:191:1: note: expanded from here
_S_deallocate
^
In file included from stringTerm.cc:46:
In file included from ./stringTerm.hh:28:
In file included from ../../src/Utility/ropeStuff.hh:37:
/usr/include/g++/ext/rope:730:9: error: use of undeclared identifier '_S_free_string'
        __STL_FREE_STRING(_M_data, this->_M_size, this->_M_get_allocator());
        ^
/usr/include/g++/ext/rope:618:42: note: expanded from macro '__STL_FREE_STRING'
#define __STL_FREE_STRING(__s, __l, __a) _S_free_string(__s, __l, __a);
                                         ^
/usr/include/g++/ext/ropeimpl.h:380:44: note: in instantiation of member function '__gnu_cxx::_Rope_RopeLeaf<char, std::allocator<char> >::~_Rope_RopeLeaf' requested here
            __l->_Rope_RopeLeaf<_CharT, _Alloc>::~_Rope_RopeLeaf();
                                                  ^
/usr/include/g++/ext/rope:633:4: note: in instantiation of member function '__gnu_cxx::_Rope_RopeRep<char, std::allocator<char> >::_M_free_tree' requested here
          _M_free_tree();
          ^
/usr/include/g++/ext/rope:644:9: note: in instantiation of member function '__gnu_cxx::_Rope_RopeRep<char, std::allocator<char> >::_M_unref_nonnil' requested here
          __t->_M_unref_nonnil();
               ^
/usr/include/g++/ext/rope:1576:19: note: in instantiation of member function '__gnu_cxx::_Rope_RopeRep<char, std::allocator<char> >::_S_unref' requested here
      { _RopeRep::_S_unref(__t); }
                  ^
/usr/include/g++/ext/rope:1875:9: note: in instantiation of member function '__gnu_cxx::rope<char, std::allocator<char> >::_S_unref' requested here
      { _S_unref(this->_M_tree_ptr); }
        ^
stringTerm.cc:57:13: note: in instantiation of member function '__gnu_cxx::rope<char, std::allocator<char> >::~rope' requested here
StringTerm::StringTerm(StringSymbol* symbol, const crope& value)
            ^
/usr/include/g++/ext/rope:616:7: note: must qualify identifier to find this declaration in dependent base class
      _S_free_string(__GC_CONST _CharT*, size_t __len,
      ^
/usr/include/g++/ext/rope:1171:4: error: use of undeclared identifier '_S_setcache'
          _S_setcache(*this);
          ^
stringTerm.cc:83:36: note: in instantiation of member function '__gnu_cxx::_Rope_const_iterator<char, std::allocator<char> >::operator*' requested here
    hashValue = (hashValue << 1) + *i;
                                   ^
/usr/include/g++/ext/rope:1089:19: note: must qualify identifier to find this declaration in dependent base class
      static void _S_setcache(_Rope_iterator_base& __x);
                  ^
2 warnings and 6 errors generated.
*** Error code 1

Stop.
make: stopped in /scratch/lang/maude/work/Maude-2.6/src/BuiltIn
*** Error code 1

Stop.
make: stopped in /scratch/lang/maude/work/Maude-2.6/src
*** Error code 1

Stop.
make: stopped in /scratch/lang/maude/work/Maude-2.6
*** Error code 1

Stop.
make: stopped in /scratch/lang/maude/work/Maude-2.6
*** Error code 1

Stop.
make: stopped in /bulk-data/pkgsrc/lang/maude
*** Error code 1

Stop.
make: stopped in /bulk-data/pkgsrc/lang/maude
