Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 446302 Details for
Bug 594158
sci-mathematics/minisat-2.2.0_p20130925 : minisat/.../Solver_C.cc:51:8: error: expected unqualified-id before user-defined string literal
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
sci-mathematics:minisat-2.2.0_p20130925:20160917-153249.log
sci-mathematics:minisat-2.2.0_p20130925:20160917-153249.log (text/plain), 9.24 KB, created by
Toralf Förster
on 2016-09-17 22:27:57 UTC
(
hide
)
Description:
sci-mathematics:minisat-2.2.0_p20130925:20160917-153249.log
Filename:
MIME Type:
Creator:
Toralf Förster
Created:
2016-09-17 22:27:57 UTC
Size:
9.24 KB
patch
obsolete
> * 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'
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Raw
Actions:
View
Attachments on
bug 594158
:
446298
|
446300
| 446302