=> Building math/cvc3
Started : Friday, 8 JUN 2018 at 00:40:49 UTC
Platform: 5.3-DEVELOPMENT DragonFly v5.3.0.242.g757c0-DEVELOPMENT #30: Tue May  8 14:06:27 PDT 2018     root@pkgbox64.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC  x86_64


--------------------------------------------------
--  Environment
--------------------------------------------------
UNAME_r=5.2-SYNTH
UNAME_m=x86_64
UNAME_p=x86_64
UNAME_v=DragonFly 5.2-SYNTH
UNAME_s=DragonFly
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin
SSL_NO_VERIFY_PEER=1
TERM=dumb
PKG_CACHEDIR=/var/cache/pkg8
PKG_DBDIR=/var/db/pkg8
PORTSDIR=/xports
LANG=C
HOME=/root
USER=root



--------------------------------------------------
--  Options
--------------------------------------------------



--------------------------------------------------
--  CONFIGURE_ENV
--------------------------------------------------
MAKE=gmake
ac_cv_path_PERL=/usr/local/bin/perl
ac_cv_path_PERL_PATH=/usr/local/bin/perl
PERL_USE_UNSAFE_INC=1
XDG_DATA_HOME=/construction/math/cvc3
XDG_CONFIG_HOME=/construction/math/cvc3
HOME=/construction/math/cvc3
TMPDIR="/tmp"
PATH=/construction/math/cvc3/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin
SHELL=/bin/sh
CONFIG_SHELL=/bin/sh
CCVER=gcc50
CONFIG_SITE=/xports/Templates/config.site
lt_cv_sys_max_cmd_len=262144



--------------------------------------------------
--  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}



--------------------------------------------------
--  MAKE_ENV
--------------------------------------------------
PERL_USE_UNSAFE_INC=1
XDG_DATA_HOME=/construction/math/cvc3
XDG_CONFIG_HOME=/construction/math/cvc3
HOME=/construction/math/cvc3
TMPDIR="/tmp"
PATH=/construction/math/cvc3/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin
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
NOPROFILE=1
CC="gcc"
CFLAGS="-pipe -O2 -fno-strict-aliasing"
CPP="cpp"
CPPFLAGS=""
LDFLAGS=""
LIBS=""
CXX="g++"
CXXFLAGS=" -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98"
MANPREFIX="/usr/local"
BSD_INSTALL_PROGRAM="install  -s -m 555"
BSD_INSTALL_LIB="install  -s -m 0644"
BSD_INSTALL_SCRIPT="install  -m 555"
BSD_INSTALL_DATA="install  -m 0644"
BSD_INSTALL_MAN="install  -m 444"



--------------------------------------------------
--  MAKE_ARGS
--------------------------------------------------
DESTDIR=/construction/math/cvc3/stage



--------------------------------------------------
--  PLIST_SUB
--------------------------------------------------
PORTDOCS=""
PORTEXAMPLES=""
OSREL=5.2
PREFIX=%D
LOCALBASE=/usr/local
RESETPREFIX=/usr/local
LIB32DIR=lib
PERL_VERSION=5.26.2
PERL_VER=5.26
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.26
PROFILE="@comment "
DOCSDIR="share/doc/cvc3"
EXAMPLESDIR="share/examples/cvc3"
DATADIR="share/cvc3"
WWWDIR="www/cvc3"
ETCDIR="etc/cvc3"



--------------------------------------------------
--  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



--------------------------------------------------
--  /etc/make.conf
--------------------------------------------------
SYNTHPROFILE=Release-5.2
USE_PACKAGE_DEPENDS_ONLY=yes
PACKAGE_BUILDING=yes
BATCH=yes
PKG_CREATE_VERBOSE=yes
PORTSDIR=/xports
DISTDIR=/distfiles
WRKDIRPREFIX=/construction
PORT_DBDIR=/options
PACKAGES=/packages
MAKE_JOBS_NUMBER_LIMIT=5
LICENSES_ACCEPTED=	NONE
HAVE_COMPAT_IA32_KERN=
CONFIGURE_MAX_CMD_LEN=262144
_PERL5_FROM_BIN=5.26.1
_ALTCCVERSION_921dbbb2=none
_OBJC_ALTCCVERSION_921dbbb2=none
_SMP_CPUS=8
UID=0
ARCH=x86_64
OPSYS=DragonFly
DFLYVERSION=500200
OSVERSION=9999999
OSREL=5.2
_OSRELEASE=5.2-SYNTH
PYTHONBASE=/usr/local
_PKG_CHECKED=1



--------------------------------------------------------------------------------
--  Phase: check-sanity
--------------------------------------------------------------------------------



--------------------------------------------------------------------------------
--  Phase: pkg-depends
--------------------------------------------------------------------------------
===>   cvc3-2.4.1_4 depends on file: /usr/local/sbin/pkg - not found
===>   Installing existing package /packages/All/pkg-1.10.5_1.txz
Installing pkg-1.10.5_1...
Extracting pkg-1.10.5_1: .......... done
===>   cvc3-2.4.1_4 depends on file: /usr/local/sbin/pkg - found
===>   Returning to build of cvc3-2.4.1_4



--------------------------------------------------------------------------------
--  Phase: fetch-depends
--------------------------------------------------------------------------------



--------------------------------------------------------------------------------
--  Phase: fetch
--------------------------------------------------------------------------------
===> Fetching all distfiles required by cvc3-2.4.1_4 for building



--------------------------------------------------------------------------------
--  Phase: checksum
--------------------------------------------------------------------------------
===> Fetching all distfiles required by cvc3-2.4.1_4 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_4 for building
===>  Extracting for cvc3-2.4.1_4
=> SHA256 Checksum OK for cvc3-2.4.1.tar.gz.



--------------------------------------------------------------------------------
--  Phase: patch-depends
--------------------------------------------------------------------------------



--------------------------------------------------------------------------------
--  Phase: patch
--------------------------------------------------------------------------------
===>  Patching for cvc3-2.4.1_4
===>  Applying ports patches for cvc3-2.4.1_4
/usr/bin/sed -i.bak -e 's,/bin/bash,/bin/sh,' /construction/math/cvc3/cvc3-2.4.1/Makefile.std
/usr/bin/sed -i.bak -e 's,.*$(LDCONFIG).*,,' /construction/math/cvc3/cvc3-2.4.1/src/Makefile



