From owner-freebsd-pkg-fallout@FreeBSD.ORG Thu Oct 10 22:13:26 2013 Return-Path: Delivered-To: pkg-fallout@FreeBSD.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTP id E800BDDB; Thu, 10 Oct 2013 22:13:26 +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 C2DB52259; Thu, 10 Oct 2013 22:13:26 +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 r9AMDQwW093479; Thu, 10 Oct 2013 22:13:26 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by beefy1.isc.freebsd.org (8.14.7/8.14.7/Submit) id r9AMDQaL093470; Thu, 10 Oct 2013 22:13:26 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Thu, 10 Oct 2013 22:13:26 GMT From: pkg-fallout@FreeBSD.org Message-Id: <201310102213.r9AMDQaL093470@beefy1.isc.freebsd.org> To: lwhsu@FreeBSD.org Subject: [REL - head-i386-default][math/cvc3] Failed for cvc3-2.4.1 in build Cc: pkg-fallout@FreeBSD.org 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, 10 Oct 2013 22:13:27 -0000 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: lwhsu@FreeBSD.org Last committer: bapt@FreeBSD.org Ident: $FreeBSD: head/math/cvc3/Makefile 327746 2013-09-20 20:55:04Z bapt $ Log URL: http://beefy1.isc.freebsd.org/bulk/head-i386-default/2013-10-10_05h56m46s/logs/cvc3-2.4.1.log Build URL: http://beefy1.isc.freebsd.org/bulk/head-i386-default/2013-10-10_05h56m46s Log: ====>> Building math/cvc3 build started at Thu Oct 10 22:13:03 UTC 2013 port directory: /usr/ports/math/cvc3 building for: FreeBSD head-i386-default-job-02 10.0-ALPHA5 FreeBSD 10.0-ALPHA5 r256139 i386 maintained by: lwhsu@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=1000055 UNAME_v=FreeBSD 10.0-ALPHA5 r256139 UNAME_r=10.0-ALPHA5 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/head-i386-default/ref PKG_EXT=txz tpid=78769 POUDRIERE_BUILD_TYPE=bulk NBPARALLEL=24 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=head-i386-default USER=root HOME=/root POUDRIERE_VERSION=3.1-pre LOCALBASE=/usr/local PACKAGE_BUILDING=yes PKG_VERSION=/poudriere/pkg-static version ---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 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_7.txz Installing pkg-1.1.4_7... 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. =========================================================================== =================================================== =========================================================================== =================================================== ===> 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 /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.17,1... done Installing gettext-0.18.3... 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 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. Removing /usr/local/etc/perl5_version... Done. Creating /usr/local/etc/perl5_version... Done. done ===> Returning to build of cvc3-2.4.1 =========================================================================== =================================================== ===> 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 =========================================================================== =================================================== ===> 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 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' 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' 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' 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' 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' 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' 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