=> Building math/cvc3
build started at Sun Oct  9 06:22:17 PDT 2016
port directory: /usr/ports/math/cvc3
building for: DragonFly pkgbox64.dragonflybsd.org 4.7-DEVELOPMENT DragonFly v4.7.0.78.g7d868-DEVELOPMENT #7: Mon Aug  1 22:25:32 PDT 2016     root@pkgbox64.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC  x86_64
maintained by: lwhsu@FreeBSD.org
ident warning: no id keywords in /build/boomdata/data/.m/Release46-default/ref/../03//usr/ports/math/cvc3/Makefile
Makefile ident: 
Poudriere version: 3.1-pre
Host OSVERSION: 400700
Jail OSVERSION: 400600

---Begin Environment---
STATUS=1
SAVED_TERM=screen
MASTERMNT=/build/boomdata/data/.m/Release46-default/ref
PATH=/usr/local/libexec/poudriere:/sbin:/bin:/usr/sbin:/usr/bin:/usr/pkg/bin:/usr/pkg/sbin:/usr/games:/usr/local/sbin:/usr/local/bin:/usr/pkg/xorg/bin:/usr/X11R6/bin:/root/bin:/sbin:/usr/sbin
POUDRIERE_BUILD_TYPE=bulk
PKGNAME=cvc3-2.4.1
OLDPWD=/root/boom
PWD=/build/boomdata/data/.m/Release46-default/ref/.p/pool
MASTERNAME=Release46-default
TERM=cons25
USER=root
HOME=/root
POUDRIERE_VERSION=3.1-pre
LOCALBASE=/usr/local
PACKAGE_BUILDING=yes
---End Environment---

---Begin OPTIONS List---
---End OPTIONS List---

--CONFIGURE_ARGS--
--enable-dynamic  --with-arith=gmp  --with-build=optimized  --with-extra-includes=/usr/local/include  --with-extra-libs=/usr/local/lib --prefix=/usr/local ${_LATE_CONFIGURE_ARGS}
--End CONFIGURE_ARGS--

--CONFIGURE_ENV--
MAKE=gmake ac_cv_path_PERL=/usr/local/bin/perl ac_cv_path_PERL_PATH=/usr/local/bin/perl XDG_DATA_HOME=/wrkdirs/math/cvc3  XDG_CONFIG_HOME=/wrkdirs/math/cvc3  HOME=/wrkdirs/math/cvc3 TMPDIR="/tmp" SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc50 CONFIG_SITE=/usr/ports/Templates/config.site lt_cv_sys_max_cmd_len=262144
--End CONFIGURE_ENV--

--MAKE_ENV--
XDG_DATA_HOME=/wrkdirs/math/cvc3  XDG_CONFIG_HOME=/wrkdirs/math/cvc3  HOME=/wrkdirs/math/cvc3 TMPDIR="/tmp" NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc50 PREFIX=/usr/local  LOCALBASE=/usr/local  LIBDIR="/usr/lib"  NOPROFILE=1  CC="gcc" CFLAGS="-pipe -O2 -fno-strict-aliasing"  CPP="cpp" CPPFLAGS=""  LDFLAGS="" LIBS=""  CXX="g++" CXXFLAGS=" -pipe -O2 -fno-strict-aliasing -fPIC"  MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install  -s -m 555"  BSD_INSTALL_LIB="install  -s -m 444"  BSD_INSTALL_SCRIPT="install  -m 555"  BSD_INSTALL_DATA="install  -m 0644"  BSD_INSTALL_MAN="install  -m 444"
--End MAKE_ENV--

--PLIST_SUB--
OSREL=4.6
PREFIX=%D
LOCALBASE=/usr/local
RESETPREFIX=/usr/local
PORTDOCS=""
PORTEXAMPLES=""
LIB32DIR=lib
PERL_VERSION=5.20.3
PERL_VER=5.20
PERL5_MAN1=lib/perl5/site_perl/man/man1
PERL5_MAN3=lib/perl5/site_perl/man/man3
SITE_PERL=lib/perl5/site_perl
SITE_ARCH=lib/perl5/site_perl/mach/5.20
PROFILE="@comment
"
DOCSDIR="share/doc/cvc3"
EXAMPLESDIR="share/examples/cvc3"
DATADIR="share/cvc3"
WWWDIR="www/cvc3"
ETCDIR="etc/cvc3"
--End PLIST_SUB--

--SUB_LIST--
PREFIX=/usr/local
LOCALBASE=/usr/local
DATADIR=/usr/local/share/cvc3
DOCSDIR=/usr/local/share/doc/cvc3
EXAMPLESDIR=/usr/local/share/examples/cvc3
WWWDIR=/usr/local/www/cvc3
ETCDIR=/usr/local/etc/cvc3
--End SUB_LIST--