--------------------------------------------------------------------------------
--  Phase: build-depends
--------------------------------------------------------------------------------
===>   cvc3-2.4.1_4 depends on executable: bison - not found
===>   Installing existing package /packages/All/bison-3.0.4,1.txz
Installing bison-3.0.4,1...
`-- Installing gettext-runtime-0.19.8.1_1...
|   `-- Installing indexinfo-0.3.1...
|   `-- Extracting indexinfo-0.3.1: .... done
`-- Extracting gettext-runtime-0.19.8.1_1: .......... done
`-- Installing m4-1.4.18,1...
`-- Extracting m4-1.4.18,1: .......... done
Extracting bison-3.0.4,1: .......... done
===>   cvc3-2.4.1_4 depends on executable: bison - found
===>   Returning to build of cvc3-2.4.1_4
===>   cvc3-2.4.1_4 depends on executable: gmake - not found
===>   Installing existing package /packages/All/gmake-4.2.1_2.txz
Installing gmake-4.2.1_2...
Extracting gmake-4.2.1_2: .......... done
===>   cvc3-2.4.1_4 depends on executable: gmake - found
===>   Returning to build of cvc3-2.4.1_4
===>   cvc3-2.4.1_4 depends on package: perl5>=5.26<5.27 - not found
===>   Installing existing package /packages/All/perl5-5.26.2.txz
Installing perl5-5.26.2...
Extracting perl5-5.26.2: .......... done
Message from perl5-5.26.2:

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_4 depends on package: perl5>=5.26<5.27 - found
===>   Returning to build of cvc3-2.4.1_4



--------------------------------------------------------------------------------
--  Phase: lib-depends
--------------------------------------------------------------------------------
===>   cvc3-2.4.1_4 depends on shared library: libgmp.so - not found
===>   Installing existing package /packages/All/gmp-6.1.2.txz
Installing gmp-6.1.2...
Extracting gmp-6.1.2: .......... done
===>   cvc3-2.4.1_4 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so)
===>   Returning to build of cvc3-2.4.1_4



--------------------------------------------------------------------------------
--  Phase: configure
--------------------------------------------------------------------------------
===>  Configuring for cvc3-2.4.1_4
configure: loading site script /xports/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-dragonfly5.2
checking host system type... x86_64-portbld-dragonfly5.2
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.4.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-dragonfly5.2
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_4
gmake[1]: Entering directory '/construction/math/cvc3/cvc3-2.4.1'
cd /construction/math/cvc3/cvc3-2.4.1/src; gmake  VERSION=2.4.1
gmake[2]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src'
cd util && gmake 
gmake[3]: Entering directory '/construction/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 -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/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 >> /construction/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly5.2/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DRATIONAL_GMP -I/usr/local/include -c statistics.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly5.2/statistics.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DRATIONAL_GMP -I/usr/local/include -c rational.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly5.2/rational.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DRATIONAL_GMP -I/usr/local/include -c rational-native.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly5.2/rational-native.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DRATIONAL_GMP -I/usr/local/include -c rational-gmp.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly5.2/rational-gmp.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DRATIONAL_GMP -I/usr/local/include -c debug.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly5.2/debug.o'
ar ruvs '/construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libcvc_util.a'  /construction/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly5.2/debug.o  /construction/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly5.2/statistics.o  /construction/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly5.2/rational.o  /construction/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly5.2/rational-native.o  /construction/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly5.2/rational-gmp.o 
/usr/libexec/binutils227/elf/ar: `u' modifier ignored since `D' is the default (see `U')
/usr/libexec/binutils227/elf/ar: creating /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libcvc_util.a
a - /construction/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly5.2/debug.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly5.2/statistics.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly5.2/rational.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly5.2/rational-native.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly5.2/rational-gmp.o
gmake[3]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/util'
cd context && gmake 
gmake[3]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src/context'
Making dependencies for context.cpp cdflags.cpp
g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include context.cpp cdflags.cpp >> /construction/math/cvc3/cvc3-2.4.1/obj/context/x86_64-dragonfly5.2/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c cdflags.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/context/x86_64-dragonfly5.2/cdflags.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c context.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/context/x86_64-dragonfly5.2/context.o'
ar ruvs '/construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libcontext.a'  /construction/math/cvc3/cvc3-2.4.1/obj/context/x86_64-dragonfly5.2/context.o  /construction/math/cvc3/cvc3-2.4.1/obj/context/x86_64-dragonfly5.2/cdflags.o 
/usr/libexec/binutils227/elf/ar: `u' modifier ignored since `D' is the default (see `U')
/usr/libexec/binutils227/elf/ar: creating /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libcontext.a
a - /construction/math/cvc3/cvc3-2.4.1/obj/context/x86_64-dragonfly5.2/context.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/context/x86_64-dragonfly5.2/cdflags.o
gmake[3]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/context'
cd expr && gmake 
gmake[3]: Entering directory '/construction/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 -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/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 >> /construction/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly5.2/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c expr.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly5.2/expr.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c expr_manager.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly5.2/expr_manager.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c expr_stream.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly5.2/expr_stream.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c expr_value.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly5.2/expr_value.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c expr_op.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly5.2/expr_op.o'
ar ruvs '/construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libexpr.a'  /construction/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly5.2/expr.o  /construction/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly5.2/expr_manager.o  /construction/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly5.2/expr_stream.o  /construction/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly5.2/expr_value.o  /construction/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly5.2/expr_op.o 
/usr/libexec/binutils227/elf/ar: `u' modifier ignored since `D' is the default (see `U')
/usr/libexec/binutils227/elf/ar: creating /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libexpr.a
a - /construction/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly5.2/expr.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly5.2/expr_manager.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly5.2/expr_stream.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly5.2/expr_value.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly5.2/expr_op.o
gmake[3]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/expr'
cd theorem && gmake 
gmake[3]: Entering directory '/construction/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 -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/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 >> /construction/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly5.2/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c assumptions.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly5.2/assumptions.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theorem_manager.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly5.2/theorem_manager.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theorem_producer.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly5.2/theorem_producer.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theorem.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly5.2/theorem.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c common_theorem_producer.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly5.2/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(),
                              ^
