Building maude-2.6.txz (origin /buildshare/ports/355755/lang/maude) for powerpc-10-0 on XXX
Pre-existing file system for this slot!
slot1: removed
slot1: created
x distfiles/
x distfiles/Maude-2.6.tar.gz
x distfiles/full-maude26b.maude.zip
x packages/
x packages/autoconf-2.69.txz
x packages/libtecla-1.6.2.txz
x packages/perl5-5.16.3_10.txz
x packages/unzip-6.0_1.txz
x packages/help2man-1.43.3_1.txz
x packages/gmp-5.1.3_2.txz
x packages/p5-Locale-gettext-1.05_3.txz
x packages/autoconf-wrapper-20131203.txz
x packages/buddy-2.4_2.txz
x packages/automake-wrapper-20131203.txz
x packages/gmake-3.82_1.txz
x packages/gettext-0.18.3.1_1.txz
x packages/automake-1.14.txz
x packages/m4-1.4.17_1,1.txz
x packages/libsigsegv-2.10.txz
x packages/libtool-2.4.2_3.txz
x packages/pkg-1.2.7_2.txz
x packages/bison-2.7.1,1.txz
ELF ldconfig path: /lib /usr/lib /usr/lib/compat
Make depends
===>   maude-2.6 depends on file: /usr/local/sbin/pkg - not found
===>    Verifying install for /usr/local/sbin/pkg in /buildshare/ports/355755/ports-mgmt/pkg
===>   Installing existing package /packages/pkg-1.2.7_2.txz
Installing pkg-1.2.7_2... done
If you are upgrading from the old package format, first run:

  # pkg2ng
===>   Returning to build of maude-2.6
===>   maude-2.6 depends on file: /usr/local/bin/unzip - not found
===>    Verifying install for /usr/local/bin/unzip in /buildshare/ports/355755/archivers/unzip
===>   Installing existing package /packages/unzip-6.0_1.txz
Installing unzip-6.0_1... done
===>   Returning to build of maude-2.6
===>   maude-2.6 depends on shared library: bdd - not found
===>    Verifying install for bdd in /buildshare/ports/355755/science/buddy
===>   Installing existing package /packages/buddy-2.4_2.txz
Installing buddy-2.4_2... done
===>   Returning to build of maude-2.6
===>   maude-2.6 depends on shared library: tecla - not found
===>    Verifying install for tecla in /buildshare/ports/355755/devel/libtecla
===>   Installing existing package /packages/libtecla-1.6.2.txz
Installing libtecla-1.6.2... done
===>   Returning to build of maude-2.6
===>   maude-2.6 depends on shared library: gmp - not found
===>    Verifying install for gmp in /buildshare/ports/355755/math/gmp
===>   Installing existing package /packages/gmp-5.1.3_2.txz
Installing gmp-5.1.3_2... done
===>   Returning to build of maude-2.6
===>   maude-2.6 depends on shared library: sigsegv - not found
===>    Verifying install for sigsegv in /buildshare/ports/355755/devel/libsigsegv
===>   Installing existing package /packages/libsigsegv-2.10.txz
Installing libsigsegv-2.10... done
====
Note that the stackoverflow handling functions of this library need
procfs mounted on /proc.
====
===>   Returning to build of maude-2.6
===>   maude-2.6 depends on executable: bison - not found
===>    Verifying install for bison in /buildshare/ports/355755/devel/bison
===>   Installing existing package /packages/bison-2.7.1,1.txz
Installing bison-2.7.1,1...Installing gettext-0.18.3.1_1... done
Installing m4-1.4.17_1,1... done
 done
===>   Returning to build of maude-2.6
===>   maude-2.6 depends on file: /usr/local/bin/automake-1.14 - not found
===>    Verifying install for /usr/local/bin/automake-1.14 in /buildshare/ports/355755/devel/automake
===>   Installing existing package /packages/automake-1.14.txz
Installing automake-1.14...Installing autoconf-2.69...Installing autoconf-wrapper-20131203... done
Installing perl5-5.16.3_10... done
 done
Installing automake-wrapper-20131203... done
 done
===>   Returning to build of maude-2.6
===>   maude-2.6 depends on file: /usr/local/bin/autoconf-2.69 - found
Make install
===>   maude-2.6 depends on file: /usr/local/sbin/pkg - found
===> Fetching all distfiles required by maude-2.6 for building
===>  Extracting for maude-2.6
=> SHA256 Checksum OK for Maude-2.6.tar.gz.
=> SHA256 Checksum OK for full-maude26b.maude.zip.
===>   maude-2.6 depends on file: /usr/local/bin/unzip - found
/usr/local/bin/unzip /distfiles/full-maude26b.maude.zip full-maude26b.maude -d /obj/buildshare/ports/355755/lang/maude/work
Archive:  /distfiles/full-maude26b.maude.zip
  inflating: /obj/buildshare/ports/355755/lang/maude/work/full-maude26b.maude  
