build.log

build.log (text/x-log), 13.49 KB, created by Franz Brauße on 2019-10-26 01:47:13 UTC

[32;01m * [39;49;00mPackage:    sci-mathematics/minisat-2.2.0-r4
[32;01m * [39;49;00mRepository: gentoo
[32;01m * [39;49;00mMaintainer: [e-mail]
[32;01m * [39;49;00mUSE:        abi_x86_64 amd64 elibc_glibc kernel_linux userland_GNU
[32;01m * [39;49;00mFEATURES:   network-sandbox preserve-libs sandbox userpriv usersandbox
>>> Unpacking source...
>>> Unpacking minisat-2.2.0.tar.gz to /var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat ...
 [32;01m*[0m Applying minisat-2.2.0-header_fix.patch ...
[A[90C [34;01m[ [32;01mok[34;01m ][0m
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat ...
>>> Source configured.
>>> Compiling source in /var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat ...
make -j10 -C core r 
make: Entering directory '/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core'
Making dependencies
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -I/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat \
   /var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/Solver.cc /var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/Main.cc  -MM | sed 's|\(.*\):|/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/\1 /var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/\1r /var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/\1d /var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/\1p:|' > depend.mk
for dir in mtl utils; do \
      if [ -r /var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/${dir}/depend.mk ]; then \
	  echo Depends on: ${dir}; \
	  cat /var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/${dir}/depend.mk >> depend.mk; \
      fi; \
  done
Compiling: core/Solver.or
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -I/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -g -D NDEBUG -c -o /var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/Solver.or /var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/Solver.cc
Compiling: core/Main.or
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -I/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -g -D NDEBUG -c -o /var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/Main.or /var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/Main.cc
Compiling: utils/System.or
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -I/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -g -D NDEBUG -c -o /var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/utils/System.or /var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/utils/System.cc
Compiling: utils/Options.or
x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -I/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -g -D NDEBUG -c -o /var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/utils/Options.or /var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/utils/Options.cc
In file included from [01m[K/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/Solver.h:27[m[K,
                 from [01m[K/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/Solver.cc:24[m[K:
[01m[K/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/utils/Options.h:285:29:[m[K [01;35m[Kwarning: [m[Kinvalid suffix on literal; C++11 requires a space between literal and string macro [[01;35m[K-Wliteral-suffix[m[K]
  285 |             fprintf(stderr, [01;35m[K"[m[K%4"PRIi64, range.begin);
      |                             [01;35m[K^[m[K
[01m[K/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/utils/Options.h:291:29:[m[K [01;35m[Kwarning: [m[Kinvalid suffix on literal; C++11 requires a space between literal and string macro [[01;35m[K-Wliteral-suffix[m[K]
  291 |             fprintf(stderr, [01;35m[K"[m[K%4"PRIi64, range.end);
      |                             [01;35m[K^[m[K
[01m[K/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/utils/Options.h:293:25:[m[K [01;35m[Kwarning: [m[Kinvalid suffix on literal; C++11 requires a space between literal and string macro [[01;35m[K-Wliteral-suffix[m[K]
  293 |         fprintf(stderr, [01;35m[K"[m[K] (default: %"PRIi64")\n", value);
      |                         [01;35m[K^[m[K
In file included from [01m[K/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/Main.cc:28[m[K:
[01m[K/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/utils/Options.h:285:29:[m[K [01;35m[Kwarning: [m[Kinvalid suffix on literal; C++11 requires a space between literal and string macro [[01;35m[K-Wliteral-suffix[m[K]
  285 |             fprintf(stderr, [01;35m[K"[m[K%4"PRIi64, range.begin);
      |                             [01;35m[K^[m[K
[01m[K/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/utils/Options.h:291:29:[m[K [01;35m[Kwarning: [m[Kinvalid suffix on literal; C++11 requires a space between literal and string macro [[01;35m[K-Wliteral-suffix[m[K]
  291 |             fprintf(stderr, [01;35m[K"[m[K%4"PRIi64, range.end);
      |                             [01;35m[K^[m[K
[01m[K/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/utils/Options.h:293:25:[m[K [01;35m[Kwarning: [m[Kinvalid suffix on literal; C++11 requires a space between literal and string macro [[01;35m[K-Wliteral-suffix[m[K]
  293 |         fprintf(stderr, [01;35m[K"[m[K] (default: %"PRIi64")\n", value);
      |                         [01;35m[K^[m[K
[01m[K/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/Main.cc:41:12:[m[K [01;35m[Kwarning: [m[Kinvalid suffix on literal; C++11 requires a space between literal and string macro [[01;35m[K-Wliteral-suffix[m[K]
   41 |     printf([01;35m[K"[m[Krestarts              : %"PRIu64"\n", solver.starts);
      |            [01;35m[K^[m[K
In file included from [01m[K/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/utils/Options.cc:21[m[K:
[01m[K/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/utils/Options.h:285:29:[m[K [01;35m[Kwarning: [m[Kinvalid suffix on literal; C++11 requires a space between literal and string macro [[01;35m[K-Wliteral-suffix[m[K]
  285 |             fprintf(stderr, [01;35m[K"[m[K%4"PRIi64, range.begin);
      |                             [01;35m[K^[m[K
[01m[K/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/Main.cc:42:12:[m[K [01;35m[Kwarning: [m[Kinvalid suffix on literal; C++11 requires a space between literal and string macro [[01;35m[K-Wliteral-suffix[m[K]
   42 |     printf([01;35m[K"[m[Kconflicts             : %-12"PRIu64"   (%.0f /sec)\n", solver.conflicts   , solver.conflicts   /cpu_time);
      |            [01;35m[K^[m[K
[01m[K/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/Main.cc:43:12:[m[K [01;35m[Kwarning: [m[Kinvalid suffix on literal; C++11 requires a space between literal and string macro [[01;35m[K-Wliteral-suffix[m[K]
   43 |     printf([01;35m[K"[m[Kdecisions             : %-12"PRIu64"   (%4.2f %% random) (%.0f /sec)\n", solver.decisions, (float)solver.rnd_decisions*100 / (float)solver.decisions, solver.decisions   /cpu_time);
      |            [01;35m[K^[m[K
[01m[K/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/utils/Options.h:291:29:[m[K [01;35m[Kwarning: [m[Kinvalid suffix on literal; C++11 requires a space between literal and string macro [[01;35m[K-Wliteral-suffix[m[K]
  291 |             fprintf(stderr, [01;35m[K"[m[K%4"PRIi64, range.end);
      |                             [01;35m[K^[m[K
[01m[K/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/Main.cc:44:12:[m[K [01;35m[Kwarning: [m[Kinvalid suffix on literal; C++11 requires a space between literal and string macro [[01;35m[K-Wliteral-suffix[m[K]
   44 |     printf([01;35m[K"[m[Kpropagations          : %-12"PRIu64"   (%.0f /sec)\n", solver.propagations, solver.propagations/cpu_time);
      |            [01;35m[K^[m[K
[01m[K/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/Main.cc:45:12:[m[K [01;35m[Kwarning: [m[Kinvalid suffix on literal; C++11 requires a space between literal and string macro [[01;35m[K-Wliteral-suffix[m[K]
   45 |     printf([01;35m[K"[m[Kconflict literals     : %-12"PRIu64"   (%4.2f %% deleted)\n", solver.tot_literals, (solver.max_literals - solver.tot_literals)*100 / (double)solver.max_literals);
      |            [01;35m[K^[m[K
[01m[K/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/utils/Options.h:293:25:[m[K [01;35m[Kwarning: [m[Kinvalid suffix on literal; C++11 requires a space between literal and string macro [[01;35m[K-Wliteral-suffix[m[K]
  293 |         fprintf(stderr, [01;35m[K"[m[K] (default: %"PRIi64")\n", value);
      |                         [01;35m[K^[m[K
In file included from [01m[K/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/Dimacs.h:27[m[K,
                 from [01m[K/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/Main.cc:29[m[K:
[01m[K/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/SolverTypes.h:50:16:[m[K [01;31m[Kerror: [m[Kfriend declaration of '[01m[KMinisat::Lit mkLit(Minisat::Var, bool)[m[K' specifies default arguments and isn't a definition [[01;31m[K-fpermissive[m[K]
   50 |     friend Lit [01;31m[KmkLit[m[K(Var var, bool sign = false);
      |                [01;31m[K^~~~~[m[K
[01m[K/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/SolverTypes.h:58:14:[m[K [01;31m[Kerror: [m[Kfriend declaration of '[01m[KMinisat::Lit Minisat::mkLit(Minisat::Var, bool)[m[K' specifies default arguments and isn't the only declaration [[01;31m[K-fpermissive[m[K]
   58 | inline  Lit  [01;31m[KmkLit[m[K     (Var var, bool sign) { Lit p; p.x = var + var + (int)sign; return p; }
      |              [01;31m[K^~~~~[m[K
[01m[K/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/SolverTypes.h:50:16:[m[K [01;36m[Knote: [m[Kprevious declaration of '[01m[KMinisat::Lit Minisat::mkLit(Minisat::Var, bool)[m[K'
   50 |     friend Lit [01;36m[KmkLit[m[K(Var var, bool sign = false);
      |                [01;36m[K^~~~~[m[K
In file included from [01m[K/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/Solver.h:28[m[K,
                 from [01m[K/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/Solver.cc:24[m[K:
[01m[K/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/SolverTypes.h:50:16:[m[K [01;31m[Kerror: [m[Kfriend declaration of '[01m[KMinisat::Lit mkLit(Minisat::Var, bool)[m[K' specifies default arguments and isn't a definition [[01;31m[K-fpermissive[m[K]
   50 |     friend Lit [01;31m[KmkLit[m[K(Var var, bool sign = false);
      |                [01;31m[K^~~~~[m[K
[01m[K/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/SolverTypes.h:58:14:[m[K [01;31m[Kerror: [m[Kfriend declaration of '[01m[KMinisat::Lit Minisat::mkLit(Minisat::Var, bool)[m[K' specifies default arguments and isn't the only declaration [[01;31m[K-fpermissive[m[K]
   58 | inline  Lit  [01;31m[KmkLit[m[K     (Var var, bool sign) { Lit p; p.x = var + var + (int)sign; return p; }
      |              [01;31m[K^~~~~[m[K
[01m[K/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/SolverTypes.h:50:16:[m[K [01;36m[Knote: [m[Kprevious declaration of '[01m[KMinisat::Lit Minisat::mkLit(Minisat::Var, bool)[m[K'
   50 |     friend Lit [01;36m[KmkLit[m[K(Var var, bool sign = false);
      |                [01;36m[K^~~~~[m[K
make: *** [/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/mtl/template.mk:71: /var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/Main.or] Error 1
make: *** Waiting for unfinished jobs....
make: *** [/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/mtl/template.mk:71: /var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core/Solver.or] Error 1
make: Leaving directory '/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat/core'
 [31;01m*[0m ERROR: sci-mathematics/minisat-2.2.0-r4::gentoo failed (compile phase):
 [31;01m*[0m   emake failed
 [31;01m*[0m 
 [31;01m*[0m If you need support, post the output of `emerge --info '=sci-mathematics/minisat-2.2.0-r4::gentoo'`,
 [31;01m*[0m the complete build log and the output of `emerge -pqv '=sci-mathematics/minisat-2.2.0-r4::gentoo'`.
 [31;01m*[0m The complete build log is located at '/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/temp/build.log'.
 [31;01m*[0m The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/temp/environment'.
 [31;01m*[0m Working directory: '/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat'
 [31;01m*[0m S: '/var/tmp/portage/sci-mathematics/minisat-2.2.0-r4/work/minisat'