* Package:    sci-mathematics/cvc3-2.4.1
 * Repository: gentoo
 * Maintainer: gienah@gentoo.org sci-mathematics@gentoo.org
 * USE:        abi_x86_64 amd64 elibc_glibc kernel_linux userland_GNU
 * FEATURES:   preserve-libs sandbox userpriv usersandbox
>>> Unpacking source...
>>> Unpacking cvc3-2.4.1.tar.gz to /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1 ...
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1 ...
 * econf: updating cvc3-2.4.1/config.guess with /usr/share/gnuconfig/config.guess
 * econf: updating cvc3-2.4.1/config.sub with /usr/share/gnuconfig/config.sub
./configure --prefix=/usr --build=x86_64-pc-linux-gnu --host=x86_64-pc-linux-gnu --mandir=/usr/share/man --infodir=/usr/share/info --datadir=/usr/share --sysconfdir=/etc --localstatedir=/var/lib --libdir=/usr/lib64 --enable-dynamic --disable-zchaff
checking for x86_64-pc-linux-gnu-g++... x86_64-pc-linux-gnu-g++
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 x86_64-pc-linux-gnu-g++ accepts -g... yes
checking how to run the C++ preprocessor... x86_64-pc-linux-gnu-g++ -E
checking for x86_64-pc-linux-gnu-ar... x86_64-pc-linux-gnu-ar
checking build system type... x86_64-pc-linux-gnu
checking host system type... x86_64-pc-linux-gnu
checking for install... /usr/lib/portage/python2.7/ebuild-helpers/xattr/install
checking for ldconfig... /sbin/ldconfig
checking for time... /usr/lib/plan9/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 (x86_64-pc-linux-gnu-g++ --version)... 86
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... etags
checking for ebrowse... ebrowse
configure: creating ./config.status
config.status: creating Makefile.local
config.status: creating LICENSE
config.status: creating src/cvc3.pc
config.status: creating bin/unpack
config.status: creating bin/run_tests
config.status: creating bin/cvc2smt
config.status: creating doc/Doxyfile
config.status: creating doc/Makefile

CVC3 is configured successfully.
Platform: x86_64-linux-gnu
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
>>> Source configured.
>>> Compiling source in /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1 ...
make -j1 
cd /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src; make  VERSION=2.4.1
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src'
cd util && make 
make[2]: Entering directory '/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/util'
Making dependencies for debug.cpp statistics.cpp rational.cpp rational-native.cpp rational-gmp.cpp
x86_64-pc-linux-gnu-g++ -M -march=native -O2 -pipe -m64 -fPIC -O2 -Wall -I. -I/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include -DRATIONAL_GMP  debug.cpp statistics.cpp rational.cpp rational-native.cpp rational-gmp.cpp >> /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/obj/util/x86_64-linux-gnu/Makefile.tmp
x86_64-pc-linux-gnu-g++ -march=native -O2 -pipe -m64 -fPIC -O2 -Wall -I. -I/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include -DRATIONAL_GMP  -c debug.cpp -o '/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/obj/util/x86_64-linux-gnu/debug.o'
x86_64-pc-linux-gnu-g++ -march=native -O2 -pipe -m64 -fPIC -O2 -Wall -I. -I/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include -DRATIONAL_GMP  -c statistics.cpp -o '/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/obj/util/x86_64-linux-gnu/statistics.o'
x86_64-pc-linux-gnu-g++ -march=native -O2 -pipe -m64 -fPIC -O2 -Wall -I. -I/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include -DRATIONAL_GMP  -c rational.cpp -o '/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/obj/util/x86_64-linux-gnu/rational.o'
x86_64-pc-linux-gnu-g++ -march=native -O2 -pipe -m64 -fPIC -O2 -Wall -I. -I/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include -DRATIONAL_GMP  -c rational-native.cpp -o '/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/obj/util/x86_64-linux-gnu/rational-native.o'
x86_64-pc-linux-gnu-g++ -march=native -O2 -pipe -m64 -fPIC -O2 -Wall -I. -I/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include -DRATIONAL_GMP  -c rational-gmp.cpp -o '/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/obj/util/x86_64-linux-gnu/rational-gmp.o'
ar ruvs '/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/lib/x86_64-linux-gnu/libcvc_util.a'  /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/obj/util/x86_64-linux-gnu/debug.o  /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/obj/util/x86_64-linux-gnu/statistics.o  /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/obj/util/x86_64-linux-gnu/rational.o  /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/obj/util/x86_64-linux-gnu/rational-native.o  /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/obj/util/x86_64-linux-gnu/rational-gmp.o 
ar: creating /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/lib/x86_64-linux-gnu/libcvc_util.a
a - /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/obj/util/x86_64-linux-gnu/debug.o
a - /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/obj/util/x86_64-linux-gnu/statistics.o
a - /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/obj/util/x86_64-linux-gnu/rational.o
a - /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/obj/util/x86_64-linux-gnu/rational-native.o
a - /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/obj/util/x86_64-linux-gnu/rational-gmp.o
make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/util'
cd context && make 
make[2]: Entering directory '/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/context'
Making dependencies for context.cpp cdflags.cpp
x86_64-pc-linux-gnu-g++ -M -march=native -O2 -pipe -m64 -fPIC -O2 -Wall -I. -I/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include  context.cpp cdflags.cpp >> /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/obj/context/x86_64-linux-gnu/Makefile.tmp
x86_64-pc-linux-gnu-g++ -march=native -O2 -pipe -m64 -fPIC -O2 -Wall -I. -I/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include  -c context.cpp -o '/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/obj/context/x86_64-linux-gnu/context.o'
x86_64-pc-linux-gnu-g++ -march=native -O2 -pipe -m64 -fPIC -O2 -Wall -I. -I/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include  -c cdflags.cpp -o '/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/obj/context/x86_64-linux-gnu/cdflags.o'
ar ruvs '/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/lib/x86_64-linux-gnu/libcontext.a'  /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/obj/context/x86_64-linux-gnu/context.o  /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/obj/context/x86_64-linux-gnu/cdflags.o 
ar: creating /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/lib/x86_64-linux-gnu/libcontext.a
a - /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/obj/context/x86_64-linux-gnu/context.o
a - /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/obj/context/x86_64-linux-gnu/cdflags.o
make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/context'
cd expr && make 
make[2]: Entering directory '/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/expr'
Making dependencies for expr.cpp expr_manager.cpp expr_stream.cpp expr_value.cpp expr_op.cpp
x86_64-pc-linux-gnu-g++ -M -march=native -O2 -pipe -m64 -fPIC -O2 -Wall -I. -I/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include  expr.cpp expr_manager.cpp expr_stream.cpp expr_value.cpp expr_op.cpp >> /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/obj/expr/x86_64-linux-gnu/Makefile.tmp
x86_64-pc-linux-gnu-g++ -march=native -O2 -pipe -m64 -fPIC -O2 -Wall -I. -I/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include  -c expr.cpp -o '/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/obj/expr/x86_64-linux-gnu/expr.o'
In file included from /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr_manager.h:445:0,
                 from /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr.h:803,
                 from expr.cpp:25:
/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr_value.h: In static member function ‘static size_t CVC3::ExprString::hash(const string&)’:
/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr_value.h:667:34: error: no match for call to ‘(std::hash<char*>) (const char*)’
     return s_charHash(str.c_str());
                                  ^
In file included from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/basic_string.h:5628:0,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/string:52,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/locale_classes.h:40,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/ios_base.h:41,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/ios:42,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/istream:38,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/sstream:38,
                 from /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr.h:26,
                 from expr.cpp:25:
/usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/functional_hash.h:93:7: note: candidate: std::size_t std::hash<_Tp*>::operator()(_Tp*) const [with _Tp = char; std::size_t = long unsigned int] <near match>
       operator()(_Tp* __p) const noexcept
       ^~~~~~~~
/usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/functional_hash.h:93:7: note:   conversion of argument 1 would be ill-formed:
In file included from /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr_manager.h:445:0,
                 from /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr.h:803,
                 from expr.cpp:25:
/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr_value.h:667:32: error: invalid conversion from ‘const char*’ to ‘char*’ [-fpermissive]
     return s_charHash(str.c_str());
                       ~~~~~~~~~^~
/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr_value.h: In static member function ‘static size_t CVC3::ExprRational::hash(const CVC3::Rational&)’:
/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr_value.h:751:43: error: no match for call to ‘(std::hash<char*>) (const char*)’
     return s_charHash(r.toString().c_str());
                                           ^
In file included from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/basic_string.h:5628:0,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/string:52,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/locale_classes.h:40,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/ios_base.h:41,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/ios:42,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/istream:38,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/sstream:38,
                 from /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr.h:26,
                 from expr.cpp:25:
/usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/functional_hash.h:93:7: note: candidate: std::size_t std::hash<_Tp*>::operator()(_Tp*) const [with _Tp = char; std::size_t = long unsigned int] <near match>
       operator()(_Tp* __p) const noexcept
       ^~~~~~~~
/usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/functional_hash.h:93:7: note:   conversion of argument 1 would be ill-formed:
In file included from /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr_manager.h:445:0,
                 from /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr.h:803,
                 from expr.cpp:25:
/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr_value.h:751:41: error: invalid conversion from ‘const char*’ to ‘char*’ [-fpermissive]
     return s_charHash(r.toString().c_str());
                       ~~~~~~~~~~~~~~~~~~^~
/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr_value.h: In member function ‘virtual size_t CVC3::ExprVar::computeHash() const’:
/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr_value.h:795:37: error: no match for call to ‘(std::hash<char*>) (const char*)’
     return s_charHash(d_name.c_str());
                                     ^
In file included from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/basic_string.h:5628:0,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/string:52,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/locale_classes.h:40,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/ios_base.h:41,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/ios:42,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/istream:38,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/sstream:38,
                 from /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr.h:26,
                 from expr.cpp:25:
/usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/functional_hash.h:93:7: note: candidate: std::size_t std::hash<_Tp*>::operator()(_Tp*) const [with _Tp = char; std::size_t = long unsigned int] <near match>
       operator()(_Tp* __p) const noexcept
       ^~~~~~~~
/usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/functional_hash.h:93:7: note:   conversion of argument 1 would be ill-formed:
In file included from /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr_manager.h:445:0,
                 from /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr.h:803,
                 from expr.cpp:25:
/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr_value.h:795:35: error: invalid conversion from ‘const char*’ to ‘char*’ [-fpermissive]
     return s_charHash(d_name.c_str());
                       ~~~~~~~~~~~~^~
/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr_value.h: In member function ‘virtual size_t CVC3::ExprSymbol::computeHash() const’:
/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr_value.h:834:37: error: no match for call to ‘(std::hash<char*>) (const char*)’
     return s_charHash(d_name.c_str())*PRIME + s_intHash(d_kind);
                                     ^
In file included from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/basic_string.h:5628:0,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/string:52,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/locale_classes.h:40,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/ios_base.h:41,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/ios:42,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/istream:38,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/sstream:38,
                 from /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr.h:26,
                 from expr.cpp:25:
/usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/functional_hash.h:93:7: note: candidate: std::size_t std::hash<_Tp*>::operator()(_Tp*) const [with _Tp = char; std::size_t = long unsigned int] <near match>
       operator()(_Tp* __p) const noexcept
       ^~~~~~~~
/usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/functional_hash.h:93:7: note:   conversion of argument 1 would be ill-formed:
In file included from /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr_manager.h:445:0,
                 from /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr.h:803,
                 from expr.cpp:25:
/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr_value.h:834:35: error: invalid conversion from ‘const char*’ to ‘char*’ [-fpermissive]
     return s_charHash(d_name.c_str())*PRIME + s_intHash(d_kind);
                       ~~~~~~~~~~~~^~
/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr_value.h: In member function ‘virtual size_t CVC3::ExprBoundVar::computeHash() const’:
/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr_value.h:874:37: error: no match for call to ‘(std::hash<char*>) (const char*)’
     return s_charHash(d_name.c_str())*PRIME + s_charHash(d_uid.c_str());
                                     ^
In file included from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/basic_string.h:5628:0,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/string:52,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/locale_classes.h:40,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/ios_base.h:41,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/ios:42,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/istream:38,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/sstream:38,
                 from /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr.h:26,
                 from expr.cpp:25:
/usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/functional_hash.h:93:7: note: candidate: std::size_t std::hash<_Tp*>::operator()(_Tp*) const [with _Tp = char; std::size_t = long unsigned int] <near match>
       operator()(_Tp* __p) const noexcept
       ^~~~~~~~
/usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/functional_hash.h:93:7: note:   conversion of argument 1 would be ill-formed:
In file included from /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr_manager.h:445:0,
                 from /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr.h:803,
                 from expr.cpp:25:
/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr_value.h:874:35: error: invalid conversion from ‘const char*’ to ‘char*’ [-fpermissive]
     return s_charHash(d_name.c_str())*PRIME + s_charHash(d_uid.c_str());
                       ~~~~~~~~~~~~^~
/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr_value.h:874:71: error: no match for call to ‘(std::hash<char*>) (const char*)’
     return s_charHash(d_name.c_str())*PRIME + s_charHash(d_uid.c_str());
                                                                       ^
In file included from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/basic_string.h:5628:0,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/string:52,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/locale_classes.h:40,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/ios_base.h:41,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/ios:42,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/istream:38,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/sstream:38,
                 from /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr.h:26,
                 from expr.cpp:25:
/usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/functional_hash.h:93:7: note: candidate: std::size_t std::hash<_Tp*>::operator()(_Tp*) const [with _Tp = char; std::size_t = long unsigned int] <near match>
       operator()(_Tp* __p) const noexcept
       ^~~~~~~~
/usr/lib/gcc/x86_64-pc-linux-gnu/6.2.0/include/g++-v6/bits/functional_hash.h:93:7: note:   conversion of argument 1 would be ill-formed:
In file included from /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr_manager.h:445:0,
                 from /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr.h:803,
                 from expr.cpp:25:
/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/include/expr_value.h:874:69: error: invalid conversion from ‘const char*’ to ‘char*’ [-fpermissive]
     return s_charHash(d_name.c_str())*PRIME + s_charHash(d_uid.c_str());
                                                          ~~~~~~~~~~~^~
make[2]: *** [/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/Makefile.std:194: /var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/obj/expr/x86_64-linux-gnu/expr.o] Error 1
make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src/expr'
make[1]: *** [Makefile:158: build] Error 2
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1/src'
make: *** [Makefile:44: build] Error 2
 * ERROR: sci-mathematics/cvc3-2.4.1::gentoo failed (compile phase):
 *   emake failed
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/cvc3-2.4.1::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/cvc3-2.4.1::gentoo'`.
 * The complete build log is located at '/var/log/portage/sci-mathematics:cvc3-2.4.1:20160916-154038.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/cvc3-2.4.1/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/cvc3-2.4.1/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1'
 * S: '/var/tmp/portage/sci-mathematics/cvc3-2.4.1/work/cvc3-2.4.1'