ENTER do(['bash', '--login', '-c', 'rpmbuild -bs --target i386 --nodeps builddir/build/SPECS/minisat2.spec'], False, '/var/lib/mock/dist-f8-build-239726-43768/root/', None, 0, True, 0, 101, 102, None, logger=) Executing command: ['bash', '--login', '-c', 'rpmbuild -bs --target i386 --nodeps builddir/build/SPECS/minisat2.spec'] warning: Could not canonicalize hostname: x86-3 Building target platforms: i386 Building for target i386 Wrote: /builddir/build/SRPMS/minisat2-2.0-7.20070721.fc8.src.rpm LEAVE do --> ENTER do(['bash', '--login', '-c', 'rpmbuild -bb --target i386 --nodeps builddir/build/SPECS/minisat2.spec'], False, '/var/lib/mock/dist-f8-build-239726-43768/root/', None, 0, True, 0, 101, 102, None, logger=) Executing command: ['bash', '--login', '-c', 'rpmbuild -bb --target i386 --nodeps builddir/build/SPECS/minisat2.spec'] Building target platforms: i386 Building for target i386 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.42944 + umask 022 + cd /builddir/build/BUILD + LANG=C + export LANG + unset DISPLAY + cd /builddir/build/BUILD + rm -rf minisat + /usr/bin/unzip -qq /builddir/build/SOURCES/minisat2-070721.zip + STATUS=0 + '[' 0 -ne 0 ']' + cd minisat ++ /usr/bin/id -u + '[' 101 = 0 ']' ++ /usr/bin/id -u + '[' 101 = 0 ']' + /bin/chmod -Rf a+rX,u+w,g-w,o-w . + echo 'Patch #1 (minisat2-FPU.patch):' Patch #1 (minisat2-FPU.patch): + patch -p1 -s + echo 'Patch #2 (minisat2-template.patch):' Patch #2 (minisat2-template.patch): + patch -p1 -s + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.42944 + umask 022 + cd /builddir/build/BUILD + cd minisat + LANG=C + export LANG + unset DISPLAY + cp -p /builddir/build/SOURCES/minisat-user-guide-1.0.html . + cp -p /builddir/build/SOURCES/minisat2-test.in . + mv minisat-user-guide-1.0.html minisat-user-guide.html + sed -i 's/@$(CXX)/$(CXX)/' mtl/template.mk + pushd simp ~/build/BUILD/minisat/simp ~/build/BUILD/minisat + make 'CFLAGS=-I../mtl -I../core -Wall -ffloat-store -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables' r Making dependencies ... g++ -I../mtl -I../core -Wall -ffloat-store -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -MM Main.C SimpSolver.C > depend.mk Compiling: Main.or ( Main.C ) g++ -I../mtl -I../core -Wall -ffloat-store -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -I../mtl -I../core -Wall -ffloat-store -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -c -o Main.or Main.C Main.C: In function 'int memReadStat(int)': Main.C:59: warning: ignoring return value of 'int fscanf(FILE*, const char*, ...)', declared with attribute warn_unused_result Main.C: In function 'int main(int, char**)': Main.C:365: warning: ignoring return value of 'int fscanf(FILE*, const char*, ...)', declared with attribute warn_unused_result Compiling: SimpSolver.or ( SimpSolver.C ) g++ -I../mtl -I../core -Wall -ffloat-store -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -I../mtl -I../core -Wall -ffloat-store -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -c -o SimpSolver.or SimpSolver.C Compiling: ../core/Solver.or ( ../core/Solver.C ) g++ -I../mtl -I../core -Wall -ffloat-store -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -I../mtl -I../core -Wall -ffloat-store -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -c -o ../core/Solver.or ../core/Solver.C Linking: minisat_release ( Main.or SimpSolver.or ../core/Solver.or ) g++ Main.or SimpSolver.or ../core/Solver.or -lz -o minisat_release + cp -p minisat_release ../minisat + popd ~/build/BUILD/minisat + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.21577 + umask 022 + cd /builddir/build/BUILD + cd minisat + LANG=C + export LANG + unset DISPLAY + rm -rf /var/tmp/minisat2-2.0-7.20070721.fc8-root + mkdir -p /var/tmp/minisat2-2.0-7.20070721.fc8-root/usr/bin + install -m 0755 minisat /var/tmp/minisat2-2.0-7.20070721.fc8-root/usr/bin/ + /usr/lib/rpm/find-debuginfo.sh /builddir/build/BUILD/minisat extracting debug info from /var/tmp/minisat2-2.0-7.20070721.fc8-root/usr/bin/minisat 211 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-compress + /usr/lib/rpm/redhat/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/redhat/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump + /usr/lib/rpm/brp-python-bytecompile + /usr/lib/rpm/redhat/brp-python-hardlink + /usr/lib/rpm/redhat/brp-java-repack-jars Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.21577 + umask 022 + cd /builddir/build/BUILD + cd minisat + ./minisat minisat2-test.in minisat2-test.out This is MiniSat 2.0 beta WARNING: for repeatability, setting FPU to use double precision ============================[ Problem Statistics ]============================= | | | Number of variables: 5 | | Number of clauses: 3 | | Parsing time: 0.00 s | ============================[ Search Statistics ]============================== | Conflicts | ORIGINAL | LEARNT | Progress | | | Vars Clauses Literals | Limit Clauses Lit/Cl | | =============================================================================== SATISFIABLE RESULTS: | 0 | 0 0 0 | 0 0 nan | 0.000 % | =============================================================================== Verified 0 original clauses. Verified 3 eliminated clauses. restarts : 1 conflicts : 0 (nan /sec) decisions : 1 (0.00 % random) (inf /sec) propagations : 0 (nan /sec) conflict literals : 0 ( nan % deleted) Memory used : 3.91 MB CPU time : 0 s + echo + echo RESULTS: + cat minisat2-test.out SAT 1 2 -3 4 5 0 SUCCESS - Correctly found that it was satisfiable ++ head -1 minisat2-test.out + result=SAT + '[' SAT = SAT ']' + echo 'SUCCESS - Correctly found that it was satisfiable' + true + exit 0 Processing files: minisat2-2.0-7.20070721.fc8 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.21577 + umask 022 + cd /builddir/build/BUILD + cd minisat + DOCDIR=/var/tmp/minisat2-2.0-7.20070721.fc8-root/usr/share/doc/minisat2-2.0 + export DOCDIR + rm -rf /var/tmp/minisat2-2.0-7.20070721.fc8-root/usr/share/doc/minisat2-2.0 + /bin/mkdir -p /var/tmp/minisat2-2.0-7.20070721.fc8-root/usr/share/doc/minisat2-2.0 + cp -pr LICENSE /var/tmp/minisat2-2.0-7.20070721.fc8-root/usr/share/doc/minisat2-2.0 + cp -pr minisat-user-guide.html /var/tmp/minisat2-2.0-7.20070721.fc8-root/usr/share/doc/minisat2-2.0 + cp -pr minisat2-test.in /var/tmp/minisat2-2.0-7.20070721.fc8-root/usr/share/doc/minisat2-2.0 + cp -pr minisat2-test.out /var/tmp/minisat2-2.0-7.20070721.fc8-root/usr/share/doc/minisat2-2.0 + exit 0 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libc.so.6 libc.so.6(GLIBC_2.0) libc.so.6(GLIBC_2.1) libc.so.6(GLIBC_2.3.4) libc.so.6(GLIBC_2.4) libgcc_s.so.1 libgcc_s.so.1(GCC_3.0) libm.so.6 libm.so.6(GLIBC_2.0) libstdc++.so.6 libstdc++.so.6(CXXABI_1.3) libz.so.1 rtld(GNU_HASH) Processing files: minisat2-debuginfo-2.0-7.20070721.fc8 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Checking for unpackaged file(s): /usr/lib/rpm/check-files /var/tmp/minisat2-2.0-7.20070721.fc8-root warning: Could not canonicalize hostname: x86-3 Wrote: /builddir/build/RPMS/minisat2-2.0-7.20070721.fc8.i386.rpm Wrote: /builddir/build/RPMS/minisat2-debuginfo-2.0-7.20070721.fc8.i386.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.21577 + umask 022 + cd /builddir/build/BUILD + cd minisat + rm -rf /var/tmp/minisat2-2.0-7.20070721.fc8-root + exit 0 LEAVE do -->