/construction/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 '/construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheorem.a'  /construction/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly5.2/assumptions.o  /construction/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly5.2/theorem.o  /construction/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly5.2/theorem_manager.o  /construction/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly5.2/theorem_producer.o  /construction/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly5.2/common_theorem_producer.o 
/usr/libexec/binutils227/elf/ar: `u' modifier ignored since `D' is the default (see `U')
/usr/libexec/binutils227/elf/ar: creating /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheorem.a
a - /construction/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly5.2/assumptions.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly5.2/theorem.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly5.2/theorem_manager.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly5.2/theorem_producer.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly5.2/common_theorem_producer.o
gmake[3]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/theorem'
cd sat && gmake 
gmake[3]: Entering directory '/construction/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 -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/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 >> /construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c xchaff_dbase.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/xchaff_dbase.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c xchaff.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/xchaff.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c xchaff_utils.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/xchaff_utils.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c xchaff_solver.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/xchaff_solver.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c cnf.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/cnf.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c cnf_manager.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/cnf_manager.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c cnf_theorem_producer.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/cnf_theorem_producer.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c dpllt_basic.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/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 -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c sat_api.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/sat_api.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c dpllt_minisat.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/dpllt_minisat.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c minisat_types.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/minisat_types.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c minisat_derivation.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/minisat_derivation.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c minisat_solver.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/minisat_solver.o'
ar ruvs '/construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libsat.a'  /construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/xchaff.o  /construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/xchaff_dbase.o  /construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/xchaff_solver.o  /construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/xchaff_utils.o  /construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/cnf.o  /construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/cnf_manager.o  /construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/cnf_theorem_producer.o  /construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/dpllt_basic.o  /construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/sat_api.o  /construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/dpllt_minisat.o  /construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/minisat_types.o  /construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/minisat_derivation.o  /construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/minisat_solver.o 
/usr/libexec/binutils227/elf/ar: `u' modifier ignored since `D' is the default (see `U')
/usr/libexec/binutils227/elf/ar: creating /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libsat.a
a - /construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/xchaff.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/xchaff_dbase.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/xchaff_solver.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/xchaff_utils.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/cnf.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/cnf_manager.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/cnf_theorem_producer.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/dpllt_basic.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/sat_api.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/dpllt_minisat.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/minisat_types.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/minisat_derivation.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly5.2/minisat_solver.o
gmake[3]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/sat'
cd theory_core && gmake 
gmake[3]: Entering directory '/construction/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 -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/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 >> /construction/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly5.2/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly5.2/theory.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_core.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly5.2/theory_core.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c core_theorem_producer.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly5.2/core_theorem_producer.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c expr_transform.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly5.2/expr_transform.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c bryant.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly5.2/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 '/construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheory_core.a'  /construction/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly5.2/theory.o  /construction/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly5.2/theory_core.o  /construction/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly5.2/core_theorem_producer.o  /construction/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly5.2/expr_transform.o  /construction/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly5.2/bryant.o 
/usr/libexec/binutils227/elf/ar: `u' modifier ignored since `D' is the default (see `U')
/usr/libexec/binutils227/elf/ar: creating /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheory_core.a
a - /construction/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly5.2/theory.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly5.2/theory_core.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly5.2/core_theorem_producer.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly5.2/expr_transform.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly5.2/bryant.o
gmake[3]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/theory_core'
cd theory_arith && gmake 
gmake[3]: Entering directory '/construction/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 -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/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 >> /construction/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly5.2/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c arith_theorem_producer3.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly5.2/arith_theorem_producer3.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c arith_theorem_producer.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly5.2/arith_theorem_producer.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c arith_theorem_producer_old.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly5.2/arith_theorem_producer_old.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_arith.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly5.2/theory_arith.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_arith_old.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly5.2/theory_arith_old.o'
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;
                        ^
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)) {
                                                  ^
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_arith_new.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly5.2/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 -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_arith3.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly5.2/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 '/construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheory_arith.a'  /construction/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly5.2/arith_theorem_producer_old.o  /construction/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly5.2/arith_theorem_producer.o  /construction/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly5.2/arith_theorem_producer3.o  /construction/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly5.2/theory_arith.o  /construction/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly5.2/theory_arith_old.o  /construction/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly5.2/theory_arith_new.o  /construction/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly5.2/theory_arith3.o 
/usr/libexec/binutils227/elf/ar: `u' modifier ignored since `D' is the default (see `U')
/usr/libexec/binutils227/elf/ar: creating /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheory_arith.a
a - /construction/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly5.2/arith_theorem_producer_old.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly5.2/arith_theorem_producer.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly5.2/arith_theorem_producer3.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly5.2/theory_arith.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly5.2/theory_arith_old.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly5.2/theory_arith_new.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly5.2/theory_arith3.o
gmake[3]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/theory_arith'
cd theory_array && gmake 
gmake[3]: Entering directory '/construction/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 -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include array_theorem_producer.cpp theory_array.cpp >> /construction/math/cvc3/cvc3-2.4.1/obj/theory_array/x86_64-dragonfly5.2/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c array_theorem_producer.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theory_array/x86_64-dragonfly5.2/array_theorem_producer.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_array.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theory_array/x86_64-dragonfly5.2/theory_array.o'
ar ruvs '/construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheory_array.a'  /construction/math/cvc3/cvc3-2.4.1/obj/theory_array/x86_64-dragonfly5.2/array_theorem_producer.o  /construction/math/cvc3/cvc3-2.4.1/obj/theory_array/x86_64-dragonfly5.2/theory_array.o 
/usr/libexec/binutils227/elf/ar: `u' modifier ignored since `D' is the default (see `U')
/usr/libexec/binutils227/elf/ar: creating /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheory_array.a
a - /construction/math/cvc3/cvc3-2.4.1/obj/theory_array/x86_64-dragonfly5.2/array_theorem_producer.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/theory_array/x86_64-dragonfly5.2/theory_array.o
gmake[3]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/theory_array'
cd theory_bitvector && gmake 
gmake[3]: Entering directory '/construction/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 -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include bitvector_theorem_producer.cpp theory_bitvector.cpp >> /construction/math/cvc3/cvc3-2.4.1/obj/theory_bitvector/x86_64-dragonfly5.2/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c bitvector_theorem_producer.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theory_bitvector/x86_64-dragonfly5.2/bitvector_theorem_producer.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_bitvector.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theory_bitvector/x86_64-dragonfly5.2/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 '/construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheory_bitvector.a'  /construction/math/cvc3/cvc3-2.4.1/obj/theory_bitvector/x86_64-dragonfly5.2/bitvector_theorem_producer.o  /construction/math/cvc3/cvc3-2.4.1/obj/theory_bitvector/x86_64-dragonfly5.2/theory_bitvector.o 
/usr/libexec/binutils227/elf/ar: `u' modifier ignored since `D' is the default (see `U')
/usr/libexec/binutils227/elf/ar: creating /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheory_bitvector.a
a - /construction/math/cvc3/cvc3-2.4.1/obj/theory_bitvector/x86_64-dragonfly5.2/bitvector_theorem_producer.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/theory_bitvector/x86_64-dragonfly5.2/theory_bitvector.o
gmake[3]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/theory_bitvector'
cd theory_datatype && gmake 
gmake[3]: Entering directory '/construction/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 -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include datatype_theorem_producer.cpp theory_datatype.cpp theory_datatype_lazy.cpp >> /construction/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly5.2/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c datatype_theorem_producer.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly5.2/datatype_theorem_producer.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_datatype.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly5.2/theory_datatype.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_datatype_lazy.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly5.2/theory_datatype_lazy.o'
ar ruvs '/construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheory_datatype.a'  /construction/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly5.2/datatype_theorem_producer.o  /construction/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly5.2/theory_datatype.o  /construction/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly5.2/theory_datatype_lazy.o 
/usr/libexec/binutils227/elf/ar: `u' modifier ignored since `D' is the default (see `U')
/usr/libexec/binutils227/elf/ar: creating /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheory_datatype.a
a - /construction/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly5.2/datatype_theorem_producer.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly5.2/theory_datatype.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly5.2/theory_datatype_lazy.o
gmake[3]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/theory_datatype'
cd theory_quant && gmake 
gmake[3]: Entering directory '/construction/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 -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include theory_quant.cpp quant_theorem_producer.cpp >> /construction/math/cvc3/cvc3-2.4.1/obj/theory_quant/x86_64-dragonfly5.2/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_quant.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theory_quant/x86_64-dragonfly5.2/theory_quant.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c quant_theorem_producer.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theory_quant/x86_64-dragonfly5.2/quant_theorem_producer.o'
ar ruvs '/construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheory_quant.a'  /construction/math/cvc3/cvc3-2.4.1/obj/theory_quant/x86_64-dragonfly5.2/theory_quant.o  /construction/math/cvc3/cvc3-2.4.1/obj/theory_quant/x86_64-dragonfly5.2/quant_theorem_producer.o 
/usr/libexec/binutils227/elf/ar: `u' modifier ignored since `D' is the default (see `U')
/usr/libexec/binutils227/elf/ar: creating /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheory_quant.a
a - /construction/math/cvc3/cvc3-2.4.1/obj/theory_quant/x86_64-dragonfly5.2/theory_quant.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/theory_quant/x86_64-dragonfly5.2/quant_theorem_producer.o
gmake[3]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/theory_quant'
cd theory_records && gmake 
gmake[3]: Entering directory '/construction/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 -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include theory_records.cpp records_theorem_producer.cpp >> /construction/math/cvc3/cvc3-2.4.1/obj/theory_records/x86_64-dragonfly5.2/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_records.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theory_records/x86_64-dragonfly5.2/theory_records.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c records_theorem_producer.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theory_records/x86_64-dragonfly5.2/records_theorem_producer.o'
ar ruvs '/construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheory_records.a'  /construction/math/cvc3/cvc3-2.4.1/obj/theory_records/x86_64-dragonfly5.2/theory_records.o  /construction/math/cvc3/cvc3-2.4.1/obj/theory_records/x86_64-dragonfly5.2/records_theorem_producer.o 
/usr/libexec/binutils227/elf/ar: `u' modifier ignored since `D' is the default (see `U')
/usr/libexec/binutils227/elf/ar: creating /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheory_records.a
a - /construction/math/cvc3/cvc3-2.4.1/obj/theory_records/x86_64-dragonfly5.2/theory_records.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/theory_records/x86_64-dragonfly5.2/records_theorem_producer.o
gmake[3]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/theory_records'
cd theory_simulate && gmake 
gmake[3]: Entering directory '/construction/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 -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include theory_simulate.cpp simulate_theorem_producer.cpp >> /construction/math/cvc3/cvc3-2.4.1/obj/theory_simulate/x86_64-dragonfly5.2/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_simulate.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theory_simulate/x86_64-dragonfly5.2/theory_simulate.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c simulate_theorem_producer.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theory_simulate/x86_64-dragonfly5.2/simulate_theorem_producer.o'
ar ruvs '/construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheory_simulate.a'  /construction/math/cvc3/cvc3-2.4.1/obj/theory_simulate/x86_64-dragonfly5.2/theory_simulate.o  /construction/math/cvc3/cvc3-2.4.1/obj/theory_simulate/x86_64-dragonfly5.2/simulate_theorem_producer.o 
/usr/libexec/binutils227/elf/ar: `u' modifier ignored since `D' is the default (see `U')
/usr/libexec/binutils227/elf/ar: creating /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheory_simulate.a
a - /construction/math/cvc3/cvc3-2.4.1/obj/theory_simulate/x86_64-dragonfly5.2/theory_simulate.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/theory_simulate/x86_64-dragonfly5.2/simulate_theorem_producer.o
gmake[3]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/theory_simulate'
cd theory_uf && gmake 
gmake[3]: Entering directory '/construction/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 -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include uf_theorem_producer.cpp theory_uf.cpp >> /construction/math/cvc3/cvc3-2.4.1/obj/theory_uf/x86_64-dragonfly5.2/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_uf.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theory_uf/x86_64-dragonfly5.2/theory_uf.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c uf_theorem_producer.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/theory_uf/x86_64-dragonfly5.2/uf_theorem_producer.o'
ar ruvs '/construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheory_uf.a'  /construction/math/cvc3/cvc3-2.4.1/obj/theory_uf/x86_64-dragonfly5.2/uf_theorem_producer.o  /construction/math/cvc3/cvc3-2.4.1/obj/theory_uf/x86_64-dragonfly5.2/theory_uf.o 
/usr/libexec/binutils227/elf/ar: `u' modifier ignored since `D' is the default (see `U')
/usr/libexec/binutils227/elf/ar: creating /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheory_uf.a
a - /construction/math/cvc3/cvc3-2.4.1/obj/theory_uf/x86_64-dragonfly5.2/uf_theorem_producer.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/theory_uf/x86_64-dragonfly5.2/theory_uf.o
gmake[3]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/theory_uf'
cd search && gmake 
gmake[3]: Entering directory '/construction/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 -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/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 >> /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c clause.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/clause.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c search_fast.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/search_fast.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c search.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/search.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c search_impl_base.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/search_impl_base.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c search_theorem_producer.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/search_theorem_producer.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c search_sat.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/search_sat.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c search_simple.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/search_simple.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c variable.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/variable.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c circuit.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/circuit.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c decision_engine.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/decision_engine.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c decision_engine_dfs.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/decision_engine_dfs.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c LFSCObject.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/LFSCObject.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c LFSCUtilProof.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/LFSCUtilProof.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c LFSCBoolProof.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/LFSCBoolProof.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c LFSCConvert.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/LFSCConvert.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c LFSCLraProof.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/LFSCLraProof.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c LFSCPrinter.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/LFSCPrinter.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c LFSCProof.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/LFSCProof.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c TReturn.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/TReturn.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] );
           ^
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;
            ^
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c Util.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/Util.o'
ar ruvs '/construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libsearch.a'  /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/clause.o  /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/search_impl_base.o  /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/search.o  /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/search_fast.o  /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/search_theorem_producer.o  /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/search_sat.o  /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/search_simple.o  /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/variable.o  /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/circuit.o  /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/decision_engine.o  /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/decision_engine_dfs.o  /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/LFSCObject.o  /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/LFSCUtilProof.o  /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/LFSCBoolProof.o  /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/LFSCConvert.o  /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/LFSCLraProof.o  /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/LFSCPrinter.o  /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/LFSCProof.o  /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/TReturn.o  /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/Util.o 
/usr/libexec/binutils227/elf/ar: `u' modifier ignored since `D' is the default (see `U')
/usr/libexec/binutils227/elf/ar: creating /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libsearch.a
a - /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/clause.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/search_impl_base.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/search.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/search_fast.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/search_theorem_producer.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/search_sat.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/search_simple.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/variable.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/circuit.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/decision_engine.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/decision_engine_dfs.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/LFSCObject.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/LFSCUtilProof.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/LFSCBoolProof.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/LFSCConvert.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/LFSCLraProof.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/LFSCPrinter.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/LFSCProof.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/TReturn.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly5.2/Util.o
gmake[3]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/search'
cd parser && gmake 
gmake[3]: Entering directory '/construction/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
smtlib2.y: warning: 4 shift/reduce conflicts [-Wconflicts-sr]
PL.y: warning: 3 shift/reduce conflicts [-Wconflicts-sr]
PL.y:1531.24-1536.25: warning: rule useless in parser due to conflicts [-Wother]
 AndExpr		:      AndExpr AND_TOK Expr
                        ^^^^^^^^^^^^^
