Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 445606 Details for
Bug 593662
dev-libs/link-grammar: ebuilds build and install bundled copy of sci-mathematics/minisat
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:20160913-132447.log
sci-mathematics:minisat-2.2.0_p20130925:20160913-132447.log (text/plain), 13.29 KB, created by
Toralf Förster
on 2016-09-13 13:39:03 UTC
(
hide
)
Description:
sci-mathematics:minisat-2.2.0_p20130925:20160913-132447.log
Filename:
MIME Type:
Creator:
Toralf Förster
Created:
2016-09-13 13:39:03 UTC
Size:
13.29 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: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 >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 >Compiling: build/release/minisat/simp/SimpSolver.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/SimpSolver.o minisat/simp/SimpSolver.cc -MMD -MF build/release/minisat/simp/SimpSolver.d >Compiling: build/release/minisat/utils/System.o >mkdir -p build/release/minisat/utils/ >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/utils/System.o minisat/utils/System.cc -MMD -MF build/release/minisat/utils/System.d >Compiling: build/release/minisat/utils/Options.o >mkdir -p build/release/minisat/utils/ >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/utils/Options.o minisat/utils/Options.cc -MMD -MF build/release/minisat/utils/Options.d >Linking Static Library: build/release/lib/libminisat.a >mkdir -p build/release/lib/ >ar -rcs build/release/lib/libminisat.a build/release/minisat/core/Solver.o build/release/minisat/simp/Solver_C.o build/release/minisat/simp/SimpSolver.o build/release/minisat/utils/System.o build/release/minisat/utils/Options.o >Linking Binary: build/release/bin/minisat >mkdir -p build/release/bin/ >g++ build/release/minisat/simp/Main.o build/release/lib/libminisat.a -Wall -lz -Wl,-O1 -Wl,--as-needed -o build/release/bin/minisat >Compiling: build/dynamic/minisat/core/Solver.o >mkdir -p build/dynamic/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/dynamic/minisat/core/Solver.o minisat/core/Solver.cc -MMD -MF build/dynamic/minisat/core/Solver.d >Compiling: build/dynamic/minisat/simp/Solver_C.o >mkdir -p build/dynamic/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/dynamic/minisat/simp/Solver_C.o minisat/simp/Solver_C.cc -MMD -MF build/dynamic/minisat/simp/Solver_C.d >Compiling: build/dynamic/minisat/simp/SimpSolver.o >mkdir -p build/dynamic/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/dynamic/minisat/simp/SimpSolver.o minisat/simp/SimpSolver.cc -MMD -MF build/dynamic/minisat/simp/SimpSolver.d >Compiling: build/dynamic/minisat/utils/System.o >mkdir -p build/dynamic/minisat/utils/ >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/dynamic/minisat/utils/System.o minisat/utils/System.cc -MMD -MF build/dynamic/minisat/utils/System.d >Compiling: build/dynamic/minisat/utils/Options.o >mkdir -p build/dynamic/minisat/utils/ >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/dynamic/minisat/utils/Options.o minisat/utils/Options.cc -MMD -MF build/dynamic/minisat/utils/Options.d >Linking Shared Library: build/dynamic/lib/libminisat.so.2.1.0 >mkdir -p build/dynamic/lib/ >g++ -Wall -lz -Wl,-O1 -Wl,--as-needed -o build/dynamic/lib/libminisat.so.2.1.0 -shared -Wl,-soname,libminisat.so.2 build/dynamic/minisat/core/Solver.o build/dynamic/minisat/simp/Solver_C.o build/dynamic/minisat/simp/SimpSolver.o build/dynamic/minisat/utils/System.o build/dynamic/minisat/utils/Options.o >ln -sf libminisat.so.2.1.0 build/dynamic/lib/libminisat.so.2 >ln -sf libminisat.so.2 build/dynamic/lib/libminisat.so >>>> Source compiled. >>>> Test phase [not enabled]: sci-mathematics/minisat-2.2.0_p20130925 > >>>> Install minisat-2.2.0_p20130925 into /var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/image/ category sci-mathematics >make -j1 DESTDIR=/var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/image/ install >install -d /var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/image//usr/include/minisat >for dir in mtl utils core simp; do \ > install -d /var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/image//usr/include/minisat/$dir ; \ >done >for h in minisat/mtl/Alg.h minisat/mtl/Map.h minisat/mtl/Alloc.h minisat/mtl/Vec.h minisat/mtl/Rnd.h minisat/mtl/Sort.h minisat/mtl/IntMap.h minisat/mtl/Queue.h minisat/mtl/IntTypes.h minisat/mtl/Heap.h minisat/mtl/XAlloc.h minisat/core/SolverTypes.h minisat/core/Dimacs.h minisat/core/Solver.h minisat/simp/Solver_C.h minisat/simp/SimpSolver.h minisat/utils/System.h minisat/utils/ParseUtils.h minisat/utils/Options.h ; do \ > install -m 644 $h /var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/image//usr/include/$h ; \ >done >install -d /var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/image//usr/lib64 >install -m 644 build/dynamic/lib/libminisat.so.2.1.0 /var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/image//usr/lib64 >ln -sf libminisat.so.2.1.0 /var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/image//usr/lib64/libminisat.so.2 >ln -sf libminisat.so.2 /var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/image//usr/lib64/libminisat.so >install -m 644 build/release/lib/libminisat.a /var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/image//usr/lib64 >Compiling: build/dynamic/minisat/simp/Main.o >mkdir -p build/dynamic/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/dynamic/minisat/simp/Main.o minisat/simp/Main.cc -MMD -MF build/dynamic/minisat/simp/Main.d >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; > ^ >Linking Binary: build/dynamic/bin/minisat >mkdir -p build/dynamic/bin/ >g++ build/dynamic/minisat/simp/Main.o build/dynamic/lib/libminisat.so -Wall -lz -Wl,-O1 -Wl,--as-needed -o build/dynamic/bin/minisat >install -d /var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/image//usr/bin >install -m 755 build/dynamic/bin/minisat /var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/image//usr/bin >>>> Completed installing minisat-2.2.0_p20130925 into /var/tmp/portage/sci-mathematics/minisat-2.2.0_p20130925/image/ > > * Final size of build directory: 1180 KiB > * Final size of installed tree: 476 KiB > >making executable: usr/lib64/libminisat.so.2.1.0 >strip: x86_64-pc-linux-gnu-strip --strip-unneeded -R .comment -R .GCC.command.line -R .note.gnu.gold-version > usr/bin/minisat > usr/lib64/libminisat.so.2.1.0 > usr/lib64/libminisat.a >ecompressdir: bzip2 -9 /usr/share/doc > * checking 27 files for package collisions > * This package will overwrite one or more files that may belong to other > * packages (see list below). You can use a command such as `portageq > * owners / <filename>` to identify the installed package that owns a > * file. If portageq reports that only one package owns a file then do > * NOT file a bug report. A bug report is only useful if it identifies at > * least two or more packages that are known to install the same file(s). > * If a collision occurs and you can not explain where the file came from > * then you should simply ignore the collision since there is not enough > * information to determine if a real problem exists. Please do NOT file > * a bug report at http://bugs.gentoo.org unless you report exactly which > * two packages install the same file(s). See > * http://wiki.gentoo.org/wiki/Knowledge_Base:Blockers for tips on how to > * solve the problem. And once again, please do NOT file a bug report > * unless you have completely understood the above message. > * > * Detected file collision(s): > * > * /usr/lib64/libminisat.so > * /usr/lib64/libminisat.so.2 > * > * Searching all installed packages for file collisions... > * > * Press Ctrl-C to Stop > * > * dev-libs/link-grammar-5.3.9:0::gentoo > * /usr/lib64/libminisat.so > * /usr/lib64/libminisat.so.2 > * > * Package 'sci-mathematics/minisat-2.2.0_p20130925' NOT merged due to > * file collisions. If necessary, refer to your elog messages for the > * whole content of the above message.
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 593662
:
445604
| 445606