build.log

build.log (text/plain), 26.10 KB, created by Agostino Sarubbo on 2020-09-11 06:53:49 UTC

 * Package:    sci-mathematics/minisat-2.2.0_p20130925-r1
 * Repository: gentoo
 * Maintainer: [e-mail]
 * USE:        abi_x86_64 amd64 elibc_glibc kernel_linux userland_GNU
 * FEATURES:   network-sandbox preserve-libs sandbox test userpriv usersandbox


@@@@@ PLEASE PAY ATTENTION HERE!!! @@@@@
This information may help you to understand if this is a duplicate or if this bug exists after you pushed a fix;
This ebuild was merged at the following commit:
https://github.com/gentoo-mirror/gentoo/commit/7f3de6bf5ee5f0bbf12c5769a6dc3d41bda89ec0  (Thu Sep 10 23:05:35 UTC 2020)
@@@@@ END @@@@@



emerge --info:
Portage 3.0.6 (python 3.8.5-final-0, default/linux/amd64/17.1, gcc-10.2.0, glibc-2.32-r1, 5.4.0-1021-aws x86_64)
=================================================================
System uname: Linux-5.4.0-1021-aws-x86_64-Intel-R-_Xeon-R-_Platinum_8175M_CPU_@_2.50GHz-with-glibc2.2.5
KiB Mem:    64359960 total,  33296024 free
KiB Swap:          0 total,         0 free
Timestamp of repository gentoo: Thu, 10 Sep 2020 23:05:34 +0000
sh bash 5.0_p18
ld GNU ld (Gentoo 2.34 p6) 2.34.0
app-shells/bash:          5.0_p18::gentoo
dev-lang/perl:            5.30.3-r1::gentoo
dev-lang/python:          2.7.18-r2::gentoo, 3.6.12::gentoo, 3.7.9::gentoo, 3.8.5::gentoo, 3.9.0_rc1::gentoo
dev-util/cmake:           3.18.2::gentoo
sys-apps/baselayout:      2.7::gentoo
sys-apps/openrc:          0.42.1::gentoo
sys-apps/sandbox:         2.20::gentoo
sys-devel/autoconf:       2.13-r1::gentoo, 2.69-r5::gentoo
sys-devel/automake:       1.16.2::gentoo
sys-devel/binutils:       2.34-r2::gentoo
sys-devel/gcc:            10.2.0-r1::gentoo
sys-devel/gcc-config:     2.3.2::gentoo
sys-devel/libtool:        2.4.6-r6::gentoo
sys-devel/make:           4.3::gentoo
sys-kernel/linux-headers: 5.8::gentoo (virtual/os-headers)
sys-libs/glibc:           2.32-r1::gentoo
Repositories:

gentoo
    location: /usr/portage
    sync-type: rsync
    sync-uri: rsync://rsync.gentoo.org/gentoo-portage
    priority: -1000
    sync-rsync-verify-metamanifest: yes
    sync-rsync-verify-max-age: 24
    sync-rsync-verify-jobs: 1
    sync-rsync-extra-opts: 

