=> Building math/cvc3 build started at Sun Oct 9 06:22:17 PDT 2016 port directory: /usr/ports/math/cvc3 building for: DragonFly pkgbox64.dragonflybsd.org 4.7-DEVELOPMENT DragonFly v4.7.0.78.g7d868-DEVELOPMENT #7: Mon Aug 1 22:25:32 PDT 2016 root@pkgbox64.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 maintained by: lwhsu@FreeBSD.org ident warning: no id keywords in /build/boomdata/data/.m/Release46-default/ref/../03//usr/ports/math/cvc3/Makefile Makefile ident: Poudriere version: 3.1-pre Host OSVERSION: 400700 Jail OSVERSION: 400600 ---Begin Environment--- STATUS=1 SAVED_TERM=screen MASTERMNT=/build/boomdata/data/.m/Release46-default/ref PATH=/usr/local/libexec/poudriere:/sbin:/bin:/usr/sbin:/usr/bin:/usr/pkg/bin:/usr/pkg/sbin:/usr/games:/usr/local/sbin:/usr/local/bin:/usr/pkg/xorg/bin:/usr/X11R6/bin:/root/bin:/sbin:/usr/sbin POUDRIERE_BUILD_TYPE=bulk PKGNAME=cvc3-2.4.1 OLDPWD=/root/boom PWD=/build/boomdata/data/.m/Release46-default/ref/.p/pool MASTERNAME=Release46-default TERM=cons25 USER=root HOME=/root POUDRIERE_VERSION=3.1-pre LOCALBASE=/usr/local PACKAGE_BUILDING=yes ---End Environment--- ---Begin OPTIONS List--- ---End OPTIONS List--- --CONFIGURE_ARGS-- --enable-dynamic --with-arith=gmp --with-build=optimized --with-extra-includes=/usr/local/include --with-extra-libs=/usr/local/lib --prefix=/usr/local ${_LATE_CONFIGURE_ARGS} --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- MAKE=gmake ac_cv_path_PERL=/usr/local/bin/perl ac_cv_path_PERL_PATH=/usr/local/bin/perl XDG_DATA_HOME=/wrkdirs/math/cvc3 XDG_CONFIG_HOME=/wrkdirs/math/cvc3 HOME=/wrkdirs/math/cvc3 TMPDIR="/tmp" SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc50 CONFIG_SITE=/usr/ports/Templates/config.site lt_cv_sys_max_cmd_len=262144 --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/math/cvc3 XDG_CONFIG_HOME=/wrkdirs/math/cvc3 HOME=/wrkdirs/math/cvc3 TMPDIR="/tmp" NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc50 PREFIX=/usr/local LOCALBASE=/usr/local LIBDIR="/usr/lib" NOPROFILE=1 CC="gcc" CFLAGS="-pipe -O2 -fno-strict-aliasing" CPP="cpp" CPPFLAGS="" LDFLAGS="" LIBS="" CXX="g++" CXXFLAGS=" -pipe -O2 -fno-strict-aliasing -fPIC" MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 444" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" --End MAKE_ENV-- --PLIST_SUB-- OSREL=4.6 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local PORTDOCS="" PORTEXAMPLES="" LIB32DIR=lib PERL_VERSION=5.20.3 PERL_VER=5.20 PERL5_MAN1=lib/perl5/site_perl/man/man1 PERL5_MAN3=lib/perl5/site_perl/man/man3 SITE_PERL=lib/perl5/site_perl SITE_ARCH=lib/perl5/site_perl/mach/5.20 PROFILE="@comment " DOCSDIR="share/doc/cvc3" EXAMPLESDIR="share/examples/cvc3" DATADIR="share/cvc3" WWWDIR="www/cvc3" ETCDIR="etc/cvc3" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/cvc3 DOCSDIR=/usr/local/share/doc/cvc3 EXAMPLESDIR=/usr/local/share/examples/cvc3 WWWDIR=/usr/local/www/cvc3 ETCDIR=/usr/local/etc/cvc3 --End SUB_LIST-- ---Begin make.conf--- NO_BACKUP=yes USE_PACKAGE_DEPENDS=yes PKG_CREATE_VERBOSE=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORT_DBDIR=/options PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles MAKE_JOBS_NUMBER=5 ---End make.conf--- =================================================== =========================================================================== =================================================== ===> cvc3-2.4.1 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.8.7_3.txz Installing pkg-1.8.7_3... Extracting pkg-1.8.7_3: .......... done ===> cvc3-2.4.1 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of cvc3-2.4.1 =========================================================================== =================================================== =========================================================================== =================================================== ===> Fetching all distfiles required by cvc3-2.4.1 for building =========================================================================== =================================================== ===> Fetching all distfiles required by cvc3-2.4.1 for building => SHA256 Checksum OK for cvc3-2.4.1.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> Fetching all distfiles required by cvc3-2.4.1 for building ===> Extracting for cvc3-2.4.1 => SHA256 Checksum OK for cvc3-2.4.1.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> Patching for cvc3-2.4.1 ===> Applying ports patches for cvc3-2.4.1 /usr/bin/sed -i.bak -e 's,/bin/bash,/bin/sh,' /wrkdirs/math/cvc3/cvc3-2.4.1/Makefile.std /usr/bin/sed -i.bak -e 's,.*$(LDCONFIG).*,,' /wrkdirs/math/cvc3/cvc3-2.4.1/src/Makefile /usr/bin/sed -i.bak -e 's,$(libdir)/pkgconfig,/usr/local/libdata/pkgconfig,' /wrkdirs/math/cvc3/cvc3-2.4.1/src/Makefile =========================================================================== =================================================== ===> cvc3-2.4.1 depends on executable: bison - not found ===> Installing existing package /packages/All/bison-2.7.1,1.txz Installing bison-2.7.1,1... `-- Installing indexinfo-0.2.5... `-- Extracting indexinfo-0.2.5: .... done `-- Installing gettext-runtime-0.19.8.1... `-- Extracting gettext-runtime-0.19.8.1: .......... done `-- Installing m4-1.4.17_1,1... `-- Extracting m4-1.4.17_1,1: .......... done Extracting bison-2.7.1,1: .......... done ===> cvc3-2.4.1 depends on executable: bison - found ===> Returning to build of cvc3-2.4.1 ===> cvc3-2.4.1 depends on executable: gmake - not found ===> Installing existing package /packages/All/gmake-4.2.1_1.txz Installing gmake-4.2.1_1... Extracting gmake-4.2.1_1: .......... done ===> cvc3-2.4.1 depends on executable: gmake - found ===> Returning to build of cvc3-2.4.1 ===> cvc3-2.4.1 depends on package: perl5>=5.20<5.21 - not found ===> Installing existing package /packages/All/perl5-5.20.3_15.txz Installing perl5-5.20.3_15... Extracting perl5-5.20.3_15: .......... done Message from perl5-5.20.3_15: The /usr/bin/perl symlink has been removed starting with Perl 5.20. For shebangs, you should either use: #!/usr/local/bin/perl or #!/usr/bin/env perl The first one will only work if you have a /usr/local/bin/perl, the second will work as long as perl is in PATH. ===> cvc3-2.4.1 depends on package: perl5>=5.20<5.21 - found ===> Returning to build of cvc3-2.4.1 =========================================================================== =================================================== ===> cvc3-2.4.1 depends on shared library: libgmp.so - not found ===> Installing existing package /packages/All/gmp-5.1.3_3.txz Installing gmp-5.1.3_3... Extracting gmp-5.1.3_3: .......... done ===> cvc3-2.4.1 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so) ===> Returning to build of cvc3-2.4.1 =========================================================================== =================================================== ===> Configuring for cvc3-2.4.1 configure: loading site script /usr/ports/Templates/config.site checking whether the C++ compiler works... yes checking for C++ compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking how to run the C++ preprocessor... g++ -E checking for ar... ar checking build system type... x86_64-portbld-dragonfly4.6 checking host system type... x86_64-portbld-dragonfly4.6 checking for install... /usr/bin/install -c checking for ldconfig... /sbin/ldconfig checking for time... /usr/bin/time checking for perl... (cached) /usr/local/bin/perl checking for bison... bison -y checking for flex... flex checking lex output file root... lex.yy checking lex library... none needed checking whether yytext is a pointer... no checking for compiler version (g++ --version)... 5.3.1 checking for gmp... yes checking vector usability... yes checking vector presence... yes checking for vector... yes checking list usability... yes checking list presence... yes checking for list... yes checking deque usability... yes checking deque presence... yes checking for deque... yes checking set usability... yes checking set presence... yes checking for set... yes checking string usability... yes checking string presence... yes checking for string... yes checking cstdlib usability... yes checking cstdlib presence... yes checking for cstdlib... yes checking cstdio usability... yes checking cstdio presence... yes checking for cstdio... yes checking functional usability... yes checking functional presence... yes checking for functional... yes checking algorithm usability... yes checking algorithm presence... yes checking for algorithm... yes checking for doxygen... no checking for doxytag... no checking for fig2dev... no checking for dot... NO checking for etags... no checking for ebrowse... no configure: creating ./config.status config.status: creating Makefile.local config.status: creating LICENSE config.status: creating src/cvc3.pc config.status: creating bin/unpack config.status: creating bin/run_tests config.status: creating bin/cvc2smt config.status: creating doc/Doxyfile config.status: creating doc/Makefile CVC3 is configured successfully. Platform: x86_64-dragonfly4.6 Version: 2.4.1 Computer arithmetic: GMP Run ./configure --help for additional configuration options. Type 'make' to compile CVC3. *** CVC3 is configured to compile using shared libraries. *** Type "make ld_sh" for bash shells or "make ld_csh" for csh shells *** to see how to set LD_LIBRARY_PATH appropriately. To use static *** libraries and executables instead, run: *** ./configure --enable-static =========================================================================== =================================================== ===> Building for cvc3-2.4.1 gmake[1]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1' cd /wrkdirs/math/cvc3/cvc3-2.4.1/src; gmake VERSION=2.4.1 gmake[2]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src' cd util && gmake gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/util' Making dependencies for debug.cpp statistics.cpp rational.cpp rational-native.cpp rational-gmp.cpp g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DRATIONAL_GMP -I/usr/local/include debug.cpp statistics.cpp rational.cpp rational-native.cpp rational-gmp.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/Makefile.tmp g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DRATIONAL_GMP -I/usr/local/include -c debug.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/debug.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DRATIONAL_GMP -I/usr/local/include -c rational-native.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/rational-native.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DRATIONAL_GMP -I/usr/local/include -c rational.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/rational.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DRATIONAL_GMP -I/usr/local/include -c statistics.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/statistics.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DRATIONAL_GMP -I/usr/local/include -c rational-gmp.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/rational-gmp.o' ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libcvc_util.a' /wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/debug.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/statistics.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/rational.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/rational-native.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/rational-gmp.o /usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libcvc_util.a a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/debug.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/statistics.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/rational.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/rational-native.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/util/x86_64-dragonfly4.6/rational-gmp.o gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/util' cd context && gmake gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/context' Making dependencies for context.cpp cdflags.cpp g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include context.cpp cdflags.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/context/x86_64-dragonfly4.6/Makefile.tmp g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c context.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/context/x86_64-dragonfly4.6/context.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c cdflags.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/context/x86_64-dragonfly4.6/cdflags.o' ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libcontext.a' /wrkdirs/math/cvc3/cvc3-2.4.1/obj/context/x86_64-dragonfly4.6/context.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/context/x86_64-dragonfly4.6/cdflags.o /usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libcontext.a a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/context/x86_64-dragonfly4.6/context.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/context/x86_64-dragonfly4.6/cdflags.o gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/context' cd expr && gmake gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/expr' Making dependencies for expr.cpp expr_manager.cpp expr_stream.cpp expr_value.cpp expr_op.cpp g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include expr.cpp expr_manager.cpp expr_stream.cpp expr_value.cpp expr_op.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/Makefile.tmp g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c expr.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c expr_manager.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr_manager.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c expr_stream.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr_stream.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c expr_value.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr_value.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c expr_op.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr_op.o' ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libexpr.a' /wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr_manager.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr_stream.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr_value.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr_op.o /usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libexpr.a a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr_manager.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr_stream.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr_value.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/expr/x86_64-dragonfly4.6/expr_op.o gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/expr' cd theorem && gmake gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theorem' Making dependencies for assumptions.cpp theorem.cpp theorem_manager.cpp theorem_producer.cpp common_theorem_producer.cpp g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include assumptions.cpp theorem.cpp theorem_manager.cpp theorem_producer.cpp common_theorem_producer.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/Makefile.tmp g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c assumptions.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/assumptions.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theorem.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/theorem.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theorem_manager.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/theorem_manager.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theorem_producer.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/theorem_producer.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c common_theorem_producer.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/common_theorem_producer.o' In file included from common_theorem_producer.h:34:0, from common_theorem_producer.cpp:27: common_theorem_producer.cpp: In member function 'virtual CVC3::Theorem CVC3::CommonTheoremProducer::contradictionRule(const CVC3::Theorem&, const CVC3::Theorem&)': common_theorem_producer.cpp:565:30: warning: logical not is only applied to the left hand side of comparison [-Wlogical-not-parentheses] CHECK_SOUND(!e.getExpr() == not_e.getExpr(), ^ /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theorem_producer.h:83:39: note: in definition of macro 'CHECK_SOUND' #define CHECK_SOUND(cond, msg) { if(!(cond)) \ ^ ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheorem.a' /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/assumptions.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/theorem.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/theorem_manager.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/theorem_producer.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/common_theorem_producer.o /usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheorem.a a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/assumptions.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/theorem.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/theorem_manager.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/theorem_producer.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theorem/x86_64-dragonfly4.6/common_theorem_producer.o gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theorem' cd sat && gmake gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/sat' Making dependencies for xchaff.cpp xchaff_dbase.cpp xchaff_solver.cpp xchaff_utils.cpp cnf.cpp cnf_manager.cpp cnf_theorem_producer.cpp dpllt_basic.cpp sat_api.cpp dpllt_minisat.cpp minisat_types.cpp minisat_derivation.cpp minisat_solver.cpp g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include xchaff.cpp xchaff_dbase.cpp xchaff_solver.cpp xchaff_utils.cpp cnf.cpp cnf_manager.cpp cnf_theorem_producer.cpp dpllt_basic.cpp sat_api.cpp dpllt_minisat.cpp minisat_types.cpp minisat_derivation.cpp minisat_solver.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/Makefile.tmp g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c xchaff_dbase.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/xchaff_dbase.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c xchaff.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/xchaff.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c xchaff_utils.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/xchaff_utils.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c xchaff_solver.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/xchaff_solver.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c cnf.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/cnf.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c cnf_manager.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/cnf_manager.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c cnf_theorem_producer.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/cnf_theorem_producer.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c dpllt_basic.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/dpllt_basic.o' dpllt_basic.cpp: In member function 'void SAT::DPLLTBasic::handle_result(SatSolver::SATStatus)': dpllt_basic.cpp:172:16: warning: variable 'result' set but not used [-Wunused-but-set-variable] const char * result = "UNKNOWN"; ^ g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c sat_api.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/sat_api.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c dpllt_minisat.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/dpllt_minisat.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c minisat_types.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/minisat_types.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c minisat_derivation.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/minisat_derivation.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c minisat_solver.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/minisat_solver.o' ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libsat.a' /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/xchaff.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/xchaff_dbase.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/xchaff_solver.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/xchaff_utils.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/cnf.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/cnf_manager.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/cnf_theorem_producer.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/dpllt_basic.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/sat_api.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/dpllt_minisat.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/minisat_types.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/minisat_derivation.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/minisat_solver.o /usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libsat.a a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/xchaff.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/xchaff_dbase.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/xchaff_solver.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/xchaff_utils.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/cnf.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/cnf_manager.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/cnf_theorem_producer.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/dpllt_basic.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/sat_api.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/dpllt_minisat.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/minisat_types.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/minisat_derivation.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/sat/x86_64-dragonfly4.6/minisat_solver.o gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/sat' cd theory_core && gmake gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_core' Making dependencies for theory.cpp theory_core.cpp core_theorem_producer.cpp expr_transform.cpp bryant.cpp g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include theory.cpp theory_core.cpp core_theorem_producer.cpp expr_transform.cpp bryant.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/Makefile.tmp g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/theory.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_core.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/theory_core.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c core_theorem_producer.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/core_theorem_producer.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c expr_transform.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/expr_transform.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c bryant.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/bryant.o' theory_core.cpp: In constructor 'CVC3::TheoryCore::TheoryCore(CVC3::ContextManager*, CVC3::ExprManager*, CVC3::TheoremManager*, CVC3::Translator*, const CVC3::CLFlags&, CVC3::Statistics&)': theory_core.cpp:725:22: warning: converting 'false' to pointer type 'const bool*' [-Wconversion-null] d_coreSatAPI(NULL) ^ bryant.cpp: In member function 'CVC3::Expr CVC3::ExprTransform::ConstrainedConstraints(std::set&, CVC3::ExprTransform::T_generator_map&, CVC3::ExprTransform::B_name_map&, CVC3::ExprTransform::B_Term_map&, std::set&, std::set&, std::set&)': bryant.cpp:470:17: warning: logical not is only applied to the left hand side of comparison [-Wlogical-not-parentheses] if (!Value == Temp) ^ ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_core.a' /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/theory.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/theory_core.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/core_theorem_producer.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/expr_transform.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/bryant.o /usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_core.a a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/theory.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/theory_core.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/core_theorem_producer.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/expr_transform.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_core/x86_64-dragonfly4.6/bryant.o gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_core' cd theory_arith && gmake gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_arith' Making dependencies for arith_theorem_producer_old.cpp arith_theorem_producer.cpp arith_theorem_producer3.cpp theory_arith.cpp theory_arith_old.cpp theory_arith_new.cpp theory_arith3.cpp g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include arith_theorem_producer_old.cpp arith_theorem_producer.cpp arith_theorem_producer3.cpp theory_arith.cpp theory_arith_old.cpp theory_arith_new.cpp theory_arith3.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/Makefile.tmp g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c arith_theorem_producer3.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/arith_theorem_producer3.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c arith_theorem_producer.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/arith_theorem_producer.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c arith_theorem_producer_old.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/arith_theorem_producer_old.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_arith.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/theory_arith.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_arith_old.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/theory_arith_old.o' arith_theorem_producer_old.cpp: In member function 'virtual CVC3::Theorem CVC3::ArithTheoremProducerOld::canonMult(const CVC3::Expr&)': arith_theorem_producer_old.cpp:797:50: warning: logical not is only applied to the left hand side of comparison [-Wlogical-not-parentheses] if (count_non_trivial > 0 && !count_constants == (e.arity() - 1)) { ^ theory_arith_old.cpp: In member function 'bool CVC3::TheoryArithOld::findBounds(const CVC3::Expr&, CVC3::Rational&, CVC3::Rational&)': theory_arith_old.cpp:2782:24: warning: variable 'strictUB' set but not used [-Wunused-but-set-variable] bool strictLB=false, strictUB=false; ^ g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_arith_new.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/theory_arith_new.o' theory_arith_new.cpp: In member function 'bool CVC3::TheoryArithNew::findBounds(const CVC3::Expr&, CVC3::Rational&, CVC3::Rational&)': theory_arith_new.cpp:1350:24: warning: variable 'strictUB' set but not used [-Wunused-but-set-variable] bool strictLB=false, strictUB=false; ^ g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_arith3.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/theory_arith3.o' theory_arith3.cpp: In member function 'bool CVC3::TheoryArith3::findBounds(const CVC3::Expr&, CVC3::Rational&, CVC3::Rational&)': theory_arith3.cpp:2199:24: warning: variable 'strictUB' set but not used [-Wunused-but-set-variable] bool strictLB=false, strictUB=false; ^ ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_arith.a' /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/arith_theorem_producer_old.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/arith_theorem_producer.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/arith_theorem_producer3.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/theory_arith.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/theory_arith_old.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/theory_arith_new.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/theory_arith3.o /usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_arith.a a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/arith_theorem_producer_old.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/arith_theorem_producer.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/arith_theorem_producer3.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/theory_arith.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/theory_arith_old.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/theory_arith_new.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_arith/x86_64-dragonfly4.6/theory_arith3.o gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_arith' cd theory_array && gmake gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_array' Making dependencies for array_theorem_producer.cpp theory_array.cpp g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include array_theorem_producer.cpp theory_array.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_array/x86_64-dragonfly4.6/Makefile.tmp g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c array_theorem_producer.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_array/x86_64-dragonfly4.6/array_theorem_producer.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_array.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_array/x86_64-dragonfly4.6/theory_array.o' ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_array.a' /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_array/x86_64-dragonfly4.6/array_theorem_producer.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_array/x86_64-dragonfly4.6/theory_array.o /usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_array.a a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_array/x86_64-dragonfly4.6/array_theorem_producer.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_array/x86_64-dragonfly4.6/theory_array.o gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_array' cd theory_bitvector && gmake gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_bitvector' Making dependencies for bitvector_theorem_producer.cpp theory_bitvector.cpp g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include bitvector_theorem_producer.cpp theory_bitvector.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_bitvector/x86_64-dragonfly4.6/Makefile.tmp g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c bitvector_theorem_producer.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_bitvector/x86_64-dragonfly4.6/bitvector_theorem_producer.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_bitvector.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_bitvector/x86_64-dragonfly4.6/theory_bitvector.o' theory_bitvector.cpp: In member function 'CVC3::Theorem CVC3::TheoryBitvector::rewriteBV(const CVC3::Expr&, CVC3::ExprMap&, int)': theory_bitvector.cpp:1063:11: warning: variable 'hi' set but not used [-Wunused-but-set-variable] int hi(-1), low(-1); ^ ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_bitvector.a' /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_bitvector/x86_64-dragonfly4.6/bitvector_theorem_producer.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_bitvector/x86_64-dragonfly4.6/theory_bitvector.o /usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_bitvector.a a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_bitvector/x86_64-dragonfly4.6/bitvector_theorem_producer.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_bitvector/x86_64-dragonfly4.6/theory_bitvector.o gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_bitvector' cd theory_datatype && gmake gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_datatype' Making dependencies for datatype_theorem_producer.cpp theory_datatype.cpp theory_datatype_lazy.cpp g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include datatype_theorem_producer.cpp theory_datatype.cpp theory_datatype_lazy.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly4.6/Makefile.tmp g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c datatype_theorem_producer.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly4.6/datatype_theorem_producer.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_datatype.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly4.6/theory_datatype.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_datatype_lazy.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly4.6/theory_datatype_lazy.o' ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_datatype.a' /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly4.6/datatype_theorem_producer.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly4.6/theory_datatype.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly4.6/theory_datatype_lazy.o /usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_datatype.a a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly4.6/datatype_theorem_producer.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly4.6/theory_datatype.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_datatype/x86_64-dragonfly4.6/theory_datatype_lazy.o gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_datatype' cd theory_quant && gmake gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_quant' Making dependencies for theory_quant.cpp quant_theorem_producer.cpp g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include theory_quant.cpp quant_theorem_producer.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_quant/x86_64-dragonfly4.6/Makefile.tmp g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_quant.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_quant/x86_64-dragonfly4.6/theory_quant.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c quant_theorem_producer.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_quant/x86_64-dragonfly4.6/quant_theorem_producer.o' ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_quant.a' /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_quant/x86_64-dragonfly4.6/theory_quant.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_quant/x86_64-dragonfly4.6/quant_theorem_producer.o /usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_quant.a a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_quant/x86_64-dragonfly4.6/theory_quant.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_quant/x86_64-dragonfly4.6/quant_theorem_producer.o gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_quant' cd theory_records && gmake gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_records' Making dependencies for theory_records.cpp records_theorem_producer.cpp g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include theory_records.cpp records_theorem_producer.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_records/x86_64-dragonfly4.6/Makefile.tmp g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_records.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_records/x86_64-dragonfly4.6/theory_records.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c records_theorem_producer.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_records/x86_64-dragonfly4.6/records_theorem_producer.o' ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_records.a' /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_records/x86_64-dragonfly4.6/theory_records.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_records/x86_64-dragonfly4.6/records_theorem_producer.o /usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_records.a a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_records/x86_64-dragonfly4.6/theory_records.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_records/x86_64-dragonfly4.6/records_theorem_producer.o gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_records' cd theory_simulate && gmake gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_simulate' Making dependencies for theory_simulate.cpp simulate_theorem_producer.cpp g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include theory_simulate.cpp simulate_theorem_producer.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_simulate/x86_64-dragonfly4.6/Makefile.tmp g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_simulate.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_simulate/x86_64-dragonfly4.6/theory_simulate.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c simulate_theorem_producer.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_simulate/x86_64-dragonfly4.6/simulate_theorem_producer.o' ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_simulate.a' /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_simulate/x86_64-dragonfly4.6/theory_simulate.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_simulate/x86_64-dragonfly4.6/simulate_theorem_producer.o /usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_simulate.a a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_simulate/x86_64-dragonfly4.6/theory_simulate.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_simulate/x86_64-dragonfly4.6/simulate_theorem_producer.o gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_simulate' cd theory_uf && gmake gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_uf' Making dependencies for uf_theorem_producer.cpp theory_uf.cpp g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include uf_theorem_producer.cpp theory_uf.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_uf/x86_64-dragonfly4.6/Makefile.tmp g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c uf_theorem_producer.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_uf/x86_64-dragonfly4.6/uf_theorem_producer.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c theory_uf.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_uf/x86_64-dragonfly4.6/theory_uf.o' ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_uf.a' /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_uf/x86_64-dragonfly4.6/uf_theorem_producer.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_uf/x86_64-dragonfly4.6/theory_uf.o /usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_uf.a a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_uf/x86_64-dragonfly4.6/uf_theorem_producer.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/theory_uf/x86_64-dragonfly4.6/theory_uf.o gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_uf' cd search && gmake gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/search' Making dependencies for clause.cpp search_impl_base.cpp search.cpp search_fast.cpp search_theorem_producer.cpp search_sat.cpp search_simple.cpp variable.cpp circuit.cpp decision_engine.cpp decision_engine_dfs.cpp LFSCObject.cpp LFSCUtilProof.cpp LFSCBoolProof.cpp LFSCConvert.cpp LFSCLraProof.cpp LFSCPrinter.cpp LFSCProof.cpp TReturn.cpp Util.cpp g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include clause.cpp search_impl_base.cpp search.cpp search_fast.cpp search_theorem_producer.cpp search_sat.cpp search_simple.cpp variable.cpp circuit.cpp decision_engine.cpp decision_engine_dfs.cpp LFSCObject.cpp LFSCUtilProof.cpp LFSCBoolProof.cpp LFSCConvert.cpp LFSCLraProof.cpp LFSCPrinter.cpp LFSCProof.cpp TReturn.cpp Util.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/Makefile.tmp g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c clause.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/clause.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c search_fast.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_fast.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c search.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c search_impl_base.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_impl_base.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c search_theorem_producer.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_theorem_producer.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c search_sat.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_sat.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c search_simple.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_simple.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c variable.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/variable.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c circuit.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/circuit.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c decision_engine.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/decision_engine.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c decision_engine_dfs.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/decision_engine_dfs.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c LFSCObject.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCObject.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c LFSCUtilProof.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCUtilProof.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c LFSCBoolProof.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCBoolProof.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c LFSCConvert.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCConvert.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c LFSCLraProof.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCLraProof.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c LFSCPrinter.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCPrinter.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c LFSCProof.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCProof.o' LFSCProof.cpp: In member function 'virtual int LFSCProof::checkOp()': LFSCProof.cpp:91:11: warning: unused variable 'o' [-Wunused-variable] int o = getChild( a )->checkOp(); ^ LFSCProof.cpp: In static member function 'static LFSCProof* LFSCProof::Make_CNF(const CVC3::Expr&, const CVC3::Expr&, int)': LFSCProof.cpp:193:11: warning: unused variable 'm2' [-Wunused-variable] int m2 = queryM( ec[1] ); ^ g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c TReturn.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/TReturn.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c Util.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/Util.o' TReturn.cpp: In static member function 'static int TReturn::normalize_tr(const CVC3::Expr&, TReturn*&, int, bool, bool)': TReturn.cpp:127:12: warning: unused variable 'torig' [-Wunused-variable] TReturn* torig = t1; ^ ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libsearch.a' /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/clause.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_impl_base.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_fast.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_theorem_producer.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_sat.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_simple.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/variable.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/circuit.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/decision_engine.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/decision_engine_dfs.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCObject.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCUtilProof.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCBoolProof.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCConvert.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCLraProof.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCPrinter.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCProof.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/TReturn.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/Util.o /usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libsearch.a a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/clause.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_impl_base.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_fast.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_theorem_producer.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_sat.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/search_simple.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/variable.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/circuit.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/decision_engine.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/decision_engine_dfs.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCObject.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCUtilProof.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCBoolProof.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCConvert.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCLraProof.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCPrinter.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/LFSCProof.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/TReturn.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/search/x86_64-dragonfly4.6/Util.o gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/search' cd parser && gmake gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/parser' bison -d -y -o parsePL.cpp -p PL --debug -v PL.y bison -d -y -o parseLisp.cpp -p Lisp --debug -v Lisp.y bison -d -y -o parsesmtlib.cpp -p smtlib --debug -v smtlib.y bison -d -y -o parsesmtlib2.cpp -p smtlib2 --debug -v smtlib2.y conflicts: 4 shift/reduce conflicts: 3 shift/reduce PL.y:1531.24-1536.25: warning: rule useless in parser due to conflicts: AndExpr: AndExpr "AND" Expr PL.y:1549.25-1554.25: warning: rule useless in parser due to conflicts: OrExpr: OrExpr "OR" Expr flex -I -PLisp -olexLisp.cpp Lisp.lex flex -I -Psmtlib2 -olexsmtlib2.cpp smtlib2.lex flex -I -Psmtlib -olexsmtlib.cpp smtlib.lex flex -I -PPL -olexPL.cpp PL.lex Making dependencies for parsePL.cpp lexPL.cpp parseLisp.cpp lexLisp.cpp parsesmtlib.cpp lexsmtlib.cpp parsesmtlib2.cpp lexsmtlib2.cpp parser.cpp g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -O0 -I/usr/local/include parsePL.cpp lexPL.cpp parseLisp.cpp lexLisp.cpp parsesmtlib.cpp lexsmtlib.cpp parsesmtlib2.cpp lexsmtlib2.cpp parser.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/Makefile.tmp g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c parsePL.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parsePL.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c lexLisp.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/lexLisp.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c parseLisp.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parseLisp.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c lexPL.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/lexPL.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c parsesmtlib.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parsesmtlib.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c lexsmtlib.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/lexsmtlib.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c parsesmtlib2.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parsesmtlib2.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c lexsmtlib2.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/lexsmtlib2.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -O0 -I/usr/local/include -c parser.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parser.o' ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libparser.a' /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parsePL.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/lexPL.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parseLisp.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/lexLisp.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parsesmtlib.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/lexsmtlib.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parsesmtlib2.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/lexsmtlib2.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parser.o /usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libparser.a a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parsePL.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/lexPL.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parseLisp.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/lexLisp.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parsesmtlib.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/lexsmtlib.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parsesmtlib2.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/lexsmtlib2.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/parser/x86_64-dragonfly4.6/parser.o gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/parser' cd translator && gmake gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/translator' Making dependencies for translator.cpp g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include translator.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/translator/x86_64-dragonfly4.6/Makefile.tmp g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c translator.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/translator/x86_64-dragonfly4.6/translator.o' ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtranslator.a' /wrkdirs/math/cvc3/cvc3-2.4.1/obj/translator/x86_64-dragonfly4.6/translator.o /usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtranslator.a a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/translator/x86_64-dragonfly4.6/translator.o gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/translator' cd vcl && gmake gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/vcl' Making dependencies for vcl.cpp vc_cmd.cpp g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include vcl.cpp vc_cmd.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/vcl/x86_64-dragonfly4.6/Makefile.tmp g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c vcl.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/vcl/x86_64-dragonfly4.6/vcl.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c vc_cmd.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/vcl/x86_64-dragonfly4.6/vc_cmd.o' vc_cmd.cpp: In member function 'bool CVC3::VCCmd::evaluateCommand(const CVC3::Expr&)': vc_cmd.cpp:780:10: warning: unused variable 'b' [-Wunused-variable] bool b = d_vc->inconsistent(assertions); ^ ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libvcl.a' /wrkdirs/math/cvc3/cvc3-2.4.1/obj/vcl/x86_64-dragonfly4.6/vcl.o /wrkdirs/math/cvc3/cvc3-2.4.1/obj/vcl/x86_64-dragonfly4.6/vc_cmd.o /usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libvcl.a a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/vcl/x86_64-dragonfly4.6/vcl.o a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/vcl/x86_64-dragonfly4.6/vc_cmd.o gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/vcl' cd c_interface && gmake gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/c_interface' Making dependencies for c_interface.cpp g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include c_interface.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/c_interface/x86_64-dragonfly4.6/Makefile.tmp g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -I/usr/local/include -c c_interface.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/c_interface/x86_64-dragonfly4.6/c_interface.o' c_interface.cpp: In function 'void* vc_bvWriteToMemoryArray(VC, Expr, Expr, Expr, int)': c_interface.cpp:2043:9: warning: variable 'hi' set but not used [-Wunused-but-set-variable] int hi = newBitsPerElem - 1; ^ ar ruvs '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libc_interface.a' /wrkdirs/math/cvc3/cvc3-2.4.1/obj/c_interface/x86_64-dragonfly4.6/c_interface.o /usr/libexec/binutils225/elf/ar: creating /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libc_interface.a a - /wrkdirs/math/cvc3/cvc3-2.4.1/obj/c_interface/x86_64-dragonfly4.6/c_interface.o gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/c_interface' gmake /wrkdirs/math/cvc3/cvc3-2.4.1/lib/libcvc3.so.5.0.0 gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src' Building shared library /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libcvc3.so.5.0.0 rm -rf /wrkdirs/math/cvc3/cvc3-2.4.1/unpack_tmp /wrkdirs/math/cvc3/cvc3-2.4.1/bin/unpack /wrkdirs/math/cvc3/cvc3-2.4.1/unpack_tmp /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libcvc_util.a /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libcontext.a /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libexpr.a /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheorem.a /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libsat.a /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_core.a /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_arith.a /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_array.a /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_bitvector.a /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_datatype.a /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_quant.a /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_records.a /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_simulate.a /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtheory_uf.a /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libsearch.a /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libparser.a /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libtranslator.a /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libvcl.a /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libc_interface.a > UNPACKED Found 90 members in 19 libraries Unpacking cvc_util Unpacking context Unpacking expr Unpacking theorem Unpacking sat Unpacking theory_core Unpacking theory_arith Unpacking theory_array Unpacking theory_bitvector Unpacking theory_datatype Unpacking theory_quant Unpacking theory_records Unpacking theory_simulate Unpacking theory_uf Unpacking search Unpacking parser Unpacking translator Unpacking vcl Unpacking c_interface cat UNPACKED | xargs g++ -shared -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -L/usr/local/lib \ -Wl,-soname,libcvc3.so.5 -o '/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libcvc3.so.5.0.0' `` -lgmp ln -sf libcvc3.so.5.0.0 /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libcvc3.so.5.0 ln -sf libcvc3.so.5.0.0 /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libcvc3.so.5 ln -sf libcvc3.so.5.0.0 /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libcvc3.so ln -sf /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libcvc3.so.5.0.0 '/wrkdirs/math/cvc3/cvc3-2.4.1/lib//libcvc3.so.5.0.0' ln -sf libcvc3.so.5.0.0 '/wrkdirs/math/cvc3/cvc3-2.4.1/lib//libcvc3.so.5.0' ln -sf libcvc3.so.5.0.0 '/wrkdirs/math/cvc3/cvc3-2.4.1/lib//libcvc3.so.5' ln -sf libcvc3.so.5.0.0 '/wrkdirs/math/cvc3/cvc3-2.4.1/lib//libcvc3.so' gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src' cd cvc3 && gmake VERSION=2.4.1 gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/cvc3' Making dependencies for main.cpp g++ -M -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DVERSION=\"2.4.1\" -I/usr/local/include main.cpp >> /wrkdirs/math/cvc3/cvc3-2.4.1/obj/cvc3/x86_64-dragonfly4.6/Makefile.tmp gmake /wrkdirs/math/cvc3/cvc3-2.4.1/bin/x86_64-dragonfly4.6/cvc3 gmake[4]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/cvc3' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DVERSION=\"2.4.1\" -I/usr/local/include -c main.cpp -o '/wrkdirs/math/cvc3/cvc3-2.4.1/obj/cvc3/x86_64-dragonfly4.6/main.o' g++ -pipe -O2 -fno-strict-aliasing -fPIC -m64 -fPIC -O2 -Wall -I. -I/wrkdirs/math/cvc3/cvc3-2.4.1/src/include -DVERSION=\"2.4.1\" -L/usr/local/lib -o '/wrkdirs/math/cvc3/cvc3-2.4.1/bin/x86_64-dragonfly4.6/cvc3' /wrkdirs/math/cvc3/cvc3-2.4.1/obj/cvc3/x86_64-dragonfly4.6/main.o \ -L/wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6 -lcvc3 -lgmp gmake[4]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/cvc3' ln -sf /wrkdirs/math/cvc3/cvc3-2.4.1/bin/x86_64-dragonfly4.6/cvc3 /wrkdirs/math/cvc3/cvc3-2.4.1/bin/cvc3 gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/cvc3' gmake[2]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src' find /wrkdirs/math/cvc3/cvc3-2.4.1/src '(' -name "*.h" -o -name "*.cpp" -o \ -name "*.y" ')' \ ! -name "lexPL.cpp" ! -name "parsePL.cpp" \ -print > FILES gmake[1]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1' =========================================================================== =================================================== ===> cvc3-2.4.1 depends on package: perl5>=5.20<5.21 - found =========================================================================== =================================================== ===> Staging for cvc3-2.4.1 ===> Generating temporary packing list gmake[1]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1' gmake TARGET=install gmake[2]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1' cd /wrkdirs/math/cvc3/cvc3-2.4.1/src; gmake install VERSION=2.4.1 gmake[3]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src' gmake build TARGET= gmake[4]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src' cd util && gmake gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/util' gmake[5]: Nothing to be done for 'all'. gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/util' cd context && gmake gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/context' gmake[5]: Nothing to be done for 'all'. gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/context' cd expr && gmake gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/expr' gmake[5]: Nothing to be done for 'all'. gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/expr' cd theorem && gmake gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theorem' gmake[5]: Nothing to be done for 'all'. gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theorem' cd sat && gmake gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/sat' gmake[5]: Nothing to be done for 'all'. gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/sat' cd theory_core && gmake gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_core' gmake[5]: Nothing to be done for 'all'. gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_core' cd theory_arith && gmake gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_arith' gmake[5]: Nothing to be done for 'all'. gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_arith' cd theory_array && gmake gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_array' gmake[5]: Nothing to be done for 'all'. gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_array' cd theory_bitvector && gmake gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_bitvector' gmake[5]: Nothing to be done for 'all'. gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_bitvector' cd theory_datatype && gmake gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_datatype' gmake[5]: Nothing to be done for 'all'. gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_datatype' cd theory_quant && gmake gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_quant' gmake[5]: Nothing to be done for 'all'. gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_quant' cd theory_records && gmake gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_records' gmake[5]: Nothing to be done for 'all'. gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_records' cd theory_simulate && gmake gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_simulate' gmake[5]: Nothing to be done for 'all'. gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_simulate' cd theory_uf && gmake gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_uf' gmake[5]: Nothing to be done for 'all'. gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/theory_uf' cd search && gmake gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/search' gmake[5]: Nothing to be done for 'all'. gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/search' cd parser && gmake gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/parser' gmake[5]: Nothing to be done for 'all'. gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/parser' cd translator && gmake gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/translator' gmake[5]: Nothing to be done for 'all'. gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/translator' cd vcl && gmake gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/vcl' gmake[5]: Nothing to be done for 'all'. gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/vcl' cd c_interface && gmake gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/c_interface' gmake[5]: Nothing to be done for 'all'. gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/c_interface' gmake /wrkdirs/math/cvc3/cvc3-2.4.1/lib/libcvc3.so.5.0.0 gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src' ln -sf /wrkdirs/math/cvc3/cvc3-2.4.1/lib/x86_64-dragonfly4.6/libcvc3.so.5.0.0 '/wrkdirs/math/cvc3/cvc3-2.4.1/lib//libcvc3.so.5.0.0' ln -sf libcvc3.so.5.0.0 '/wrkdirs/math/cvc3/cvc3-2.4.1/lib//libcvc3.so.5.0' ln -sf libcvc3.so.5.0.0 '/wrkdirs/math/cvc3/cvc3-2.4.1/lib//libcvc3.so.5' ln -sf libcvc3.so.5.0.0 '/wrkdirs/math/cvc3/cvc3-2.4.1/lib//libcvc3.so' gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src' cd cvc3 && gmake VERSION=2.4.1 gmake[5]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/cvc3' gmake /wrkdirs/math/cvc3/cvc3-2.4.1/bin/x86_64-dragonfly4.6/cvc3 gmake[6]: Entering directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/cvc3' gmake[6]: '/wrkdirs/math/cvc3/cvc3-2.4.1/bin/x86_64-dragonfly4.6/cvc3' is up to date. gmake[6]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/cvc3' ln -sf /wrkdirs/math/cvc3/cvc3-2.4.1/bin/x86_64-dragonfly4.6/cvc3 /wrkdirs/math/cvc3/cvc3-2.4.1/bin/cvc3 gmake[5]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src/cvc3' gmake[4]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src' mkdir -p /wrkdirs/math/cvc3/stage/usr/local/include/cvc3 /usr/bin/install -c -m 644 /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/assumptions.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/c_interface.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/c_interface_defs.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/cdflags.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/cdlist.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/cdmap.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/cdmap_ordered.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/cdo.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/circuit.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/clause.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/cnf.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/cnf_manager.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/command_line_exception.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/command_line_flags.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/common_proof_rules.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/compat_hash_map.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/compat_hash_set.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/context.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/cvc_util.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/debug.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/dpllt.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/dpllt_basic.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/dpllt_minisat.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/eval_exception.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/exception.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/expr.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/expr_hash.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/expr_manager.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/expr_map.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/expr_op.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/expr_stream.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/expr_transform.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/expr_value.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/formula_value.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/fdstream.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/hash_fun.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/hash_table.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/hash_map.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/hash_set.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/kinds.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/lang.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/memory_manager.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/memory_manager_chunks.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/memory_manager_malloc.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/memory_manager_context.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/notifylist.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/os.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/parser.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/proof.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/rational.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/parser_exception.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/pretty_printer.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/queryresult.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/sat_api.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/search.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/search_impl_base.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/search_sat.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/search_simple.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/search_fast.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/smartcdo.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/smtlib_exception.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/sound_exception.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/statistics.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theorem.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theorem_manager.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theorem_producer.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theory_arith.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theory_arith_new.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theory_arith_old.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theory_arith3.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theory_array.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theory_bitvector.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theory_core.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theory_datatype.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theory_datatype_lazy.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theory.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theory_quant.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theory_records.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theory_simulate.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/theory_uf.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/translator.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/typecheck_exception.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/type.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/variable.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/vc_cmd.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/vc.h /wrkdirs/math/cvc3/cvc3-2.4.1/src/include/vcl.h /wrkdirs/math/cvc3/stage/usr/local/include/cvc3 mkdir -p /wrkdirs/math/cvc3/stage/usr/local/lib /usr/bin/install -c -m 644 /wrkdirs/math/cvc3/cvc3-2.4.1/lib/libcvc3.so.5.0.0 /wrkdirs/math/cvc3/stage/usr/local/lib ln -sf libcvc3.so.5.0.0 /wrkdirs/math/cvc3/stage/usr/local/lib/libcvc3.so.5.0 ln -sf libcvc3.so.5.0.0 /wrkdirs/math/cvc3/stage/usr/local/lib/libcvc3.so.5 ln -sf libcvc3.so.5.0.0 /wrkdirs/math/cvc3/stage/usr/local/lib/libcvc3.so mkdir -p /wrkdirs/math/cvc3/stage/usr/local/bin /usr/bin/install -c -m 755 /wrkdirs/math/cvc3/cvc3-2.4.1/bin/cvc3 /wrkdirs/math/cvc3/stage/usr/local/bin mkdir -p /wrkdirs/math/cvc3/stage/usr/local/libdata/pkgconfig /usr/bin/install -c -m 644 cvc3.pc /wrkdirs/math/cvc3/stage/usr/local/libdata/pkgconfig gmake[3]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1/src' gmake[2]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1' gmake[1]: Leaving directory '/wrkdirs/math/cvc3/cvc3-2.4.1' install -s -m 555 `readlink /wrkdirs/math/cvc3/cvc3-2.4.1/bin/cvc3` /wrkdirs/math/cvc3/stage/usr/local/bin /usr/bin/strip /wrkdirs/math/cvc3/stage/usr/local/lib/libcvc3.so.5.0.0 ====> Compressing man pages (compress-man) =========================================================================== =================================================== ===> Building package for cvc3-2.4.1 file sizes/checksums [93]: . done packing files [93]: . done packing directories [0]: . done =========================================================================== => Cleaning up wrkdir ===> Cleaning for cvc3-2.4.1 build of math/cvc3 ended at Sun Oct 9 06:31:24 PDT 2016 build time: 00:09:07