Building cvc3-2.4.1.txz (origin /buildshare/ports/355755/math/cvc3) for powerpc-10-0 on XXX
Pre-existing file system for this slot!
slot1: removed
slot1: created
x distfiles/
x distfiles/cvc3-2.4.1.tar.gz
x packages/
x packages/gmake-3.82_1.txz
x packages/mpc-1.0.2.txz
x packages/pkg-1.2.7_2.txz
x packages/mpfr-3.1.2_2.txz
x packages/gettext-0.18.3.1_1.txz
x packages/gcc-4.7.3_1.txz
x packages/binutils-2.24.txz
x packages/m4-1.4.17_1,1.txz
x packages/gmp-5.1.3_2.txz
x packages/bison-2.7.1,1.txz
x packages/perl5-5.16.3_10.txz
ELF ldconfig path: /lib /usr/lib /usr/lib/compat
Make depends
===>   cvc3-2.4.1 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 cvc3-2.4.1
===>   cvc3-2.4.1 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 cvc3-2.4.1
===>   cvc3-2.4.1 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 cvc3-2.4.1
===>   cvc3-2.4.1 depends on executable: gmake - not found
===>    Verifying install for gmake in /buildshare/ports/355755/devel/gmake
===>   Installing existing package /packages/gmake-3.82_1.txz
Installing gmake-3.82_1... done
===>   Returning to build of cvc3-2.4.1
===>   cvc3-2.4.1 depends on file: /usr/local/bin/perl5.16.3 - not found
===>    Verifying install for /usr/local/bin/perl5.16.3 in /buildshare/ports/355755/lang/perl5.16
===>   Installing existing package /packages/perl5-5.16.3_10.txz
Installing perl5-5.16.3_10... done
===>   Returning to build of cvc3-2.4.1
===>   cvc3-2.4.1 depends on file: /usr/local/bin/perl5.16.3 - found
Make install
===>   cvc3-2.4.1 depends on file: /usr/local/sbin/pkg - found
===> Fetching all distfiles required by cvc3-2.4.1 for building
===>  Extracting for cvc3-2.4.1
=> SHA256 Checksum OK for cvc3-2.4.1.tar.gz.
===>  Patching for cvc3-2.4.1
/usr/bin/sed -i.bak -e 's,/bin/bash,/bin/sh,' /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/Makefile.std
/usr/bin/sed -i.bak -e 's,.*$(LDCONFIG).*,,' /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/Makefile
/usr/bin/sed -i.bak -e 's,$(libdir)/pkgconfig,/usr/local/libdata/pkgconfig,' /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/Makefile
===>   cvc3-2.4.1 depends on executable: bison - found
===>   cvc3-2.4.1 depends on executable: gmake - found
===>   cvc3-2.4.1 depends on file: /usr/local/bin/perl5.16.3 - found
===>   cvc3-2.4.1 depends on shared library: gmp - found
===>  Configuring for cvc3-2.4.1
===>   FreeBSD 10 autotools fix applied to /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/configure
configure: loading site script /buildshare/ports/355755/Templates/config.site
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 g++ accepts -g... yes
checking how to run the C++ preprocessor... g++ -E
checking for ar... ar
checking build system type... powerpc-portbld-freebsd11.0
checking host system type... powerpc-portbld-freebsd11.0
checking for install... /usr/bin/install -c -o root -g wheel
checking for ldconfig... /sbin/ldconfig
checking for time... /usr/bin/time
checking for perl... (cached) /usr/local/bin/perl
checking for bison... bison -y
checking for flex... flex
checking lex output file root... lex.yy
checking lex library... none needed
checking whether yytext is a pointer... no
checking for compiler version (g++ --version)... 4.2.1
checking for gmp... yes
checking vector usability... yes
checking vector presence... yes
checking for vector... yes
checking list usability... yes
checking list presence... yes
checking for list... yes
checking deque usability... yes
checking deque presence... yes
checking for deque... yes
checking set usability... yes
checking set presence... yes
checking for set... yes
checking string usability... yes
checking string presence... yes
checking for string... yes
checking cstdlib usability... yes
checking cstdlib presence... yes
checking for cstdlib... yes
checking cstdio usability... yes
checking cstdio presence... yes
checking for cstdio... yes
checking functional usability... yes
checking functional presence... yes
checking for functional... yes
checking algorithm usability... yes
checking algorithm presence... yes
checking for algorithm... yes
checking for doxygen... no
checking for doxytag... no
checking for fig2dev... no
checking for dot... NO
checking for etags... no
checking for ebrowse... no
configure: creating ./config.status
config.status: creating Makefile.local
config.status: creating LICENSE
config.status: creating src/cvc3.pc
config.status: creating bin/unpack
config.status: creating bin/run_tests
config.status: creating bin/cvc2smt
config.status: creating doc/Doxyfile
config.status: creating doc/Makefile

CVC3 is configured successfully.
Platform: powerpc-freebsd11.0
Version: 2.4.1
Computer arithmetic: GMP

Run ./configure --help for additional configuration options.

Type 'make' to compile CVC3.

