* Package: sci-mathematics/minisat-2.2.0_p20130925-r1 * Repository: gentoo * Maintainer: sci@gentoo.org * 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'