---Begin make.conf---
NO_BACKUP=yes
USE_PACKAGE_DEPENDS=yes
PKG_CREATE_VERBOSE=yes
BATCH=yes
WRKDIRPREFIX=/wrkdirs
PORT_DBDIR=/options
PORTSDIR=/usr/ports
PACKAGES=/packages
DISTDIR=/distfiles
MAKE_JOBS_NUMBER=5
---End make.conf---
=======================<phase: check-sanity   >============================
===========================================================================
=======================<phase: pkg-depends    >============================
===>   cvc3-2.4.1 depends on file: /usr/local/sbin/pkg - not found
===>   Installing existing package /packages/All/pkg-1.8.7_3.txz
Installing pkg-1.8.7_3...
Extracting pkg-1.8.7_3: .......... done
===>   cvc3-2.4.1 depends on file: /usr/local/sbin/pkg - found
===>   Returning to build of cvc3-2.4.1
===========================================================================
=======================<phase: fetch-depends  >============================
===========================================================================
=======================<phase: fetch          >============================
===> Fetching all distfiles required by cvc3-2.4.1 for building
===========================================================================
=======================<phase: checksum       >============================
===> Fetching all distfiles required by cvc3-2.4.1 for building
=> SHA256 Checksum OK for cvc3-2.4.1.tar.gz.
===========================================================================
=======================<phase: extract-depends>============================
===========================================================================
=======================<phase: extract        >============================
===> 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.
===========================================================================
=======================<phase: patch-depends  >============================
===========================================================================
=======================<phase: patch          >============================
===>  Patching for cvc3-2.4.1
===>  Applying ports patches for cvc3-2.4.1
/usr/bin/sed -i.bak -e 's,/bin/bash,/bin/sh,' /wrkdirs/math/cvc3/cvc3-2.4.1/Makefile.std
/usr/bin/sed -i.bak -e 's,.*$(LDCONFIG).*,,' /wrkdirs/math/cvc3/cvc3-2.4.1/src/Makefile
/usr/bin/sed -i.bak -e 's,$(libdir)/pkgconfig,/usr/local/libdata/pkgconfig,' /wrkdirs/math/cvc3/cvc3-2.4.1/src/Makefile
===========================================================================
=======================<phase: build-depends  >============================
===>   cvc3-2.4.1 depends on executable: bison - not found
===>   Installing existing package /packages/All/bison-2.7.1,1.txz
Installing bison-2.7.1,1...
`-- Installing indexinfo-0.2.5...
`-- Extracting indexinfo-0.2.5: .... done
`-- Installing gettext-runtime-0.19.8.1...
`-- Extracting gettext-runtime-0.19.8.1: .......... done
`-- Installing m4-1.4.17_1,1...
`-- Extracting m4-1.4.17_1,1: .......... done
Extracting bison-2.7.1,1: .......... done
===>   cvc3-2.4.1 depends on executable: bison - found
===>   Returning to build of cvc3-2.4.1
===>   cvc3-2.4.1 depends on executable: gmake - not found
===>   Installing existing package /packages/All/gmake-4.2.1_1.txz
Installing gmake-4.2.1_1...
Extracting gmake-4.2.1_1: .......... done
===>   cvc3-2.4.1 depends on executable: gmake - found
===>   Returning to build of cvc3-2.4.1
===>   cvc3-2.4.1 depends on package: perl5>=5.20<5.21 - not found
===>   Installing existing package /packages/All/perl5-5.20.3_15.txz
Installing perl5-5.20.3_15...
Extracting perl5-5.20.3_15: .......... done
Message from perl5-5.20.3_15:
The /usr/bin/perl symlink has been removed starting with Perl 5.20.
For shebangs, you should either use:

#!/usr/local/bin/perl

or

#!/usr/bin/env perl