*** CVC3 is configured to compile using shared libraries.
*** Type "make ld_sh" for bash shells or "make ld_csh" for csh shells
*** to see how to set LD_LIBRARY_PATH appropriately.  To use static
*** libraries and executables instead, run:
***     ./configure --enable-static
===>  Building for cvc3-2.4.1
gmake[1]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1'
cd /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src; gmake  VERSION=2.4.1
gmake[2]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src'
cd util && gmake 
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/util'
Making dependencies for debug.cpp statistics.cpp rational.cpp rational-native.cpp rational-gmp.cpp
g++ -M -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DRATIONAL_GMP -I/usr/local/include debug.cpp statistics.cpp rational.cpp rational-native.cpp rational-gmp.cpp >> /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/util/powerpc-freebsd11.0/Makefile.tmp
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/util'
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/util'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DRATIONAL_GMP -I/usr/local/include -c debug.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/util/powerpc-freebsd11.0/debug.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DRATIONAL_GMP -I/usr/local/include -c statistics.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/util/powerpc-freebsd11.0/statistics.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DRATIONAL_GMP -I/usr/local/include -c rational.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/util/powerpc-freebsd11.0/rational.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DRATIONAL_GMP -I/usr/local/include -c rational-native.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/util/powerpc-freebsd11.0/rational-native.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DRATIONAL_GMP -I/usr/local/include -c rational-gmp.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/util/powerpc-freebsd11.0/rational-gmp.o'
ar ruvs '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libcvc_util.a'  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/util/powerpc-freebsd11.0/debug.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/util/powerpc-freebsd11.0/statistics.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/util/powerpc-freebsd11.0/rational.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/util/powerpc-freebsd11.0/rational-native.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/util/powerpc-freebsd11.0/rational-gmp.o 
ar: warning: creating /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libcvc_util.a
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/util/powerpc-freebsd11.0/debug.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/util/powerpc-freebsd11.0/statistics.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/util/powerpc-freebsd11.0/rational.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/util/powerpc-freebsd11.0/rational-native.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/util/powerpc-freebsd11.0/rational-gmp.o
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/util'
cd context && gmake 
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/context'
Making dependencies for context.cpp cdflags.cpp
g++ -M -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include context.cpp cdflags.cpp >> /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/context/powerpc-freebsd11.0/Makefile.tmp
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/context'
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/context'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c context.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/context/powerpc-freebsd11.0/context.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c cdflags.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/context/powerpc-freebsd11.0/cdflags.o'
ar ruvs '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libcontext.a'  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/context/powerpc-freebsd11.0/context.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/context/powerpc-freebsd11.0/cdflags.o 
ar: warning: creating /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libcontext.a
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/context/powerpc-freebsd11.0/context.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/context/powerpc-freebsd11.0/cdflags.o
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/context'
cd expr && gmake 
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/expr'
Making dependencies for expr.cpp expr_manager.cpp expr_stream.cpp expr_value.cpp expr_op.cpp
g++ -M -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include expr.cpp expr_manager.cpp expr_stream.cpp expr_value.cpp expr_op.cpp >> /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/expr/powerpc-freebsd11.0/Makefile.tmp
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/expr'
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/expr'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c expr.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/expr/powerpc-freebsd11.0/expr.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c expr_manager.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/expr/powerpc-freebsd11.0/expr_manager.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c expr_stream.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/expr/powerpc-freebsd11.0/expr_stream.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c expr_value.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/expr/powerpc-freebsd11.0/expr_value.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c expr_op.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/expr/powerpc-freebsd11.0/expr_op.o'
ar ruvs '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libexpr.a'  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/expr/powerpc-freebsd11.0/expr.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/expr/powerpc-freebsd11.0/expr_manager.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/expr/powerpc-freebsd11.0/expr_stream.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/expr/powerpc-freebsd11.0/expr_value.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/expr/powerpc-freebsd11.0/expr_op.o 
ar: warning: creating /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libexpr.a
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/expr/powerpc-freebsd11.0/expr.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/expr/powerpc-freebsd11.0/expr_manager.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/expr/powerpc-freebsd11.0/expr_stream.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/expr/powerpc-freebsd11.0/expr_value.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/expr/powerpc-freebsd11.0/expr_op.o
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/expr'
cd theorem && gmake 
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theorem'
Making dependencies for assumptions.cpp theorem.cpp theorem_manager.cpp theorem_producer.cpp common_theorem_producer.cpp
g++ -M -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include assumptions.cpp theorem.cpp theorem_manager.cpp theorem_producer.cpp common_theorem_producer.cpp >> /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theorem/powerpc-freebsd11.0/Makefile.tmp
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theorem'
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theorem'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c assumptions.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theorem/powerpc-freebsd11.0/assumptions.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c theorem.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theorem/powerpc-freebsd11.0/theorem.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c theorem_manager.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theorem/powerpc-freebsd11.0/theorem_manager.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c theorem_producer.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theorem/powerpc-freebsd11.0/theorem_producer.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c common_theorem_producer.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theorem/powerpc-freebsd11.0/common_theorem_producer.o'
ar ruvs '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheorem.a'  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theorem/powerpc-freebsd11.0/assumptions.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theorem/powerpc-freebsd11.0/theorem.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theorem/powerpc-freebsd11.0/theorem_manager.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theorem/powerpc-freebsd11.0/theorem_producer.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theorem/powerpc-freebsd11.0/common_theorem_producer.o 
ar: warning: creating /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheorem.a
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theorem/powerpc-freebsd11.0/assumptions.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theorem/powerpc-freebsd11.0/theorem.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theorem/powerpc-freebsd11.0/theorem_manager.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theorem/powerpc-freebsd11.0/theorem_producer.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theorem/powerpc-freebsd11.0/common_theorem_producer.o
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theorem'
cd sat && gmake 
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/sat'
Making dependencies for xchaff.cpp xchaff_dbase.cpp xchaff_solver.cpp xchaff_utils.cpp  cnf.cpp cnf_manager.cpp cnf_theorem_producer.cpp dpllt_basic.cpp sat_api.cpp dpllt_minisat.cpp minisat_types.cpp minisat_derivation.cpp minisat_solver.cpp
g++ -M -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include xchaff.cpp xchaff_dbase.cpp xchaff_solver.cpp xchaff_utils.cpp  cnf.cpp cnf_manager.cpp cnf_theorem_producer.cpp dpllt_basic.cpp sat_api.cpp dpllt_minisat.cpp minisat_types.cpp minisat_derivation.cpp minisat_solver.cpp >> /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/Makefile.tmp
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/sat'
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/sat'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c xchaff.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/xchaff.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c xchaff_dbase.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/xchaff_dbase.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c xchaff_solver.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/xchaff_solver.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c xchaff_utils.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/xchaff_utils.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c cnf.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/cnf.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c cnf_manager.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/cnf_manager.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c cnf_theorem_producer.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/cnf_theorem_producer.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c dpllt_basic.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/dpllt_basic.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c sat_api.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/sat_api.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c dpllt_minisat.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/dpllt_minisat.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c minisat_types.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/minisat_types.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c minisat_derivation.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/minisat_derivation.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c minisat_solver.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/minisat_solver.o'
ar ruvs '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libsat.a'  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/xchaff.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/xchaff_dbase.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/xchaff_solver.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/xchaff_utils.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/cnf.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/cnf_manager.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/cnf_theorem_producer.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/dpllt_basic.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/sat_api.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/dpllt_minisat.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/minisat_types.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/minisat_derivation.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/minisat_solver.o 
ar: warning: creating /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libsat.a
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/xchaff.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/xchaff_dbase.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/xchaff_solver.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/xchaff_utils.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/cnf.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/cnf_manager.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/cnf_theorem_producer.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/dpllt_basic.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/sat_api.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/dpllt_minisat.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/minisat_types.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/minisat_derivation.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/sat/powerpc-freebsd11.0/minisat_solver.o
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/sat'
cd theory_core && gmake 
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_core'
Making dependencies for theory.cpp theory_core.cpp core_theorem_producer.cpp expr_transform.cpp bryant.cpp
g++ -M -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include theory.cpp theory_core.cpp core_theorem_producer.cpp expr_transform.cpp bryant.cpp >> /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_core/powerpc-freebsd11.0/Makefile.tmp
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_core'
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_core'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c theory.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_core/powerpc-freebsd11.0/theory.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c theory_core.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_core/powerpc-freebsd11.0/theory_core.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c core_theorem_producer.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_core/powerpc-freebsd11.0/core_theorem_producer.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c expr_transform.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_core/powerpc-freebsd11.0/expr_transform.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c bryant.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_core/powerpc-freebsd11.0/bryant.o'
ar ruvs '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheory_core.a'  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_core/powerpc-freebsd11.0/theory.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_core/powerpc-freebsd11.0/theory_core.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_core/powerpc-freebsd11.0/core_theorem_producer.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_core/powerpc-freebsd11.0/expr_transform.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_core/powerpc-freebsd11.0/bryant.o 
ar: warning: creating /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheory_core.a
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_core/powerpc-freebsd11.0/theory.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_core/powerpc-freebsd11.0/theory_core.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_core/powerpc-freebsd11.0/core_theorem_producer.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_core/powerpc-freebsd11.0/expr_transform.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_core/powerpc-freebsd11.0/bryant.o
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_core'
cd theory_arith && gmake 
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_arith'
Making dependencies for arith_theorem_producer_old.cpp arith_theorem_producer.cpp arith_theorem_producer3.cpp theory_arith.cpp theory_arith_old.cpp theory_arith_new.cpp theory_arith3.cpp
g++ -M -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include arith_theorem_producer_old.cpp arith_theorem_producer.cpp arith_theorem_producer3.cpp theory_arith.cpp theory_arith_old.cpp theory_arith_new.cpp theory_arith3.cpp >> /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_arith/powerpc-freebsd11.0/Makefile.tmp
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_arith'
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_arith'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c arith_theorem_producer_old.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_arith/powerpc-freebsd11.0/arith_theorem_producer_old.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c arith_theorem_producer.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_arith/powerpc-freebsd11.0/arith_theorem_producer.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c arith_theorem_producer3.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_arith/powerpc-freebsd11.0/arith_theorem_producer3.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c theory_arith.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_arith/powerpc-freebsd11.0/theory_arith.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c theory_arith_old.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_arith/powerpc-freebsd11.0/theory_arith_old.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c theory_arith_new.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_arith/powerpc-freebsd11.0/theory_arith_new.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c theory_arith3.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_arith/powerpc-freebsd11.0/theory_arith3.o'
ar ruvs '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheory_arith.a'  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_arith/powerpc-freebsd11.0/arith_theorem_producer_old.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_arith/powerpc-freebsd11.0/arith_theorem_producer.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_arith/powerpc-freebsd11.0/arith_theorem_producer3.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_arith/powerpc-freebsd11.0/theory_arith.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_arith/powerpc-freebsd11.0/theory_arith_old.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_arith/powerpc-freebsd11.0/theory_arith_new.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_arith/powerpc-freebsd11.0/theory_arith3.o 
ar: warning: creating /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheory_arith.a
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_arith/powerpc-freebsd11.0/arith_theorem_producer_old.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_arith/powerpc-freebsd11.0/arith_theorem_producer.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_arith/powerpc-freebsd11.0/arith_theorem_producer3.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_arith/powerpc-freebsd11.0/theory_arith.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_arith/powerpc-freebsd11.0/theory_arith_old.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_arith/powerpc-freebsd11.0/theory_arith_new.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_arith/powerpc-freebsd11.0/theory_arith3.o
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_arith'
cd theory_array && gmake 
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_array'
Making dependencies for array_theorem_producer.cpp theory_array.cpp
g++ -M -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include array_theorem_producer.cpp theory_array.cpp >> /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_array/powerpc-freebsd11.0/Makefile.tmp
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_array'
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_array'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c array_theorem_producer.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_array/powerpc-freebsd11.0/array_theorem_producer.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c theory_array.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_array/powerpc-freebsd11.0/theory_array.o'
ar ruvs '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheory_array.a'  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_array/powerpc-freebsd11.0/array_theorem_producer.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_array/powerpc-freebsd11.0/theory_array.o 
ar: warning: creating /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheory_array.a
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_array/powerpc-freebsd11.0/array_theorem_producer.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_array/powerpc-freebsd11.0/theory_array.o
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_array'
cd theory_bitvector && gmake 
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_bitvector'
Making dependencies for bitvector_theorem_producer.cpp theory_bitvector.cpp
g++ -M -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include bitvector_theorem_producer.cpp theory_bitvector.cpp >> /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_bitvector/powerpc-freebsd11.0/Makefile.tmp
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_bitvector'
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_bitvector'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c bitvector_theorem_producer.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_bitvector/powerpc-freebsd11.0/bitvector_theorem_producer.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c theory_bitvector.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_bitvector/powerpc-freebsd11.0/theory_bitvector.o'
ar ruvs '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheory_bitvector.a'  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_bitvector/powerpc-freebsd11.0/bitvector_theorem_producer.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_bitvector/powerpc-freebsd11.0/theory_bitvector.o 
ar: warning: creating /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheory_bitvector.a
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_bitvector/powerpc-freebsd11.0/bitvector_theorem_producer.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_bitvector/powerpc-freebsd11.0/theory_bitvector.o
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_bitvector'
cd theory_datatype && gmake 
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_datatype'
Making dependencies for datatype_theorem_producer.cpp theory_datatype.cpp theory_datatype_lazy.cpp
g++ -M -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include datatype_theorem_producer.cpp theory_datatype.cpp theory_datatype_lazy.cpp >> /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_datatype/powerpc-freebsd11.0/Makefile.tmp
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_datatype'
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_datatype'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c datatype_theorem_producer.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_datatype/powerpc-freebsd11.0/datatype_theorem_producer.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c theory_datatype.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_datatype/powerpc-freebsd11.0/theory_datatype.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c theory_datatype_lazy.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_datatype/powerpc-freebsd11.0/theory_datatype_lazy.o'
ar ruvs '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheory_datatype.a'  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_datatype/powerpc-freebsd11.0/datatype_theorem_producer.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_datatype/powerpc-freebsd11.0/theory_datatype.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_datatype/powerpc-freebsd11.0/theory_datatype_lazy.o 
ar: warning: creating /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheory_datatype.a
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_datatype/powerpc-freebsd11.0/datatype_theorem_producer.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_datatype/powerpc-freebsd11.0/theory_datatype.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_datatype/powerpc-freebsd11.0/theory_datatype_lazy.o
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_datatype'
cd theory_quant && gmake 
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_quant'
Making dependencies for theory_quant.cpp quant_theorem_producer.cpp
g++ -M -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include theory_quant.cpp quant_theorem_producer.cpp >> /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_quant/powerpc-freebsd11.0/Makefile.tmp
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_quant'
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_quant'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c theory_quant.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_quant/powerpc-freebsd11.0/theory_quant.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c quant_theorem_producer.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_quant/powerpc-freebsd11.0/quant_theorem_producer.o'
ar ruvs '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheory_quant.a'  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_quant/powerpc-freebsd11.0/theory_quant.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_quant/powerpc-freebsd11.0/quant_theorem_producer.o 
ar: warning: creating /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheory_quant.a
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_quant/powerpc-freebsd11.0/theory_quant.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_quant/powerpc-freebsd11.0/quant_theorem_producer.o
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_quant'
cd theory_records && gmake 
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_records'
Making dependencies for theory_records.cpp records_theorem_producer.cpp
g++ -M -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include theory_records.cpp records_theorem_producer.cpp >> /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_records/powerpc-freebsd11.0/Makefile.tmp
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_records'
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_records'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c theory_records.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_records/powerpc-freebsd11.0/theory_records.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c records_theorem_producer.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_records/powerpc-freebsd11.0/records_theorem_producer.o'
ar ruvs '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheory_records.a'  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_records/powerpc-freebsd11.0/theory_records.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_records/powerpc-freebsd11.0/records_theorem_producer.o 
ar: warning: creating /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheory_records.a
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_records/powerpc-freebsd11.0/theory_records.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_records/powerpc-freebsd11.0/records_theorem_producer.o
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_records'
cd theory_simulate && gmake 
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_simulate'
Making dependencies for theory_simulate.cpp simulate_theorem_producer.cpp
g++ -M -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include theory_simulate.cpp simulate_theorem_producer.cpp >> /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_simulate/powerpc-freebsd11.0/Makefile.tmp
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_simulate'
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_simulate'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c theory_simulate.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_simulate/powerpc-freebsd11.0/theory_simulate.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c simulate_theorem_producer.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_simulate/powerpc-freebsd11.0/simulate_theorem_producer.o'
ar ruvs '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheory_simulate.a'  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_simulate/powerpc-freebsd11.0/theory_simulate.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_simulate/powerpc-freebsd11.0/simulate_theorem_producer.o 
ar: warning: creating /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheory_simulate.a
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_simulate/powerpc-freebsd11.0/theory_simulate.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_simulate/powerpc-freebsd11.0/simulate_theorem_producer.o
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_simulate'
cd theory_uf && gmake 
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_uf'
Making dependencies for uf_theorem_producer.cpp theory_uf.cpp
g++ -M -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include uf_theorem_producer.cpp theory_uf.cpp >> /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_uf/powerpc-freebsd11.0/Makefile.tmp
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_uf'
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_uf'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c uf_theorem_producer.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_uf/powerpc-freebsd11.0/uf_theorem_producer.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c theory_uf.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_uf/powerpc-freebsd11.0/theory_uf.o'
ar ruvs '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheory_uf.a'  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_uf/powerpc-freebsd11.0/uf_theorem_producer.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_uf/powerpc-freebsd11.0/theory_uf.o 
ar: warning: creating /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheory_uf.a
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_uf/powerpc-freebsd11.0/uf_theorem_producer.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/theory_uf/powerpc-freebsd11.0/theory_uf.o
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_uf'
cd search && gmake 
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/search'
Making dependencies for clause.cpp search_impl_base.cpp search.cpp search_fast.cpp search_theorem_producer.cpp search_sat.cpp search_simple.cpp variable.cpp circuit.cpp decision_engine.cpp decision_engine_dfs.cpp LFSCObject.cpp LFSCUtilProof.cpp LFSCBoolProof.cpp LFSCConvert.cpp LFSCLraProof.cpp LFSCPrinter.cpp LFSCProof.cpp TReturn.cpp Util.cpp
g++ -M -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include clause.cpp search_impl_base.cpp search.cpp search_fast.cpp search_theorem_producer.cpp search_sat.cpp search_simple.cpp variable.cpp circuit.cpp decision_engine.cpp decision_engine_dfs.cpp LFSCObject.cpp LFSCUtilProof.cpp LFSCBoolProof.cpp LFSCConvert.cpp LFSCLraProof.cpp LFSCPrinter.cpp LFSCProof.cpp TReturn.cpp Util.cpp >> /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/Makefile.tmp
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/search'
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/search'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c clause.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/clause.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c search_impl_base.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/search_impl_base.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c search.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/search.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c search_fast.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/search_fast.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c search_theorem_producer.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/search_theorem_producer.o'
search_theorem_producer.cpp: In member function 'CVC3::Expr CVC3::SearchEngineTheoremProducer::convertToCNF(const CVC3::Expr&, const CVC3::Expr&)':
search_theorem_producer.cpp:1317: warning: unused variable 'negV'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c search_sat.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/search_sat.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c search_simple.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/search_simple.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c variable.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/variable.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c circuit.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/circuit.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c decision_engine.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/decision_engine.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c decision_engine_dfs.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/decision_engine_dfs.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c LFSCObject.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/LFSCObject.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c LFSCUtilProof.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/LFSCUtilProof.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c LFSCBoolProof.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/LFSCBoolProof.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c LFSCConvert.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/LFSCConvert.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c LFSCLraProof.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/LFSCLraProof.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c LFSCPrinter.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/LFSCPrinter.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c LFSCProof.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/LFSCProof.o'
LFSCProof.cpp: In member function 'virtual int LFSCProof::checkOp()':
LFSCProof.cpp:91: warning: unused variable 'o'
LFSCProof.cpp: In static member function 'static LFSCProof* LFSCProof::Make_CNF(const CVC3::Expr&, const CVC3::Expr&, int)':
LFSCProof.cpp:193: warning: unused variable 'm2'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c TReturn.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/TReturn.o'
TReturn.cpp: In static member function 'static int TReturn::normalize_tr(const CVC3::Expr&, TReturn*&, int, bool, bool)':
TReturn.cpp:127: warning: unused variable 'torig'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c Util.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/Util.o'
ar ruvs '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libsearch.a'  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/clause.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/search_impl_base.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/search.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/search_fast.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/search_theorem_producer.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/search_sat.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/search_simple.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/variable.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/circuit.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/decision_engine.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/decision_engine_dfs.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/LFSCObject.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/LFSCUtilProof.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/LFSCBoolProof.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/LFSCConvert.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/LFSCLraProof.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/LFSCPrinter.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/LFSCProof.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/TReturn.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/Util.o 
ar: warning: creating /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libsearch.a
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/clause.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/search_impl_base.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/search.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/search_fast.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/search_theorem_producer.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/search_sat.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/search_simple.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/variable.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/circuit.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/decision_engine.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/decision_engine_dfs.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/LFSCObject.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/LFSCUtilProof.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/LFSCBoolProof.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/LFSCConvert.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/LFSCLraProof.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/LFSCPrinter.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/LFSCProof.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/TReturn.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/search/powerpc-freebsd11.0/Util.o
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/search'
cd parser && gmake 
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/parser'
bison -d -y -o parsePL.cpp -p PL --debug -v PL.y
conflicts: 3 shift/reduce
PL.y:1531.24-1536.25: warning: rule useless in parser due to conflicts: AndExpr: AndExpr "AND" Expr
PL.y:1549.25-1554.25: warning: rule useless in parser due to conflicts: OrExpr: OrExpr "OR" Expr
flex  -I -PPL -olexPL.cpp PL.lex
bison -d -y -o parseLisp.cpp -p Lisp --debug -v Lisp.y
flex  -I -PLisp -olexLisp.cpp Lisp.lex
bison -d -y -o parsesmtlib.cpp -p smtlib --debug -v smtlib.y
flex  -I -Psmtlib -olexsmtlib.cpp smtlib.lex
bison -d -y -o parsesmtlib2.cpp -p smtlib2 --debug -v smtlib2.y
conflicts: 4 shift/reduce
flex  -I -Psmtlib2 -olexsmtlib2.cpp smtlib2.lex
Making dependencies for parsePL.cpp lexPL.cpp parseLisp.cpp lexLisp.cpp parsesmtlib.cpp lexsmtlib.cpp parsesmtlib2.cpp lexsmtlib2.cpp parser.cpp
g++ -M -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -O0 -I/usr/local/include parsePL.cpp lexPL.cpp parseLisp.cpp lexLisp.cpp parsesmtlib.cpp lexsmtlib.cpp parsesmtlib2.cpp lexsmtlib2.cpp parser.cpp >> /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/parser/powerpc-freebsd11.0/Makefile.tmp
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/parser'
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/parser'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c parsePL.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/parser/powerpc-freebsd11.0/parsePL.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c lexPL.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/parser/powerpc-freebsd11.0/lexPL.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c parseLisp.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/parser/powerpc-freebsd11.0/parseLisp.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c lexLisp.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/parser/powerpc-freebsd11.0/lexLisp.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c parsesmtlib.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/parser/powerpc-freebsd11.0/parsesmtlib.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c lexsmtlib.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/parser/powerpc-freebsd11.0/lexsmtlib.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c parsesmtlib2.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/parser/powerpc-freebsd11.0/parsesmtlib2.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c lexsmtlib2.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/parser/powerpc-freebsd11.0/lexsmtlib2.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c parser.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/parser/powerpc-freebsd11.0/parser.o'
ar ruvs '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libparser.a'  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/parser/powerpc-freebsd11.0/parsePL.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/parser/powerpc-freebsd11.0/lexPL.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/parser/powerpc-freebsd11.0/parseLisp.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/parser/powerpc-freebsd11.0/lexLisp.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/parser/powerpc-freebsd11.0/parsesmtlib.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/parser/powerpc-freebsd11.0/lexsmtlib.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/parser/powerpc-freebsd11.0/parsesmtlib2.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/parser/powerpc-freebsd11.0/lexsmtlib2.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/parser/powerpc-freebsd11.0/parser.o 
ar: warning: creating /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libparser.a
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/parser/powerpc-freebsd11.0/parsePL.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/parser/powerpc-freebsd11.0/lexPL.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/parser/powerpc-freebsd11.0/parseLisp.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/parser/powerpc-freebsd11.0/lexLisp.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/parser/powerpc-freebsd11.0/parsesmtlib.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/parser/powerpc-freebsd11.0/lexsmtlib.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/parser/powerpc-freebsd11.0/parsesmtlib2.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/parser/powerpc-freebsd11.0/lexsmtlib2.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/parser/powerpc-freebsd11.0/parser.o
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/parser'
cd translator && gmake 
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/translator'
Making dependencies for translator.cpp
g++ -M -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include translator.cpp >> /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/translator/powerpc-freebsd11.0/Makefile.tmp
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/translator'
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/translator'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c translator.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/translator/powerpc-freebsd11.0/translator.o'
ar ruvs '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtranslator.a'  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/translator/powerpc-freebsd11.0/translator.o 
ar: warning: creating /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtranslator.a
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/translator/powerpc-freebsd11.0/translator.o
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/translator'
cd vcl && gmake 
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/vcl'
Making dependencies for vcl.cpp vc_cmd.cpp
g++ -M -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include vcl.cpp vc_cmd.cpp >> /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/vcl/powerpc-freebsd11.0/Makefile.tmp
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/vcl'
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/vcl'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c vcl.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/vcl/powerpc-freebsd11.0/vcl.o'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c vc_cmd.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/vcl/powerpc-freebsd11.0/vc_cmd.o'
vc_cmd.cpp: In member function 'bool CVC3::VCCmd::evaluateCommand(const CVC3::Expr&)':
vc_cmd.cpp:780: warning: unused variable 'b'
ar ruvs '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libvcl.a'  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/vcl/powerpc-freebsd11.0/vcl.o  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/vcl/powerpc-freebsd11.0/vc_cmd.o 
ar: warning: creating /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libvcl.a
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/vcl/powerpc-freebsd11.0/vcl.o
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/vcl/powerpc-freebsd11.0/vc_cmd.o
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/vcl'
cd c_interface && gmake 
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/c_interface'
Making dependencies for c_interface.cpp
g++ -M -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include c_interface.cpp >> /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/c_interface/powerpc-freebsd11.0/Makefile.tmp
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/c_interface'
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/c_interface'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c c_interface.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/c_interface/powerpc-freebsd11.0/c_interface.o'
ar ruvs '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libc_interface.a'  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/c_interface/powerpc-freebsd11.0/c_interface.o 
ar: warning: creating /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libc_interface.a
a - /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/c_interface/powerpc-freebsd11.0/c_interface.o
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/c_interface'
gmake /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/libcvc3.so.5.0.0
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src'
Building shared library /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libcvc3.so.5.0.0
rm -rf /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/unpack_tmp
/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/bin/unpack /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/unpack_tmp  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libcvc_util.a  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libcontext.a  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libexpr.a  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheorem.a  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libsat.a  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheory_core.a  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheory_arith.a  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheory_array.a  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheory_bitvector.a  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheory_datatype.a  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheory_quant.a  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheory_records.a  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheory_simulate.a  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtheory_uf.a  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libsearch.a  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libparser.a  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libtranslator.a  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libvcl.a  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libc_interface.a > UNPACKED
Found 90 members in 19 libraries
Unpacking cvc_util
Unpacking context
Unpacking expr
Unpacking theorem
Unpacking sat
Unpacking theory_core
Unpacking theory_arith
Unpacking theory_array
Unpacking theory_bitvector
Unpacking theory_datatype
Unpacking theory_quant
Unpacking theory_records
Unpacking theory_simulate
Unpacking theory_uf
Unpacking search
Unpacking parser
Unpacking translator
Unpacking vcl
Unpacking c_interface
cat UNPACKED | xargs g++ -shared -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -L/usr/local/lib \
    -Wl,-soname,libcvc3.so.5 -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libcvc3.so.5.0.0' `` -lgmp 
