Attachment 446000 Details for Bug 593982 – sci-mathematics:cvc3-2.4.1:20160916-154038.log

sci-mathematics:cvc3-2.4.1:20160916-154038.log

sci-mathematics:cvc3-2.4.1:20160916-154038.log (text/plain), 23.78 KB, created by Toralf Förster on 2016-09-16 15:52:31 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Toralf Förster

Created: 2016-09-16 15:52:31 UTC

Size: 23.78 KB

patch

obsolete

> * 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'

Actions: View

Attachments on bug 593982: 445996 | 445998 | 446000