ACCEPT_KEYWORDS="amd64 ~amd64"
ACCEPT_LICENSE="* MIT"
CBUILD="x86_64-pc-linux-gnu"
CC="x86_64-pc-linux-gnu-clang"
CFLAGS="-O2 -pipe -march=native -frecord-gcc-switches -fno-diagnostics-color"
CHOST="x86_64-pc-linux-gnu"
CONFIG_PROTECT="/etc /usr/share/gnupg/qualified.txt"
CONFIG_PROTECT_MASK="/etc/ca-certificates.conf /etc/env.d /etc/gconf /etc/gentoo-release /etc/revdep-rebuild /etc/sandbox.d /etc/terminfo"
CXX="x86_64-pc-linux-gnu-clang++"
CXXFLAGS="-O2 -pipe -march=native -frecord-gcc-switches -fno-diagnostics-color"
DISTDIR="/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/distdir"
EMERGE_DEFAULT_OPTS="--with-bdeps=y -1 -b -k"
ENV_UNSET="CARGO_HOME DBUS_SESSION_BUS_ADDRESS DISPLAY GOBIN GOPATH PERL5LIB PERL5OPT PERLPREFIX PERL_CORE PERL_MB_OPT PERL_MM_OPT XAUTHORITY XDG_CACHE_HOME XDG_CONFIG_HOME XDG_DATA_HOME XDG_RUNTIME_DIR"
FCFLAGS="-O2 -pipe -march=native -frecord-gcc-switches -fno-diagnostics-color"
FEATURES="assume-digests binpkg-docompress binpkg-dostrip binpkg-logs buildpkg collision-protect config-protect-if-modified distlocks ebuild-locks fixlafiles ipc-sandbox merge-sync multilib-strict network-sandbox news parallel-fetch pid-sandbox preserve-libs protect-owned qa-unresolved-soname-deps sandbox sfperms sign split-log strict test unknown-features-warn unmerge-logs unmerge-orphans userfetch userpriv usersandbox usersync xattr"
FFLAGS="-O2 -pipe -march=native -frecord-gcc-switches -fno-diagnostics-color"
GENTOO_MIRRORS="http://distfiles.gentoo.org"
LANG="C.UTF-8"
LDFLAGS="-Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -fuse-ld=lld"
MAKEOPTS="-j16 V=1"
PKGDIR="/root/.packages"
PORTAGE_CONFIGROOT="/"
PORTAGE_RSYNC_OPTS="--recursive --links --safe-links --perms --times --omit-dir-times --compress --force --whole-file --delete --stats --human-readable --timeout=180 --exclude=/distfiles --exclude=/local --exclude=/packages --exclude=/.git"
PORTAGE_TMPDIR="/var/tmp"
USE="acl amd64 berkdb bzip2 cli crypt dri elogind fortran gdbm iconv ipv6 jumbo-build libglvnd libtirpc multilib native-symlinks ncurses nls nptl openmp pam pcre readline seccomp split-usr ssl tcpd test unicode xattr zlib" ABI_X86="64" ELIBC="glibc" KERNEL="linux" USERLAND="GNU"
Unset:  CPPFLAGS, CTARGET, INSTALL_MASK, LC_ALL, LINGUAS, PORTAGE_BINHOST, PORTAGE_BUNZIP2_COMMAND, PORTAGE_COMPRESS, PORTAGE_COMPRESS_FLAGS, PORTAGE_RSYNC_EXTRA_OPTS



>>> Unpacking source...
 * Unpacking minisat-2.2.0_p20130925.tar.gz