The first one will only work if you have a /usr/local/bin/perl,
the second will work as long as perl is in PATH.
===>   cvc3-2.4.1 depends on package: perl5>=5.20<5.21 - found
===>   Returning to build of cvc3-2.4.1
===========================================================================
=======================<phase: lib-depends    >============================
===>   cvc3-2.4.1 depends on shared library: libgmp.so - not found
===>   Installing existing package /packages/All/gmp-5.1.3_3.txz
Installing gmp-5.1.3_3...
Extracting gmp-5.1.3_3: .......... done
===>   cvc3-2.4.1 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so)
===>   Returning to build of cvc3-2.4.1
===========================================================================
=======================<phase: configure      >============================
===>  Configuring for cvc3-2.4.1
configure: loading site script /usr/ports/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... x86_64-portbld-dragonfly4.6
checking host system type... x86_64-portbld-dragonfly4.6
checking for install... /usr/bin/install -c
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)... 5.3.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: x86_64-dragonfly4.6
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
===========================================================================
=======================<phase: build          >============================
===>  Building for cvc3-2.4.1
gmake[1]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1'
cd /wrkdirs/math/cvc3/cvc3-2.4.1/src; gmake  VERSION=2.4.1
gmake[2]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src'
cd util && gmake 
gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/util'
Making dependencies for debug.cpp statistics.cpp rational.cpp rational-native.cpp rational-gmp.cpp
g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DRATIONAL_GMP -I/usr/local/include debug.cpp statistics.cpp rational.cpp rational-native.cpp rational-gmp.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DRATIONAL_GMP -I/usr/local/include -c debug.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/debug.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DRATIONAL_GMP -I/usr/local/include -c rational-native.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/rational-native.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DRATIONAL_GMP -I/usr/local/include -c rational.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/rational.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DRATIONAL_GMP -I/usr/local/include -c statistics.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/statistics.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DRATIONAL_GMP -I/usr/local/include -c rational-gmp.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/rational-gmp.o'
ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libcvc_util.a'  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/debug.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/statistics.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/rational.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/rational-native.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/rational-gmp.o 
/usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libcvc_util.a
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/debug.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/statistics.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/rational.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/rational-native.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/rational-gmp.o
gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/util'
cd context && gmake 
gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/context'
Making dependencies for context.cpp cdflags.cpp
g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include context.cpp cdflags.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/context/x86_64-dragonfly4.6/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c context.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/context/x86_64-dragonfly4.6/context.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c cdflags.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/context/x86_64-dragonfly4.6/cdflags.o'
ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libcontext.a'  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/context/x86_64-dragonfly4.6/context.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/context/x86_64-dragonfly4.6/cdflags.o 
/usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libcontext.a
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/context/x86_64-dragonfly4.6/context.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/context/x86_64-dragonfly4.6/cdflags.o
gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/context'
cd expr && gmake 
gmake[3]: Entering directory '/wrkdirs/math/cvc3/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 -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include expr.cpp expr_manager.cpp expr_stream.cpp expr_value.cpp expr_op.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c expr.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c expr_manager.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr_manager.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c expr_stream.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr_stream.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c expr_value.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr_value.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c expr_op.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr_op.o'
ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libexpr.a'  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr_manager.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr_stream.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr_value.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr_op.o 
/usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libexpr.a
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr_manager.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr_stream.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr_value.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr_op.o
gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/expr'
cd theorem && gmake 
gmake[3]: Entering directory '/wrkdirs/math/cvc3/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 -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include assumptions.cpp theorem.cpp theorem_manager.cpp theorem_producer.cpp common_theorem_producer.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c assumptions.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/assumptions.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theorem.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/theorem.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theorem_manager.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/theorem_manager.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theorem_producer.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/theorem_producer.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c common_theorem_producer.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/common_theorem_producer.o'
In file included from common_theorem_producer.h:34:0,
                 from common_theorem_producer.cpp:27:
common_theorem_producer.cpp: In member function 'virtual CVC3::Theorem CVC3::CommonTheoremProducer::contradictionRule(const CVC3::Theorem&, const CVC3::Theorem&)':
common_theorem_producer.cpp:565:30: warning: logical not is only applied to the left hand side of comparison [-Wlogical-not-parentheses]
     CHECK_SOUND(!e.getExpr() == not_e.getExpr(),
                              ^
/wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theorem_producer.h:83:39: note: in definition of macro 'CHECK_SOUND'
 #define CHECK_SOUND(cond, msg) { if(!(cond)) \
                                       ^
ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheorem.a'  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/assumptions.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/theorem.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/theorem_manager.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/theorem_producer.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/common_theorem_producer.o 
/usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheorem.a
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/assumptions.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/theorem.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/theorem_manager.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/theorem_producer.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/common_theorem_producer.o
gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theorem'
cd sat && gmake 
gmake[3]: Entering directory '/wrkdirs/math/cvc3/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 -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/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 >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c xchaff_dbase.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/xchaff_dbase.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c xchaff.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/xchaff.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c xchaff_utils.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/xchaff_utils.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c xchaff_solver.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/xchaff_solver.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c cnf.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/cnf.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c cnf_manager.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/cnf_manager.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c cnf_theorem_producer.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/cnf_theorem_producer.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c dpllt_basic.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/dpllt_basic.o'
dpllt_basic.cpp: In member function 'void SAT::DPLLTBasic::handle_result(SatSolver::SATStatus)':
dpllt_basic.cpp:172:16: warning: variable 'result' set but not used [-Wunused-but-set-variable]
   const char * result = "UNKNOWN";
                ^
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c sat_api.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/sat_api.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c dpllt_minisat.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/dpllt_minisat.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c minisat_types.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/minisat_types.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c minisat_derivation.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/minisat_derivation.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c minisat_solver.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/minisat_solver.o'
ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libsat.a'  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/xchaff.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/xchaff_dbase.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/xchaff_solver.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/xchaff_utils.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/cnf.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/cnf_manager.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/cnf_theorem_producer.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/dpllt_basic.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/sat_api.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/dpllt_minisat.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/minisat_types.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/minisat_derivation.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/minisat_solver.o 
/usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libsat.a
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/xchaff.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/xchaff_dbase.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/xchaff_solver.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/xchaff_utils.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/cnf.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/cnf_manager.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/cnf_theorem_producer.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/dpllt_basic.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/sat_api.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/dpllt_minisat.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/minisat_types.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/minisat_derivation.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/minisat_solver.o
gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/sat'
cd theory_core && gmake 
gmake[3]: Entering directory '/wrkdirs/math/cvc3/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 -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include theory.cpp theory_core.cpp core_theorem_producer.cpp expr_transform.cpp bryant.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/theory.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_core.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/theory_core.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c core_theorem_producer.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/core_theorem_producer.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c expr_transform.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/expr_transform.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c bryant.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/bryant.o'
theory_core.cpp: In constructor 'CVC3::TheoryCore::TheoryCore(CVC3::ContextManager*, CVC3::ExprManager*, CVC3::TheoremManager*, CVC3::Translator*, const CVC3::CLFlags&, CVC3::Statistics&)':
theory_core.cpp:725:22: warning: converting 'false' to pointer type 'const bool*' [-Wconversion-null]
     d_coreSatAPI(NULL)
                      ^
bryant.cpp: In member function 'CVC3::Expr CVC3::ExprTransform::ConstrainedConstraints(std::set<CVC3::Expr>&, CVC3::ExprTransform::T_generator_map&, CVC3::ExprTransform::B_name_map&, CVC3::ExprTransform::B_Term_map&, std::set<CVC3::Expr>&, std::set<CVC3::Expr>&, std::set<CVC3::Expr>&)':
bryant.cpp:470:17: warning: logical not is only applied to the left hand side of comparison [-Wlogical-not-parentheses]
      if (!Value == Temp)
                 ^
ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_core.a'  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/theory.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/theory_core.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/core_theorem_producer.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/expr_transform.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/bryant.o 
/usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_core.a
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/theory.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/theory_core.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/core_theorem_producer.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/expr_transform.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/bryant.o
gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_core'
cd theory_arith && gmake 
gmake[3]: Entering directory '/wrkdirs/math/cvc3/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 -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/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 >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c arith_theorem_producer3.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/arith_theorem_producer3.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c arith_theorem_producer.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/arith_theorem_producer.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c arith_theorem_producer_old.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/arith_theorem_producer_old.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_arith.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/theory_arith.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_arith_old.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/theory_arith_old.o'
arith_theorem_producer_old.cpp: In member function 'virtual CVC3::Theorem CVC3::ArithTheoremProducerOld::canonMult(const CVC3::Expr&)':
arith_theorem_producer_old.cpp:797:50: warning: logical not is only applied to the left hand side of comparison [-Wlogical-not-parentheses]
    if (count_non_trivial > 0 && !count_constants == (e.arity() - 1)) {
                                                  ^
theory_arith_old.cpp: In member function 'bool CVC3::TheoryArithOld::findBounds(const CVC3::Expr&, CVC3::Rational&, CVC3::Rational&)':
theory_arith_old.cpp:2782:24: warning: variable 'strictUB' set but not used [-Wunused-but-set-variable]
   bool strictLB=false, strictUB=false;
                        ^
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_arith_new.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/theory_arith_new.o'
theory_arith_new.cpp: In member function 'bool CVC3::TheoryArithNew::findBounds(const CVC3::Expr&, CVC3::Rational&, CVC3::Rational&)':
theory_arith_new.cpp:1350:24: warning: variable 'strictUB' set but not used [-Wunused-but-set-variable]
   bool strictLB=false, strictUB=false;
                        ^
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_arith3.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/theory_arith3.o'
theory_arith3.cpp: In member function 'bool CVC3::TheoryArith3::findBounds(const CVC3::Expr&, CVC3::Rational&, CVC3::Rational&)':
theory_arith3.cpp:2199:24: warning: variable 'strictUB' set but not used [-Wunused-but-set-variable]
   bool strictLB=false, strictUB=false;
                        ^
ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_arith.a'  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/arith_theorem_producer_old.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/arith_theorem_producer.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/arith_theorem_producer3.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/theory_arith.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/theory_arith_old.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/theory_arith_new.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/theory_arith3.o 
/usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_arith.a
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/arith_theorem_producer_old.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/arith_theorem_producer.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/arith_theorem_producer3.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/theory_arith.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/theory_arith_old.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/theory_arith_new.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/theory_arith3.o
gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_arith'
cd theory_array && gmake 
gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_array'
Making dependencies for array_theorem_producer.cpp theory_array.cpp
g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include array_theorem_producer.cpp theory_array.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_array/x86_64-dragonfly4.6/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c array_theorem_producer.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_array/x86_64-dragonfly4.6/array_theorem_producer.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_array.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_array/x86_64-dragonfly4.6/theory_array.o'
ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_array.a'  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_array/x86_64-dragonfly4.6/array_theorem_producer.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_array/x86_64-dragonfly4.6/theory_array.o 
/usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_array.a
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_array/x86_64-dragonfly4.6/array_theorem_producer.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_array/x86_64-dragonfly4.6/theory_array.o
gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_array'
cd theory_bitvector && gmake 
gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_bitvector'
Making dependencies for bitvector_theorem_producer.cpp theory_bitvector.cpp
g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include bitvector_theorem_producer.cpp theory_bitvector.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_bitvector/x86_64-dragonfly4.6/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c bitvector_theorem_producer.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_bitvector/x86_64-dragonfly4.6/bitvector_theorem_producer.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_bitvector.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_bitvector/x86_64-dragonfly4.6/theory_bitvector.o'
theory_bitvector.cpp: In member function 'CVC3::Theorem CVC3::TheoryBitvector::rewriteBV(const CVC3::Expr&, CVC3::ExprMap<CVC3::Theorem>&, int)':
theory_bitvector.cpp:1063:11: warning: variable 'hi' set but not used [-Wunused-but-set-variable]
       int hi(-1), low(-1);
           ^
ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_bitvector.a'  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_bitvector/x86_64-dragonfly4.6/bitvector_theorem_producer.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_bitvector/x86_64-dragonfly4.6/theory_bitvector.o 
/usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_bitvector.a
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_bitvector/x86_64-dragonfly4.6/bitvector_theorem_producer.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_bitvector/x86_64-dragonfly4.6/theory_bitvector.o
gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_bitvector'
cd theory_datatype && gmake 
gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_datatype'
Making dependencies for datatype_theorem_producer.cpp theory_datatype.cpp theory_datatype_lazy.cpp
g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include datatype_theorem_producer.cpp theory_datatype.cpp theory_datatype_lazy.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly4.6/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c datatype_theorem_producer.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly4.6/datatype_theorem_producer.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_datatype.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly4.6/theory_datatype.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_datatype_lazy.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly4.6/theory_datatype_lazy.o'
ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_datatype.a'  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly4.6/datatype_theorem_producer.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly4.6/theory_datatype.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly4.6/theory_datatype_lazy.o 
/usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_datatype.a
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly4.6/datatype_theorem_producer.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly4.6/theory_datatype.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly4.6/theory_datatype_lazy.o
gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_datatype'
cd theory_quant && gmake 
gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_quant'
Making dependencies for theory_quant.cpp quant_theorem_producer.cpp
g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include theory_quant.cpp quant_theorem_producer.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_quant/x86_64-dragonfly4.6/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_quant.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_quant/x86_64-dragonfly4.6/theory_quant.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c quant_theorem_producer.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_quant/x86_64-dragonfly4.6/quant_theorem_producer.o'
ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_quant.a'  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_quant/x86_64-dragonfly4.6/theory_quant.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_quant/x86_64-dragonfly4.6/quant_theorem_producer.o 
/usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_quant.a
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_quant/x86_64-dragonfly4.6/theory_quant.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_quant/x86_64-dragonfly4.6/quant_theorem_producer.o
gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_quant'
cd theory_records && gmake 
gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_records'
Making dependencies for theory_records.cpp records_theorem_producer.cpp
g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include theory_records.cpp records_theorem_producer.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_records/x86_64-dragonfly4.6/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_records.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_records/x86_64-dragonfly4.6/theory_records.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c records_theorem_producer.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_records/x86_64-dragonfly4.6/records_theorem_producer.o'
ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_records.a'  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_records/x86_64-dragonfly4.6/theory_records.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_records/x86_64-dragonfly4.6/records_theorem_producer.o 
/usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_records.a
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_records/x86_64-dragonfly4.6/theory_records.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_records/x86_64-dragonfly4.6/records_theorem_producer.o
gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_records'
cd theory_simulate && gmake 
gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_simulate'
Making dependencies for theory_simulate.cpp simulate_theorem_producer.cpp
g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include theory_simulate.cpp simulate_theorem_producer.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_simulate/x86_64-dragonfly4.6/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_simulate.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_simulate/x86_64-dragonfly4.6/theory_simulate.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c simulate_theorem_producer.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_simulate/x86_64-dragonfly4.6/simulate_theorem_producer.o'
ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_simulate.a'  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_simulate/x86_64-dragonfly4.6/theory_simulate.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_simulate/x86_64-dragonfly4.6/simulate_theorem_producer.o 
/usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_simulate.a
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_simulate/x86_64-dragonfly4.6/theory_simulate.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_simulate/x86_64-dragonfly4.6/simulate_theorem_producer.o
gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_simulate'
cd theory_uf && gmake 
gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_uf'
Making dependencies for uf_theorem_producer.cpp theory_uf.cpp
g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include uf_theorem_producer.cpp theory_uf.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_uf/x86_64-dragonfly4.6/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c uf_theorem_producer.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_uf/x86_64-dragonfly4.6/uf_theorem_producer.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_uf.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_uf/x86_64-dragonfly4.6/theory_uf.o'
ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_uf.a'  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_uf/x86_64-dragonfly4.6/uf_theorem_producer.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_uf/x86_64-dragonfly4.6/theory_uf.o 
/usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_uf.a
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_uf/x86_64-dragonfly4.6/uf_theorem_producer.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_uf/x86_64-dragonfly4.6/theory_uf.o
gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_uf'
cd search && gmake 
gmake[3]: Entering directory '/wrkdirs/math/cvc3/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 -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/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 >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c clause.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/clause.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c search_fast.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_fast.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c search.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c search_impl_base.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_impl_base.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c search_theorem_producer.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_theorem_producer.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c search_sat.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_sat.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c search_simple.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_simple.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c variable.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/variable.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c circuit.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/circuit.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c decision_engine.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/decision_engine.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c decision_engine_dfs.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/decision_engine_dfs.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c LFSCObject.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCObject.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c LFSCUtilProof.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCUtilProof.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c LFSCBoolProof.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCBoolProof.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c LFSCConvert.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCConvert.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c LFSCLraProof.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCLraProof.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c LFSCPrinter.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCPrinter.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c LFSCProof.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCProof.o'
LFSCProof.cpp: In member function 'virtual int LFSCProof::checkOp()':
LFSCProof.cpp:91:11: warning: unused variable 'o' [-Wunused-variable]
       int o = getChild( a )->checkOp();
           ^
LFSCProof.cpp: In static member function 'static LFSCProof* LFSCProof::Make_CNF(const CVC3::Expr&, const CVC3::Expr&, int)':
LFSCProof.cpp:193:11: warning: unused variable 'm2' [-Wunused-variable]
       int m2 = queryM( ec[1] );
           ^
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c TReturn.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/TReturn.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c Util.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/Util.o'
TReturn.cpp: In static member function 'static int TReturn::normalize_tr(const CVC3::Expr&, TReturn*&, int, bool, bool)':
TReturn.cpp:127:12: warning: unused variable 'torig' [-Wunused-variable]
   TReturn* torig = t1;
            ^
ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libsearch.a'  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/clause.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_impl_base.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_fast.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_theorem_producer.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_sat.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_simple.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/variable.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/circuit.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/decision_engine.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/decision_engine_dfs.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCObject.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCUtilProof.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCBoolProof.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCConvert.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCLraProof.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCPrinter.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCProof.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/TReturn.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/Util.o 
/usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libsearch.a
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/clause.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_impl_base.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_fast.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_theorem_producer.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_sat.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_simple.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/variable.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/circuit.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/decision_engine.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/decision_engine_dfs.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCObject.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCUtilProof.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCBoolProof.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCConvert.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCLraProof.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCPrinter.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCProof.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/TReturn.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/Util.o
gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/search'
cd parser && gmake 
gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/parser'
bison -d -y -o parsePL.cpp -p PL --debug -v PL.y
bison -d -y -o parseLisp.cpp -p Lisp --debug -v Lisp.y
bison -d -y -o parsesmtlib.cpp -p smtlib --debug -v smtlib.y
bison -d -y -o parsesmtlib2.cpp -p smtlib2 --debug -v smtlib2.y
conflicts: 4 shift/reduce
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 -PLisp -olexLisp.cpp Lisp.lex
flex  -I -Psmtlib2 -olexsmtlib2.cpp smtlib2.lex
flex  -I -Psmtlib -olexsmtlib.cpp smtlib.lex
flex  -I -PPL -olexPL.cpp PL.lex
Making dependencies for parsePL.cpp lexPL.cpp parseLisp.cpp lexLisp.cpp parsesmtlib.cpp lexsmtlib.cpp parsesmtlib2.cpp lexsmtlib2.cpp parser.cpp
g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/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 >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c parsePL.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parsePL.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c lexLisp.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/lexLisp.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c parseLisp.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parseLisp.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c lexPL.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/lexPL.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c parsesmtlib.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parsesmtlib.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c lexsmtlib.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/lexsmtlib.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c parsesmtlib2.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parsesmtlib2.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c lexsmtlib2.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/lexsmtlib2.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c parser.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parser.o'
ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libparser.a'  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parsePL.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/lexPL.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parseLisp.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/lexLisp.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parsesmtlib.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/lexsmtlib.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parsesmtlib2.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/lexsmtlib2.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parser.o 
/usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libparser.a
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parsePL.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/lexPL.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parseLisp.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/lexLisp.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parsesmtlib.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/lexsmtlib.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parsesmtlib2.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/lexsmtlib2.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parser.o
gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/parser'
cd translator && gmake 
gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/translator'
Making dependencies for translator.cpp
g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include translator.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/translator/x86_64-dragonfly4.6/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c translator.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/translator/x86_64-dragonfly4.6/translator.o'
ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtranslator.a'  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/translator/x86_64-dragonfly4.6/translator.o 
/usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtranslator.a
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/translator/x86_64-dragonfly4.6/translator.o
gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/translator'
cd vcl && gmake 
gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/vcl'
Making dependencies for vcl.cpp vc_cmd.cpp
g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include vcl.cpp vc_cmd.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/vcl/x86_64-dragonfly4.6/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c vcl.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/vcl/x86_64-dragonfly4.6/vcl.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c vc_cmd.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/vcl/x86_64-dragonfly4.6/vc_cmd.o'
vc_cmd.cpp: In member function 'bool CVC3::VCCmd::evaluateCommand(const CVC3::Expr&)':
vc_cmd.cpp:780:10: warning: unused variable 'b' [-Wunused-variable]
     bool b = d_vc->inconsistent(assertions);
          ^
ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libvcl.a'  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/vcl/x86_64-dragonfly4.6/vcl.o  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/vcl/x86_64-dragonfly4.6/vc_cmd.o 
/usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libvcl.a
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/vcl/x86_64-dragonfly4.6/vcl.o
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/vcl/x86_64-dragonfly4.6/vc_cmd.o
gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/vcl'
cd c_interface && gmake 
gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/c_interface'
Making dependencies for c_interface.cpp
g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include c_interface.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/c_interface/x86_64-dragonfly4.6/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c c_interface.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/c_interface/x86_64-dragonfly4.6/c_interface.o'
c_interface.cpp: In function 'void* vc_bvWriteToMemoryArray(VC, Expr, Expr, Expr, int)':
c_interface.cpp:2043:9: warning: variable 'hi' set but not used [-Wunused-but-set-variable]
     int hi = newBitsPerElem - 1;
         ^
ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libc_interface.a'  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/c_interface/x86_64-dragonfly4.6/c_interface.o 
/usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libc_interface.a
a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/c_interface/x86_64-dragonfly4.6/c_interface.o
gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/c_interface'
gmake /wrkdirs/math/cvc3/cvc3-2.4.1/lib/libcvc3.so.5.0.0
gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src'
Building shared library /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libcvc3.so.5.0.0
rm -rf /wrkdirs/math/cvc3/cvc3-2.4.1/unpack_tmp
/wrkdirs/math/cvc3/cvc3-2.4.1/bin/unpack /wrkdirs/math/cvc3/cvc3-2.4.1/unpack_tmp  /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libcvc_util.a  /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libcontext.a  /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libexpr.a  /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheorem.a  /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libsat.a  /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_core.a  /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_arith.a  /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_array.a  /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_bitvector.a  /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_datatype.a  /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_quant.a  /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_records.a  /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_simulate.a  /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_uf.a  /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libsearch.a  /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libparser.a  /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtranslator.a  /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libvcl.a  /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/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 -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -L/usr/local/lib \
    -Wl,-soname,libcvc3.so.5 -o '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libcvc3.so.5.0.0' `` -lgmp 
ln -sf libcvc3.so.5.0.0 /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libcvc3.so.5.0
ln -sf libcvc3.so.5.0.0 /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libcvc3.so.5
ln -sf libcvc3.so.5.0.0 /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libcvc3.so
ln -sf /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libcvc3.so.5.0.0 '/wrkdirs/math/cvc3/cvc3-2.4.1/lib//libcvc3.so.5.0.0'
ln -sf libcvc3.so.5.0.0 '/wrkdirs/math/cvc3/cvc3-2.4.1/lib//libcvc3.so.5.0'
ln -sf libcvc3.so.5.0.0 '/wrkdirs/math/cvc3/cvc3-2.4.1/lib//libcvc3.so.5'
ln -sf libcvc3.so.5.0.0 '/wrkdirs/math/cvc3/cvc3-2.4.1/lib//libcvc3.so'
gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src'
cd cvc3 && gmake  VERSION=2.4.1
gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/cvc3'
Making dependencies for main.cpp
g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DVERSION=\"2.4.1\" -I/usr/local/include main.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/cvc3/x86_64-dragonfly4.6/Makefile.tmp
gmake /wrkdirs/math/cvc3/cvc3-2.4.1/bin/x86_64-dragonfly4.6/cvc3
gmake[4]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/cvc3'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DVERSION=\"2.4.1\" -I/usr/local/include -c main.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/cvc3/x86_64-dragonfly4.6/main.o'
g++  -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DVERSION=\"2.4.1\" -L/usr/local/lib -o '/wrkdirs/math/cvc3/cvc3-2.4.1/bin/x86_64-dragonfly4.6/cvc3'  /wrkdirs/math/cvc3/cvc3-2.4.1/obj/cvc3/x86_64-dragonfly4.6/main.o \
 -L/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6 -lcvc3 -lgmp 
gmake[4]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/cvc3'
ln -sf /wrkdirs/math/cvc3/cvc3-2.4.1/bin/x86_64-dragonfly4.6/cvc3 /wrkdirs/math/cvc3/cvc3-2.4.1/bin/cvc3
gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/cvc3'
gmake[2]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src'
find /wrkdirs/math/cvc3/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 '/wrkdirs/math/cvc3/cvc3-2.4.1'
===========================================================================
=======================<phase: run-depends    >============================
===>   cvc3-2.4.1 depends on package: perl5>=5.20<5.21 - found
===========================================================================
=======================<phase: stage          >============================
===>  Staging for cvc3-2.4.1
===>   Generating temporary packing list
gmake[1]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1'
gmake TARGET=install
gmake[2]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1'
cd /wrkdirs/math/cvc3/cvc3-2.4.1/src; gmake install VERSION=2.4.1
gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src'
gmake build TARGET=
gmake[4]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src'
cd util && gmake 
gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/util'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/util'
cd context && gmake 
gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/context'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/context'
cd expr && gmake 
gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/expr'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/expr'
cd theorem && gmake 
gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theorem'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theorem'
cd sat && gmake 
gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/sat'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/sat'
cd theory_core && gmake 
gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_core'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_core'
cd theory_arith && gmake 
gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_arith'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_arith'
cd theory_array && gmake 
gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_array'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_array'
cd theory_bitvector && gmake 
gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_bitvector'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_bitvector'
cd theory_datatype && gmake 
gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_datatype'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_datatype'
cd theory_quant && gmake 
gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_quant'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_quant'
cd theory_records && gmake 
gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_records'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_records'
cd theory_simulate && gmake 
gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_simulate'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_simulate'
cd theory_uf && gmake 
gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_uf'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_uf'
cd search && gmake 
gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/search'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/search'
cd parser && gmake 
gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/parser'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/parser'
cd translator && gmake 
gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/translator'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/translator'
cd vcl && gmake 
gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/vcl'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/vcl'
cd c_interface && gmake 
gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/c_interface'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/c_interface'
gmake /wrkdirs/math/cvc3/cvc3-2.4.1/lib/libcvc3.so.5.0.0
gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src'
ln -sf /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libcvc3.so.5.0.0 '/wrkdirs/math/cvc3/cvc3-2.4.1/lib//libcvc3.so.5.0.0'
ln -sf libcvc3.so.5.0.0 '/wrkdirs/math/cvc3/cvc3-2.4.1/lib//libcvc3.so.5.0'
ln -sf libcvc3.so.5.0.0 '/wrkdirs/math/cvc3/cvc3-2.4.1/lib//libcvc3.so.5'
ln -sf libcvc3.so.5.0.0 '/wrkdirs/math/cvc3/cvc3-2.4.1/lib//libcvc3.so'
gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src'
cd cvc3 && gmake  VERSION=2.4.1
gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/cvc3'
gmake /wrkdirs/math/cvc3/cvc3-2.4.1/bin/x86_64-dragonfly4.6/cvc3
gmake[6]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/cvc3'
gmake[6]: '/wrkdirs/math/cvc3/cvc3-2.4.1/bin/x86_64-dragonfly4.6/cvc3' is up to date.
gmake[6]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/cvc3'
ln -sf /wrkdirs/math/cvc3/cvc3-2.4.1/bin/x86_64-dragonfly4.6/cvc3 /wrkdirs/math/cvc3/cvc3-2.4.1/bin/cvc3
gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/cvc3'
gmake[4]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src'
mkdir -p /wrkdirs/math/cvc3/stage/usr/local/include/cvc3
/usr/bin/install -c  -m 644  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/assumptions.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/c_interface.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/c_interface_defs.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/cdflags.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/cdlist.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/cdmap.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/cdmap_ordered.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/cdo.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/circuit.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/clause.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/cnf.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/cnf_manager.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/command_line_exception.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/command_line_flags.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/common_proof_rules.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/compat_hash_map.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/compat_hash_set.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/context.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/cvc_util.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/debug.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/dpllt.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/dpllt_basic.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/dpllt_minisat.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/eval_exception.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/exception.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/expr.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/expr_hash.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/expr_manager.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/expr_map.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/expr_op.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/expr_stream.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/expr_transform.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/expr_value.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/formula_value.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/fdstream.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/hash_fun.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/hash_table.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/hash_map.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/hash_set.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/kinds.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/lang.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/memory_manager.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/memory_manager_chunks.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/memory_manager_malloc.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/memory_manager_context.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/notifylist.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/os.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/parser.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/proof.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/rational.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/parser_exception.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/pretty_printer.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/queryresult.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/sat_api.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/search.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/search_impl_base.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/search_sat.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/search_simple.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/search_fast.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/smartcdo.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/smtlib_exception.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/sound_exception.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/statistics.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theorem.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theorem_manager.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theorem_producer.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theory_arith.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theory_arith_new.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theory_arith_old.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theory_arith3.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theory_array.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theory_bitvector.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theory_core.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theory_datatype.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theory_datatype_lazy.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theory.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theory_quant.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theory_records.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theory_simulate.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theory_uf.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/translator.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/typecheck_exception.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/type.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/variable.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/vc_cmd.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/vc.h  /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/vcl.h /wrkdirs/math/cvc3/stage/usr/local/include/cvc3
mkdir -p /wrkdirs/math/cvc3/stage/usr/local/lib
/usr/bin/install -c  -m 644 /wrkdirs/math/cvc3/cvc3-2.4.1/lib/libcvc3.so.5.0.0 /wrkdirs/math/cvc3/stage/usr/local/lib
ln -sf libcvc3.so.5.0.0 /wrkdirs/math/cvc3/stage/usr/local/lib/libcvc3.so.5.0 
ln -sf libcvc3.so.5.0.0 /wrkdirs/math/cvc3/stage/usr/local/lib/libcvc3.so.5
ln -sf libcvc3.so.5.0.0 /wrkdirs/math/cvc3/stage/usr/local/lib/libcvc3.so
mkdir -p /wrkdirs/math/cvc3/stage/usr/local/bin
/usr/bin/install -c  -m 755 /wrkdirs/math/cvc3/cvc3-2.4.1/bin/cvc3 /wrkdirs/math/cvc3/stage/usr/local/bin
mkdir -p /wrkdirs/math/cvc3/stage/usr/local/libdata/pkgconfig
/usr/bin/install -c  -m 644 cvc3.pc /wrkdirs/math/cvc3/stage/usr/local/libdata/pkgconfig
gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src'
gmake[2]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1'
gmake[1]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1'
install  -s -m 555 `readlink /wrkdirs/math/cvc3/cvc3-2.4.1/bin/cvc3` /wrkdirs/math/cvc3/stage/usr/local/bin
/usr/bin/strip /wrkdirs/math/cvc3/stage/usr/local/lib/libcvc3.so.5.0.0
====> Compressing man pages (compress-man)
===========================================================================
=======================<phase: package        >============================
===>  Building package for cvc3-2.4.1
file sizes/checksums    [93]: . done
packing files           [93]: . done
packing directories      [0]: . done
===========================================================================
=> Cleaning up wrkdir
===>  Cleaning for cvc3-2.4.1
build of math/cvc3 ended at Sun Oct  9 06:31:24 PDT 2016
build time: 00:09:07