=> 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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-stringDagNode.o -MD -MP -MF ".deps/libbuiltIn_a-stringDagNode.Tpo" -c -o libbuiltIn_a-stringDagNode.o `test -f 'stringDagNode.cc' || echo './'`stringDagNode.cc;  then mv -f ".deps/libbuiltIn_a-stringDagNode.Tpo" ".deps/libbuiltIn_a-stringDagNode.Po"; else rm -f ".deps/libbuiltIn_a-stringDagNode.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/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-stringOpSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-stringOpSymbol.Tpo" -c -o libbuiltIn_a-stringOpSymbol.o `test -f 'stringOpSymbol.cc' || echo './'`stringOpSymbol.cc;  then mv -f ".deps/libbuiltIn_a-stringOpSymbol.Tpo" ".deps/libbuiltIn_a-stringOpSymbol.Po"; else rm -f ".deps/libbuiltIn_a-stringOpSymbol.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/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-floatSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-floatSymbol.Tpo" -c -o libbuiltIn_a-floatSymbol.o `test -f 'floatSymbol.cc' || echo './'`floatSymbol.cc;  then mv -f ".deps/libbuiltIn_a-floatSymbol.Tpo" ".deps/libbuiltIn_a-floatSymbol.Po"; else rm -f ".deps/libbuiltIn_a-floatSymbol.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/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-floatTerm.o -MD -MP -MF ".deps/libbuiltIn_a-floatTerm.Tpo" -c -o libbuiltIn_a-floatTerm.o `test -f 'floatTerm.cc' || echo './'`floatTerm.cc;  then mv -f ".deps/libbuiltIn_a-floatTerm.Tpo" ".deps/libbuiltIn_a-floatTerm.Po"; else rm -f ".deps/libbuiltIn_a-floatTerm.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/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-floatDagNode.o -MD -MP -MF ".deps/libbuiltIn_a-floatDagNode.Tpo" -c -o libbuiltIn_a-floatDagNode.o `test -f 'floatDagNode.cc' || echo './'`floatDagNode.cc;  then mv -f ".deps/libbuiltIn_a-floatDagNode.Tpo" ".deps/libbuiltIn_a-floatDagNode.Po"; else rm -f ".deps/libbuiltIn_a-floatDagNode.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/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-floatOpSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-floatOpSymbol.Tpo" -c -o libbuiltIn_a-floatOpSymbol.o `test -f 'floatOpSymbol.cc' || echo './'`floatOpSymbol.cc;  then mv -f ".deps/libbuiltIn_a-floatOpSymbol.Tpo" ".deps/libbuiltIn_a-floatOpSymbol.Po"; else rm -f ".deps/libbuiltIn_a-floatOpSymbol.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/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-succSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-succSymbol.Tpo" -c -o libbuiltIn_a-succSymbol.o `test -f 'succSymbol.cc' || echo './'`succSymbol.cc;  then mv -f ".deps/libbuiltIn_a-succSymbol.Tpo" ".deps/libbuiltIn_a-succSymbol.Po"; else rm -f ".deps/libbuiltIn_a-succSymbol.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/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-numberOpSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-numberOpSymbol.Tpo" -c -o libbuiltIn_a-numberOpSymbol.o `test -f 'numberOpSymbol.cc' || echo './'`numberOpSymbol.cc;  then mv -f ".deps/libbuiltIn_a-numberOpSymbol.Tpo" ".deps/libbuiltIn_a-numberOpSymbol.Po"; else rm -f ".deps/libbuiltIn_a-numberOpSymbol.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/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-minusSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-minusSymbol.Tpo" -c -o libbuiltIn_a-minusSymbol.o `test -f 'minusSymbol.cc' || echo './'`minusSymbol.cc;  then mv -f ".deps/libbuiltIn_a-minusSymbol.Tpo" ".deps/libbuiltIn_a-minusSymbol.Po"; else rm -f ".deps/libbuiltIn_a-minusSymbol.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/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-ACU_NumberOpSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-ACU_NumberOpSymbol.Tpo" -c -o libbuiltIn_a-ACU_NumberOpSymbol.o `test -f 'ACU_NumberOpSymbol.cc' || echo './'`ACU_NumberOpSymbol.cc;  then mv -f ".deps/libbuiltIn_a-ACU_NumberOpSymbol.Tpo" ".deps/libbuiltIn_a-ACU_NumberOpSymbol.Po"; else rm -f ".deps/libbuiltIn_a-ACU_NumberOpSymbol.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/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-CUI_NumberOpSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-CUI_NumberOpSymbol.Tpo" -c -o libbuiltIn_a-CUI_NumberOpSymbol.o `test -f 'CUI_NumberOpSymbol.cc' || echo './'`CUI_NumberOpSymbol.cc;  then mv -f ".deps/libbuiltIn_a-CUI_NumberOpSymbol.Tpo" ".deps/libbuiltIn_a-CUI_NumberOpSymbol.Po"; else rm -f ".deps/libbuiltIn_a-CUI_NumberOpSymbol.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/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-divisionSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-divisionSymbol.Tpo" -c -o libbuiltIn_a-divisionSymbol.o `test -f 'divisionSymbol.cc' || echo './'`divisionSymbol.cc;  then mv -f ".deps/libbuiltIn_a-divisionSymbol.Tpo" ".deps/libbuiltIn_a-divisionSymbol.Po"; else rm -f ".deps/libbuiltIn_a-divisionSymbol.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/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-randomOpSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-randomOpSymbol.Tpo" -c -o libbuiltIn_a-randomOpSymbol.o `test -f 'randomOpSymbol.cc' || echo './'`randomOpSymbol.cc;  then mv -f ".deps/libbuiltIn_a-randomOpSymbol.Tpo" ".deps/libbuiltIn_a-randomOpSymbol.Po"; else rm -f ".deps/libbuiltIn_a-randomOpSymbol.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/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-counterSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-counterSymbol.Tpo" -c -o libbuiltIn_a-counterSymbol.o `test -f 'counterSymbol.cc' || echo './'`counterSymbol.cc;  then mv -f ".deps/libbuiltIn_a-counterSymbol.Tpo" ".deps/libbuiltIn_a-counterSymbol.Po"; else rm -f ".deps/libbuiltIn_a-counterSymbol.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/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-matrixOpSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-matrixOpSymbol.Tpo" -c -o libbuiltIn_a-matrixOpSymbol.o `test -f 'matrixOpSymbol.cc' || echo './'`matrixOpSymbol.cc;  then mv -f ".deps/libbuiltIn_a-matrixOpSymbol.Tpo" ".deps/libbuiltIn_a-matrixOpSymbol.Po"; else rm -f ".deps/libbuiltIn_a-matrixOpSymbol.Tpo"; exit 1; fi
rm -f libbuiltIn.a
ar cru libbuiltIn.a libbuiltIn_a-equalitySymbol.o  libbuiltIn_a-sortTestSymbol.o  libbuiltIn_a-branchSymbol.o  libbuiltIn_a-stringSymbol.o  libbuiltIn_a-stringTerm.o  libbuiltIn_a-stringDagNode.o  libbuiltIn_a-stringOpSymbol.o  libbuiltIn_a-floatSymbol.o  libbuiltIn_a-floatTerm.o  libbuiltIn_a-floatDagNode.o  libbuiltIn_a-floatOpSymbol.o  libbuiltIn_a-succSymbol.o  libbuiltIn_a-numberOpSymbol.o  libbuiltIn_a-minusSymbol.o  libbuiltIn_a-ACU_NumberOpSymbol.o  libbuiltIn_a-CUI_NumberOpSymbol.o  libbuiltIn_a-divisionSymbol.o  libbuiltIn_a-randomOpSymbol.o  libbuiltIn_a-counterSymbol.o  libbuiltIn_a-matrixOpSymbol.o 
ranlib libbuiltIn.a
Making all in IO_Stuff
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libIO_Stuff_a-IO_Manager.o -MD -MP -MF ".deps/libIO_Stuff_a-IO_Manager.Tpo" -c -o libIO_Stuff_a-IO_Manager.o `test -f 'IO_Manager.cc' || echo './'`IO_Manager.cc;  then mv -f ".deps/libIO_Stuff_a-IO_Manager.Tpo" ".deps/libIO_Stuff_a-IO_Manager.Po"; else rm -f ".deps/libIO_Stuff_a-IO_Manager.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 libIO_Stuff_a-autoWrapBuffer.o -MD -MP -MF ".deps/libIO_Stuff_a-autoWrapBuffer.Tpo" -c -o libIO_Stuff_a-autoWrapBuffer.o `test -f 'autoWrapBuffer.cc' || echo './'`autoWrapBuffer.cc;  then mv -f ".deps/libIO_Stuff_a-autoWrapBuffer.Tpo" ".deps/libIO_Stuff_a-autoWrapBuffer.Po"; else rm -f ".deps/libIO_Stuff_a-autoWrapBuffer.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 libIO_Stuff_a-directoryManager.o -MD -MP -MF ".deps/libIO_Stuff_a-directoryManager.Tpo" -c -o libIO_Stuff_a-directoryManager.o `test -f 'directoryManager.cc' || echo './'`directoryManager.cc;  then mv -f ".deps/libIO_Stuff_a-directoryManager.Tpo" ".deps/libIO_Stuff_a-directoryManager.Po"; else rm -f ".deps/libIO_Stuff_a-directoryManager.Tpo"; exit 1; fi
rm -f libIO_Stuff.a
ar cru libIO_Stuff.a libIO_Stuff_a-IO_Manager.o  libIO_Stuff_a-autoWrapBuffer.o  libIO_Stuff_a-directoryManager.o 
ranlib libIO_Stuff.a
Making all in ObjectSystem
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/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/S_Theory  -I../../src/BuiltIn -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libobjectSystem_a-configSymbol.o -MD -MP -MF ".deps/libobjectSystem_a-configSymbol.Tpo" -c -o libobjectSystem_a-configSymbol.o `test -f 'configSymbol.cc' || echo './'`configSymbol.cc;  then mv -f ".deps/libobjectSystem_a-configSymbol.Tpo" ".deps/libobjectSystem_a-configSymbol.Po"; else rm -f ".deps/libobjectSystem_a-configSymbol.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/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/S_Theory  -I../../src/BuiltIn -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libobjectSystem_a-objectSystemRewritingContext.o -MD -MP -MF ".deps/libobjectSystem_a-objectSystemRewritingContext.Tpo" -c -o libobjectSystem_a-objectSystemRewritingContext.o `test -f 'objectSystemRewritingContext.cc' || echo './'`objectSystemRewritingContext.cc;  then mv -f ".deps/libobjectSystem_a-objectSystemRewritingContext.Tpo" ".deps/libobjectSystem_a-objectSystemRewritingContext.Po"; else rm -f ".deps/libobjectSystem_a-objectSystemRewritingContext.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/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/S_Theory  -I../../src/BuiltIn -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libobjectSystem_a-externalObjectManagerSymbol.o -MD -MP -MF ".deps/libobjectSystem_a-externalObjectManagerSymbol.Tpo" -c -o libobjectSystem_a-externalObjectManagerSymbol.o `test -f 'externalObjectManagerSymbol.cc' || echo './'`externalObjectManagerSymbol.cc;  then mv -f ".deps/libobjectSystem_a-externalObjectManagerSymbol.Tpo" ".deps/libobjectSystem_a-externalObjectManagerSymbol.Po"; else rm -f ".deps/libobjectSystem_a-externalObjectManagerSymbol.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/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/S_Theory  -I../../src/BuiltIn -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libobjectSystem_a-socketManagerSymbol.o -MD -MP -MF ".deps/libobjectSystem_a-socketManagerSymbol.Tpo" -c -o libobjectSystem_a-socketManagerSymbol.o `test -f 'socketManagerSymbol.cc' || echo './'`socketManagerSymbol.cc;  then mv -f ".deps/libobjectSystem_a-socketManagerSymbol.Tpo" ".deps/libobjectSystem_a-socketManagerSymbol.Po"; else rm -f ".deps/libobjectSystem_a-socketManagerSymbol.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/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/S_Theory  -I../../src/BuiltIn -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libobjectSystem_a-pseudoThread.o -MD -MP -MF ".deps/libobjectSystem_a-pseudoThread.Tpo" -c -o libobjectSystem_a-pseudoThread.o `test -f 'pseudoThread.cc' || echo './'`pseudoThread.cc;  then mv -f ".deps/libobjectSystem_a-pseudoThread.Tpo" ".deps/libobjectSystem_a-pseudoThread.Po"; else rm -f ".deps/libobjectSystem_a-pseudoThread.Tpo"; exit 1; fi
rm -f libobjectSystem.a
ar cru libobjectSystem.a libobjectSystem_a-configSymbol.o  libobjectSystem_a-objectSystemRewritingContext.o  libobjectSystem_a-externalObjectManagerSymbol.o  libobjectSystem_a-socketManagerSymbol.o  libobjectSystem_a-pseudoThread.o 
ranlib libobjectSystem.a
Making all in Meta
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/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmeta_a-metaModuleCache.o -MD -MP -MF ".deps/libmeta_a-metaModuleCache.Tpo" -c -o libmeta_a-metaModuleCache.o `test -f 'metaModuleCache.cc' || echo './'`metaModuleCache.cc;  then mv -f ".deps/libmeta_a-metaModuleCache.Tpo" ".deps/libmeta_a-metaModuleCache.Po"; else rm -f ".deps/libmeta_a-metaModuleCache.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/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmeta_a-metaLevel.o -MD -MP -MF ".deps/libmeta_a-metaLevel.Tpo" -c -o libmeta_a-metaLevel.o `test -f 'metaLevel.cc' || echo './'`metaLevel.cc;  then mv -f ".deps/libmeta_a-metaLevel.Tpo" ".deps/libmeta_a-metaLevel.Po"; else rm -f ".deps/libmeta_a-metaLevel.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/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmeta_a-interpreterManagerSymbol.o -MD -MP -MF ".deps/libmeta_a-interpreterManagerSymbol.Tpo" -c -o libmeta_a-interpreterManagerSymbol.o `test -f 'interpreterManagerSymbol.cc' || echo './'`interpreterManagerSymbol.cc;  then mv -f ".deps/libmeta_a-interpreterManagerSymbol.Tpo" ".deps/libmeta_a-interpreterManagerSymbol.Po"; else rm -f ".deps/libmeta_a-interpreterManagerSymbol.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/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmeta_a-metaOpCache.o -MD -MP -MF ".deps/libmeta_a-metaOpCache.Tpo" -c -o libmeta_a-metaOpCache.o `test -f 'metaOpCache.cc' || echo './'`metaOpCache.cc;  then mv -f ".deps/libmeta_a-metaOpCache.Tpo" ".deps/libmeta_a-metaOpCache.Po"; else rm -f ".deps/libmeta_a-metaOpCache.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/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmeta_a-metaModule.o -MD -MP -MF ".deps/libmeta_a-metaModule.Tpo" -c -o libmeta_a-metaModule.o `test -f 'metaModule.cc' || echo './'`metaModule.cc;  then mv -f ".deps/libmeta_a-metaModule.Tpo" ".deps/libmeta_a-metaModule.Po"; else rm -f ".deps/libmeta_a-metaModule.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/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmeta_a-metaLevelOpSymbol.o -MD -MP -MF ".deps/libmeta_a-metaLevelOpSymbol.Tpo" -c -o libmeta_a-metaLevelOpSymbol.o `test -f 'metaLevelOpSymbol.cc' || echo './'`metaLevelOpSymbol.cc;  then mv -f ".deps/libmeta_a-metaLevelOpSymbol.Tpo" ".deps/libmeta_a-metaLevelOpSymbol.Po"; else rm -f ".deps/libmeta_a-metaLevelOpSymbol.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/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmeta_a-metaPreModule.o -MD -MP -MF ".deps/libmeta_a-metaPreModule.Tpo" -c -o libmeta_a-metaPreModule.o `test -f 'metaPreModule.cc' || echo './'`metaPreModule.cc;  then mv -f ".deps/libmeta_a-metaPreModule.Tpo" ".deps/libmeta_a-metaPreModule.Po"; else rm -f ".deps/libmeta_a-metaPreModule.Tpo"; exit 1; fi
rm -f libmeta.a
ar cru libmeta.a libmeta_a-metaModuleCache.o  libmeta_a-metaLevel.o  libmeta_a-interpreterManagerSymbol.o  libmeta_a-metaOpCache.o libmeta_a-metaModule.o  libmeta_a-metaLevelOpSymbol.o  libmeta_a-metaPreModule.o 
ranlib libmeta.a
Making all in FullCompiler
Making all in MSCP10
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmscp10_a-scp_parser.o -MD -MP -MF ".deps/libmscp10_a-scp_parser.Tpo" -c -o libmscp10_a-scp_parser.o `test -f 'scp_parser.cc' || echo './'`scp_parser.cc;  then mv -f ".deps/libmscp10_a-scp_parser.Tpo" ".deps/libmscp10_a-scp_parser.Po"; else rm -f ".deps/libmscp10_a-scp_parser.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 libmscp10_a-scp_compiler.o -MD -MP -MF ".deps/libmscp10_a-scp_compiler.Tpo" -c -o libmscp10_a-scp_compiler.o `test -f 'scp_compiler.cc' || echo './'`scp_compiler.cc;  then mv -f ".deps/libmscp10_a-scp_compiler.Tpo" ".deps/libmscp10_a-scp_compiler.Po"; else rm -f ".deps/libmscp10_a-scp_compiler.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 libmscp10_a-scp_memory.o -MD -MP -MF ".deps/libmscp10_a-scp_memory.Tpo" -c -o libmscp10_a-scp_memory.o `test -f 'scp_memory.cc' || echo './'`scp_memory.cc;  then mv -f ".deps/libmscp10_a-scp_memory.Tpo" ".deps/libmscp10_a-scp_memory.Po"; else rm -f ".deps/libmscp10_a-scp_memory.Tpo"; exit 1; fi
rm -f libmscp10.a
ar cru libmscp10.a libmscp10_a-scp_parser.o  libmscp10_a-scp_compiler.o  libmscp10_a-scp_memory.o 
ranlib libmscp10.a
Making all in StrategyLanguage
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libstrategyLanguage_a-trivialStrategy.o -MD -MP -MF ".deps/libstrategyLanguage_a-trivialStrategy.Tpo" -c -o libstrategyLanguage_a-trivialStrategy.o `test -f 'trivialStrategy.cc' || echo './'`trivialStrategy.cc;  then mv -f ".deps/libstrategyLanguage_a-trivialStrategy.Tpo" ".deps/libstrategyLanguage_a-trivialStrategy.Po"; else rm -f ".deps/libstrategyLanguage_a-trivialStrategy.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libstrategyLanguage_a-applicationStrategy.o -MD -MP -MF ".deps/libstrategyLanguage_a-applicationStrategy.Tpo" -c -o libstrategyLanguage_a-applicationStrategy.o `test -f 'applicationStrategy.cc' || echo './'`applicationStrategy.cc;  then mv -f ".deps/libstrategyLanguage_a-applicationStrategy.Tpo" ".deps/libstrategyLanguage_a-applicationStrategy.Po"; else rm -f ".deps/libstrategyLanguage_a-applicationStrategy.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libstrategyLanguage_a-concatenationStrategy.o -MD -MP -MF ".deps/libstrategyLanguage_a-concatenationStrategy.Tpo" -c -o libstrategyLanguage_a-concatenationStrategy.o `test -f 'concatenationStrategy.cc' || echo './'`concatenationStrategy.cc;  then mv -f ".deps/libstrategyLanguage_a-concatenationStrategy.Tpo" ".deps/libstrategyLanguage_a-concatenationStrategy.Po"; else rm -f ".deps/libstrategyLanguage_a-concatenationStrategy.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libstrategyLanguage_a-iterationStrategy.o -MD -MP -MF ".deps/libstrategyLanguage_a-iterationStrategy.Tpo" -c -o libstrategyLanguage_a-iterationStrategy.o `test -f 'iterationStrategy.cc' || echo './'`iterationStrategy.cc;  then mv -f ".deps/libstrategyLanguage_a-iterationStrategy.Tpo" ".deps/libstrategyLanguage_a-iterationStrategy.Po"; else rm -f ".deps/libstrategyLanguage_a-iterationStrategy.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libstrategyLanguage_a-branchStrategy.o -MD -MP -MF ".deps/libstrategyLanguage_a-branchStrategy.Tpo" -c -o libstrategyLanguage_a-branchStrategy.o `test -f 'branchStrategy.cc' || echo './'`branchStrategy.cc;  then mv -f ".deps/libstrategyLanguage_a-branchStrategy.Tpo" ".deps/libstrategyLanguage_a-branchStrategy.Po"; else rm -f ".deps/libstrategyLanguage_a-branchStrategy.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libstrategyLanguage_a-unionStrategy.o -MD -MP -MF ".deps/libstrategyLanguage_a-unionStrategy.Tpo" -c -o libstrategyLanguage_a-unionStrategy.o `test -f 'unionStrategy.cc' || echo './'`unionStrategy.cc;  then mv -f ".deps/libstrategyLanguage_a-unionStrategy.Tpo" ".deps/libstrategyLanguage_a-unionStrategy.Po"; else rm -f ".deps/libstrategyLanguage_a-unionStrategy.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libstrategyLanguage_a-testStrategy.o -MD -MP -MF ".deps/libstrategyLanguage_a-testStrategy.Tpo" -c -o libstrategyLanguage_a-testStrategy.o `test -f 'testStrategy.cc' || echo './'`testStrategy.cc;  then mv -f ".deps/libstrategyLanguage_a-testStrategy.Tpo" ".deps/libstrategyLanguage_a-testStrategy.Po"; else rm -f ".deps/libstrategyLanguage_a-testStrategy.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libstrategyLanguage_a-strategicExecution.o -MD -MP -MF ".deps/libstrategyLanguage_a-strategicExecution.Tpo" -c -o libstrategyLanguage_a-strategicExecution.o `test -f 'strategicExecution.cc' || echo './'`strategicExecution.cc;  then mv -f ".deps/libstrategyLanguage_a-strategicExecution.Tpo" ".deps/libstrategyLanguage_a-strategicExecution.Po"; else rm -f ".deps/libstrategyLanguage_a-strategicExecution.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libstrategyLanguage_a-strategicTask.o -MD -MP -MF ".deps/libstrategyLanguage_a-strategicTask.Tpo" -c -o libstrategyLanguage_a-strategicTask.o `test -f 'strategicTask.cc' || echo './'`strategicTask.cc;  then mv -f ".deps/libstrategyLanguage_a-strategicTask.Tpo" ".deps/libstrategyLanguage_a-strategicTask.Po"; else rm -f ".deps/libstrategyLanguage_a-strategicTask.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libstrategyLanguage_a-branchTask.o -MD -MP -MF ".deps/libstrategyLanguage_a-branchTask.Tpo" -c -o libstrategyLanguage_a-branchTask.o `test -f 'branchTask.cc' || echo './'`branchTask.cc;  then mv -f ".deps/libstrategyLanguage_a-branchTask.Tpo" ".deps/libstrategyLanguage_a-branchTask.Po"; else rm -f ".deps/libstrategyLanguage_a-branchTask.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libstrategyLanguage_a-strategicProcess.o -MD -MP -MF ".deps/libstrategyLanguage_a-strategicProcess.Tpo" -c -o libstrategyLanguage_a-strategicProcess.o `test -f 'strategicProcess.cc' || echo './'`strategicProcess.cc;  then mv -f ".deps/libstrategyLanguage_a-strategicProcess.Tpo" ".deps/libstrategyLanguage_a-strategicProcess.Po"; else rm -f ".deps/libstrategyLanguage_a-strategicProcess.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libstrategyLanguage_a-decompositionProcess.o -MD -MP -MF ".deps/libstrategyLanguage_a-decompositionProcess.Tpo" -c -o libstrategyLanguage_a-decompositionProcess.o `test -f 'decompositionProcess.cc' || echo './'`decompositionProcess.cc;  then mv -f ".deps/libstrategyLanguage_a-decompositionProcess.Tpo" ".deps/libstrategyLanguage_a-decompositionProcess.Po"; else rm -f ".deps/libstrategyLanguage_a-decompositionProcess.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libstrategyLanguage_a-applicationProcess.o -MD -MP -MF ".deps/libstrategyLanguage_a-applicationProcess.Tpo" -c -o libstrategyLanguage_a-applicationProcess.o `test -f 'applicationProcess.cc' || echo './'`applicationProcess.cc;  then mv -f ".deps/libstrategyLanguage_a-applicationProcess.Tpo" ".deps/libstrategyLanguage_a-applicationProcess.Po"; else rm -f ".deps/libstrategyLanguage_a-applicationProcess.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libstrategyLanguage_a-strategicSearch.o -MD -MP -MF ".deps/libstrategyLanguage_a-strategicSearch.Tpo" -c -o libstrategyLanguage_a-strategicSearch.o `test -f 'strategicSearch.cc' || echo './'`strategicSearch.cc;  then mv -f ".deps/libstrategyLanguage_a-strategicSearch.Tpo" ".deps/libstrategyLanguage_a-strategicSearch.Po"; else rm -f ".deps/libstrategyLanguage_a-strategicSearch.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libstrategyLanguage_a-sharedRewriteSearchState.o -MD -MP -MF ".deps/libstrategyLanguage_a-sharedRewriteSearchState.Tpo" -c -o libstrategyLanguage_a-sharedRewriteSearchState.o `test -f 'sharedRewriteSearchState.cc' || echo './'`sharedRewriteSearchState.cc;  then mv -f ".deps/libstrategyLanguage_a-sharedRewriteSearchState.Tpo" ".deps/libstrategyLanguage_a-sharedRewriteSearchState.Po"; else rm -f ".deps/libstrategyLanguage_a-sharedRewriteSearchState.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libstrategyLanguage_a-matchProcess.o -MD -MP -MF ".deps/libstrategyLanguage_a-matchProcess.Tpo" -c -o libstrategyLanguage_a-matchProcess.o `test -f 'matchProcess.cc' || echo './'`matchProcess.cc;  then mv -f ".deps/libstrategyLanguage_a-matchProcess.Tpo" ".deps/libstrategyLanguage_a-matchProcess.Po"; else rm -f ".deps/libstrategyLanguage_a-matchProcess.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libstrategyLanguage_a-rewriteTask.o -MD -MP -MF ".deps/libstrategyLanguage_a-rewriteTask.Tpo" -c -o libstrategyLanguage_a-rewriteTask.o `test -f 'rewriteTask.cc' || echo './'`rewriteTask.cc;  then mv -f ".deps/libstrategyLanguage_a-rewriteTask.Tpo" ".deps/libstrategyLanguage_a-rewriteTask.Po"; else rm -f ".deps/libstrategyLanguage_a-rewriteTask.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libstrategyLanguage_a-strategyStackManager.o -MD -MP -MF ".deps/libstrategyLanguage_a-strategyStackManager.Tpo" -c -o libstrategyLanguage_a-strategyStackManager.o `test -f 'strategyStackManager.cc' || echo './'`strategyStackManager.cc;  then mv -f ".deps/libstrategyLanguage_a-strategyStackManager.Tpo" ".deps/libstrategyLanguage_a-strategyStackManager.Po"; else rm -f ".deps/libstrategyLanguage_a-strategyStackManager.Tpo"; exit 1; fi
rm -f libstrategyLanguage.a
ar cru libstrategyLanguage.a libstrategyLanguage_a-trivialStrategy.o  libstrategyLanguage_a-applicationStrategy.o  libstrategyLanguage_a-concatenationStrategy.o  libstrategyLanguage_a-iterationStrategy.o  libstrategyLanguage_a-branchStrategy.o  libstrategyLanguage_a-unionStrategy.o  libstrategyLanguage_a-testStrategy.o  libstrategyLanguage_a-strategicExecution.o  libstrategyLanguage_a-strategicTask.o  libstrategyLanguage_a-branchTask.o  libstrategyLanguage_a-strategicProcess.o  libstrategyLanguage_a-decompositionProcess.o  libstrategyLanguage_a-applicationProcess.o  libstrategyLanguage_a-strategicSearch.o  libstrategyLanguage_a-sharedRewriteSearchState.o  libstrategyLanguage_a-matchProcess.o  libstrategyLanguage_a-rewriteTask.o  libstrategyLanguage_a-strategyStackManager.o 
ranlib libstrategyLanguage.a
Making all in Mixfix
cat  ./top.yy  ./modules.yy  ./commands.yy  ./bottom.yy  > surface.yy
/scratch/lang/maude/work/.tools/bin/bison -dv surface.yy -o surface.c
mv surface.c surface.cc
/scratch/lang/maude/work/.tools/bin/flex -t -p -p ./lexer.ll > lexer.cc
-I (interactive) entails a minor performance penalty
/usr/bin/make  all-am
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-syntaxContainer.o -MD -MP -MF ".deps/libmixfix_a-syntaxContainer.Tpo" -c -o libmixfix_a-syntaxContainer.o `test -f 'syntaxContainer.cc' || echo './'`syntaxContainer.cc;  then mv -f ".deps/libmixfix_a-syntaxContainer.Tpo" ".deps/libmixfix_a-syntaxContainer.Po"; else rm -f ".deps/libmixfix_a-syntaxContainer.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-renaming.o -MD -MP -MF ".deps/libmixfix_a-renaming.Tpo" -c -o libmixfix_a-renaming.o `test -f 'renaming.cc' || echo './'`renaming.cc;  then mv -f ".deps/libmixfix_a-renaming.Tpo" ".deps/libmixfix_a-renaming.Po"; else rm -f ".deps/libmixfix_a-renaming.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-view.o -MD -MP -MF ".deps/libmixfix_a-view.Tpo" -c -o libmixfix_a-view.o `test -f 'view.cc' || echo './'`view.cc;  then mv -f ".deps/libmixfix_a-view.Tpo" ".deps/libmixfix_a-view.Po"; else rm -f ".deps/libmixfix_a-view.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-entity.o -MD -MP -MF ".deps/libmixfix_a-entity.Tpo" -c -o libmixfix_a-entity.o `test -f 'entity.cc' || echo './'`entity.cc;  then mv -f ".deps/libmixfix_a-entity.Tpo" ".deps/libmixfix_a-entity.Po"; else rm -f ".deps/libmixfix_a-entity.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-moduleCache.o -MD -MP -MF ".deps/libmixfix_a-moduleCache.Tpo" -c -o libmixfix_a-moduleCache.o `test -f 'moduleCache.cc' || echo './'`moduleCache.cc;  then mv -f ".deps/libmixfix_a-moduleCache.Tpo" ".deps/libmixfix_a-moduleCache.Po"; else rm -f ".deps/libmixfix_a-moduleCache.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-moduleExpression.o -MD -MP -MF ".deps/libmixfix_a-moduleExpression.Tpo" -c -o libmixfix_a-moduleExpression.o `test -f 'moduleExpression.cc' || echo './'`moduleExpression.cc;  then mv -f ".deps/libmixfix_a-moduleExpression.Tpo" ".deps/libmixfix_a-moduleExpression.Po"; else rm -f ".deps/libmixfix_a-moduleExpression.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-importModule.o -MD -MP -MF ".deps/libmixfix_a-importModule.Tpo" -c -o libmixfix_a-importModule.o `test -f 'importModule.cc' || echo './'`importModule.cc;  then mv -f ".deps/libmixfix_a-importModule.Tpo" ".deps/libmixfix_a-importModule.Po"; else rm -f ".deps/libmixfix_a-importModule.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-importTranslation.o -MD -MP -MF ".deps/libmixfix_a-importTranslation.Tpo" -c -o libmixfix_a-importTranslation.o `test -f 'importTranslation.cc' || echo './'`importTranslation.cc;  then mv -f ".deps/libmixfix_a-importTranslation.Tpo" ".deps/libmixfix_a-importTranslation.Po"; else rm -f ".deps/libmixfix_a-importTranslation.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-fileTable.o -MD -MP -MF ".deps/libmixfix_a-fileTable.Tpo" -c -o libmixfix_a-fileTable.o `test -f 'fileTable.cc' || echo './'`fileTable.cc;  then mv -f ".deps/libmixfix_a-fileTable.Tpo" ".deps/libmixfix_a-fileTable.Po"; else rm -f ".deps/libmixfix_a-fileTable.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-loopSymbol.o -MD -MP -MF ".deps/libmixfix_a-loopSymbol.Tpo" -c -o libmixfix_a-loopSymbol.o `test -f 'loopSymbol.cc' || echo './'`loopSymbol.cc;  then mv -f ".deps/libmixfix_a-loopSymbol.Tpo" ".deps/libmixfix_a-loopSymbol.Po"; else rm -f ".deps/libmixfix_a-loopSymbol.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-quotedIdentifierSymbol.o -MD -MP -MF ".deps/libmixfix_a-quotedIdentifierSymbol.Tpo" -c -o libmixfix_a-quotedIdentifierSymbol.o `test -f 'quotedIdentifierSymbol.cc' || echo './'`quotedIdentifierSymbol.cc;  then mv -f ".deps/libmixfix_a-quotedIdentifierSymbol.Tpo" ".deps/libmixfix_a-quotedIdentifierSymbol.Po"; else rm -f ".deps/libmixfix_a-quotedIdentifierSymbol.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-quotedIdentifierDagNode.o -MD -MP -MF ".deps/libmixfix_a-quotedIdentifierDagNode.Tpo" -c -o libmixfix_a-quotedIdentifierDagNode.o `test -f 'quotedIdentifierDagNode.cc' || echo './'`quotedIdentifierDagNode.cc;  then mv -f ".deps/libmixfix_a-quotedIdentifierDagNode.Tpo" ".deps/libmixfix_a-quotedIdentifierDagNode.Po"; else rm -f ".deps/libmixfix_a-quotedIdentifierDagNode.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-quotedIdentifierTerm.o -MD -MP -MF ".deps/libmixfix_a-quotedIdentifierTerm.Tpo" -c -o libmixfix_a-quotedIdentifierTerm.o `test -f 'quotedIdentifierTerm.cc' || echo './'`quotedIdentifierTerm.cc;  then mv -f ".deps/libmixfix_a-quotedIdentifierTerm.Tpo" ".deps/libmixfix_a-quotedIdentifierTerm.Po"; else rm -f ".deps/libmixfix_a-quotedIdentifierTerm.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-quotedIdentifierOpSymbol.o -MD -MP -MF ".deps/libmixfix_a-quotedIdentifierOpSymbol.Tpo" -c -o libmixfix_a-quotedIdentifierOpSymbol.o `test -f 'quotedIdentifierOpSymbol.cc' || echo './'`quotedIdentifierOpSymbol.cc;  then mv -f ".deps/libmixfix_a-quotedIdentifierOpSymbol.Tpo" ".deps/libmixfix_a-quotedIdentifierOpSymbol.Po"; else rm -f ".deps/libmixfix_a-quotedIdentifierOpSymbol.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-mixfixModule.o -MD -MP -MF ".deps/libmixfix_a-mixfixModule.Tpo" -c -o libmixfix_a-mixfixModule.o `test -f 'mixfixModule.cc' || echo './'`mixfixModule.cc;  then mv -f ".deps/libmixfix_a-mixfixModule.Tpo" ".deps/libmixfix_a-mixfixModule.Po"; else rm -f ".deps/libmixfix_a-mixfixModule.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-token.o -MD -MP -MF ".deps/libmixfix_a-token.Tpo" -c -o libmixfix_a-token.o `test -f 'token.cc' || echo './'`token.cc;  then mv -f ".deps/libmixfix_a-token.Tpo" ".deps/libmixfix_a-token.Po"; else rm -f ".deps/libmixfix_a-token.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-global.o -MD -MP -MF ".deps/libmixfix_a-global.Tpo" -c -o libmixfix_a-global.o `test -f 'global.cc' || echo './'`global.cc;  then mv -f ".deps/libmixfix_a-global.Tpo" ".deps/libmixfix_a-global.Po"; else rm -f ".deps/libmixfix_a-global.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-userLevelRewritingContext.o -MD -MP -MF ".deps/libmixfix_a-userLevelRewritingContext.Tpo" -c -o libmixfix_a-userLevelRewritingContext.o `test -f 'userLevelRewritingContext.cc' || echo './'`userLevelRewritingContext.cc;  then mv -f ".deps/libmixfix_a-userLevelRewritingContext.Tpo" ".deps/libmixfix_a-userLevelRewritingContext.Po"; else rm -f ".deps/libmixfix_a-userLevelRewritingContext.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-preModule.o -MD -MP -MF ".deps/libmixfix_a-preModule.Tpo" -c -o libmixfix_a-preModule.o `test -f 'preModule.cc' || echo './'`preModule.cc;  then mv -f ".deps/libmixfix_a-preModule.Tpo" ".deps/libmixfix_a-preModule.Po"; else rm -f ".deps/libmixfix_a-preModule.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-syntacticPreModule.o -MD -MP -MF ".deps/libmixfix_a-syntacticPreModule.Tpo" -c -o libmixfix_a-syntacticPreModule.o `test -f 'syntacticPreModule.cc' || echo './'`syntacticPreModule.cc;  then mv -f ".deps/libmixfix_a-syntacticPreModule.Tpo" ".deps/libmixfix_a-syntacticPreModule.Po"; else rm -f ".deps/libmixfix_a-syntacticPreModule.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-symbolType.o -MD -MP -MF ".deps/libmixfix_a-symbolType.Tpo" -c -o libmixfix_a-symbolType.o `test -f 'symbolType.cc' || echo './'`symbolType.cc;  then mv -f ".deps/libmixfix_a-symbolType.Tpo" ".deps/libmixfix_a-symbolType.Po"; else rm -f ".deps/libmixfix_a-symbolType.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-xmlBuffer.o -MD -MP -MF ".deps/libmixfix_a-xmlBuffer.Tpo" -c -o libmixfix_a-xmlBuffer.o `test -f 'xmlBuffer.cc' || echo './'`xmlBuffer.cc;  then mv -f ".deps/libmixfix_a-xmlBuffer.Tpo" ".deps/libmixfix_a-xmlBuffer.Po"; else rm -f ".deps/libmixfix_a-xmlBuffer.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-maudemlBuffer.o -MD -MP -MF ".deps/libmixfix_a-maudemlBuffer.Tpo" -c -o libmixfix_a-maudemlBuffer.o `test -f 'maudemlBuffer.cc' || echo './'`maudemlBuffer.cc;  then mv -f ".deps/libmixfix_a-maudemlBuffer.Tpo" ".deps/libmixfix_a-maudemlBuffer.Po"; else rm -f ".deps/libmixfix_a-maudemlBuffer.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-interpreter.o -MD -MP -MF ".deps/libmixfix_a-interpreter.Tpo" -c -o libmixfix_a-interpreter.o `test -f 'interpreter.cc' || echo './'`interpreter.cc;  then mv -f ".deps/libmixfix_a-interpreter.Tpo" ".deps/libmixfix_a-interpreter.Po"; else rm -f ".deps/libmixfix_a-interpreter.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-moduleDatabase.o -MD -MP -MF ".deps/libmixfix_a-moduleDatabase.Tpo" -c -o libmixfix_a-moduleDatabase.o `test -f 'moduleDatabase.cc' || echo './'`moduleDatabase.cc;  then mv -f ".deps/libmixfix_a-moduleDatabase.Tpo" ".deps/libmixfix_a-moduleDatabase.Po"; else rm -f ".deps/libmixfix_a-moduleDatabase.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-viewDatabase.o -MD -MP -MF ".deps/libmixfix_a-viewDatabase.Tpo" -c -o libmixfix_a-viewDatabase.o `test -f 'viewDatabase.cc' || echo './'`viewDatabase.cc;  then mv -f ".deps/libmixfix_a-viewDatabase.Tpo" ".deps/libmixfix_a-viewDatabase.Po"; else rm -f ".deps/libmixfix_a-viewDatabase.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-profileModule.o -MD -MP -MF ".deps/libmixfix_a-profileModule.Tpo" -c -o libmixfix_a-profileModule.o `test -f 'profileModule.cc' || echo './'`profileModule.cc;  then mv -f ".deps/libmixfix_a-profileModule.Tpo" ".deps/libmixfix_a-profileModule.Po"; else rm -f ".deps/libmixfix_a-profileModule.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-mixfixParser.o -MD -MP -MF ".deps/libmixfix_a-mixfixParser.Tpo" -c -o libmixfix_a-mixfixParser.o `test -f 'mixfixParser.cc' || echo './'`mixfixParser.cc;  then mv -f ".deps/libmixfix_a-mixfixParser.Tpo" ".deps/libmixfix_a-mixfixParser.Po"; else rm -f ".deps/libmixfix_a-mixfixParser.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-visibleModule.o -MD -MP -MF ".deps/libmixfix_a-visibleModule.Tpo" -c -o libmixfix_a-visibleModule.o `test -f 'visibleModule.cc' || echo './'`visibleModule.cc;  then mv -f ".deps/libmixfix_a-visibleModule.Tpo" ".deps/libmixfix_a-visibleModule.Po"; else rm -f ".deps/libmixfix_a-visibleModule.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-sharedTokens.o -MD -MP -MF ".deps/libmixfix_a-sharedTokens.Tpo" -c -o libmixfix_a-sharedTokens.o `test -f 'sharedTokens.cc' || echo './'`sharedTokens.cc;  then mv -f ".deps/libmixfix_a-sharedTokens.Tpo" ".deps/libmixfix_a-sharedTokens.Po"; else rm -f ".deps/libmixfix_a-sharedTokens.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-metadataStore.o -MD -MP -MF ".deps/libmixfix_a-metadataStore.Tpo" -c -o libmixfix_a-metadataStore.o `test -f 'metadataStore.cc' || echo './'`metadataStore.cc;  then mv -f ".deps/libmixfix_a-metadataStore.Tpo" ".deps/libmixfix_a-metadataStore.Po"; else rm -f ".deps/libmixfix_a-metadataStore.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-printAttribute.o -MD -MP -MF ".deps/libmixfix_a-printAttribute.Tpo" -c -o libmixfix_a-printAttribute.o `test -f 'printAttribute.cc' || echo './'`printAttribute.cc;  then mv -f ".deps/libmixfix_a-printAttribute.Tpo" ".deps/libmixfix_a-printAttribute.Po"; else rm -f ".deps/libmixfix_a-printAttribute.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-banner.o -MD -MP -MF ".deps/libmixfix_a-banner.Tpo" -c -o libmixfix_a-banner.o `test -f 'banner.cc' || echo './'`banner.cc;  then mv -f ".deps/libmixfix_a-banner.Tpo" ".deps/libmixfix_a-banner.Po"; else rm -f ".deps/libmixfix_a-banner.Tpo"; exit 1; fi
if c++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/pkg/include  -O2 -I/usr/pkg/include -MT libmixfix_a-lexer.o -MD -MP -MF ".deps/libmixfix_a-lexer.Tpo" -c -o libmixfix_a-lexer.o `test -f 'lexer.cc' || echo './'`lexer.cc;  then mv -f ".deps/libmixfix_a-lexer.Tpo" ".deps/libmixfix_a-lexer.Po"; else rm -f ".deps/libmixfix_a-lexer.Tpo"; exit 1; fi
<stdout>: In function 'int yy_get_next_buffer()':
<stdout>:4675:3: error: invalid initialization of reference of type 'size_t&' from expression of type 'int'
lexerAux.hh:30:6: error: in passing argument 2 of 'void getInput(char*, size_t&, int)'
*** Error code 1

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

Stop.
make: stopped in /scratch/lang/maude/work/Maude-2.6/src/Mixfix
*** 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