PL.y:1549.25-1554.25: warning: rule useless in parser due to conflicts [-Wother]
 OrExpr		:       OrExpr OR_TOK 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 -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/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 >> /construction/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly5.2/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c parsePL.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly5.2/parsePL.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c lexPL.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly5.2/lexPL.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c lexLisp.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly5.2/lexLisp.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c parseLisp.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly5.2/parseLisp.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c parsesmtlib.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly5.2/parsesmtlib.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c lexsmtlib.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly5.2/lexsmtlib.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c parsesmtlib2.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly5.2/parsesmtlib2.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c lexsmtlib2.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly5.2/lexsmtlib2.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c parser.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly5.2/parser.o'
ar ruvs '/construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libparser.a'  /construction/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly5.2/parsePL.o  /construction/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly5.2/lexPL.o  /construction/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly5.2/parseLisp.o  /construction/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly5.2/lexLisp.o  /construction/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly5.2/parsesmtlib.o  /construction/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly5.2/lexsmtlib.o  /construction/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly5.2/parsesmtlib2.o  /construction/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly5.2/lexsmtlib2.o  /construction/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly5.2/parser.o 
/usr/libexec/binutils227/elf/ar: `u' modifier ignored since `D' is the default (see `U')
/usr/libexec/binutils227/elf/ar: creating /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libparser.a
a - /construction/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly5.2/parsePL.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly5.2/lexPL.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly5.2/parseLisp.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly5.2/lexLisp.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly5.2/parsesmtlib.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly5.2/lexsmtlib.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly5.2/parsesmtlib2.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly5.2/lexsmtlib2.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly5.2/parser.o
gmake[3]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/parser'
cd translator && gmake 
gmake[3]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src/translator'
Making dependencies for translator.cpp
g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include translator.cpp >> /construction/math/cvc3/cvc3-2.4.1/obj/translator/x86_64-dragonfly5.2/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c translator.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/translator/x86_64-dragonfly5.2/translator.o'
ar ruvs '/construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtranslator.a'  /construction/math/cvc3/cvc3-2.4.1/obj/translator/x86_64-dragonfly5.2/translator.o 
/usr/libexec/binutils227/elf/ar: `u' modifier ignored since `D' is the default (see `U')
/usr/libexec/binutils227/elf/ar: creating /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtranslator.a
a - /construction/math/cvc3/cvc3-2.4.1/obj/translator/x86_64-dragonfly5.2/translator.o
gmake[3]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/translator'
cd vcl && gmake 
gmake[3]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src/vcl'
Making dependencies for vcl.cpp vc_cmd.cpp
g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include vcl.cpp vc_cmd.cpp >> /construction/math/cvc3/cvc3-2.4.1/obj/vcl/x86_64-dragonfly5.2/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c vcl.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/vcl/x86_64-dragonfly5.2/vcl.o'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c vc_cmd.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/vcl/x86_64-dragonfly5.2/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 '/construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libvcl.a'  /construction/math/cvc3/cvc3-2.4.1/obj/vcl/x86_64-dragonfly5.2/vcl.o  /construction/math/cvc3/cvc3-2.4.1/obj/vcl/x86_64-dragonfly5.2/vc_cmd.o 
/usr/libexec/binutils227/elf/ar: `u' modifier ignored since `D' is the default (see `U')
/usr/libexec/binutils227/elf/ar: creating /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libvcl.a
a - /construction/math/cvc3/cvc3-2.4.1/obj/vcl/x86_64-dragonfly5.2/vcl.o
a - /construction/math/cvc3/cvc3-2.4.1/obj/vcl/x86_64-dragonfly5.2/vc_cmd.o
gmake[3]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/vcl'
cd c_interface && gmake 
gmake[3]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src/c_interface'
Making dependencies for c_interface.cpp
g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include c_interface.cpp >> /construction/math/cvc3/cvc3-2.4.1/obj/c_interface/x86_64-dragonfly5.2/Makefile.tmp
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c c_interface.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/c_interface/x86_64-dragonfly5.2/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 '/construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libc_interface.a'  /construction/math/cvc3/cvc3-2.4.1/obj/c_interface/x86_64-dragonfly5.2/c_interface.o 
/usr/libexec/binutils227/elf/ar: `u' modifier ignored since `D' is the default (see `U')
/usr/libexec/binutils227/elf/ar: creating /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libc_interface.a
a - /construction/math/cvc3/cvc3-2.4.1/obj/c_interface/x86_64-dragonfly5.2/c_interface.o
gmake[3]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/c_interface'
gmake /construction/math/cvc3/cvc3-2.4.1/lib/libcvc3.so.5.0.0
gmake[3]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src'
Building shared library /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libcvc3.so.5.0.0
rm -rf /construction/math/cvc3/cvc3-2.4.1/unpack_tmp
/construction/math/cvc3/cvc3-2.4.1/bin/unpack /construction/math/cvc3/cvc3-2.4.1/unpack_tmp  /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libcvc_util.a  /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libcontext.a  /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libexpr.a  /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheorem.a  /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libsat.a  /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheory_core.a  /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheory_arith.a  /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheory_array.a  /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheory_bitvector.a  /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheory_datatype.a  /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheory_quant.a  /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheory_records.a  /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheory_simulate.a  /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtheory_uf.a  /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libsearch.a  /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libparser.a  /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libtranslator.a  /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libvcl.a  /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/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 -std=gnu++98 -m64 -fPIC -L/usr/local/lib \
    -Wl,-soname,libcvc3.so.5 -o '/construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libcvc3.so.5.0.0' `` -lgmp 
