Mock Version: 1.2.14
ENTER do(['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target armv6hl --nodeps /builddir/build/SPECS/minisat2.spec'], user='mockbuild'timeout=0logger=<mockbuild.trace_decorator.getLog object at 0xb5e5a2f0>printOutput=Falseuid=1000gid=135chrootPath='/var/lib/mock/fedora-23-armhfp-pidora-round2-root-26009/root'shell=Falseenv={'SHELL': '/bin/bash', 'CCACHE_DIR': '/tmp/ccache', 'CCACHE_UMASK': '002', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'HOME': '/builddir', 'TERM': 'vt100', 'HOSTNAME': 'mock', 'LANG': 'en_US.UTF-8', 'PROMPT_COMMAND': 'printf "\x1b]0;<mock-chroot>\x07<mock-chroot>"'})
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target armv6hl --nodeps /builddir/build/SPECS/minisat2.spec'] with env {'SHELL': '/bin/bash', 'CCACHE_DIR': '/tmp/ccache', 'CCACHE_UMASK': '002', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'HOME': '/builddir', 'TERM': 'vt100', 'HOSTNAME': 'mock', 'LANG': 'en_US.UTF-8', 'PROMPT_COMMAND': 'printf "\x1b]0;<mock-chroot>\x07<mock-chroot>"'} and shell False
Building target platforms: armv6hl
Building for target armv6hl
Wrote: /builddir/build/SRPMS/minisat2-2.2.0-12bs02fc23.src.rpm
Child return code was: 0
LEAVE do --> 

ENTER do(['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target armv6hl --nodeps  /builddir/build/SPECS/minisat2.spec '], user='mockbuild'private_network=Truetimeout=0logger=<mockbuild.trace_decorator.getLog object at 0xb5e5a2f0>printOutput=Falseuid=1000gid=135chrootPath='/var/lib/mock/fedora-23-armhfp-pidora-round2-root-26009/root'shell=Falseenv={'SHELL': '/bin/bash', 'CCACHE_DIR': '/tmp/ccache', 'CCACHE_UMASK': '002', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'HOME': '/builddir', 'TERM': 'vt100', 'HOSTNAME': 'mock', 'LANG': 'en_US.UTF-8', 'PROMPT_COMMAND': 'printf "\x1b]0;<mock-chroot>\x07<mock-chroot>"'})
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target armv6hl --nodeps  /builddir/build/SPECS/minisat2.spec '] with env {'SHELL': '/bin/bash', 'CCACHE_DIR': '/tmp/ccache', 'CCACHE_UMASK': '002', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'HOME': '/builddir', 'TERM': 'vt100', 'HOSTNAME': 'mock', 'LANG': 'en_US.UTF-8', 'PROMPT_COMMAND': 'printf "\x1b]0;<mock-chroot>\x07<mock-chroot>"'} and shell False
Building target platforms: armv6hl
Building for target armv6hl
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.wDDvTr
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf minisat
+ /usr/bin/gzip -dc /builddir/build/SOURCES/minisat-2.2.0.tar.gz
+ /usr/bin/tar -xof -
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd minisat
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ echo 'Patch #0 (minisat2-FPU.patch):'
Patch #0 (minisat2-FPU.patch):
+ /usr/bin/patch -p0 --fuzz=0
patching file simp/Main.cc
Patch #1 (minisat2-sharedlib.patch):
+ echo 'Patch #1 (minisat2-sharedlib.patch):'
+ /usr/bin/patch -p0 --fuzz=0
patching file mtl/template.mk
+ cp -p /builddir/build/SOURCES/minisat-user-guide-1.0.html minisat-user-guide.html
+ cp -p /builddir/build/SOURCES/minisat2-test.in .
+ sed -i 's/@$(CXX)/$(CXX)/' mtl/template.mk
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.OykGpN
+ umask 022
+ cd /builddir/build/BUILD
+ cd minisat
++ pwd
+ make -j8 -C simp s MROOT=/builddir/build/BUILD/minisat 'COPTIMIZE=-O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp' VERSION=2.2.0 LIB=minisat 'LFLAGS=-Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -lz'
make: Entering directory '/builddir/build/BUILD/minisat/simp'
Making dependencies
g++ -Wall -Wno-parentheses -I/builddir/build/BUILD/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I/builddir/build/BUILD/minisat \
   /builddir/build/BUILD/minisat/simp/SimpSolver.cc /builddir/build/BUILD/minisat/simp/Main.cc  -MM | sed 's|\(.*\):|/builddir/build/BUILD/minisat/simp/\1 /builddir/build/BUILD/minisat/simp/\1r /builddir/build/BUILD/minisat/simp/\1d /builddir/build/BUILD/minisat/simp/\1p:|' > depend.mk
