You are receiving this mail as a port that you maintain
is failing to build on the FreeBSD package build server.
Please investigate the failure and submit a PR to fix
build.

Maintainer:     lw...@freebsd.org
Last committer: b...@freebsd.org
Ident:          $FreeBSD: head/math/cvc3/Makefile 327746 2013-09-20 20:55:04Z 
bapt $
Log URL:        
http://beefy1.isc.freebsd.org/bulk/10i386-default/2013-10-17_04h52m04s/logs/cvc3-2.4.1.log
Build URL:      
http://beefy1.isc.freebsd.org/bulk/10i386-default/2013-10-17_04h52m04s
Log:

====>> Building math/cvc3
build started at Thu Oct 17 18:39:54 UTC 2013
port directory: /usr/ports/math/cvc3
building for: FreeBSD 10i386-default-job-07 10.0-BETA1 FreeBSD 10.0-BETA1 
r256420 i386
maintained by: lw...@freebsd.org
Makefile ident:      $FreeBSD: head/math/cvc3/Makefile 327746 2013-09-20 
20:55:04Z bapt $
Poudriere version: 3.1-pre

---Begin Environment---
UNAME_m=i386
UNAME_p=i386
OSVERSION=1000500
UNAME_v=FreeBSD 10.0-BETA1 r256420
UNAME_r=10.0-BETA1
BLOCKSIZE=K
MAIL=/var/mail/root
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin:/usr/local/bin:/root/bin
STATUS=1
MASTERMNT=/usr/local/poudriere/data/build/10i386-default/ref
PKG_EXT=txz
tpid=10067
POUDRIERE_BUILD_TYPE=bulk
PKGNG=1
PKGNAME=cvc3-2.4.1
PKG_DELETE=/usr/local/sbin/pkg-static delete -y -f
PKG_ADD=/usr/local/sbin/pkg-static add
PWD=/root
MASTERNAME=10i386-default
USER=root
HOME=/root
POUDRIERE_VERSION=3.1-pre
LOCALBASE=/usr/local
PACKAGE_BUILDING=yes
PKG_VERSION=/poudriere/pkg-static version
PKG_BIN=/usr/local/sbin/pkg-static
---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 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" 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
PORTSDIR=/usr/ports
PACKAGES=/packages
DISTDIR=/distfiles
#### /usr/local/etc/poudriere.d/make.conf ####
WITH_PKGNG=yes
NO_RESTRICTED=yes
DISABLE_MAKE_JOBS=poudriere
---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_8.txz
Installing pkg-1.1.4_8... 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>============================
===========================================================================
=======================<phase: extract        >============================
===> Fetching all distfiles required by cvc3-2.4.1 for building
===>  Extracting for cvc3-2.4.1
=> SHA256 Checksum OK for cvc3-2.4.1.tar.gz.
===========================================================================
=======================<phase: patch-depends  >============================
===========================================================================
=======================<phase: patch          >============================
===>  Patching for cvc3-2.4.1
/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.17,1... done
Installing gettext-0.18.3.1... 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 - 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_2.txz
Installing perl-5.14.4_2...Removing /usr/local/etc/perl5_version... Done.
Creating /usr/local/etc/perl5_version... Done.
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.
 done