===>  Patching for maude-2.6
===>  Applying FreeBSD patches for maude-2.6
===>   maude-2.6 depends on executable: bison - found
===>   maude-2.6 depends on file: /usr/local/bin/automake-1.14 - found
===>   maude-2.6 depends on file: /usr/local/bin/autoconf-2.69 - found
===>   maude-2.6 depends on shared library: bdd - found
===>   maude-2.6 depends on shared library: tecla - found
===>   maude-2.6 depends on shared library: gmp - found
===>   maude-2.6 depends on shared library: sigsegv - found
===>  Configuring for maude-2.6
===>   FreeBSD 10 autotools fix applied to /obj/buildshare/ports/355755/lang/maude/work/Maude-2.6/aclocal.m4
===>   FreeBSD 10 autotools fix applied to /obj/buildshare/ports/355755/lang/maude/work/Maude-2.6/configure
configure.ac:19: warning: AM_INIT_AUTOMAKE: two- and three-arguments forms are deprecated.  For more info, see:
configure.ac:19: http://www.gnu.org/software/automake/manual/automake.html#Modernize-AM_005fINIT_005fAUTOMAKE-invocation
parallel-tests: installing './test-driver'
configure: loading site script /buildshare/ports/355755/Templates/config.site
checking build system type... powerpc-portbld-freebsd10.0
checking host system type... powerpc-portbld-freebsd10.0
checking for a BSD-compatible install... /usr/bin/install -c -o root -g wheel
checking whether build environment is sane... yes
/obj/buildshare/ports/355755/lang/maude/work/Maude-2.6/missing: Unknown `--is-lightweight' option
Try `/obj/buildshare/ports/355755/lang/maude/work/Maude-2.6/missing --help' for more information
configure: WARNING: 'missing' script is too old or missing
checking for a thread-safe mkdir -p... (cached) /bin/mkdir -p
checking for gawk... (cached) /usr/bin/awk
checking whether make sets $(MAKE)... yes
checking whether make supports nested variables... yes
checking for gcc... cc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether cc accepts -g... yes
checking for cc option to accept ISO C89... none needed
checking whether cc understands -c and -o together... yes
checking for style of include used by make... GNU
checking dependency style of cc... gcc3
checking whether we are using the GNU C++ compiler... yes
checking whether c++ accepts -g... yes
checking dependency style of c++... gcc3
checking g++ compiler version... 4.2.1
checking for ranlib... ranlib
checking for inet_addr in -lnsl... no
checking for socket in -lsocket... no
checking whether time.h and sys/time.h may both be included... yes
checking how to run the C++ preprocessor... c++ -E
checking for grep that handles long lines and -e... (cached) /usr/bin/grep
checking for egrep... (cached) /usr/bin/egrep
checking for ANSI C header files... (cached) yes
checking for sys/types.h... (cached) yes
checking for sys/stat.h... (cached) yes
checking for stdlib.h... (cached) yes
checking for string.h... (cached) yes
checking for memory.h... (cached) yes
checking for strings.h... (cached) yes
checking for inttypes.h... (cached) yes
checking for stdint.h... (cached) yes
checking for unistd.h... (cached) yes
checking for sys/time.h... (cached) yes
checking for math.h... (cached) yes
checking ieeefp.h usability... yes
checking ieeefp.h presence... yes
checking for ieeefp.h... yes
checking sys/termios.h usability... yes
checking sys/termios.h presence... yes
checking for sys/termios.h... yes
checking for stddef.h... (cached) yes
checking for limits.h... (cached) yes
checking for stdlib.h... (cached) yes
checking for stdio.h... (cached) yes
checking for ctype.h... (cached) yes
checking for unistd.h... (cached) yes
checking ostream usability... yes
checking ostream presence... yes
checking for ostream... yes
checking ostream.h usability... yes
checking ostream.h presence... yes
checking for ostream.h... yes
checking size of short... 2
checking size of int... 4
checking size of long... 4
checking size of unsigned long... 4
checking size of void *... 4
checking that generated files are newer than configure... done
configure: creating ./config.status
config.status: creating Makefile
config.status: creating src/Makefile
config.status: creating src/3rdParty/Makefile
config.status: creating src/Utility/Makefile
config.status: creating src/Temporal/Makefile
config.status: creating src/Interface/Makefile
config.status: creating src/Core/Makefile
config.status: creating src/Variable/Makefile
config.status: creating src/NA_Theory/Makefile
config.status: creating src/ACU_Persistent/Makefile
config.status: creating src/ACU_Theory/Makefile
config.status: creating src/AU_Persistent/Makefile
config.status: creating src/AU_Theory/Makefile
config.status: creating src/CUI_Theory/Makefile
config.status: creating src/S_Theory/Makefile
config.status: creating src/FreeTheory/Makefile
config.status: creating src/Higher/Makefile
config.status: creating src/BuiltIn/Makefile
config.status: creating src/IO_Stuff/Makefile
config.status: creating src/ObjectSystem/Makefile
config.status: creating src/Meta/Makefile
config.status: creating src/FullCompiler/Makefile
config.status: creating src/MSCP10/Makefile
config.status: creating src/StrategyLanguage/Makefile
config.status: creating src/Mixfix/Makefile
config.status: creating src/Main/Makefile
config.status: creating tests/Makefile
config.status: creating tests/BuiltIn/Makefile
config.status: creating tests/Meta/Makefile
config.status: creating tests/Misc/Makefile
config.status: creating tests/ResolvedBugs/Makefile
config.status: creating config.h
config.status: executing depfiles commands
===>  Building for maude-2.6
(CDPATH="${ZSH_VERSION+.}:" && cd . && /usr/local/bin/autoheader-2.69)
rm -f stamp-h1
touch ./config.h.in
cd . && /bin/sh ./config.status config.h
config.status: creating config.h
config.status: config.h is unchanged
/usr/bin/make  all-recursive
Making all in src
Making all in 3rdParty
cc -DHAVE_CONFIG_H -I. -I../..    -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -MT malloc.o -MD -MP -MF .deps/malloc.Tpo -c -o malloc.o malloc.c
mv -f .deps/malloc.Tpo .deps/malloc.Po
rm -f libdlmalloc.a
ar cru libdlmalloc.a malloc.o 
ranlib libdlmalloc.a
Making all in Utility
c++ -DHAVE_CONFIG_H -I. -I../..    -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -MT macros.o -MD -MP -MF .deps/macros.Tpo -c -o macros.o macros.cc
mv -f .deps/macros.Tpo .deps/macros.Po
c++ -DHAVE_CONFIG_H -I. -I../..    -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -MT preVector.o -MD -MP -MF .deps/preVector.Tpo -c -o preVector.o preVector.cc
mv -f .deps/preVector.Tpo .deps/preVector.Po
c++ -DHAVE_CONFIG_H -I. -I../..    -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -MT intSet.o -MD -MP -MF .deps/intSet.Tpo -c -o intSet.o intSet.cc
mv -f .deps/intSet.Tpo .deps/intSet.Po
c++ -DHAVE_CONFIG_H -I. -I../..    -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -MT pointerSet.o -MD -MP -MF .deps/pointerSet.Tpo -c -o pointerSet.o pointerSet.cc
mv -f .deps/pointerSet.Tpo .deps/pointerSet.Po
c++ -DHAVE_CONFIG_H -I. -I../..    -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -MT stringTable.o -MD -MP -MF .deps/stringTable.Tpo -c -o stringTable.o stringTable.cc
mv -f .deps/stringTable.Tpo .deps/stringTable.Po
c++ -DHAVE_CONFIG_H -I. -I../..    -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -MT graph.o -MD -MP -MF .deps/graph.Tpo -c -o graph.o graph.cc
mv -f .deps/graph.Tpo .deps/graph.Po
c++ -DHAVE_CONFIG_H -I. -I../..    -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -MT digraph.o -MD -MP -MF .deps/digraph.Tpo -c -o digraph.o digraph.cc
mv -f .deps/digraph.Tpo .deps/digraph.Po
c++ -DHAVE_CONFIG_H -I. -I../..    -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -MT unionFind.o -MD -MP -MF .deps/unionFind.Tpo -c -o unionFind.o unionFind.cc
mv -f .deps/unionFind.Tpo .deps/unionFind.Po
c++ -DHAVE_CONFIG_H -I. -I../..    -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -MT diophantineSystem.o -MD -MP -MF .deps/diophantineSystem.Tpo -c -o diophantineSystem.o diophantineSystem.cc
mv -f .deps/diophantineSystem.Tpo .deps/diophantineSystem.Po
c++ -DHAVE_CONFIG_H -I. -I../..    -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -MT natSet.o -MD -MP -MF .deps/natSet.Tpo -c -o natSet.o natSet.cc
mv -f .deps/natSet.Tpo .deps/natSet.Po
c++ -DHAVE_CONFIG_H -I. -I../..    -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -MT pointerMap.o -MD -MP -MF .deps/pointerMap.Tpo -c -o pointerMap.o pointerMap.cc
mv -f .deps/pointerMap.Tpo .deps/pointerMap.Po
c++ -DHAVE_CONFIG_H -I. -I../..    -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -MT sequencePartition.o -MD -MP -MF .deps/sequencePartition.Tpo -c -o sequencePartition.o sequencePartition.cc
mv -f .deps/sequencePartition.Tpo .deps/sequencePartition.Po
c++ -DHAVE_CONFIG_H -I. -I../..    -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -MT indent.o -MD -MP -MF .deps/indent.Tpo -c -o indent.o indent.cc
mv -f .deps/indent.Tpo .deps/indent.Po
c++ -DHAVE_CONFIG_H -I. -I../..    -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -MT binBuf.o -MD -MP -MF .deps/binBuf.Tpo -c -o binBuf.o binBuf.cc
mv -f .deps/binBuf.Tpo .deps/binBuf.Po
c++ -DHAVE_CONFIG_H -I. -I../..    -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -MT decBuf.o -MD -MP -MF .deps/decBuf.Tpo -c -o decBuf.o decBuf.cc
mv -f .deps/decBuf.Tpo .deps/decBuf.Po
c++ -DHAVE_CONFIG_H -I. -I../..    -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -MT bddUser.o -MD -MP -MF .deps/bddUser.Tpo -c -o bddUser.o bddUser.cc
mv -f .deps/bddUser.Tpo .deps/bddUser.Po
c++ -DHAVE_CONFIG_H -I. -I../..    -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -MT tty.o -MD -MP -MF .deps/tty.Tpo -c -o tty.o tty.cc
mv -f .deps/tty.Tpo .deps/tty.Po
c++ -DHAVE_CONFIG_H -I. -I../..    -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -MT bdd.o -MD -MP -MF .deps/bdd.Tpo -c -o bdd.o bdd.cc
mv -f .deps/bdd.Tpo .deps/bdd.Po
c++ -DHAVE_CONFIG_H -I. -I../..    -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -MT timer.o -MD -MP -MF .deps/timer.Tpo -c -o timer.o timer.cc
mv -f .deps/timer.Tpo .deps/timer.Po
c++ -DHAVE_CONFIG_H -I. -I../..    -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -MT mpzSystem.o -MD -MP -MF .deps/mpzSystem.Tpo -c -o mpzSystem.o mpzSystem.cc
mv -f .deps/mpzSystem.Tpo .deps/mpzSystem.Po
c++ -DHAVE_CONFIG_H -I. -I../..    -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -MT intSystem.o -MD -MP -MF .deps/intSystem.Tpo -c -o intSystem.o intSystem.cc
mv -f .deps/intSystem.Tpo .deps/intSystem.Po
c++ -DHAVE_CONFIG_H -I. -I../..    -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -MT allSat.o -MD -MP -MF .deps/allSat.Tpo -c -o allSat.o allSat.cc
mv -f .deps/allSat.Tpo .deps/allSat.Po
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
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libtemporal_a-logicFormula.Tpo .deps/libtemporal_a-logicFormula.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libtemporal_a-buchiAutomaton2.Tpo .deps/libtemporal_a-buchiAutomaton2.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libtemporal_a-transitionSet.Tpo .deps/libtemporal_a-transitionSet.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libtemporal_a-veryWeakAlternatingAutomaton.Tpo .deps/libtemporal_a-veryWeakAlternatingAutomaton.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libtemporal_a-rawTransitionSet.Tpo .deps/libtemporal_a-rawTransitionSet.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libtemporal_a-genBuchiAutomaton.Tpo .deps/libtemporal_a-genBuchiAutomaton.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libtemporal_a-modelChecker2.Tpo .deps/libtemporal_a-modelChecker2.Po
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
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libinterface_a-symbol.Tpo .deps/libinterface_a-symbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libinterface_a-binarySymbol.Tpo .deps/libinterface_a-binarySymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libinterface_a-associativeSymbol.Tpo .deps/libinterface_a-associativeSymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libinterface_a-term.Tpo .deps/libinterface_a-term.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libinterface_a-dagNode.Tpo .deps/libinterface_a-dagNode.Po
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
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-memoryCell.Tpo .deps/libcore_a-memoryCell.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-rhsBuilder.Tpo .deps/libcore_a-rhsBuilder.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-termBag.Tpo .deps/libcore_a-termBag.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-bindingLhsAutomaton.Tpo .deps/libcore_a-bindingLhsAutomaton.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-trivialRhsAutomaton.Tpo .deps/libcore_a-trivialRhsAutomaton.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-copyRhsAutomaton.Tpo .deps/libcore_a-copyRhsAutomaton.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-variableInfo.Tpo .deps/libcore_a-variableInfo.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-narrowingVariableInfo.Tpo .deps/libcore_a-narrowingVariableInfo.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-termSet.Tpo .deps/libcore_a-termSet.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-strategy.Tpo .deps/libcore_a-strategy.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-sortTable.Tpo .deps/libcore_a-sortTable.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-sortConstraintTable.Tpo .deps/libcore_a-sortConstraintTable.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-equationTable.Tpo .deps/libcore_a-equationTable.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-ruleTable.Tpo .deps/libcore_a-ruleTable.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-sort.Tpo .deps/libcore_a-sort.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-connectedComponent.Tpo .deps/libcore_a-connectedComponent.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-module.Tpo .deps/libcore_a-module.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-substitution.Tpo .deps/libcore_a-substitution.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-localBinding.Tpo .deps/libcore_a-localBinding.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-subproblemSequence.Tpo .deps/libcore_a-subproblemSequence.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-subproblemDisjunction.Tpo .deps/libcore_a-subproblemDisjunction.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-sortCheckSubproblem.Tpo .deps/libcore_a-sortCheckSubproblem.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-disjunctiveSubproblemAccumulator.Tpo .deps/libcore_a-disjunctiveSubproblemAccumulator.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-preEquation.Tpo .deps/libcore_a-preEquation.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-equation.Tpo .deps/libcore_a-equation.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-rule.Tpo .deps/libcore_a-rule.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-sortConstraint.Tpo .deps/libcore_a-sortConstraint.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-rewritingContext.Tpo .deps/libcore_a-rewritingContext.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-variableAbstractionSubproblem.Tpo .deps/libcore_a-variableAbstractionSubproblem.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-equalitySubproblem.Tpo .deps/libcore_a-equalitySubproblem.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-dagRoot.Tpo .deps/libcore_a-dagRoot.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-cachedDag.Tpo .deps/libcore_a-cachedDag.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-extensionMatchSubproblem.Tpo .deps/libcore_a-extensionMatchSubproblem.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-dagNodeSet.Tpo .deps/libcore_a-dagNodeSet.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-hashConsSet.Tpo .deps/libcore_a-hashConsSet.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-memoTable.Tpo .deps/libcore_a-memoTable.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-memoMap.Tpo .deps/libcore_a-memoMap.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-rootContainer.Tpo .deps/libcore_a-rootContainer.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-sortBdds.Tpo .deps/libcore_a-sortBdds.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-unificationContext.Tpo .deps/libcore_a-unificationContext.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-protectedDagNodeSet.Tpo .deps/libcore_a-protectedDagNodeSet.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-pendingUnificationStack.Tpo .deps/libcore_a-pendingUnificationStack.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-unificationSubproblemDisjunction.Tpo .deps/libcore_a-unificationSubproblemDisjunction.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libcore_a-compoundCycleSubproblem.Tpo .deps/libcore_a-compoundCycleSubproblem.Po
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
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libvariable_a-variableSymbol.Tpo .deps/libvariable_a-variableSymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libvariable_a-variableTerm.Tpo .deps/libvariable_a-variableTerm.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libvariable_a-variableDagNode.Tpo .deps/libvariable_a-variableDagNode.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libvariable_a-variableLhsAutomaton.Tpo .deps/libvariable_a-variableLhsAutomaton.Po
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
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libNA_Theory_a-NA_Symbol.Tpo .deps/libNA_Theory_a-NA_Symbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libNA_Theory_a-NA_Term.Tpo .deps/libNA_Theory_a-NA_Term.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libNA_Theory_a-NA_DagNode.Tpo .deps/libNA_Theory_a-NA_DagNode.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libNA_Theory_a-NA_LhsAutomaton.Tpo .deps/libNA_Theory_a-NA_LhsAutomaton.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libNA_Theory_a-NA_RhsAutomaton.Tpo .deps/libNA_Theory_a-NA_RhsAutomaton.Po
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
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libACU_Persistent_a-ACU_RedBlackNode.Tpo .deps/libACU_Persistent_a-ACU_RedBlackNode.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libACU_Persistent_a-ACU_Tree.Tpo .deps/libACU_Persistent_a-ACU_Tree.Po
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
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libACU_Theory_a-ACU_Symbol.Tpo .deps/libACU_Theory_a-ACU_Symbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libACU_Theory_a-ACU_Term.Tpo .deps/libACU_Theory_a-ACU_Term.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libACU_Theory_a-ACU_BaseDagNode.Tpo .deps/libACU_Theory_a-ACU_BaseDagNode.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libACU_Theory_a-ACU_DagNode.Tpo .deps/libACU_Theory_a-ACU_DagNode.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libACU_Theory_a-ACU_TreeDagNode.Tpo .deps/libACU_Theory_a-ACU_TreeDagNode.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libACU_Theory_a-ACU_RhsAutomaton.Tpo .deps/libACU_Theory_a-ACU_RhsAutomaton.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libACU_Theory_a-ACU_LhsAutomaton.Tpo .deps/libACU_Theory_a-ACU_LhsAutomaton.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libACU_Theory_a-ACU_Subproblem.Tpo .deps/libACU_Theory_a-ACU_Subproblem.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libACU_Theory_a-ACU_ExtensionInfo.Tpo .deps/libACU_Theory_a-ACU_ExtensionInfo.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libACU_Theory_a-ACU_CollectorLhsAutomaton.Tpo .deps/libACU_Theory_a-ACU_CollectorLhsAutomaton.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libACU_Theory_a-ACU_NGA_LhsAutomaton.Tpo .deps/libACU_Theory_a-ACU_NGA_LhsAutomaton.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libACU_Theory_a-ACU_VarLhsAutomaton.Tpo .deps/libACU_Theory_a-ACU_VarLhsAutomaton.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libACU_Theory_a-ACU_GndLhsAutomaton.Tpo .deps/libACU_Theory_a-ACU_GndLhsAutomaton.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libACU_Theory_a-ACU_NonLinearLhsAutomaton.Tpo .deps/libACU_Theory_a-ACU_NonLinearLhsAutomaton.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libACU_Theory_a-ACU_ArgumentIterator.Tpo .deps/libACU_Theory_a-ACU_ArgumentIterator.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libACU_Theory_a-ACU_DagArgumentIterator.Tpo .deps/libACU_Theory_a-ACU_DagArgumentIterator.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libACU_Theory_a-ACU_TreeDagArgumentIterator.Tpo .deps/libACU_Theory_a-ACU_TreeDagArgumentIterator.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libACU_Theory_a-ACU_LazySubproblem.Tpo .deps/libACU_Theory_a-ACU_LazySubproblem.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libACU_Theory_a-ACU_UnificationSubproblem2.Tpo .deps/libACU_Theory_a-ACU_UnificationSubproblem2.Po
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
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libAU_Persistent_a-AU_StackNode.Tpo .deps/libAU_Persistent_a-AU_StackNode.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libAU_Persistent_a-AU_Deque.Tpo .deps/libAU_Persistent_a-AU_Deque.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libAU_Persistent_a-AU_DequeIter.Tpo .deps/libAU_Persistent_a-AU_DequeIter.Po
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
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libAU_Theory_a-AU_Symbol.Tpo .deps/libAU_Theory_a-AU_Symbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libAU_Theory_a-AU_DagNode.Tpo .deps/libAU_Theory_a-AU_DagNode.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libAU_Theory_a-AU_DequeDagNode.Tpo .deps/libAU_Theory_a-AU_DequeDagNode.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libAU_Theory_a-AU_Term.Tpo .deps/libAU_Theory_a-AU_Term.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libAU_Theory_a-AU_DagArgumentIterator.Tpo .deps/libAU_Theory_a-AU_DagArgumentIterator.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libAU_Theory_a-AU_DequeDagArgumentIterator.Tpo .deps/libAU_Theory_a-AU_DequeDagArgumentIterator.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libAU_Theory_a-AU_ExtensionInfo.Tpo .deps/libAU_Theory_a-AU_ExtensionInfo.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libAU_Theory_a-AU_RhsAutomaton.Tpo .deps/libAU_Theory_a-AU_RhsAutomaton.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libAU_Theory_a-AU_LhsAutomaton.Tpo .deps/libAU_Theory_a-AU_LhsAutomaton.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libAU_Theory_a-AU_ArgumentIterator.Tpo .deps/libAU_Theory_a-AU_ArgumentIterator.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libAU_Theory_a-AU_Layer.Tpo .deps/libAU_Theory_a-AU_Layer.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libAU_Theory_a-AU_Subproblem.Tpo .deps/libAU_Theory_a-AU_Subproblem.Po
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
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libCUI_Theory_a-CUI_Symbol.Tpo .deps/libCUI_Theory_a-CUI_Symbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libCUI_Theory_a-CUI_DagNode.Tpo .deps/libCUI_Theory_a-CUI_DagNode.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libCUI_Theory_a-CUI_DagArgumentIterator.Tpo .deps/libCUI_Theory_a-CUI_DagArgumentIterator.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libCUI_Theory_a-CUI_RhsAutomaton.Tpo .deps/libCUI_Theory_a-CUI_RhsAutomaton.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libCUI_Theory_a-CUI_Term.Tpo .deps/libCUI_Theory_a-CUI_Term.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libCUI_Theory_a-CUI_ArgumentIterator.Tpo .deps/libCUI_Theory_a-CUI_ArgumentIterator.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libCUI_Theory_a-CUI_UnificationSubproblem.Tpo .deps/libCUI_Theory_a-CUI_UnificationSubproblem.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libCUI_Theory_a-CUI_LhsAutomaton.Tpo .deps/libCUI_Theory_a-CUI_LhsAutomaton.Po
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
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libS_Theory_a-S_Symbol.Tpo .deps/libS_Theory_a-S_Symbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libS_Theory_a-S_DagNode.Tpo .deps/libS_Theory_a-S_DagNode.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libS_Theory_a-S_Term.Tpo .deps/libS_Theory_a-S_Term.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libS_Theory_a-S_ExtensionInfo.Tpo .deps/libS_Theory_a-S_ExtensionInfo.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libS_Theory_a-S_DagArgumentIterator.Tpo .deps/libS_Theory_a-S_DagArgumentIterator.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libS_Theory_a-S_ArgumentIterator.Tpo .deps/libS_Theory_a-S_ArgumentIterator.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libS_Theory_a-S_LhsAutomaton.Tpo .deps/libS_Theory_a-S_LhsAutomaton.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libS_Theory_a-S_RhsAutomaton.Tpo .deps/libS_Theory_a-S_RhsAutomaton.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libS_Theory_a-S_Subproblem.Tpo .deps/libS_Theory_a-S_Subproblem.Po
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
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libfreeTheory_a-freeSymbol.Tpo .deps/libfreeTheory_a-freeSymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libfreeTheory_a-freeUnarySymbol.Tpo .deps/libfreeTheory_a-freeUnarySymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libfreeTheory_a-freeBinarySymbol.Tpo .deps/libfreeTheory_a-freeBinarySymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libfreeTheory_a-freeTernarySymbol.Tpo .deps/libfreeTheory_a-freeTernarySymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libfreeTheory_a-freeTerm.Tpo .deps/libfreeTheory_a-freeTerm.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libfreeTheory_a-freeArgumentIterator.Tpo .deps/libfreeTheory_a-freeArgumentIterator.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libfreeTheory_a-freeDagNode.Tpo .deps/libfreeTheory_a-freeDagNode.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libfreeTheory_a-freeDagArgumentIterator.Tpo .deps/libfreeTheory_a-freeDagArgumentIterator.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libfreeTheory_a-freeLhsAutomaton.Tpo .deps/libfreeTheory_a-freeLhsAutomaton.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libfreeTheory_a-freeRhsAutomaton.Tpo .deps/libfreeTheory_a-freeRhsAutomaton.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libfreeTheory_a-freeNet.Tpo .deps/libfreeTheory_a-freeNet.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libfreeTheory_a-freePreNet.Tpo .deps/libfreeTheory_a-freePreNet.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libfreeTheory_a-freeRemainder.Tpo .deps/libfreeTheory_a-freeRemainder.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libfreeTheory_a-freePositionTable.Tpo .deps/libfreeTheory_a-freePositionTable.Po
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
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libhigher_a-rewriteSearchState.Tpo .deps/libhigher_a-rewriteSearchState.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libhigher_a-matchSearchState.Tpo .deps/libhigher_a-matchSearchState.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libhigher_a-positionState.Tpo .deps/libhigher_a-positionState.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libhigher_a-pattern.Tpo .deps/libhigher_a-pattern.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libhigher_a-searchState.Tpo .deps/libhigher_a-searchState.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libhigher_a-rewriteSequenceSearch.Tpo .deps/libhigher_a-rewriteSequenceSearch.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libhigher_a-modelCheckerSymbol.Tpo .deps/libhigher_a-modelCheckerSymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libhigher_a-stateTransitionGraph.Tpo .deps/libhigher_a-stateTransitionGraph.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libhigher_a-rewriteConditionFragment.Tpo .deps/libhigher_a-rewriteConditionFragment.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libhigher_a-assignmentConditionFragment.Tpo .deps/libhigher_a-assignmentConditionFragment.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libhigher_a-sortTestConditionFragment.Tpo .deps/libhigher_a-sortTestConditionFragment.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libhigher_a-equalityConditionFragment.Tpo .deps/libhigher_a-equalityConditionFragment.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libhigher_a-assignmentConditionState.Tpo .deps/libhigher_a-assignmentConditionState.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libhigher_a-rewriteConditionState.Tpo .deps/libhigher_a-rewriteConditionState.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libhigher_a-temporalSymbol.Tpo .deps/libhigher_a-temporalSymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libhigher_a-satSolverSymbol.Tpo .deps/libhigher_a-satSolverSymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libhigher_a-unificationProblem.Tpo .deps/libhigher_a-unificationProblem.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libhigher_a-narrowingSearchState.Tpo .deps/libhigher_a-narrowingSearchState.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libhigher_a-narrowingUnificationProblem.Tpo .deps/libhigher_a-narrowingUnificationProblem.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libhigher_a-narrowingSequenceSearch.Tpo .deps/libhigher_a-narrowingSequenceSearch.Po
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
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libbuiltIn_a-equalitySymbol.Tpo .deps/libbuiltIn_a-equalitySymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libbuiltIn_a-sortTestSymbol.Tpo .deps/libbuiltIn_a-sortTestSymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libbuiltIn_a-branchSymbol.Tpo .deps/libbuiltIn_a-branchSymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libbuiltIn_a-stringSymbol.Tpo .deps/libbuiltIn_a-stringSymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libbuiltIn_a-stringTerm.Tpo .deps/libbuiltIn_a-stringTerm.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libbuiltIn_a-stringDagNode.Tpo .deps/libbuiltIn_a-stringDagNode.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libbuiltIn_a-stringOpSymbol.Tpo .deps/libbuiltIn_a-stringOpSymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libbuiltIn_a-floatSymbol.Tpo .deps/libbuiltIn_a-floatSymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libbuiltIn_a-floatTerm.Tpo .deps/libbuiltIn_a-floatTerm.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libbuiltIn_a-floatDagNode.Tpo .deps/libbuiltIn_a-floatDagNode.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libbuiltIn_a-floatOpSymbol.Tpo .deps/libbuiltIn_a-floatOpSymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libbuiltIn_a-succSymbol.Tpo .deps/libbuiltIn_a-succSymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libbuiltIn_a-numberOpSymbol.Tpo .deps/libbuiltIn_a-numberOpSymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libbuiltIn_a-minusSymbol.Tpo .deps/libbuiltIn_a-minusSymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libbuiltIn_a-ACU_NumberOpSymbol.Tpo .deps/libbuiltIn_a-ACU_NumberOpSymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libbuiltIn_a-CUI_NumberOpSymbol.Tpo .deps/libbuiltIn_a-CUI_NumberOpSymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libbuiltIn_a-divisionSymbol.Tpo .deps/libbuiltIn_a-divisionSymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libbuiltIn_a-randomOpSymbol.Tpo .deps/libbuiltIn_a-randomOpSymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libbuiltIn_a-counterSymbol.Tpo .deps/libbuiltIn_a-counterSymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libbuiltIn_a-matrixOpSymbol.Tpo .deps/libbuiltIn_a-matrixOpSymbol.Po
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
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
In file included from IO_Manager.cc:38:
/usr/include/sys/termios.h:3:2: warning: #warning "this file includes <sys/termios.h> which is deprecated, use <termios.h> instead"
mv -f .deps/libIO_Stuff_a-IO_Manager.Tpo .deps/libIO_Stuff_a-IO_Manager.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libIO_Stuff_a-autoWrapBuffer.Tpo .deps/libIO_Stuff_a-autoWrapBuffer.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libIO_Stuff_a-directoryManager.Tpo .deps/libIO_Stuff_a-directoryManager.Po
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
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/S_Theory  -I../../src/BuiltIn -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libobjectSystem_a-configSymbol.Tpo .deps/libobjectSystem_a-configSymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/S_Theory  -I../../src/BuiltIn -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libobjectSystem_a-objectSystemRewritingContext.Tpo .deps/libobjectSystem_a-objectSystemRewritingContext.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/S_Theory  -I../../src/BuiltIn -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libobjectSystem_a-externalObjectManagerSymbol.Tpo .deps/libobjectSystem_a-externalObjectManagerSymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/S_Theory  -I../../src/BuiltIn -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libobjectSystem_a-socketManagerSymbol.Tpo .deps/libobjectSystem_a-socketManagerSymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/S_Theory  -I../../src/BuiltIn -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libobjectSystem_a-pseudoThread.Tpo .deps/libobjectSystem_a-pseudoThread.Po
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
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmeta_a-metaModuleCache.Tpo .deps/libmeta_a-metaModuleCache.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmeta_a-metaLevel.Tpo .deps/libmeta_a-metaLevel.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmeta_a-interpreterManagerSymbol.Tpo .deps/libmeta_a-interpreterManagerSymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmeta_a-metaOpCache.Tpo .deps/libmeta_a-metaOpCache.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmeta_a-metaModule.Tpo .deps/libmeta_a-metaModule.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmeta_a-metaLevelOpSymbol.Tpo .deps/libmeta_a-metaLevelOpSymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmeta_a-metaPreModule.Tpo .deps/libmeta_a-metaPreModule.Po
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
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmscp10_a-scp_parser.Tpo .deps/libmscp10_a-scp_parser.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmscp10_a-scp_compiler.Tpo .deps/libmscp10_a-scp_compiler.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmscp10_a-scp_memory.Tpo .deps/libmscp10_a-scp_memory.Po
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
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libstrategyLanguage_a-trivialStrategy.Tpo .deps/libstrategyLanguage_a-trivialStrategy.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libstrategyLanguage_a-applicationStrategy.Tpo .deps/libstrategyLanguage_a-applicationStrategy.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libstrategyLanguage_a-concatenationStrategy.Tpo .deps/libstrategyLanguage_a-concatenationStrategy.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libstrategyLanguage_a-iterationStrategy.Tpo .deps/libstrategyLanguage_a-iterationStrategy.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libstrategyLanguage_a-branchStrategy.Tpo .deps/libstrategyLanguage_a-branchStrategy.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libstrategyLanguage_a-unionStrategy.Tpo .deps/libstrategyLanguage_a-unionStrategy.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libstrategyLanguage_a-testStrategy.Tpo .deps/libstrategyLanguage_a-testStrategy.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libstrategyLanguage_a-strategicExecution.Tpo .deps/libstrategyLanguage_a-strategicExecution.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libstrategyLanguage_a-strategicTask.Tpo .deps/libstrategyLanguage_a-strategicTask.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libstrategyLanguage_a-branchTask.Tpo .deps/libstrategyLanguage_a-branchTask.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libstrategyLanguage_a-strategicProcess.Tpo .deps/libstrategyLanguage_a-strategicProcess.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libstrategyLanguage_a-decompositionProcess.Tpo .deps/libstrategyLanguage_a-decompositionProcess.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libstrategyLanguage_a-applicationProcess.Tpo .deps/libstrategyLanguage_a-applicationProcess.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libstrategyLanguage_a-strategicSearch.Tpo .deps/libstrategyLanguage_a-strategicSearch.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libstrategyLanguage_a-sharedRewriteSearchState.Tpo .deps/libstrategyLanguage_a-sharedRewriteSearchState.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libstrategyLanguage_a-matchProcess.Tpo .deps/libstrategyLanguage_a-matchProcess.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libstrategyLanguage_a-rewriteTask.Tpo .deps/libstrategyLanguage_a-rewriteTask.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libstrategyLanguage_a-strategyStackManager.Tpo .deps/libstrategyLanguage_a-strategyStackManager.Po
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
bison -dv surface.yy -o surface.c
surface.yy:573.25: warning: a ';' might be needed at the end of action code
surface.yy:573.25:     future versions of Bison will not add the ';'
surface.yy:1097.77: warning: a ';' might be needed at the end of action code
surface.yy:1097.77:     future versions of Bison will not add the ';'
surface.yy:1102.77: warning: a ';' might be needed at the end of action code
surface.yy:1102.77:     future versions of Bison will not add the ';'
mv surface.c surface.cc
flex -t -p -p ./lexer.ll > lexer.cc
-I (interactive) entails a minor performance penalty
/usr/bin/make  all-am
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-syntaxContainer.Tpo .deps/libmixfix_a-syntaxContainer.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-renaming.Tpo .deps/libmixfix_a-renaming.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-view.Tpo .deps/libmixfix_a-view.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-entity.Tpo .deps/libmixfix_a-entity.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-moduleCache.Tpo .deps/libmixfix_a-moduleCache.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-moduleExpression.Tpo .deps/libmixfix_a-moduleExpression.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-importModule.Tpo .deps/libmixfix_a-importModule.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-importTranslation.Tpo .deps/libmixfix_a-importTranslation.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-fileTable.Tpo .deps/libmixfix_a-fileTable.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-loopSymbol.Tpo .deps/libmixfix_a-loopSymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-quotedIdentifierSymbol.Tpo .deps/libmixfix_a-quotedIdentifierSymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-quotedIdentifierDagNode.Tpo .deps/libmixfix_a-quotedIdentifierDagNode.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-quotedIdentifierTerm.Tpo .deps/libmixfix_a-quotedIdentifierTerm.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-quotedIdentifierOpSymbol.Tpo .deps/libmixfix_a-quotedIdentifierOpSymbol.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-mixfixModule.Tpo .deps/libmixfix_a-mixfixModule.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-token.Tpo .deps/libmixfix_a-token.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-global.Tpo .deps/libmixfix_a-global.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-userLevelRewritingContext.Tpo .deps/libmixfix_a-userLevelRewritingContext.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-preModule.Tpo .deps/libmixfix_a-preModule.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-syntacticPreModule.Tpo .deps/libmixfix_a-syntacticPreModule.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-symbolType.Tpo .deps/libmixfix_a-symbolType.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-xmlBuffer.Tpo .deps/libmixfix_a-xmlBuffer.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-maudemlBuffer.Tpo .deps/libmixfix_a-maudemlBuffer.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-interpreter.Tpo .deps/libmixfix_a-interpreter.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-moduleDatabase.Tpo .deps/libmixfix_a-moduleDatabase.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-viewDatabase.Tpo .deps/libmixfix_a-viewDatabase.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-profileModule.Tpo .deps/libmixfix_a-profileModule.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-mixfixParser.Tpo .deps/libmixfix_a-mixfixParser.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-visibleModule.Tpo .deps/libmixfix_a-visibleModule.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-sharedTokens.Tpo .deps/libmixfix_a-sharedTokens.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-metadataStore.Tpo .deps/libmixfix_a-metadataStore.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-printAttribute.Tpo .deps/libmixfix_a-printAttribute.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
mv -f .deps/libmixfix_a-banner.Tpo .deps/libmixfix_a-banner.Po
c++ -DHAVE_CONFIG_H -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/usr/local/include  -O2 -pipe -fno-strict-aliasing -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
<stdout>: In function 'int yy_get_next_buffer()':
<stdout>:4678: error: invalid initialization of reference of type 'int&' from expression of type 'yy_size_t'
lexerAux.hh:30: error: in passing argument 2 of 'void getInput(char*, int&, int)'
*** Error code 1

Stop.
make[5]: stopped in /obj/buildshare/ports/355755/lang/maude/work/Maude-2.6/src/Mixfix
*** Error code 1

Stop.
make[4]: stopped in /obj/buildshare/ports/355755/lang/maude/work/Maude-2.6/src/Mixfix
*** Error code 1

Stop.
make[3]: stopped in /obj/buildshare/ports/355755/lang/maude/work/Maude-2.6/src
*** Error code 1

Stop.
make[2]: stopped in /obj/buildshare/ports/355755/lang/maude/work/Maude-2.6
*** Error code 1

Stop.
make[1]: stopped in /obj/buildshare/ports/355755/lang/maude/work/Maude-2.6
*** Error code 1

Stop.
make: stopped in /buildshare/ports/355755/lang/maude