ln -sf libcvc3.so.5.0.0 /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libcvc3.so.5.0
ln -sf libcvc3.so.5.0.0 /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libcvc3.so.5
ln -sf libcvc3.so.5.0.0 /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libcvc3.so
ln -sf /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libcvc3.so.5.0.0 '/construction/math/cvc3/cvc3-2.4.1/lib//libcvc3.so.5.0.0'
ln -sf libcvc3.so.5.0.0 '/construction/math/cvc3/cvc3-2.4.1/lib//libcvc3.so.5.0'
ln -sf libcvc3.so.5.0.0 '/construction/math/cvc3/cvc3-2.4.1/lib//libcvc3.so.5'
ln -sf libcvc3.so.5.0.0 '/construction/math/cvc3/cvc3-2.4.1/lib//libcvc3.so'
gmake[3]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src'
cd cvc3 && gmake  VERSION=2.4.1
gmake[3]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src/cvc3'
Making dependencies for main.cpp
g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DVERSION=\"2.4.1\" -I/usr/local/include main.cpp >> /construction/math/cvc3/cvc3-2.4.1/obj/cvc3/x86_64-dragonfly5.2/Makefile.tmp
gmake /construction/math/cvc3/cvc3-2.4.1/bin/x86_64-dragonfly5.2/cvc3
gmake[4]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src/cvc3'
g++ -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DVERSION=\"2.4.1\" -I/usr/local/include -c main.cpp -o '/construction/math/cvc3/cvc3-2.4.1/obj/cvc3/x86_64-dragonfly5.2/main.o'
g++  -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++98 -m64 -fPIC -O2 -Wall -I. -I/construction/math/cvc3/cvc3-2.4.1/src/include -DVERSION=\"2.4.1\" -L/usr/local/lib -o '/construction/math/cvc3/cvc3-2.4.1/bin/x86_64-dragonfly5.2/cvc3'  /construction/math/cvc3/cvc3-2.4.1/obj/cvc3/x86_64-dragonfly5.2/main.o \
 -L/construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2 -lcvc3 -lgmp 