Compiling: Main.o
g++ -Wall -Wno-parentheses -I/builddir/build/BUILD/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -g -D NDEBUG -fPIC -c -o Main.o Main.cc
Compiling: simp/SimpSolver.o
g++ -Wall -Wno-parentheses -I/builddir/build/BUILD/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -g -D NDEBUG -fPIC -c -o /builddir/build/BUILD/minisat/simp/SimpSolver.o /builddir/build/BUILD/minisat/simp/SimpSolver.cc
Compiling: simp/Main.o
g++ -Wall -Wno-parentheses -I/builddir/build/BUILD/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -g -D NDEBUG -fPIC -c -o /builddir/build/BUILD/minisat/simp/Main.o /builddir/build/BUILD/minisat/simp/Main.cc
Compiling: utils/System.o
g++ -Wall -Wno-parentheses -I/builddir/build/BUILD/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -g -D NDEBUG -fPIC -c -o /builddir/build/BUILD/minisat/utils/System.o /builddir/build/BUILD/minisat/utils/System.cc
Compiling: utils/Options.o
g++ -Wall -Wno-parentheses -I/builddir/build/BUILD/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -g -D NDEBUG -fPIC -c -o /builddir/build/BUILD/minisat/utils/Options.o /builddir/build/BUILD/minisat/utils/Options.cc
Compiling: core/Solver.o
g++ -Wall -Wno-parentheses -I/builddir/build/BUILD/minisat -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -g -D NDEBUG -fPIC -c -o /builddir/build/BUILD/minisat/core/Solver.o /builddir/build/BUILD/minisat/core/Solver.cc
Making library: libminisat.so ( simp/SimpSolver.o simp/Main.o utils/System.o utils/Options.o core/Solver.o )
g++ -shared -Wl,-soname=libminisat.so.2 -o libminisat.so.2.2.0 /builddir/build/BUILD/minisat/simp/SimpSolver.o /builddir/build/BUILD/minisat/simp/Main.o /builddir/build/BUILD/minisat/utils/System.o /builddir/build/BUILD/minisat/utils/Options.o /builddir/build/BUILD/minisat/core/Solver.o -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -lz
Linking: minisat ( Main.o libminisat.so )
g++ Main.o -o minisat -L. -lminisat -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -lz
make: Leaving directory '/builddir/build/BUILD/minisat/simp'
+ export LD_LIBRARY_PATH=/builddir/build/BUILD/minisat/simp
+ LD_LIBRARY_PATH=/builddir/build/BUILD/minisat/simp
+ simp/minisat minisat2-test.in minisat2-test.out
============================[ Problem Statistics ]=============================
|                                                                             |
|  Number of variables:             5                                         |
|  Number of clauses:               3                                         |
|  Parse time:                   0.00 s                                       |
|  Eliminated clauses:           0.00 Mb                                      |
|  Simplification time:          0.00 s                                       |
|                                                                             |
============================[ Search Statistics ]==============================
| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
===============================================================================
===============================================================================
restarts              : 1
conflicts             : 0              (nan /sec)
decisions             : 1              (0.00 % random) (inf /sec)
propagations          : 0              (nan /sec)
conflict literals     : 0              ( nan % deleted)
Memory used           : 9.00 MB
CPU time              : 0 s
SATISFIABLE
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.mnKyRP
+ true
+ exit 0
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm
++ dirname /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm
+ cd minisat
+ mkdir -p /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm/usr/bin
+ install -m 0755 simp/minisat /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm/usr/bin
+ mkdir -p /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm/usr/share/man/man1
+ install -m 0644 /builddir/build/SOURCES/minisat.1 /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm/usr/share/man/man1
+ mkdir -p /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm/usr/lib
+ cp -dp simp/libminisat.so simp/libminisat.so.2 simp/libminisat.so.2.2.0 /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm/usr/lib
+ chmod 0755 /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm/usr/lib/libminisat.so.2.2.0
+ mkdir -p /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm/usr/include/minisat/core
+ cp -p core/Dimacs.h core/Solver.h core/SolverTypes.h /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm/usr/include/minisat/core
+ mkdir -p /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm/usr/include/minisat/mtl
+ cp -p mtl/Alg.h mtl/Alloc.h mtl/Heap.h mtl/IntTypes.h mtl/Map.h mtl/Queue.h mtl/Sort.h mtl/Vec.h mtl/XAlloc.h /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm/usr/include/minisat/mtl
+ mkdir -p /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm/usr/include/minisat/simp
+ cp -p simp/SimpSolver.h /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm/usr/include/minisat/simp
+ mkdir -p /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm/usr/include/minisat/utils
+ cp -p utils/Options.h utils/ParseUtils.h utils/System.h /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm/usr/include/minisat/utils
+ /usr/lib/rpm/find-debuginfo.sh --strict-build-id -m --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 /builddir/build/BUILD/minisat
extracting debug info from /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm/usr/lib/libminisat.so.2.2.0
extracting debug info from /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm/usr/bin/minisat
/usr/lib/rpm/sepdebugcrcfix: Updated 2 CRC32s, 0 CRC32s did match.
symlinked /usr/lib/debug/usr/lib/libminisat.so.2.2.0.debug to /usr/lib/debug/usr/lib/libminisat.so.debug
symlinked /usr/lib/debug/usr/lib/libminisat.so.2.2.0.debug to /usr/lib/debug/usr/lib/libminisat.so.2.debug
332 blocks
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1
+ /usr/lib/rpm/brp-python-hardlink
+ /usr/lib/rpm/redhat/brp-java-repack-jars
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.PXBgx0
+ umask 022
+ cd /builddir/build/BUILD
RESULTS:
+ cd minisat
+ echo RESULTS:
+ cat minisat2-test.out
SAT
-1 -2 -3 -4 -5 0
++ head -1 minisat2-test.out
+ result=SAT
SUCCESS - Correctly found that it was satisfiable
+ '[' SAT = SAT ']'
+ echo 'SUCCESS - Correctly found that it was satisfiable'
+ true
+ exit 0
Processing files: minisat2-2.2.0-12bs02fc23.armv6hl
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.WC5PWa
+ umask 022
+ cd /builddir/build/BUILD
+ cd minisat
+ DOCDIR=/builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm/usr/share/doc/minisat2
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm/usr/share/doc/minisat2
+ cp -pr doc/ReleaseNotes-2.2.0.txt /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm/usr/share/doc/minisat2
+ cp -pr minisat-user-guide.html /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm/usr/share/doc/minisat2
+ cp -pr minisat2-test.in /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm/usr/share/doc/minisat2
+ cp -pr minisat2-test.out /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm/usr/share/doc/minisat2
+ exit 0
Provides: minisat2 = 2.2.0-12bs02fc23 minisat2(armv6hl-32) = 2.2.0-12bs02fc23
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libc.so.6 libc.so.6(GLIBC_2.4) libgcc_s.so.1 libgcc_s.so.1(GCC_3.5) libm.so.6 libminisat.so.2 libstdc++.so.6 libstdc++.so.6(CXXABI_1.3) libstdc++.so.6(CXXABI_ARM_1.3.3) libstdc++.so.6(GLIBCXX_3.4) libz.so.1 rtld(GNU_HASH)
Processing files: minisat2-libs-2.2.0-12bs02fc23.armv6hl
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.DsbXYx
+ umask 022
+ cd /builddir/build/BUILD
+ cd minisat
+ LICENSEDIR=/builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm/usr/share/licenses/minisat2-libs
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm/usr/share/licenses/minisat2-libs
+ cp -pr LICENSE /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm/usr/share/licenses/minisat2-libs
+ exit 0
Provides: libminisat.so.2 minisat2-libs = 2.2.0-12bs02fc23 minisat2-libs(armv6hl-32) = 2.2.0-12bs02fc23
Requires(interp): /sbin/ldconfig /sbin/ldconfig
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires(post): /sbin/ldconfig
Requires(postun): /sbin/ldconfig
Requires: libc.so.6 libc.so.6(GLIBC_2.4) libgcc_s.so.1 libgcc_s.so.1(GCC_3.5) libm.so.6 libm.so.6(GLIBC_2.4) libstdc++.so.6 libstdc++.so.6(CXXABI_1.3) libstdc++.so.6(CXXABI_ARM_1.3.3) libstdc++.so.6(GLIBCXX_3.4) libz.so.1 rtld(GNU_HASH)
Processing files: minisat2-devel-2.2.0-12bs02fc23.armv6hl
Provides: minisat2-devel = 2.2.0-12bs02fc23 minisat2-devel(armv6hl-32) = 2.2.0-12bs02fc23
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libminisat.so.2
Processing files: minisat2-debuginfo-2.2.0-12bs02fc23.armv6hl
Provides: minisat2-debuginfo = 2.2.0-12bs02fc23 minisat2-debuginfo(armv6hl-32) = 2.2.0-12bs02fc23
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm
Wrote: /builddir/build/RPMS/minisat2-2.2.0-12bs02fc23.armv6hl.rpm
Wrote: /builddir/build/RPMS/minisat2-libs-2.2.0-12bs02fc23.armv6hl.rpm
Wrote: /builddir/build/RPMS/minisat2-devel-2.2.0-12bs02fc23.armv6hl.rpm
Wrote: /builddir/build/RPMS/minisat2-debuginfo-2.2.0-12bs02fc23.armv6hl.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.qVNZGF
+ umask 022
+ cd /builddir/build/BUILD
+ cd minisat
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/minisat2-2.2.0-12bs02fc23.arm
+ exit 0
Child return code was: 0
LEAVE do -->