===>   Returning to build of cvc3-2.4.1
===========================================================================
=======================<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.3.txz
Installing gmp-5.1.3... 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
gmake[1]: Entering directory `/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1'
cd /wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src; gmake  VERSION=2.4.1
gmake[2]: Entering directory `/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src'
cd util && gmake 
gmake[3]: 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[3]: Leaving directory 
`/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/util'
gmake[3]: 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[3]: Leaving directory 
`/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/util'
cd context && gmake 
gmake[3]: 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[3]: Leaving directory 
`/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/context'
gmake[3]: 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[3]: Leaving directory 
`/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/context'
cd expr && gmake 
gmake[3]: 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[3]: Leaving directory 
`/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/expr'
gmake[3]: 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'
In file included from expr.cpp:25:
In file included from 
/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include/expr.h:803:
In file included from 
/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include/expr_manager.h:445:
/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include/expr_value.h:667:12: 
error: no matching function for call to object of type 'std::hash<char *>'
    return s_charHash(str.c_str());
           ^~~~~~~~~~
/usr/include/c++/v1/memory:3459:12: note: candidate function not viable: 1st 
argument ('const value_type *' (aka 'const char *')) would lose const qualifier
    size_t operator()(_Tp* __v) const _NOEXCEPT
           ^
In file included from expr.cpp:25:
In file included from 
/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include/expr.h:803:
In file included from 
/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include/expr_manager.h:445:
/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include/expr_value.h:751:12: 
error: no matching function for call to object of type 'std::hash<char *>'
    return s_charHash(r.toString().c_str());
           ^~~~~~~~~~
/usr/include/c++/v1/memory:3459:12: note: candidate function not viable: 1st 
argument ('const value_type *' (aka 'const char *')) would lose const qualifier
    size_t operator()(_Tp* __v) const _NOEXCEPT
           ^
In file included from expr.cpp:25:
In file included from 
/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include/expr.h:803:
In file included from 
/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include/expr_manager.h:445:
/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include/expr_value.h:795:12: 
error: no matching function for call to object of type 'std::hash<char *>'
    return s_charHash(d_name.c_str());
           ^~~~~~~~~~
/usr/include/c++/v1/memory:3459:12: note: candidate function not viable: 1st 
argument ('const value_type *' (aka 'const char *')) would lose const qualifier
    size_t operator()(_Tp* __v) const _NOEXCEPT
           ^
In file included from expr.cpp:25:
In file included from 
/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include/expr.h:803:
In file included from 
/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include/expr_manager.h:445:
/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include/expr_value.h:834:12: 
error: no matching function for call to object of type 'std::hash<char *>'
    return s_charHash(d_name.c_str())*PRIME + s_intHash(d_kind);
           ^~~~~~~~~~
/usr/include/c++/v1/memory:3459:12: note: candidate function not viable: 1st 
argument ('const value_type *' (aka 'const char *')) would lose const qualifier
    size_t operator()(_Tp* __v) const _NOEXCEPT
           ^
In file included from expr.cpp:25:
In file included from 
/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include/expr.h:803:
In file included from 
/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include/expr_manager.h:445:
/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include/expr_value.h:874:12: 
error: no matching function for call to object of type 'std::hash<char *>'
    return s_charHash(d_name.c_str())*PRIME + s_charHash(d_uid.c_str());
           ^~~~~~~~~~
/usr/include/c++/v1/memory:3459:12: note: candidate function not viable: 1st 
argument ('const value_type *' (aka 'const char *')) would lose const qualifier
    size_t operator()(_Tp* __v) const _NOEXCEPT
           ^
In file included from expr.cpp:25:
In file included from 
/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include/expr.h:803:
In file included from 
/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include/expr_manager.h:445:
/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/include/expr_value.h:874:47: 
error: no matching function for call to object of type 'std::hash<char *>'
    return s_charHash(d_name.c_str())*PRIME + s_charHash(d_uid.c_str());
                                              ^~~~~~~~~~
/usr/include/c++/v1/memory:3459:12: note: candidate function not viable: 1st 
argument ('const value_type *' (aka 'const char *')) would lose const qualifier
    size_t operator()(_Tp* __v) const _NOEXCEPT
           ^
6 errors generated.
gmake[3]: *** 
[/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/obj/expr/i386-freebsd10.0/expr.o] 
Error 1
gmake[3]: Leaving directory 
`/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src/expr'
gmake[2]: *** [build] Error 2
gmake[2]: Leaving directory `/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1/src'
gmake[1]: *** [build] Error 2
gmake[1]: Leaving directory `/wrkdirs/usr/ports/math/cvc3/work/cvc3-2.4.1'
*** Error code 1

Stop.
make: stopped in /usr/ports/math/cvc3
===>  Cleaning for cvc3-2.4.1
_______________________________________________
freebsd-pkg-fallout@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-pkg-fallout
To unsubscribe, send any mail to "freebsd-pkg-fallout-unsubscr...@freebsd.org"

Reply via email to