From owner-freebsd-pkg-fallout@FreeBSD.ORG Thu Aug 1 10:19:56 2013 Return-Path: Delivered-To: pkg-fallout@FreeBSD.org Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTP id CE42CE11 for ; Thu, 1 Aug 2013 10:19:56 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from beefy1.isc.freebsd.org (beefy1.isc.freebsd.org [IPv6:2001:4f8:3:ffe0:4072:0:16:38]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mx1.freebsd.org (Postfix) with ESMTPS id 9E63927C6 for ; Thu, 1 Aug 2013 10:19:56 +0000 (UTC) Received: from beefy1.isc.freebsd.org (localhost [127.0.0.1]) by beefy1.isc.freebsd.org (8.14.7/8.14.7) with ESMTP id r71AJuAE071859 for ; Thu, 1 Aug 2013 10:19:56 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by beefy1.isc.freebsd.org (8.14.7/8.14.7/Submit) id r71AJuwu071838 for pkg-fallout@FreeBSD.org; Thu, 1 Aug 2013 10:19:56 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Thu, 1 Aug 2013 10:19:56 GMT From: pkg-fallout@FreeBSD.org Message-Id: <201308011019.r71AJuwu071838@beefy1.isc.freebsd.org> To: pkg-fallout@FreeBSD.org Subject: [RELEASE - head-default] Build failed for cvc3-2.4.1 during build X-BeenThere: freebsd-pkg-fallout@freebsd.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: Fallout logs from package building List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 01 Aug 2013 10:19:56 -0000 Maintainer: lwhsu@FreeBSD.org Last committer: bapt@FreeBSD.org Ident: $FreeBSD: head/math/cvc3/Makefile 313635 2013-03-08 11:32:11Z bapt $ Log URL: http://beefy1.isc.freebsd.org/bulk/head-default/2013-08-01_01h54m47s/logs/cvc3-2.4.1.log Build URL: http://beefy1.isc.freebsd.org/bulk/head-default/2013-08-01_01h54m47s Log: ====>> Building math/cvc3 build started at Thu Aug 1 10:18:53 UTC 2013 port directory: /usr/ports/math/cvc3 building for: FreeBSD head-default-job-02 10.0-CURRENT FreeBSD 10.0-CURRENT i386 maintained by: lwhsu@FreeBSD.org Makefile ident: $FreeBSD: head/math/cvc3/Makefile 313635 2013-03-08 11:32:11Z bapt $ Poudriere version: 3.1-pre ---Begin Environment--- UNAME_m=i386 UNAME_p=i386 OSVERSION=1000035 UNAME_v=FreeBSD 10.0-CURRENT UNAME_r=10.0-CURRENT BLOCKSIZE=K MAIL=/var/mail/root STATUS=1 MASTERMNT=/usr/local/poudriere/data/build/head-default/ref PKG_EXT=txz FORCE_PACKAGE=yes tpid=96408 PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin:/usr/local/bin:/root/bin POUDRIERE_BUILD_TYPE=bulk NBPARALLEL=24 PKGNG=1 PKGNAME=cvc3-2.4.1 PKG_DELETE=/usr/local/sbin/pkg delete -y -f PKG_ADD=/usr/local/sbin/pkg add PWD=/root MASTERNAME=head-default USER=root HOME=/root POUDRIERE_VERSION=3.1-pre SKIPSANITY=0 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-- TMPDIR="/tmp" MAKE=gmake TMPDIR="/tmp" SHELL=/bin/sh CONFIG_SHELL=/bin/sh CONFIG_SITE=/usr/ports/Templates/config.site lt_cv_sys_max_cmd_len=262144 --End CONFIGURE_ENV-- --MAKE_ENV-- TMPDIR="/tmp" TMPDIR="/tmp" SHELL=/bin/sh NO_LINT=YES PREFIX=/usr/local LOCALBASE=/usr/local LIBDIR="/usr/lib" CC="cc" CFLAGS="-O2 -pipe -fno-strict-aliasing" CPP="cpp" CPPFLAGS="" LDFLAGS="" CXX="c++" CXXFLAGS="-O2 -pipe -fno-strict-aliasing -fPIC" MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -o root -g wheel -m 555" BSD_INSTALL_LIB="install -s -o root -g wheel -m 444" BSD_INSTALL_SCRIPT="install -o root -g wheel -m 555" BSD_INSTALL_DATA="install -o root -g wheel -m 444" BSD_INSTALL_MAN="install -o root -g wheel -m 444" --End MAKE_ENV-- --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--- ARCH=i386 MACHINE=i386 MACHINE_ARCH=i386 USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PACKAGES=/packages DISTDIR=/distfiles #### /usr/local/etc/poudriere.d/make.conf #### WITH_PKGNG=yes NO_RESTRICTED=yes DISABLE_MAKE_JOBS=yes ---End make.conf--- ===> Cleaning for cvc3-2.4.1 =================================================== ========================================================================= =================================================== ===> cvc3-2.4.1 depends on file: /usr/local/sbin/pkg - not found ===> Verifying install for /usr/local/sbin/pkg in /usr/ports/ports-mgmt/pkg ===> Installing existing package /packages/All/pkg-1.1.4_1.txz Installing pkg-1.1.4_1... done If you are upgrading from the old package format, first run: # pkg2ng ===> 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. ========================================================================= =================================================== ===> cvc3-2.4.1 depends on file: /usr/local/bin/perl5.14.4 - not found ===> Verifying install for /usr/local/bin/perl5.14.4 in /usr/ports/lang/perl5.14 ===> Installing existing package /packages/All/perl-5.14.4.txz Installing perl-5.14.4...Removing stale symlinks from /usr/bin... Skipping /usr/bin/perl Skipping /usr/bin/perl5 Done. Creating various symlinks in /usr/bin... Symlinking /usr/local/bin/perl5.14.4 to /usr/bin/perl Symlinking /usr/local/bin/perl5.14.4 to /usr/bin/perl5 Done. Cleaning up /etc/make.conf... Done. Spamming /etc/make.conf... Done. done ===> Returning to build of cvc3-2.4.1 ========================================================================= =================================================== ===> 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. ========================================================================= =================================================== ===> cvc3-2.4.1 depends on file: /usr/local/bin/perl5.14.4 - found ========================================================================= =================================================== ===> Patching for cvc3-2.4.1 /usr/bin/sed -i.bak -e 's,/bin/bash,/bin/sh,' /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/Makefile.std /usr/bin/sed -i.bak -e 's,.*$(LDCONFIG).*,,' /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/Makefile /usr/bin/sed -i.bak -e 's,$(libdir)/pkgconfig,/usr/local/libdata/pkgconfig,' /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/Makefile ========================================================================= =================================================== ===> cvc3-2.4.1 depends on executable: bison - not found ===> Verifying install for bison in /usr/ports/devel/bison ===> Installing existing package /packages/All/bison-2.7.1,1.txz Installing bison-2.7.1,1...Installing m4-1.4.16_1,1... done Installing gettext-0.18.3...Installing libiconv-1.14_1... done done done ===> Returning to build of cvc3-2.4.1 ===> cvc3-2.4.1 depends on executable: gmake - not found ===> Verifying install for gmake in /usr/ports/devel/gmake ===> Installing existing package /packages/All/gmake-3.82_1.txz Installing gmake-3.82_1... done ===> Returning to build of cvc3-2.4.1 ===> cvc3-2.4.1 depends on file: /usr/local/bin/perl5.14.4 - found ========================================================================= =================================================== ===> cvc3-2.4.1 depends on shared library: gmp - not found ===> Verifying install for gmp in /usr/ports/math/gmp ===> Installing existing package /packages/All/gmp-5.1.2.txz Installing gmp-5.1.2... done ===> Returning to build of cvc3-2.4.1 ========================================================================= =================================================== ===> Configuring for cvc3-2.4.1 ===> FreeBSD 10 autotools fix applied to /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/configure 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 c++ accepts -g... yes checking how to run the C++ preprocessor... c++ -E checking for ar... ar checking build system type... i386-portbld-freebsd10.0 checking host system type... i386-portbld-freebsd10.0 checking for install... /usr/bin/install -c -o root -g wheel checking for ldconfig... /sbin/ldconfig checking for time... /usr/bin/time checking for perl... /usr/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 (c++ --version)... 3.3 386 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: WARNING: cache variable cvc_cv_cxx_version contains a newline 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: i386-freebsd10.0 Version: 2.4.1 Computer arithmetic: GMP Run ./configure --help for additional configuration options. Type 'make' to compile CVC3. *** CVC3 is configured to compile using shared libraries. *** Type "make ld_sh" for bash shells or "make ld_csh" for csh shells *** to see how to set LD_LIBRARY_PATH appropriately. To use static *** libraries and executables instead, run: *** ./configure --enable-static configure: WARNING: cache variable cvc_cv_cxx_version contains a newline ========================================================================= =================================================== ===> Building for cvc3-2.4.1 cd /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src; gmake VERSION=2.4.1 gmake[1]: Entering directory `/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src' cd util && gmake gmake[2]: Entering directory `/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/util' Making dependencies for debug.cpp statistics.cpp rational.cpp rational-native.cpp rational-gmp.cpp c++ -M -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -DRATIONAL_GMP -I/usr/local/include debug.cpp statistics.cpp rational.cpp rational-native.cpp rational-gmp.cpp >> /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/util/i386-freebsd10.0/Makefile.tmp gmake[2]: Leaving directory `/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/util' gmake[2]: Entering directory `/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/util' c++ -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -DRATIONAL_GMP -I/usr/local/include -c debug.cpp -o '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/util/i386-freebsd10.0/debug.o' c++ -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -DRATIONAL_GMP -I/usr/local/include -c statistics.cpp -o '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/util/i386-freebsd10.0/statistics.o' In file included from statistics.cpp:21: /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include/statistics.h:149:19: warning: private field 'd_os' is not used [-Wunused-private-field] std::ostream* d_os; ^ 1 warning generated. c++ -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -DRATIONAL_GMP -I/usr/local/include -c rational.cpp -o '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/util/i386-freebsd10.0/rational.o' c++ -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -DRATIONAL_GMP -I/usr/local/include -c rational-native.cpp -o '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/util/i386-freebsd10.0/rational-native.o' c++ -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -DRATIONAL_GMP -I/usr/local/include -c rational-gmp.cpp -o '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/util/i386-freebsd10.0/rational-gmp.o' ar ruvs '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/lib/i386-freebsd10.0/libcvc_util.a' /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/util/i386-freebsd10.0/debug.o /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/util/i386-freebsd10.0/statistics.o /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/util/i386-freebsd10.0/rational.o /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/util/i386-freebsd10.0/rational-native.o /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/util/i386-freebsd10.0/rational-gmp.o ar: warning: creating /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/lib/i386-freebsd10.0/libcvc_util.a a - /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/util/i386-freebsd10.0/debug.o a - /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/util/i386-freebsd10.0/statistics.o a - /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/util/i386-freebsd10.0/rational.o a - /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/util/i386-freebsd10.0/rational-native.o a - /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/util/i386-freebsd10.0/rational-gmp.o gmake[2]: Leaving directory `/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/util' cd context && gmake gmake[2]: Entering directory `/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/context' Making dependencies for context.cpp cdflags.cpp c++ -M -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include context.cpp cdflags.cpp >> /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/context/i386-freebsd10.0/Makefile.tmp gmake[2]: Leaving directory `/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/context' gmake[2]: Entering directory `/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/context' c++ -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c context.cpp -o '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/context/i386-freebsd10.0/context.o' c++ -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c cdflags.cpp -o '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/context/i386-freebsd10.0/cdflags.o' ar ruvs '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/lib/i386-freebsd10.0/libcontext.a' /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/context/i386-freebsd10.0/context.o /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/context/i386-freebsd10.0/cdflags.o ar: warning: creating /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/lib/i386-freebsd10.0/libcontext.a a - /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/context/i386-freebsd10.0/context.o a - /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/context/i386-freebsd10.0/cdflags.o gmake[2]: Leaving directory `/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/context' cd expr && gmake gmake[2]: Entering directory `/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/expr' Making dependencies for expr.cpp expr_manager.cpp expr_stream.cpp expr_value.cpp expr_op.cpp c++ -M -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include expr.cpp expr_manager.cpp expr_stream.cpp expr_value.cpp expr_op.cpp >> /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/expr/i386-freebsd10.0/Makefile.tmp gmake[2]: Leaving directory `/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/expr' gmake[2]: Entering directory `/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/expr' c++ -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c expr.cpp -o '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/expr/i386-freebsd10.0/expr.o' c++ -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c expr_manager.cpp -o '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/expr/i386-freebsd10.0/expr_manager.o' In file included from expr_manager.cpp:26: /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include/memory_manager_chunks.h:45:12: warning: private field 'd_chunkSize' is not used [-Wunused-private-field] unsigned d_chunkSize; // number of data elements ^ 1 warning generated. c++ -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c expr_stream.cpp -o '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/expr/i386-freebsd10.0/expr_stream.o' c++ -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c expr_value.cpp -o '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/expr/i386-freebsd10.0/expr_value.o' c++ -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c expr_op.cpp -o '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/expr/i386-freebsd10.0/expr_op.o' ar ruvs '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/lib/i386-freebsd10.0/libexpr.a' /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/expr/i386-freebsd10.0/expr.o /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/expr/i386-freebsd10.0/expr_manager.o /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/expr/i386-freebsd10.0/expr_stream.o /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/expr/i386-freebsd10.0/expr_value.o /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/expr/i386-freebsd10.0/expr_op.o ar: warning: creating /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/lib/i386-freebsd10.0/libexpr.a a - /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/expr/i386-freebsd10.0/expr.o a - /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/expr/i386-freebsd10.0/expr_manager.o a - /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/expr/i386-freebsd10.0/expr_stream.o a - /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/expr/i386-freebsd10.0/expr_value.o a - /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/expr/i386-freebsd10.0/expr_op.o gmake[2]: Leaving directory `/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/expr' cd theorem && gmake gmake[2]: Entering directory `/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/theorem' Making dependencies for assumptions.cpp theorem.cpp theorem_manager.cpp theorem_producer.cpp common_theorem_producer.cpp c++ -M -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include assumptions.cpp theorem.cpp theorem_manager.cpp theorem_producer.cpp common_theorem_producer.cpp >> /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/theorem/i386-freebsd10.0/Makefile.tmp gmake[2]: Leaving directory `/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/theorem' gmake[2]: Entering directory `/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/theorem' c++ -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c assumptions.cpp -o '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/theorem/i386-freebsd10.0/assumptions.o' c++ -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c theorem.cpp -o '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/theorem/i386-freebsd10.0/theorem.o' c++ -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c theorem_manager.cpp -o '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/theorem/i386-freebsd10.0/theorem_manager.o' In file included from theorem_manager.cpp:32: /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include/memory_manager_chunks.h:45:12: warning: private field 'd_chunkSize' is not used [-Wunused-private-field] unsigned d_chunkSize; // number of data elements ^ 1 warning generated. c++ -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c theorem_producer.cpp -o '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/theorem/i386-freebsd10.0/theorem_producer.o' c++ -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -I/usr/local/include -c common_theorem_producer.cpp -o '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/theorem/i386-freebsd10.0/common_theorem_producer.o' ar ruvs '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/lib/i386-freebsd10.0/libtheorem.a' /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/theorem/i386-freebsd10.0/assumptions.o /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/theorem/i386-freebsd10.0/theorem.o /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/theorem/i386-freebsd10.0/theorem_manager.o /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/theorem/i386-freebsd10.0/theorem_producer.o /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/theorem/i386-freebsd10.0/common_theorem_producer.o ar: warning: creating /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/lib/i386-freebsd10.0/libtheorem.a a - /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/theorem/i386-freebsd10.0/assumptions.o a - /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/theorem/i386-freebsd10.0/theorem.o a - /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/theorem/i386-freebsd10.0/theorem_manager.o a - /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/theorem/i386-freebsd10.0/theorem_producer.o a - /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/theorem/i386-freebsd10.0/common_theorem_producer.o gmake[2]: Leaving directory `/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/theorem' cd sat && gmake gmake[2]: Entering directory `/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/sat' Making dependencies for xchaff.cpp xchaff_dbase.cpp xchaff_solver.cpp xchaff_utils.cpp cnf.cpp cnf_manager.cpp cnf_theorem_producer.cpp dpllt_basic.cpp sat_api.cpp dpllt_minisat.cpp minisat_types.cpp minisat_derivation.cpp minisat_solver.cpp c++ -M -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include xchaff.cpp xchaff_dbase.cpp xchaff_solver.cpp xchaff_utils.cpp cnf.cpp cnf_manager.cpp cnf_theorem_producer.cpp dpllt_basic.cpp sat_api.cpp dpllt_minisat.cpp minisat_types.cpp minisat_derivation.cpp minisat_solver.cpp >> /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/sat/i386-freebsd10.0/Makefile.tmp gmake[2]: Leaving directory `/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/sat' gmake[2]: Entering directory `/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/sat' c++ -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c xchaff.cpp -o '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/sat/i386-freebsd10.0/xchaff.o' c++ -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c xchaff_dbase.cpp -o '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/sat/i386-freebsd10.0/xchaff_dbase.o' c++ -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c xchaff_solver.cpp -o '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/sat/i386-freebsd10.0/xchaff_solver.o' c++ -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c xchaff_utils.cpp -o '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/sat/i386-freebsd10.0/xchaff_utils.o' c++ -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c cnf.cpp -o '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/sat/i386-freebsd10.0/cnf.o' c++ -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c cnf_manager.cpp -o '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/sat/i386-freebsd10.0/cnf_manager.o' c++ -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c cnf_theorem_producer.cpp -o '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/sat/i386-freebsd10.0/cnf_theorem_producer.o' In file included from cnf_theorem_producer.cpp:25: ./cnf_theorem_producer.h:34:20: warning: private field 'd_flags' is not used [-Wunused-private-field] const CLFlags& d_flags; ^ 1 warning generated. c++ -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c dpllt_basic.cpp -o '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/sat/i386-freebsd10.0/dpllt_basic.o' c++ -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c sat_api.cpp -o '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/sat/i386-freebsd10.0/sat_api.o' c++ -O2 -pipe -fno-strict-aliasing -fPIC -m32 -fPIC -O2 -Wall -I. -I/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include -DDPLL_BASIC -I/usr/local/include -c dpllt_minisat.cpp -o '/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/sat/i386-freebsd10.0/dpllt_minisat.o' In file included from dpllt_minisat.cpp:24: In file included from ./minisat_solver.h:43: In file included from ./minisat_types.h:46: ./minisat_global.h:154:43: error: implicit instantiation of undefined template 'MiniSat::STATIC_ASSERTION_FAILURE' vec& operator = (vec& other) { TEMPLATE_FAIL; } ^ ./minisat_global.h:63:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ./minisat_global.h:61:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ ./minisat_global.h:155:43: error: implicit instantiation of undefined template 'MiniSat::STATIC_ASSERTION_FAILURE' vec (vec& other) { TEMPLATE_FAIL; } ^ ./minisat_global.h:63:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ./minisat_global.h:61:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ In file included from dpllt_minisat.cpp:24: In file included from ./minisat_solver.h:44: ./minisat_varorder.h:62:31: warning: private field 'activity' is not used [-Wunused-private-field] const std::vector& activity; // var->act. Pointer to external activity table. ^ ./minisat_varorder.h:64:23: warning: private field 'random_seed' is not used [-Wunused-private-field] double random_seed; // For the internal random number generator ^ 2 warnings and 2 errors generated. gmake[2]: *** [/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/sat/i386-freebsd10.0/dpllt_minisat.o] Error 1 gmake[2]: Leaving directory `/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/sat' gmake[1]: *** [build] Error 2 gmake[1]: Leaving directory `/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src' gmake: *** [build] Error 2 *** Error code 1 Stop. make: stopped in /usr/ports/math/cvc3 ===> Cleaning for cvc3-2.4.1