>>> Source unpacked in /var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work/minisat-2.2.0_p20130925 ...
 * Applying minisat-2.2.0_p20130925-nusmv.patch ...
 [ ok ]
 * Correcting header minisat/core/Dimacs.h
 * Correcting header minisat/core/SolverTypes.h
 * Correcting header minisat/core/Solver.h
 * Correcting header minisat/utils/Options.h
 * Correcting header minisat/utils/System.h
 * Correcting header minisat/utils/ParseUtils.h
 * Correcting header minisat/mtl/IntTypes.h
 * Correcting header minisat/mtl/Heap.h
 * Correcting header minisat/mtl/Queue.h
 * Correcting header minisat/mtl/Vec.h
 * Correcting header minisat/mtl/Alg.h
 * Correcting header minisat/mtl/Sort.h
 * Correcting header minisat/mtl/Map.h
 * Correcting header minisat/mtl/Alloc.h
 * Correcting header minisat/mtl/IntMap.h
 * Correcting header minisat/mtl/XAlloc.h
 * Correcting header minisat/mtl/Rnd.h
 * Correcting header minisat/simp/SimpSolver.h
 * Correcting header minisat/simp/Solver_C.h
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work/minisat-2.2.0_p20130925 ...
make -j16 V=1 config prefix=/usr MINISAT_RELSYM= 'MINISAT_REL=-O2 -pipe -march=native -frecord-gcc-switches -fno-diagnostics-color -D NDEBUG -I/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work/minisat-2.2.0_p20130925/minisat' 'MINISAT_PRF=-O2 -pipe -march=native -frecord-gcc-switches -fno-diagnostics-color -D NDEBUG -I/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work/minisat-2.2.0_p20130925/minisat' 'MINISAT_DEB=-O2 -pipe -march=native -frecord-gcc-switches -fno-diagnostics-color -D DEBUG -I/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work/minisat-2.2.0_p20130925/minisat' 
>>> Source configured.
>>> Compiling source in /var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work/minisat-2.2.0_p20130925 ...
make -j16 V=1 all 
Compiling: build/release/minisat/simp/Main.o
mkdir -p build/release/minisat/simp/
Compiling: build/release/minisat/core/Solver.o
Compiling: build/release/minisat/simp/SimpSolver.o
mkdir -p build/release/minisat/core/
mkdir -p build/release/minisat/simp/
Compiling: build/release/minisat/simp/Solver_C.o
mkdir -p build/release/minisat/simp/
Compiling: build/release/minisat/utils/Options.o
x86_64-pc-linux-gnu-clang++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O2 -pipe -march=native -frecord-gcc-switches -fno-diagnostics-color -D NDEBUG -I/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work/minisat-2.2.0_p20130925/minisat  -fpic -O2 -pipe -march=native -frecord-gcc-switches -fno-diagnostics-color -c -o build/release/minisat/simp/Main.o minisat/simp/Main.cc -MMD -MF build/release/minisat/simp/Main.d
mkdir -p build/release/minisat/utils/
x86_64-pc-linux-gnu-clang++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O2 -pipe -march=native -frecord-gcc-switches -fno-diagnostics-color -D NDEBUG -I/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work/minisat-2.2.0_p20130925/minisat  -fpic -O2 -pipe -march=native -frecord-gcc-switches -fno-diagnostics-color -c -o build/release/minisat/core/Solver.o minisat/core/Solver.cc -MMD -MF build/release/minisat/core/Solver.d
x86_64-pc-linux-gnu-clang++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O2 -pipe -march=native -frecord-gcc-switches -fno-diagnostics-color -D NDEBUG -I/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work/minisat-2.2.0_p20130925/minisat  -fpic -O2 -pipe -march=native -frecord-gcc-switches -fno-diagnostics-color -c -o build/release/minisat/simp/SimpSolver.o minisat/simp/SimpSolver.cc -MMD -MF build/release/minisat/simp/SimpSolver.d
Compiling: build/release/minisat/utils/System.o
x86_64-pc-linux-gnu-clang++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O2 -pipe -march=native -frecord-gcc-switches -fno-diagnostics-color -D NDEBUG -I/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work/minisat-2.2.0_p20130925/minisat  -fpic -O2 -pipe -march=native -frecord-gcc-switches -fno-diagnostics-color -c -o build/release/minisat/simp/Solver_C.o minisat/simp/Solver_C.cc -MMD -MF build/release/minisat/simp/Solver_C.d
mkdir -p build/release/minisat/utils/
x86_64-pc-linux-gnu-clang++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O2 -pipe -march=native -frecord-gcc-switches -fno-diagnostics-color -D NDEBUG -I/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work/minisat-2.2.0_p20130925/minisat  -fpic -O2 -pipe -march=native -frecord-gcc-switches -fno-diagnostics-color -c -o build/release/minisat/utils/Options.o minisat/utils/Options.cc -MMD -MF build/release/minisat/utils/Options.d
x86_64-pc-linux-gnu-clang++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O2 -pipe -march=native -frecord-gcc-switches -fno-diagnostics-color -D NDEBUG -I/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work/minisat-2.2.0_p20130925/minisat  -fpic -O2 -pipe -march=native -frecord-gcc-switches -fno-diagnostics-color -c -o build/release/minisat/utils/System.o minisat/utils/System.cc -MMD -MF build/release/minisat/utils/System.d
Compiling: build/dynamic/minisat/core/Solver.o
mkdir -p build/dynamic/minisat/core/
Compiling: build/dynamic/minisat/simp/SimpSolver.o
mkdir -p build/dynamic/minisat/simp/
Compiling: build/dynamic/minisat/simp/Solver_C.o
mkdir -p build/dynamic/minisat/simp/
Compiling: build/dynamic/minisat/utils/Options.o
x86_64-pc-linux-gnu-clang++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O2 -pipe -march=native -frecord-gcc-switches -fno-diagnostics-color -D NDEBUG -I/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work/minisat-2.2.0_p20130925/minisat -fpic -O2 -pipe -march=native -frecord-gcc-switches -fno-diagnostics-color -c -o build/dynamic/minisat/simp/SimpSolver.o minisat/simp/SimpSolver.cc -MMD -MF build/dynamic/minisat/simp/SimpSolver.d
x86_64-pc-linux-gnu-clang++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O2 -pipe -march=native -frecord-gcc-switches -fno-diagnostics-color -D NDEBUG -I/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work/minisat-2.2.0_p20130925/minisat -fpic -O2 -pipe -march=native -frecord-gcc-switches -fno-diagnostics-color -c -o build/dynamic/minisat/core/Solver.o minisat/core/Solver.cc -MMD -MF build/dynamic/minisat/core/Solver.d
mkdir -p build/dynamic/minisat/utils/
x86_64-pc-linux-gnu-clang++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O2 -pipe -march=native -frecord-gcc-switches -fno-diagnostics-color -D NDEBUG -I/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work/minisat-2.2.0_p20130925/minisat -fpic -O2 -pipe -march=native -frecord-gcc-switches -fno-diagnostics-color -c -o build/dynamic/minisat/simp/Solver_C.o minisat/simp/Solver_C.cc -MMD -MF build/dynamic/minisat/simp/Solver_C.d
Compiling: build/dynamic/minisat/utils/System.o
mkdir -p build/dynamic/minisat/utils/
x86_64-pc-linux-gnu-clang++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O2 -pipe -march=native -frecord-gcc-switches -fno-diagnostics-color -D NDEBUG -I/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work/minisat-2.2.0_p20130925/minisat -fpic -O2 -pipe -march=native -frecord-gcc-switches -fno-diagnostics-color -c -o build/dynamic/minisat/utils/Options.o minisat/utils/Options.cc -MMD -MF build/dynamic/minisat/utils/Options.d
x86_64-pc-linux-gnu-clang++ -I. -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wno-parentheses -Wextra -O2 -pipe -march=native -frecord-gcc-switches -fno-diagnostics-color -D NDEBUG -I/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work/minisat-2.2.0_p20130925/minisat -fpic -O2 -pipe -march=native -frecord-gcc-switches -fno-diagnostics-color -c -o build/dynamic/minisat/utils/System.o minisat/utils/System.cc -MMD -MF build/dynamic/minisat/utils/System.d
In file included from minisat/utils/Options.cc:21:
./minisat/utils/Options.h:285:33: error: invalid suffix on literal; C++11
      requires a space between literal and identifier
      [-Wreserved-user-defined-literal]
            fprintf(stderr, "%4"PRIi64, range.begin);
                                ^
                                 
