* 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.