CMakeError.log

CMakeError.log (text/plain), 7.29 KB, created by Toralf Förster on 2022-02-14 20:57:20 UTC

Performing C++ SOURCE FILE Test CVC4_NEED_INT64_T_OVERLOADS failed with the following output:
Change Dir: /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp

Run Build Command(s):/usr/bin/gmake -f Makefile cmTC_d55cf/fast && /usr/bin/gmake  -f CMakeFiles/cmTC_d55cf.dir/build.make CMakeFiles/cmTC_d55cf.dir/build
gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp'
Building CXX object CMakeFiles/cmTC_d55cf.dir/src.cxx.o
/usr/bin/x86_64-pc-linux-gnu-g++ -DCVC4_NEED_INT64_T_OVERLOADS   -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-deprecated -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -Wno-class-memaccess  -o CMakeFiles/cmTC_d55cf.dir/src.cxx.o -c /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/src.cxx
/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/src.cxx:4:8: error: redefinition of ‘void foo(int64_t)’
    4 |   void foo(int64_t) {}
      |        ^~~
/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/src.cxx:3:8: note: ‘void foo(long int)’ previously defined here
    3 |   void foo(long) {}
      |        ^~~
gmake[1]: *** [CMakeFiles/cmTC_d55cf.dir/build.make:78: CMakeFiles/cmTC_d55cf.dir/src.cxx.o] Error 1
gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp'
gmake: *** [Makefile:127: cmTC_d55cf/fast] Error 2


Source file was:

  #include <stdint.h>
  void foo(long) {}
  void foo(int64_t) {}
  int main() { return 0; }
  
Performing C++ SOURCE FILE Test CVC4_NEED_HASH_UINT64_T_OVERLOAD failed with the following output:
Change Dir: /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp

Run Build Command(s):/usr/bin/gmake -f Makefile cmTC_9b204/fast && /usr/bin/gmake  -f CMakeFiles/cmTC_9b204.dir/build.make CMakeFiles/cmTC_9b204.dir/build
gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp'
Building CXX object CMakeFiles/cmTC_9b204.dir/src.cxx.o
/usr/bin/x86_64-pc-linux-gnu-g++ -DCVC4_NEED_HASH_UINT64_T_OVERLOAD   -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-deprecated -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -Wno-class-memaccess  -o CMakeFiles/cmTC_9b204.dir/src.cxx.o -c /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/src.cxx
/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/src.cxx:4:37: error: redefinition of ‘struct std::hash<long unsigned int>’
    4 |   namespace std { template<> struct hash<uint64_t> {}; }
      |                                     ^~~~~~~~~~~~~~
In file included from /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include/g++-v11/functional:56,
                 from /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/src.cxx:3:
/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include/g++-v11/bits/functional_hash.h:169:3: note: previous definition of ‘struct std::hash<long unsigned int>’
  169 |   _Cxx_hashtable_define_trivial_hash(unsigned long)
      |   ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
gmake[1]: *** [CMakeFiles/cmTC_9b204.dir/build.make:78: CMakeFiles/cmTC_9b204.dir/src.cxx.o] Error 1
gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp'
gmake: *** [Makefile:127: cmTC_9b204/fast] Error 2


Source file was:

  #include <cstdint>
  #include <functional>
  namespace std { template<> struct hash<uint64_t> {}; }
  int main() { return 0; }
  
Determining if the optreset exist failed with the following output:
Change Dir: /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp

Run Build Command(s):/usr/bin/gmake -f Makefile cmTC_d7ca6/fast && /usr/bin/gmake  -f CMakeFiles/cmTC_d7ca6.dir/build.make CMakeFiles/cmTC_d7ca6.dir/build
gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp'
Building C object CMakeFiles/cmTC_d7ca6.dir/CheckSymbolExists.c.o
/usr/bin/x86_64-pc-linux-gnu-gcc    -pipe -march=native -fno-diagnostics-color -O2 -Wall -fexceptions -Wno-deprecated -Wimplicit-fallthrough -Wshadow  -o CMakeFiles/cmTC_d7ca6.dir/CheckSymbolExists.c.o -c /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/CheckSymbolExists.c
/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/CheckSymbolExists.c: In function ‘main’:
/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/CheckSymbolExists.c:8:19: error: ‘optreset’ undeclared (first use in this function)
    8 |   return ((int*)(&optreset))[argc];
      |                   ^~~~~~~~
/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/CheckSymbolExists.c:8:19: note: each undeclared identifier is reported only once for each function it appears in
gmake[1]: *** [CMakeFiles/cmTC_d7ca6.dir/build.make:78: CMakeFiles/cmTC_d7ca6.dir/CheckSymbolExists.c.o] Error 1
gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp'
gmake: *** [Makefile:127: cmTC_d7ca6/fast] Error 2


File /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/CheckSymbolExists.c:
/* */
#include <getopt.h>

int main(int argc, char** argv)
{
  (void)argv;
#ifndef optreset
  return ((int*)(&optreset))[argc];
#else
  (void)argc;
  return 0;
#endif
}
Performing C SOURCE FILE Test STRERROR_R_CHAR_P failed with the following output:
Change Dir: /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp

Run Build Command(s):/usr/bin/gmake -f Makefile cmTC_bac7c/fast && /usr/bin/gmake  -f CMakeFiles/cmTC_bac7c.dir/build.make CMakeFiles/cmTC_bac7c.dir/build
gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp'
Building C object CMakeFiles/cmTC_bac7c.dir/src.c.o
/usr/bin/x86_64-pc-linux-gnu-gcc -DSTRERROR_R_CHAR_P   -pipe -march=native -fno-diagnostics-color -O2 -Wall -fexceptions -Wno-deprecated -Wimplicit-fallthrough -Wshadow  -o CMakeFiles/cmTC_bac7c.dir/src.c.o -c /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/src.c
/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/src.c: In function ‘main’:
/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/src.c:6:14: error: invalid type argument of unary ‘*’ (have ‘int’)
    6 |     char c = *strerror_r(0, buf, 0);
      |              ^~~~~~~~~~~~~~~~~~~~~~
/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/src.c:6:10: warning: unused variable ‘c’ [-Wunused-variable]
    6 |     char c = *strerror_r(0, buf, 0);
      |          ^
gmake[1]: *** [CMakeFiles/cmTC_bac7c.dir/build.make:78: CMakeFiles/cmTC_bac7c.dir/src.c.o] Error 1
gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp'
gmake: *** [Makefile:127: cmTC_bac7c/fast] Error 2


Source file was:

  #include <string.h>
  int main(void)
  {
    char buf[1];
    char c = *strerror_r(0, buf, 0);
    return 0;
  }