./minisat/utils/Options.h:291:33: error: invalid suffix on literal; C++11
      requires a space between literal and identifier
      [-Wreserved-user-defined-literal]
            fprintf(stderr, "%4"PRIi64, range.end);
                                ^
                                 
./minisat/utils/Options.h:293:40: error: invalid suffix on literal; C++11
      requires a space between literal and identifier
      [-Wreserved-user-defined-literal]
        fprintf(stderr, "] (default: %"PRIi64")\n", value);
                                       ^
                                        
In file included from minisat/simp/Main.cc:26:
./minisat/utils/Options.h:285:33: error: invalid suffix on literal; C++11
      requires a space between literal and identifier
      [-Wreserved-user-defined-literal]
            fprintf(stderr, "%4"PRIi64, range.begin);
                                ^
                                 
./minisat/utils/Options.h:291:33: error: invalid suffix on literal; C++11
      requires a space between literal and identifier
      [-Wreserved-user-defined-literal]
            fprintf(stderr, "%4"PRIi64, range.end);
                                ^
                                 
./minisat/utils/Options.h:293:40: error: invalid suffix on literal; C++11
      requires a space between literal and identifier
      [-Wreserved-user-defined-literal]
        fprintf(stderr, "] (default: %"PRIi64")\n", value);
                                       ^
                                        
In file included from minisat/utils/Options.cc:21:
./minisat/utils/Options.h:285:33: error: invalid suffix on literal; C++11
      requires a space between literal and identifier
      [-Wreserved-user-defined-literal]
            fprintf(stderr, "%4"PRIi64, range.begin);
                                ^
                                 
./minisat/utils/Options.h:291:33: error: invalid suffix on literal; C++11
      requires a space between literal and identifier
      [-Wreserved-user-defined-literal]
            fprintf(stderr, "%4"PRIi64, range.end);
                                ^
                                 
./minisat/utils/Options.h:293:40: error: invalid suffix on literal; C++11
      requires a space between literal and identifier
      [-Wreserved-user-defined-literal]
        fprintf(stderr, "] (default: %"PRIi64")\n", value);
                                       ^
                                        
3 errors generated.
In file included from minisat/core/Solver.cc:26:
In file included from ./minisat/core/Solver.h:28:
./minisat/utils/Options.h:285:33: error: invalid suffix on literal; C++11
      requires a space between literal and identifier
      [-Wreserved-user-defined-literal]
            fprintf(stderr, "%4"PRIi64, range.begin);
                                ^
                                 
./minisat/utils/Options.h:291:33: error: invalid suffix on literal; C++11
      requires a space between literal and identifier
      [-Wreserved-user-defined-literal]
            fprintf(stderr, "%4"PRIi64, range.end);
                                ^
                                 
