* Package:    sci-mathematics/minisat-2.2.0_p20130925
 * Repository: gentoo
 * Maintainer: sci@gentoo.org
 * USE:        abi_x86_64 amd64 elibc_glibc kernel_linux userland_GNU
 * FEATURES:   preserve-libs sandbox userpriv usersandbox
>>> Unpacking source...
>>> Source unpacked in /var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/work/minisat-2.2.0_p20130925 ...
 * Applying minisat-2.2.0_p20130925-nusmv.patch ...
 [ ok ]
 * Correcting header minisat/utils/System.h
 * Correcting header minisat/utils/ParseUtils.h
 * Correcting header minisat/utils/Options.h
 * Correcting header minisat/simp/Solver_C.h
 * Correcting header minisat/simp/SimpSolver.h
 * Correcting header minisat/mtl/XAlloc.h
 * Correcting header minisat/mtl/Vec.h
 * Correcting header minisat/mtl/Sort.h
 * Correcting header minisat/mtl/Rnd.h
 * Correcting header minisat/mtl/Queue.h
 * Correcting header minisat/mtl/Map.h
 * Correcting header minisat/mtl/IntTypes.h
 * Correcting header minisat/mtl/IntMap.h
 * Correcting header minisat/mtl/Heap.h
 * Correcting header minisat/mtl/Alloc.h
 * Correcting header minisat/mtl/Alg.h
 * Correcting header minisat/core/SolverTypes.h
 * Correcting header minisat/core/Solver.h
 * Correcting header minisat/core/Dimacs.h
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/work/minisat-2.2.0_p20130925 ...
make -j1 config prefix=/usr MINISAT_RELSYM= 'MINISAT_REL=-march=native -O2 -pipe -D NDEBUG -I/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/work/minisat-2.2.0_p20130925/minisat' 'MINISAT_PRF=-march=native -O2 -pipe -D NDEBUG -I/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/work/minisat-2.2.0_p20130925/minisat' 'MINISAT_DEB=-march=native -O2 -pipe -D DEBUG -I/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/work/minisat-2.2.0_p20130925/minisat' 
>>> Source configured.
>>> Compiling source in /var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/work/minisat-2.2.0_p20130925 ...
make -j1 all 
Compiling: build/release/minisat/simp/Main.o
mkdir -p build/release/minisat/simp/
g++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -march=native -O2 -pipe -D NDEBUG -I/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/work/minisat-2.2.0_p20130925/minisat  -fpic -march=native -O2 -pipe -c -o build/release/minisat/simp/Main.o minisat/simp/Main.cc -MMD -MF build/release/minisat/simp/Main.d
In file included from minisat/simp/Main.cc:26:0:
./minisat/utils/Options.h:285:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
             fprintf(stderr, "%4"PRIi64, range.begin);
                             ^
./minisat/utils/Options.h:291:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
             fprintf(stderr, "%4"PRIi64, range.end);
                             ^
./minisat/utils/Options.h:293:25: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
         fprintf(stderr, "] (default: %"PRIi64")\n", value);
                         ^
In file included from minisat/simp/Main.cc:27:0:
./minisat/core/Dimacs.h: In instantiation of ‘void Minisat::parse_DIMACS_main(B&, Solver&, bool) [with B = Minisat::StreamBuffer; Solver = Minisat::SimpSolver]’:
./minisat/core/Dimacs.h:82:22:   required from ‘void Minisat::parse_DIMACS(gzFile, Solver&, bool) [with Solver = Minisat::SimpSolver; gzFile = gzFile_s*]’
minisat/simp/Main.cc:99:42:   required from here
./minisat/core/Dimacs.h:50:9: warning: variable ‘vars’ set but not used [-Wunused-but-set-variable]
     int vars    = 0;
         ^~~~
Compiling: build/release/minisat/core/Solver.o
mkdir -p build/release/minisat/core/
g++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -march=native -O2 -pipe -D NDEBUG -I/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/work/minisat-2.2.0_p20130925/minisat  -fpic -march=native -O2 -pipe -c -o build/release/minisat/core/Solver.o minisat/core/Solver.cc -MMD -MF build/release/minisat/core/Solver.d
In file included from ./minisat/core/Solver.h:28:0,
                 from minisat/core/Solver.cc:26:
/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/work/minisat-2.2.0_p20130925/minisat/utils/Options.h:285:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
             fprintf(stderr, "%4"PRIi64, range.begin);
                             ^
/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/work/minisat-2.2.0_p20130925/minisat/utils/Options.h:291:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
             fprintf(stderr, "%4"PRIi64, range.end);
                             ^
/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/work/minisat-2.2.0_p20130925/minisat/utils/Options.h:293:25: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
         fprintf(stderr, "] (default: %"PRIi64")\n", value);
                         ^
minisat/core/Solver.cc:1030:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
     printf("restarts              : %"PRIu64"\n", starts);
            ^
minisat/core/Solver.cc:1031:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
     printf("conflicts             : %-12"PRIu64"   (%.0f /sec)\n", conflicts   , conflicts   /cpu_time);
            ^
minisat/core/Solver.cc:1032:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
     printf("decisions             : %-12"PRIu64"   (%4.2f %% random) (%.0f /sec)\n", decisions, (float)rnd_decisions*100 / (float)decisions, decisions   /cpu_time);
            ^
minisat/core/Solver.cc:1033:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
     printf("propagations          : %-12"PRIu64"   (%.0f /sec)\n", propagations, propagations/cpu_time);
            ^
minisat/core/Solver.cc:1034:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
     printf("conflict literals     : %-12"PRIu64"   (%4.2f %% deleted)\n", tot_literals, (max_literals - tot_literals)*100 / (double)max_literals);
            ^
Compiling: build/release/minisat/simp/Solver_C.o
mkdir -p build/release/minisat/simp/
g++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -march=native -O2 -pipe -D NDEBUG -I/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/work/minisat-2.2.0_p20130925/minisat  -fpic -march=native -O2 -pipe -c -o build/release/minisat/simp/Solver_C.o minisat/simp/Solver_C.cc -MMD -MF build/release/minisat/simp/Solver_C.d
In file included from /var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/work/minisat-2.2.0_p20130925/minisat/core/Solver.h:28:0,
                 from minisat/simp/SimpSolver.h:25,
                 from minisat/simp/Solver_C.cc:35:
/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/work/minisat-2.2.0_p20130925/minisat/utils/Options.h:285:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
             fprintf(stderr, "%4"PRIi64, range.begin);
                             ^
/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/work/minisat-2.2.0_p20130925/minisat/utils/Options.h:291:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
             fprintf(stderr, "%4"PRIi64, range.end);
                             ^
/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/work/minisat-2.2.0_p20130925/minisat/utils/Options.h:293:25: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
         fprintf(stderr, "] (default: %"PRIi64")\n", value);
                         ^
minisat/simp/Solver_C.cc:51:8: error: expected unqualified-id before user-defined string literal
 extern "C"void MiniSat_Delete(MiniSat_ptr ms)
        ^~~~~~~
make: *** [Makefile:129: build/release/minisat/simp/Solver_C.o] Error 1
 * ERROR: sci-mathematics/minisat-2.2.0_p20130925::gentoo failed (compile phase):
 *   emake failed
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/minisat-2.2.0_p20130925::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/minisat-2.2.0_p20130925::gentoo'`.
 * The complete build log is located at '/var/log/portage/sci-mathematics:minisat-2.2.0_p20130925:20160917-153249.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/work/minisat-2.2.0_p20130925'
 * S: '/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/work/minisat-2.2.0_p20130925'