ln -sf libcvc3.so.5.0.0 /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libcvc3.so.5.0
ln -sf libcvc3.so.5.0.0 /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libcvc3.so.5
ln -sf libcvc3.so.5.0.0 /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libcvc3.so
ln -sf /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libcvc3.so.5.0.0 '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib//libcvc3.so.5.0.0'
ln -sf libcvc3.so.5.0.0 '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib//libcvc3.so.5.0'
ln -sf libcvc3.so.5.0.0 '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib//libcvc3.so.5'
ln -sf libcvc3.so.5.0.0 '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib//libcvc3.so'
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src'
cd cvc3 && gmake  VERSION=2.4.1
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/cvc3'
Making dependencies for main.cpp
g++ -M -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DVERSION=\"2.4.1\" -I/usr/local/include main.cpp >> /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/cvc3/powerpc-freebsd11.0/Makefile.tmp
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/cvc3'
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/cvc3'
gmake /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/bin/powerpc-freebsd11.0/cvc3
gmake[4]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/cvc3'
g++ -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DVERSION=\"2.4.1\" -I/usr/local/include -c main.cpp -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/cvc3/powerpc-freebsd11.0/main.o'
g++  -O2 -pipe -fno-strict-aliasing -fPIC -fPIC -O2 -Wall -I. -I/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include -DVERSION=\"2.4.1\" -L/usr/local/lib -o '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/bin/powerpc-freebsd11.0/cvc3'  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/obj/cvc3/powerpc-freebsd11.0/main.o \
 -L/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0 -lcvc3 -lgmp 