./minisat/utils/Options.h:293:40: error: invalid suffix on literal; C++11
      requires a space between literal and identifier
      [-Wreserved-user-defined-literal]
        fprintf(stderr, "] (default: %"PRIi64")\n", value);
                                       ^
                                        
make: *** [Makefile:127: build/release/minisat/utils/Options.o] Error 1
make: *** Waiting for unfinished jobs....
3 errors generated.
make: *** [Makefile:142: build/dynamic/minisat/utils/Options.o] Error 1
3 errors generated.
make: *** [Makefile:127: build/release/minisat/simp/Main.o] Error 1
minisat/core/Solver.cc:1030:39: error: invalid suffix on literal; C++11 requires
      a space between literal and identifier [-Wreserved-user-defined-literal]
    printf("restarts              : %"PRIu64"\n", starts);
                                      ^
                                       
minisat/core/Solver.cc:1031:42: error: invalid suffix on literal; C++11 requires
      a space between literal and identifier [-Wreserved-user-defined-literal]
    printf("conflicts             : %-12"PRIu64"   (%.0f /sec)\n", confl...
                                         ^
                                          
minisat/core/Solver.cc:1032:42: error: invalid suffix on literal; C++11 requires
      a space between literal and identifier [-Wreserved-user-defined-literal]
    printf("decisions             : %-12"PRIu64"   (%4.2f %% random) (%....
                                         ^
                                          
minisat/core/Solver.cc:1033:42: error: invalid suffix on literal; C++11 requires
      a space between literal and identifier [-Wreserved-user-defined-literal]
    printf("propagations          : %-12"PRIu64"   (%.0f /sec)\n", propa...
                                         ^
                                          
minisat/core/Solver.cc:1034:42: error: invalid suffix on literal; C++11 requires
      a space between literal and identifier [-Wreserved-user-defined-literal]
    printf("conflict literals     : %-12"PRIu64"   (%4.2f %% deleted)\n"...
                                         ^
                                          
In file included from minisat/simp/SimpSolver.cc:22:
In file included from ./minisat/simp/SimpSolver.h:25:
In file included from ./minisat/core/Solver.h:28:
./minisat/utils/Options.h:285:33: error: invalid suffix on literal; C++11
      requires a space between literal and identifier
      [-Wreserved-user-defined-literal]
            fprintf(stderr, "%4"PRIi64, range.begin);
                                ^
                                 
./minisat/utils/Options.h:291:33: error: invalid suffix on literal; C++11
      requires a space between literal and identifier
      [-Wreserved-user-defined-literal]
            fprintf(stderr, "%4"PRIi64, range.end);
                                ^
                                 
./minisat/utils/Options.h:293:40: error: invalid suffix on literal; C++11
      requires a space between literal and identifier
      [-Wreserved-user-defined-literal]
        fprintf(stderr, "] (default: %"PRIi64")\n", value);
                                       ^
                                        
8 errors generated.
make: *** [Makefile:127: build/release/minisat/core/Solver.o] Error 1
In file included from minisat/simp/SimpSolver.cc:22:
In file included from ./minisat/simp/SimpSolver.h:25:
In file included from ./minisat/core/Solver.h:28:
./minisat/utils/Options.h:285:33: error: invalid suffix on literal; C++11
      requires a space between literal and identifier
      [-Wreserved-user-defined-literal]
            fprintf(stderr, "%4"PRIi64, range.begin);
                                ^
                                 
./minisat/utils/Options.h:291:33: error: invalid suffix on literal; C++11
      requires a space between literal and identifier
      [-Wreserved-user-defined-literal]
            fprintf(stderr, "%4"PRIi64, range.end);
                                ^
                                 
./minisat/utils/Options.h:293:40: error: invalid suffix on literal; C++11
      requires a space between literal and identifier
      [-Wreserved-user-defined-literal]
        fprintf(stderr, "] (default: %"PRIi64")\n", value);
                                       ^
                                        
In file included from minisat/core/Solver.cc:26:
In file included from ./minisat/core/Solver.h:28:
./minisat/utils/Options.h:285:33: error: invalid suffix on literal; C++11
      requires a space between literal and identifier
      [-Wreserved-user-defined-literal]
            fprintf(stderr, "%4"PRIi64, range.begin);
                                ^
                                 
./minisat/utils/Options.h:291:33: error: invalid suffix on literal; C++11
      requires a space between literal and identifier
      [-Wreserved-user-defined-literal]
            fprintf(stderr, "%4"PRIi64, range.end);
                                ^
                                 
./minisat/utils/Options.h:293:40: error: invalid suffix on literal; C++11
      requires a space between literal and identifier
      [-Wreserved-user-defined-literal]
        fprintf(stderr, "] (default: %"PRIi64")\n", value);
                                       ^
                                        
In file included from minisat/simp/Solver_C.cc:35:
In file included from minisat/simp/SimpSolver.h:25:
In file included from ./minisat/core/Solver.h:28:
./minisat/utils/Options.h:285:33: error: invalid suffix on literal; C++11
      requires a space between literal and identifier
      [-Wreserved-user-defined-literal]
            fprintf(stderr, "%4"PRIi64, range.begin);
                                ^
                                 
./minisat/utils/Options.h:291:33: error: invalid suffix on literal; C++11
      requires a space between literal and identifier
      [-Wreserved-user-defined-literal]
            fprintf(stderr, "%4"PRIi64, range.end);
                                ^
                                 
./minisat/utils/Options.h:293:40: error: invalid suffix on literal; C++11
      requires a space between literal and identifier
      [-Wreserved-user-defined-literal]
        fprintf(stderr, "] (default: %"PRIi64")\n", value);
                                       ^
                                        
In file included from minisat/simp/Solver_C.cc:35:
In file included from minisat/simp/SimpSolver.h:25:
In file included from ./minisat/core/Solver.h:28:
./minisat/utils/Options.h:285:33: error: invalid suffix on literal; C++11
      requires a space between literal and identifier
      [-Wreserved-user-defined-literal]
            fprintf(stderr, "%4"PRIi64, range.begin);
                                ^
                                 
./minisat/utils/Options.h:291:33: error: invalid suffix on literal; C++11
      requires a space between literal and identifier
      [-Wreserved-user-defined-literal]
            fprintf(stderr, "%4"PRIi64, range.end);
                                ^
                                 
./minisat/utils/Options.h:293:40: error: invalid suffix on literal; C++11
      requires a space between literal and identifier
      [-Wreserved-user-defined-literal]
        fprintf(stderr, "] (default: %"PRIi64")\n", value);
                                       ^
                                        
3 errors generated.
make: *** [Makefile:142: build/dynamic/minisat/simp/SimpSolver.o] Error 1
3 errors generated.
3 errors generated.
make: *** [Makefile:127: build/release/minisat/simp/Solver_C.o] Error 1
minisat/core/Solver.cc:1030:39: error: invalid suffix on literal; C++11 requires
      a space between literal and identifier [-Wreserved-user-defined-literal]
    printf("restarts              : %"PRIu64"\n", starts);
                                      ^
                                       
minisat/core/Solver.cc:1031:42: error: invalid suffix on literal; C++11 requires
      a space between literal and identifier [-Wreserved-user-defined-literal]
    printf("conflicts             : %-12"PRIu64"   (%.0f /sec)\n", confl...
                                         ^
                                          
minisat/core/Solver.cc:1032:42: error: invalid suffix on literal; C++11 requires
      a space between literal and identifier [-Wreserved-user-defined-literal]
    printf("decisions             : %-12"PRIu64"   (%4.2f %% random) (%....
                                         ^
                                          
minisat/core/Solver.cc:1033:42: error: invalid suffix on literal; C++11 requires
      a space between literal and identifier [-Wreserved-user-defined-literal]
    printf("propagations          : %-12"PRIu64"   (%.0f /sec)\n", propa...
                                         ^
                                          
minisat/core/Solver.cc:1034:42: error: invalid suffix on literal; C++11 requires
      a space between literal and identifier [-Wreserved-user-defined-literal]
    printf("conflict literals     : %-12"PRIu64"   (%4.2f %% deleted)\n"...
                                         ^
                                          
3 errors generated.
make: *** [Makefile:142: build/dynamic/minisat/simp/Solver_C.o] Error 1
make: *** [Makefile:127: build/release/minisat/simp/SimpSolver.o] Error 1
8 errors generated.
make: *** [Makefile:142: build/dynamic/minisat/core/Solver.o] Error 1
 * ERROR: sci-mathematics/minisat-2.2.0_p20130925-r1::gentoo failed (compile phase):
 *   emake failed
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/minisat-2.2.0_p20130925-r1::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/minisat-2.2.0_p20130925-r1::gentoo'`.
 * The complete build log is located at '/var/log/emerge-log/build/sci-mathematics/minisat-2.2.0_p20130925-r1:20200911-003623.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work/minisat-2.2.0_p20130925'
 * S: '/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925-r1/work/minisat-2.2.0_p20130925'