gmake[4]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/cvc3'
ln -sf /construction/math/cvc3/cvc3-2.4.1/bin/x86_64-dragonfly5.2/cvc3 /construction/math/cvc3/cvc3-2.4.1/bin/cvc3
gmake[3]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/cvc3'
gmake[2]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src'
find /construction/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 '/construction/math/cvc3/cvc3-2.4.1'



--------------------------------------------------------------------------------
--  Phase: run-depends
--------------------------------------------------------------------------------
===>   cvc3-2.4.1_4 depends on package: perl5>=5.26<5.27 - found



--------------------------------------------------------------------------------
--  Phase: stage
--------------------------------------------------------------------------------
===>  Staging for cvc3-2.4.1_4
===>   Generating temporary packing list
gmake[1]: Entering directory '/construction/math/cvc3/cvc3-2.4.1'
gmake TARGET=install
gmake[2]: Entering directory '/construction/math/cvc3/cvc3-2.4.1'
cd /construction/math/cvc3/cvc3-2.4.1/src; gmake install VERSION=2.4.1
gmake[3]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src'
gmake build TARGET=
gmake[4]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src'
cd util && gmake 
gmake[5]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src/util'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/util'
cd context && gmake 
gmake[5]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src/context'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/context'
cd expr && gmake 
gmake[5]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src/expr'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/expr'
cd theorem && gmake 
gmake[5]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src/theorem'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/theorem'
cd sat && gmake 
gmake[5]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src/sat'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/sat'
cd theory_core && gmake 
gmake[5]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src/theory_core'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/theory_core'
cd theory_arith && gmake 
gmake[5]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src/theory_arith'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/theory_arith'
cd theory_array && gmake 
gmake[5]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src/theory_array'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/theory_array'
cd theory_bitvector && gmake 
gmake[5]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src/theory_bitvector'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/theory_bitvector'
cd theory_datatype && gmake 
gmake[5]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src/theory_datatype'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/theory_datatype'
cd theory_quant && gmake 
gmake[5]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src/theory_quant'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/theory_quant'
cd theory_records && gmake 
gmake[5]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src/theory_records'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/theory_records'
cd theory_simulate && gmake 
gmake[5]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src/theory_simulate'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/theory_simulate'
cd theory_uf && gmake 
gmake[5]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src/theory_uf'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/theory_uf'
cd search && gmake 
gmake[5]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src/search'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/search'
cd parser && gmake 
gmake[5]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src/parser'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/parser'
cd translator && gmake 
gmake[5]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src/translator'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/translator'
cd vcl && gmake 
gmake[5]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src/vcl'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/vcl'
cd c_interface && gmake 
gmake[5]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src/c_interface'
gmake[5]: Nothing to be done for 'all'.
gmake[5]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/c_interface'
gmake /construction/math/cvc3/cvc3-2.4.1/lib/libcvc3.so.5.0.0
gmake[5]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src'
ln -sf /construction/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly5.2/libcvc3.so.5.0.0 '/construction/math/cvc3/cvc3-2.4.1/lib//libcvc3.so.5.0.0'
ln -sf libcvc3.so.5.0.0 '/construction/math/cvc3/cvc3-2.4.1/lib//libcvc3.so.5.0'
ln -sf libcvc3.so.5.0.0 '/construction/math/cvc3/cvc3-2.4.1/lib//libcvc3.so.5'
ln -sf libcvc3.so.5.0.0 '/construction/math/cvc3/cvc3-2.4.1/lib//libcvc3.so'
gmake[5]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src'
cd cvc3 && gmake  VERSION=2.4.1
gmake[5]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src/cvc3'
gmake /construction/math/cvc3/cvc3-2.4.1/bin/x86_64-dragonfly5.2/cvc3
gmake[6]: Entering directory '/construction/math/cvc3/cvc3-2.4.1/src/cvc3'
gmake[6]: '/construction/math/cvc3/cvc3-2.4.1/bin/x86_64-dragonfly5.2/cvc3' is up to date.
gmake[6]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/cvc3'
ln -sf /construction/math/cvc3/cvc3-2.4.1/bin/x86_64-dragonfly5.2/cvc3 /construction/math/cvc3/cvc3-2.4.1/bin/cvc3
gmake[5]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src/cvc3'
gmake[4]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src'
mkdir -p /construction/math/cvc3/stage/usr/local/include/cvc3
/usr/bin/install -c  -m 644  /construction/math/cvc3/cvc3-2.4.1/src/include/assumptions.h  /construction/math/cvc3/cvc3-2.4.1/src/include/c_interface.h  /construction/math/cvc3/cvc3-2.4.1/src/include/c_interface_defs.h  /construction/math/cvc3/cvc3-2.4.1/src/include/cdflags.h  /construction/math/cvc3/cvc3-2.4.1/src/include/cdlist.h  /construction/math/cvc3/cvc3-2.4.1/src/include/cdmap.h  /construction/math/cvc3/cvc3-2.4.1/src/include/cdmap_ordered.h  /construction/math/cvc3/cvc3-2.4.1/src/include/cdo.h  /construction/math/cvc3/cvc3-2.4.1/src/include/circuit.h  /construction/math/cvc3/cvc3-2.4.1/src/include/clause.h  /construction/math/cvc3/cvc3-2.4.1/src/include/cnf.h  /construction/math/cvc3/cvc3-2.4.1/src/include/cnf_manager.h  /construction/math/cvc3/cvc3-2.4.1/src/include/command_line_exception.h  /construction/math/cvc3/cvc3-2.4.1/src/include/command_line_flags.h  /construction/math/cvc3/cvc3-2.4.1/src/include/common_proof_rules.h  /construction/math/cvc3/cvc3-2.4.1/src/include/compat_hash_map.h  /construction/math/cvc3/cvc3-2.4.1/src/include/compat_hash_set.h  /construction/math/cvc3/cvc3-2.4.1/src/include/context.h  /construction/math/cvc3/cvc3-2.4.1/src/include/cvc_util.h  /construction/math/cvc3/cvc3-2.4.1/src/include/debug.h  /construction/math/cvc3/cvc3-2.4.1/src/include/dpllt.h  /construction/math/cvc3/cvc3-2.4.1/src/include/dpllt_basic.h  /construction/math/cvc3/cvc3-2.4.1/src/include/dpllt_minisat.h  /construction/math/cvc3/cvc3-2.4.1/src/include/eval_exception.h  /construction/math/cvc3/cvc3-2.4.1/src/include/exception.h  /construction/math/cvc3/cvc3-2.4.1/src/include/expr.h  /construction/math/cvc3/cvc3-2.4.1/src/include/expr_hash.h  /construction/math/cvc3/cvc3-2.4.1/src/include/expr_manager.h  /construction/math/cvc3/cvc3-2.4.1/src/include/expr_map.h  /construction/math/cvc3/cvc3-2.4.1/src/include/expr_op.h  /construction/math/cvc3/cvc3-2.4.1/src/include/expr_stream.h  /construction/math/cvc3/cvc3-2.4.1/src/include/expr_transform.h  /construction/math/cvc3/cvc3-2.4.1/src/include/expr_value.h  /construction/math/cvc3/cvc3-2.4.1/src/include/formula_value.h  /construction/math/cvc3/cvc3-2.4.1/src/include/fdstream.h  /construction/math/cvc3/cvc3-2.4.1/src/include/hash_fun.h  /construction/math/cvc3/cvc3-2.4.1/src/include/hash_table.h  /construction/math/cvc3/cvc3-2.4.1/src/include/hash_map.h  /construction/math/cvc3/cvc3-2.4.1/src/include/hash_set.h  /construction/math/cvc3/cvc3-2.4.1/src/include/kinds.h  /construction/math/cvc3/cvc3-2.4.1/src/include/lang.h  /construction/math/cvc3/cvc3-2.4.1/src/include/memory_manager.h  /construction/math/cvc3/cvc3-2.4.1/src/include/memory_manager_chunks.h  /construction/math/cvc3/cvc3-2.4.1/src/include/memory_manager_malloc.h  /construction/math/cvc3/cvc3-2.4.1/src/include/memory_manager_context.h  /construction/math/cvc3/cvc3-2.4.1/src/include/notifylist.h  /construction/math/cvc3/cvc3-2.4.1/src/include/os.h  /construction/math/cvc3/cvc3-2.4.1/src/include/parser.h  /construction/math/cvc3/cvc3-2.4.1/src/include/proof.h  /construction/math/cvc3/cvc3-2.4.1/src/include/rational.h  /construction/math/cvc3/cvc3-2.4.1/src/include/parser_exception.h  /construction/math/cvc3/cvc3-2.4.1/src/include/pretty_printer.h  /construction/math/cvc3/cvc3-2.4.1/src/include/queryresult.h  /construction/math/cvc3/cvc3-2.4.1/src/include/sat_api.h  /construction/math/cvc3/cvc3-2.4.1/src/include/search.h  /construction/math/cvc3/cvc3-2.4.1/src/include/search_impl_base.h  /construction/math/cvc3/cvc3-2.4.1/src/include/search_sat.h  /construction/math/cvc3/cvc3-2.4.1/src/include/search_simple.h  /construction/math/cvc3/cvc3-2.4.1/src/include/search_fast.h  /construction/math/cvc3/cvc3-2.4.1/src/include/smartcdo.h  /construction/math/cvc3/cvc3-2.4.1/src/include/smtlib_exception.h  /construction/math/cvc3/cvc3-2.4.1/src/include/sound_exception.h  /construction/math/cvc3/cvc3-2.4.1/src/include/statistics.h  /construction/math/cvc3/cvc3-2.4.1/src/include/theorem.h  /construction/math/cvc3/cvc3-2.4.1/src/include/theorem_manager.h  /construction/math/cvc3/cvc3-2.4.1/src/include/theorem_producer.h  /construction/math/cvc3/cvc3-2.4.1/src/include/theory_arith.h  /construction/math/cvc3/cvc3-2.4.1/src/include/theory_arith_new.h  /construction/math/cvc3/cvc3-2.4.1/src/include/theory_arith_old.h  /construction/math/cvc3/cvc3-2.4.1/src/include/theory_arith3.h  /construction/math/cvc3/cvc3-2.4.1/src/include/theory_array.h  /construction/math/cvc3/cvc3-2.4.1/src/include/theory_bitvector.h  /construction/math/cvc3/cvc3-2.4.1/src/include/theory_core.h  /construction/math/cvc3/cvc3-2.4.1/src/include/theory_datatype.h  /construction/math/cvc3/cvc3-2.4.1/src/include/theory_datatype_lazy.h  /construction/math/cvc3/cvc3-2.4.1/src/include/theory.h  /construction/math/cvc3/cvc3-2.4.1/src/include/theory_quant.h  /construction/math/cvc3/cvc3-2.4.1/src/include/theory_records.h  /construction/math/cvc3/cvc3-2.4.1/src/include/theory_simulate.h  /construction/math/cvc3/cvc3-2.4.1/src/include/theory_uf.h  /construction/math/cvc3/cvc3-2.4.1/src/include/translator.h  /construction/math/cvc3/cvc3-2.4.1/src/include/typecheck_exception.h  /construction/math/cvc3/cvc3-2.4.1/src/include/type.h  /construction/math/cvc3/cvc3-2.4.1/src/include/variable.h  /construction/math/cvc3/cvc3-2.4.1/src/include/vc_cmd.h  /construction/math/cvc3/cvc3-2.4.1/src/include/vc.h  /construction/math/cvc3/cvc3-2.4.1/src/include/vcl.h /construction/math/cvc3/stage/usr/local/include/cvc3
mkdir -p /construction/math/cvc3/stage/usr/local/lib
/usr/bin/install -c  -m 644 /construction/math/cvc3/cvc3-2.4.1/lib/libcvc3.so.5.0.0 /construction/math/cvc3/stage/usr/local/lib
ln -sf libcvc3.so.5.0.0 /construction/math/cvc3/stage/usr/local/lib/libcvc3.so.5.0 
ln -sf libcvc3.so.5.0.0 /construction/math/cvc3/stage/usr/local/lib/libcvc3.so.5
ln -sf libcvc3.so.5.0.0 /construction/math/cvc3/stage/usr/local/lib/libcvc3.so
mkdir -p /construction/math/cvc3/stage/usr/local/bin
/usr/bin/install -c  -m 755 /construction/math/cvc3/cvc3-2.4.1/bin/cvc3 /construction/math/cvc3/stage/usr/local/bin
mkdir -p /construction/math/cvc3/stage/usr/local/libdata/pkgconfig
/usr/bin/install -c  -m 644 cvc3.pc /construction/math/cvc3/stage/usr/local/libdata/pkgconfig
gmake[3]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1/src'
gmake[2]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1'
gmake[1]: Leaving directory '/construction/math/cvc3/cvc3-2.4.1'
install  -s -m 555 `readlink /construction/math/cvc3/cvc3-2.4.1/bin/cvc3` /construction/math/cvc3/stage/usr/local/bin
/usr/bin/strip /construction/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_4
file sizes/checksums    [93]: . done
packing files           [93]: . done
packing directories      [0]: . done



--------------------------------------------------
--  Termination
--------------------------------------------------
Finished: Friday, 8 JUN 2018 at 00:46:09 UTC
Duration: 00:05:20