gmake[4]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/cvc3'
ln -sf /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/bin/powerpc-freebsd11.0/cvc3 /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/bin/cvc3
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/cvc3'
gmake[2]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src'
find /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src '(' -name "*.h" -o -name "*.cpp" -o       \
                           -name "*.y" ')'       \
                                ! -name "lexPL.cpp" ! -name "parsePL.cpp" \
			-print  > FILES
gmake[1]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1'
===>  Installing for cvc3-2.4.1
===>   cvc3-2.4.1 depends on file: /usr/local/bin/perl5.16.3 - found
===>   Generating temporary packing list
===>  Checking if math/cvc3 already installed
gmake[1]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1'
gmake TARGET=install
gmake[2]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1'
cd /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src; gmake install VERSION=2.4.1
gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src'
gmake build TARGET=
gmake[4]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src'
cd util && gmake 
gmake[5]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/util'
gmake[5]: Nothing to be done for `all'.
gmake[5]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/util'
cd context && gmake 
gmake[5]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/context'
gmake[5]: Nothing to be done for `all'.
gmake[5]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/context'
cd expr && gmake 
gmake[5]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/expr'
gmake[5]: Nothing to be done for `all'.
gmake[5]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/expr'
cd theorem && gmake 
gmake[5]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theorem'
gmake[5]: Nothing to be done for `all'.
gmake[5]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theorem'
cd sat && gmake 
gmake[5]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/sat'
gmake[5]: Nothing to be done for `all'.
gmake[5]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/sat'
cd theory_core && gmake 
gmake[5]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_core'
gmake[5]: Nothing to be done for `all'.
gmake[5]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_core'
cd theory_arith && gmake 
gmake[5]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_arith'
gmake[5]: Nothing to be done for `all'.
gmake[5]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_arith'
cd theory_array && gmake 
gmake[5]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_array'
gmake[5]: Nothing to be done for `all'.
gmake[5]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_array'
cd theory_bitvector && gmake 
gmake[5]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_bitvector'
gmake[5]: Nothing to be done for `all'.
gmake[5]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_bitvector'
cd theory_datatype && gmake 
gmake[5]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_datatype'
gmake[5]: Nothing to be done for `all'.
gmake[5]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_datatype'
cd theory_quant && gmake 
gmake[5]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_quant'
gmake[5]: Nothing to be done for `all'.
gmake[5]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_quant'
cd theory_records && gmake 
gmake[5]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_records'
gmake[5]: Nothing to be done for `all'.
gmake[5]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_records'
cd theory_simulate && gmake 
gmake[5]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_simulate'
gmake[5]: Nothing to be done for `all'.
gmake[5]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_simulate'
cd theory_uf && gmake 
gmake[5]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_uf'
gmake[5]: Nothing to be done for `all'.
gmake[5]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/theory_uf'
cd search && gmake 
gmake[5]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/search'
gmake[5]: Nothing to be done for `all'.
gmake[5]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/search'
cd parser && gmake 
gmake[5]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/parser'
gmake[5]: Nothing to be done for `all'.
gmake[5]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/parser'
cd translator && gmake 
gmake[5]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/translator'
gmake[5]: Nothing to be done for `all'.
gmake[5]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/translator'
cd vcl && gmake 
gmake[5]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/vcl'
gmake[5]: Nothing to be done for `all'.
gmake[5]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/vcl'
cd c_interface && gmake 
gmake[5]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/c_interface'
gmake[5]: Nothing to be done for `all'.
gmake[5]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/c_interface'
gmake /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/libcvc3.so.5.0.0
gmake[5]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src'
ln -sf /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/powerpc-freebsd11.0/libcvc3.so.5.0.0 '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib//libcvc3.so.5.0.0'
ln -sf libcvc3.so.5.0.0 '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib//libcvc3.so.5.0'
ln -sf libcvc3.so.5.0.0 '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib//libcvc3.so.5'
ln -sf libcvc3.so.5.0.0 '/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib//libcvc3.so'
gmake[5]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src'
cd cvc3 && gmake  VERSION=2.4.1
gmake[5]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/cvc3'
gmake /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/bin/powerpc-freebsd11.0/cvc3
gmake[6]: Entering directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/cvc3'
gmake[6]: `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/bin/powerpc-freebsd11.0/cvc3' is up to date.
gmake[6]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/cvc3'
ln -sf /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/bin/powerpc-freebsd11.0/cvc3 /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/bin/cvc3
gmake[5]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/cvc3'
gmake[4]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src'
mkdir -p /usr/local/include/cvc3
/usr/bin/install -c -o root -g wheel  -m 644  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/assumptions.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/c_interface.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/c_interface_defs.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/cdflags.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/cdlist.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/cdmap.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/cdmap_ordered.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/cdo.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/circuit.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/clause.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/cnf.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/cnf_manager.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/command_line_exception.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/command_line_flags.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/common_proof_rules.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/compat_hash_map.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/compat_hash_set.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/context.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/cvc_util.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/debug.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/dpllt.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/dpllt_basic.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/dpllt_minisat.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/eval_exception.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/exception.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/expr.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/expr_hash.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/expr_manager.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/expr_map.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/expr_op.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/expr_stream.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/expr_transform.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/expr_value.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/formula_value.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/fdstream.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/hash_fun.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/hash_table.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/hash_map.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/hash_set.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/kinds.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/lang.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/memory_manager.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/memory_manager_chunks.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/memory_manager_malloc.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/memory_manager_context.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/notifylist.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/os.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/parser.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/proof.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/rational.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/parser_exception.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/pretty_printer.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/queryresult.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/sat_api.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/search.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/search_impl_base.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/search_sat.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/search_simple.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/search_fast.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/smartcdo.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/smtlib_exception.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/sound_exception.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/statistics.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/theorem.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/theorem_manager.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/theorem_producer.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/theory_arith.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/theory_arith_new.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/theory_arith_old.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/theory_arith3.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/theory_array.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/theory_bitvector.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/theory_core.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/theory_datatype.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/theory_datatype_lazy.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/theory.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/theory_quant.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/theory_records.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/theory_simulate.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/theory_uf.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/translator.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/typecheck_exception.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/type.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/variable.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/vc_cmd.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/vc.h  /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src/include/vcl.h /usr/local/include/cvc3
mkdir -p /usr/local/lib
/usr/bin/install -c -o root -g wheel  -m 644 /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/lib/libcvc3.so.5.0.0 /usr/local/lib
ln -sf libcvc3.so.5.0.0 /usr/local/lib/libcvc3.so.5.0 
ln -sf libcvc3.so.5.0.0 /usr/local/lib/libcvc3.so.5
ln -sf libcvc3.so.5.0.0 /usr/local/lib/libcvc3.so
mkdir -p /usr/local/bin
/usr/bin/install -c -o root -g wheel  -m 755 /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/bin/cvc3 /usr/local/bin
mkdir -p /usr/local/libdata/pkgconfig
/usr/bin/install -c -o root -g wheel  -m 644 cvc3.pc /usr/local/libdata/pkgconfig
gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/src'
gmake[2]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1'
gmake[1]: Leaving directory `/obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1'
install  -s -o root -g wheel -m 555 `readlink /obj/buildshare/ports/355755/math/cvc3/work/cvc3-2.4.1/bin/cvc3` /usr/local/bin
===>   Running ldconfig
/sbin/ldconfig -m /usr/local/lib
===>   Registering installation for cvc3-2.4.1
Installing cvc3-2.4.1... done
Make package
===>  Building package for cvc3-2.4.1
Creating package for cvc3-2.4.1
slot1: removed