[RELEASE - head-default] Build failed for cvc3-2.4.1 during build
pkg-fallout at FreeBSD.org
pkg-fallout at FreeBSD.org
Fri Jul 19 14:05:04 UTC 2013
Maintainer: lwhsu at FreeBSD.org
Last committer: bapt at 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-07-18_22h43m19s/logs/cvc3-2.4.1.log
Build URL: http://beefy1.isc.freebsd.org/bulk/head-default/2013-07-18_22h43m19s
Log:
====>> Building math/cvc3
build started at Fri Jul 19 14:04:01 UTC 2013
port directory: /usr/ports/math/cvc3
building for: FreeBSD head-default-job-03 10.0-CURRENT FreeBSD 10.0-CURRENT i386
maintained by: lwhsu at 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=16700
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=1
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
=======================<phase: check-config >============================
=========================================================================
=======================<phase: pkg-depends >============================
===> 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
=========================================================================
=======================<phase: fetch-depends >============================
=========================================================================
=======================<phase: fetch >============================
===> Fetching all distfiles required by cvc3-2.4.1 for building
=========================================================================
=======================<phase: checksum >============================
===> Fetching all distfiles required by cvc3-2.4.1 for building
=> SHA256 Checksum OK for cvc3-2.4.1.tar.gz.
=========================================================================
=======================<phase: extract-depends>============================
===> 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
=========================================================================
=======================<phase: extract >============================
===> Fetching all distfiles required by cvc3-2.4.1 for building
===> Extracting for cvc3-2.4.1
=> SHA256 Checksum OK for cvc3-2.4.1.tar.gz.
=========================================================================
=======================<phase: patch-depends >============================
===> cvc3-2.4.1 depends on file: /usr/local/bin/perl5.14.4 - found
=========================================================================
=======================<phase: patch >============================
===> 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
=========================================================================
=======================<phase: build-depends >============================
===> 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
=========================================================================
=======================<phase: lib-depends >============================
===> 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
=========================================================================
=======================<phase: configure >============================
===> 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
=========================================================================
=======================<phase: build >============================
===> 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<false>'
vec<T>& operator = (vec<T>& other) { TEMPLATE_FAIL; }
^
./minisat_global.h:63:23: note: expanded from macro 'TEMPLATE_FAIL'
#define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE<false>()
^
./minisat_global.h:61:24: note: template is declared here
template <bool> struct STATIC_ASSERTION_FAILURE;
^
./minisat_global.h:155:43: error: implicit instantiation of undefined template 'MiniSat::STATIC_ASSERTION_FAILURE<false>'
vec (vec<T>& other) { TEMPLATE_FAIL; }
^
./minisat_global.h:63:23: note: expanded from macro 'TEMPLATE_FAIL'
#define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE<false>()
^
./minisat_global.h:61:24: note: template is declared here
template <bool> 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<double>& 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
More information about the freebsd-pkg-fallout
mailing list