Mock Version: 1.2.14 ENTER do(['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target armv6hl --nodeps /builddir/build/SPECS/gappa.spec'], logger=gid=135uid=1000user='mockbuild'printOutput=Falseenv={'CCACHE_UMASK': '002', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'LANG': 'en_US.UTF-8', 'SHELL': '/bin/bash', 'HOSTNAME': 'mock', 'TERM': 'vt100', 'PROMPT_COMMAND': 'printf "\x1b]0;\x07"', 'CCACHE_DIR': '/tmp/ccache', 'HOME': '/builddir'}chrootPath='/var/lib/mock/fedora-23-armhfp-pidora-round2-root-19502/root'shell=Falsetimeout=0) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target armv6hl --nodeps /builddir/build/SPECS/gappa.spec'] with env {'CCACHE_UMASK': '002', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'LANG': 'en_US.UTF-8', 'SHELL': '/bin/bash', 'HOSTNAME': 'mock', 'TERM': 'vt100', 'PROMPT_COMMAND': 'printf "\x1b]0;\x07"', 'CCACHE_DIR': '/tmp/ccache', 'HOME': '/builddir'} and shell False Building target platforms: armv6hl Building for target armv6hl Wrote: /builddir/build/SRPMS/gappa-1.2.0-4bs02npfc23.src.rpm Child return code was: 0 LEAVE do --> Mock Version: 1.2.14 ENTER do(['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target armv6hl --nodeps /builddir/build/SPECS/gappa.spec'], timeout=0shell=Falsegid=135uid=1000printOutput=FalsechrootPath='/var/lib/mock/fedora-23-armhfp-pidora-round2-root-19318/root'logger=user='mockbuild'env={'PROMPT_COMMAND': 'printf "\x1b]0;\x07"', 'TERM': 'vt100', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'SHELL': '/bin/bash', 'CCACHE_DIR': '/tmp/ccache', 'HOME': '/builddir', 'CCACHE_UMASK': '002', 'LANG': 'en_US.UTF-8'}) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target armv6hl --nodeps /builddir/build/SPECS/gappa.spec'] with env {'PROMPT_COMMAND': 'printf "\x1b]0;\x07"', 'TERM': 'vt100', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'SHELL': '/bin/bash', 'CCACHE_DIR': '/tmp/ccache', 'HOME': '/builddir', 'CCACHE_UMASK': '002', 'LANG': 'en_US.UTF-8'} and shell False Building target platforms: armv6hl Building for target armv6hl Wrote: /builddir/build/SRPMS/gappa-1.2.0-4bs02npfc23.src.rpm Child return code was: 0 LEAVE do --> Mock Version: 1.2.14 ENTER do(['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target armv6hl --nodeps /builddir/build/SPECS/gappa.spec'], timeout=0env={'HOSTNAME': 'mock', 'LANG': 'en_US.UTF-8', 'PROMPT_COMMAND': 'printf "\x1b]0;\x07"', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'SHELL': '/bin/bash', 'TERM': 'vt100', 'HOME': '/builddir', 'CCACHE_DIR': '/tmp/ccache', 'CCACHE_UMASK': '002'}user='mockbuild'logger=printOutput=Falseshell=FalsechrootPath='/var/lib/mock/fedora-23-armhfp-pidora-round2-root-17508/root'uid=1000gid=135) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target armv6hl --nodeps /builddir/build/SPECS/gappa.spec'] with env {'HOSTNAME': 'mock', 'LANG': 'en_US.UTF-8', 'PROMPT_COMMAND': 'printf "\x1b]0;\x07"', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'SHELL': '/bin/bash', 'TERM': 'vt100', 'HOME': '/builddir', 'CCACHE_DIR': '/tmp/ccache', 'CCACHE_UMASK': '002'} and shell False Building target platforms: armv6hl Building for target armv6hl Wrote: /builddir/build/SRPMS/gappa-1.2.0-4bs02npfc23.src.rpm Child return code was: 0 LEAVE do --> ENTER do(['bash', '--login', '-c', "/usr/bin/rpmbuild -bb --target armv6hl --nodeps --define '__spec_check_template exit 0; ' /builddir/build/SPECS/gappa.spec "], timeout=0env={'HOSTNAME': 'mock', 'LANG': 'en_US.UTF-8', 'PROMPT_COMMAND': 'printf "\x1b]0;\x07"', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'SHELL': '/bin/bash', 'TERM': 'vt100', 'HOME': '/builddir', 'CCACHE_DIR': '/tmp/ccache', 'CCACHE_UMASK': '002'}user='mockbuild'logger=printOutput=Falseprivate_network=Trueshell=FalsechrootPath='/var/lib/mock/fedora-23-armhfp-pidora-round2-root-17508/root'uid=1000gid=135) Executing command: ['bash', '--login', '-c', "/usr/bin/rpmbuild -bb --target armv6hl --nodeps --define '__spec_check_template exit 0; ' /builddir/build/SPECS/gappa.spec "] with env {'HOSTNAME': 'mock', 'LANG': 'en_US.UTF-8', 'PROMPT_COMMAND': 'printf "\x1b]0;\x07"', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'SHELL': '/bin/bash', 'TERM': 'vt100', 'HOME': '/builddir', 'CCACHE_DIR': '/tmp/ccache', 'CCACHE_UMASK': '002'} and shell False Building target platforms: armv6hl Building for target armv6hl Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.hrWb01 + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf gappa-1.2.0 + /usr/bin/gzip -dc /builddir/build/SOURCES/gappa-1.2.0.tar.gz + /usr/bin/tar -xf - + STATUS=0 + '[' 0 -ne 0 ']' + cd gappa-1.2.0 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + iconv -f latin1 -t utf8 COPYING + touch -r COPYING COPYING.UTF8 + mv COPYING.UTF8 COPYING + sed -i 's/timeout 5/&0/' Remakefile.in + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.0fwvqZ + umask 022 + cd /builddir/build/BUILD + cd gappa-1.2.0 + CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv6 -mfloat-abi=hard -mfpu=vfp' + export CFLAGS + CXXFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv6 -mfloat-abi=hard -mfpu=vfp' + export CXXFLAGS + FFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv6 -mfloat-abi=hard -mfpu=vfp -I/usr/lib/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv6 -mfloat-abi=hard -mfpu=vfp -I/usr/lib/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' + export LDFLAGS + '[' 1 = 1 ']' +++ dirname ./configure ++ find . -name config.guess -o -name config.sub + '[' 1 = 1 ']' + '[' x '!=' x-specs=/usr/lib/rpm/redhat/redhat-hardened-ld ']' ++ find . -name ltmain.sh + ./configure --build=armv6hl-redhat-linux-gnu --host=armv6hl-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info configure: WARNING: unrecognized options: --disable-dependency-tracking checking for armv6hl-redhat-linux-gnu-g++... no checking for armv6hl-redhat-linux-gnu-c++... no checking for armv6hl-redhat-linux-gnu-gpp... no checking for armv6hl-redhat-linux-gnu-aCC... no checking for armv6hl-redhat-linux-gnu-CC... no checking for armv6hl-redhat-linux-gnu-cxx... no checking for armv6hl-redhat-linux-gnu-cc++... no checking for armv6hl-redhat-linux-gnu-cl.exe... no checking for armv6hl-redhat-linux-gnu-FCC... no checking for armv6hl-redhat-linux-gnu-KCC... no checking for armv6hl-redhat-linux-gnu-RCC... no checking for armv6hl-redhat-linux-gnu-xlC_r... no checking for armv6hl-redhat-linux-gnu-xlC... no checking for g++... g++ checking whether the C++ compiler works... yes checking for C++ compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking for armv6hl-redhat-linux-gnu-gcc... no checking for gcc... gcc checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking for flex... no checking for lex... no checking for bison... no checking for byacc... no checking for __gmpz_init in -lgmp... yes checking for mpfr_snprintf in -lmpfr... yes checking for Boost (>=1.32)... yes checking for tr1/unordered_map... yes configure: building remake... /tmp/ccHwHwrq.o: In function `main': remake.cpp:(.text.startup+0xb1c): warning: the use of `tempnam' is dangerous, better use `mkstemp' configure: creating ./config.status config.status: creating stamp-config_h config.status: creating Remakefile config.status: creating config.h configure: WARNING: unrecognized options: --disable-dependency-tracking + rm -f remake + ln -s /usr/bin/remake remake + remake -j8 Building src/arithmetic/fixed.o Building src/arithmetic/float.o Building src/arithmetic/homogen.o Building src/arithmetic/relative.o Building src/backends/backend.o Building src/backends/coq.o Building src/backends/coq_common.o Building src/backends/coq_lambda.o Finished src/backends/backend.o Building src/backends/holl.o Finished src/arithmetic/homogen.o Building src/backends/latex.o Finished src/backends/coq_lambda.o Building src/numbers/interval.o Finished src/arithmetic/fixed.o Building src/numbers/io.o Finished src/arithmetic/float.o Finished src/arithmetic/relative.o Building src/numbers/real.o Building src/numbers/round.o Finished src/backends/coq.o Building src/parser/ast.o Finished src/numbers/real.o Building src/parser/lexer.o Finished src/numbers/interval.o Building src/parser/parser_aux.o src/backends/holl.cpp:339:12: warning: 'int find_real(real_map&, const ast_real*)' defined but not used [-Wunused-function] static int find_real(real_map &rm, ast_real const *r) ^ src/backends/holl.cpp:350:13: warning: 'void invoke_subset(auto_flush&, property, const property&)' defined but not used [-Wunused-function] static void invoke_subset(auto_flush &plouf, property const p1, property const &p2) ^ Finished src/backends/holl.o Building src/parser/parser.o Finished src/numbers/round.o Building src/parser/pattern.o src/backends/coq_common.cpp: In function 'void coq::apply_theorem(auto_flush&, const string&, const property&, const property*, const property_map*, int*)': src/backends/coq_common.cpp:569:36: warning: narrowing conversion of '(max + 49)' from 'int' to 'char' inside { } is ill-formed in C++11 [-Wnarrowing] char t[] = { ' ', '$', '1' + max, 'p', '\0' }; ^ Finished src/backends/coq_common.o Building src/parser/ring.o Finished src/numbers/io.o Building src/proofs/basic_proof.o Finished src/parser/lexer.o Building src/proofs/dichotomy.o Finished src/backends/latex.o Building src/proofs/proof_graph.o Finished src/parser/parser_aux.o Building src/proofs/property.o Finished src/parser/ast.o Building src/proofs/rewriting.o In file included from src/proofs/proof_graph.cpp:17:0: src/proofs/proof_graph.hpp: In constructor 'logicp_node::logicp_node(const property&, logic_node*, int)': src/proofs/proof_graph.hpp:107:12: warning: 'logicp_node::res' will be initialized after [-Wreorder] property res; ^ src/proofs/proof_graph.hpp:106:15: warning: 'logic_node* logicp_node::before' [-Wreorder] logic_node *before; ^ src/proofs/proof_graph.cpp:264:1: warning: when initialized here [-Wreorder] logicp_node::logicp_node(property const &p, logic_node *n, int i) ^ Finished src/parser/ring.o Building src/proofs/schemes.o Finished src/proofs/proof_graph.o Building src/proofs/updater.o Finished src/parser/parser.o Building src/main.o Finished src/proofs/dichotomy.o Building src/parameters.o Finished src/parser/pattern.o Finished src/proofs/property.o Finished src/parameters.o Finished src/proofs/basic_proof.o Finished src/proofs/updater.o Finished src/main.o Finished src/proofs/schemes.o Finished src/proofs/rewriting.o Building src/gappa Finished src/gappa Building all Finished all + remake doc/gappa.pdf Building doc/gappa-news.xml Finished doc/gappa-news.xml Building doc/gappa-preprocessed.xml Finished doc/gappa-preprocessed.xml Building doc/gappa.pdf Build the book set list... Build the listings... XSLT stylesheets DocBook - LaTeX 2e (0.3.6) =================================================== Build gappa-preprocessed.pdf 'gappa.pdf' successfully built Finished doc/gappa.pdf Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.1YzhV3 + exit 0 + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/gappa-1.2.0-4bs02npfc23.arm '!=' / ']' + rm -rf /builddir/build/BUILDROOT/gappa-1.2.0-4bs02npfc23.arm ++ dirname /builddir/build/BUILDROOT/gappa-1.2.0-4bs02npfc23.arm + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/gappa-1.2.0-4bs02npfc23.arm + cd gappa-1.2.0 + sed -i 's|\(cp src/gappa \).*|\1/builddir/build/BUILDROOT/gappa-1.2.0-4bs02npfc23.arm/usr/bin|' Remakefile + mkdir -p /builddir/build/BUILDROOT/gappa-1.2.0-4bs02npfc23.arm/usr/bin + remake install Building install Finished install + /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/gappa-1.2.0 extracting debug info from /builddir/build/BUILDROOT/gappa-1.2.0-4bs02npfc23.arm/usr/bin/gappa dwz: Too few files for multifile optimization /usr/lib/rpm/sepdebugcrcfix: Updated 1 CRC32s, 0 CRC32s did match. 980 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.h53BKo Processing files: gappa-1.2.0-4bs02npfc23.armv6hl Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.3HqCrI + umask 022 + cd /builddir/build/BUILD + cd gappa-1.2.0 + DOCDIR=/builddir/build/BUILDROOT/gappa-1.2.0-4bs02npfc23.arm/usr/share/doc/gappa + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/gappa-1.2.0-4bs02npfc23.arm/usr/share/doc/gappa + cp -pr AUTHORS /builddir/build/BUILDROOT/gappa-1.2.0-4bs02npfc23.arm/usr/share/doc/gappa + cp -pr README /builddir/build/BUILDROOT/gappa-1.2.0-4bs02npfc23.arm/usr/share/doc/gappa + cp -pr NEWS /builddir/build/BUILDROOT/gappa-1.2.0-4bs02npfc23.arm/usr/share/doc/gappa + cp -pr doc/gappa.pdf /builddir/build/BUILDROOT/gappa-1.2.0-4bs02npfc23.arm/usr/share/doc/gappa + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.nkOtf7 + umask 022 + cd /builddir/build/BUILD + cd gappa-1.2.0 + LICENSEDIR=/builddir/build/BUILDROOT/gappa-1.2.0-4bs02npfc23.arm/usr/share/licenses/gappa + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/gappa-1.2.0-4bs02npfc23.arm/usr/share/licenses/gappa + cp -pr COPYING /builddir/build/BUILDROOT/gappa-1.2.0-4bs02npfc23.arm/usr/share/licenses/gappa + cp -pr COPYING.GPL /builddir/build/BUILDROOT/gappa-1.2.0-4bs02npfc23.arm/usr/share/licenses/gappa + exit 0 Provides: gappa = 1.2.0-4bs02npfc23 gappa(armv6hl-32) = 1.2.0-4bs02npfc23 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ld-linux-armhf.so.3 ld-linux-armhf.so.3(GLIBC_2.4) libc.so.6 libc.so.6(GLIBC_2.4) libgcc_s.so.1 libgcc_s.so.1(GCC_3.5) libgmp.so.10 libm.so.6 libm.so.6(GLIBC_2.4) libmpfr.so.4 libstdc++.so.6 libstdc++.so.6(CXXABI_1.3) libstdc++.so.6(CXXABI_ARM_1.3.3) libstdc++.so.6(GLIBCXX_3.4) libstdc++.so.6(GLIBCXX_3.4.10) libstdc++.so.6(GLIBCXX_3.4.15) libstdc++.so.6(GLIBCXX_3.4.20) libstdc++.so.6(GLIBCXX_3.4.21) libstdc++.so.6(GLIBCXX_3.4.9) rtld(GNU_HASH) Processing files: gappa-debuginfo-1.2.0-4bs02npfc23.armv6hl Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/gappa-1.2.0-4bs02npfc23.arm Wrote: /builddir/build/RPMS/gappa-1.2.0-4bs02npfc23.armv6hl.rpm Wrote: /builddir/build/RPMS/gappa-debuginfo-1.2.0-4bs02npfc23.armv6hl.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.fgWc77 + umask 022 + cd /builddir/build/BUILD + cd gappa-1.2.0 + /usr/bin/rm -rf /builddir/build/BUILDROOT/gappa-1.2.0-4bs02npfc23.arm + exit 0 Child return code was: 0 LEAVE do -->