Mock Version: 1.1.4 Mock Version: 1.1.4 ENTER do(['bash', '--login', '-c', 'rpmbuild -bs --target x86_64 --nodeps builddir/build/SPECS/gappa.spec'], False, '/var/lib/mock/dist-f14-build-891449-130969/root/', None, 86400, True, 0, 419, 419, None, logger=) Executing command: ['bash', '--login', '-c', 'rpmbuild -bs --target x86_64 --nodeps builddir/build/SPECS/gappa.spec'] warning: Could not canonicalize hostname: x86-03.phx2.fedoraproject.org Building target platforms: x86_64 Building for target x86_64 Wrote: /builddir/build/SRPMS/gappa-0.13.0-4.fc14.src.rpm Child returncode was: 0 LEAVE do --> ENTER do(['bash', '--login', '-c', 'rpmbuild -bb --target x86_64 --nodeps builddir/build/SPECS/gappa.spec'], False, '/var/lib/mock/dist-f14-build-891449-130969/root/', None, 86400, True, 0, 419, 419, None, logger=) Executing command: ['bash', '--login', '-c', 'rpmbuild -bb --target x86_64 --nodeps builddir/build/SPECS/gappa.spec'] Building target platforms: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.MQd8zS + umask 022 + cd /builddir/build/BUILD + LANG=C + export LANG + unset DISPLAY + cd /builddir/build/BUILD + rm -rf gappa-0.13.0 + /usr/bin/gzip -dc /builddir/build/SOURCES/gappa-0.13.0.tar.gz + /bin/tar -xf - + STATUS=0 + '[' 0 -ne 0 ']' + cd gappa-0.13.0 + /bin/chmod -Rf a+rX,u+w,g-w,o-w . + cp -p /builddir/build/SOURCES/gappa.pdf . + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.7n0yvd + umask 022 + cd /builddir/build/BUILD + cd gappa-0.13.0 + LANG=C + export LANG + unset DISPLAY + CFLAGS='-O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic' + export CFLAGS + CXXFLAGS='-O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic' + export CXXFLAGS + FFLAGS='-O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic -I/usr/lib64/gfortran/modules' + export FFLAGS + ./configure --build=x86_64-redhat-linux-gnu --host=x86_64-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/lib64 --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... /bin/mkdir -p checking for gawk... gawk checking whether make sets $(MAKE)... yes checking for x86_64-redhat-linux-gnu-g++... no checking for x86_64-redhat-linux-gnu-c++... no checking for x86_64-redhat-linux-gnu-gpp... no checking for x86_64-redhat-linux-gnu-aCC... no checking for x86_64-redhat-linux-gnu-CC... no checking for x86_64-redhat-linux-gnu-cxx... no checking for x86_64-redhat-linux-gnu-cc++... no checking for x86_64-redhat-linux-gnu-cl.exe... no checking for x86_64-redhat-linux-gnu-FCC... no checking for x86_64-redhat-linux-gnu-KCC... no checking for x86_64-redhat-linux-gnu-RCC... no checking for x86_64-redhat-linux-gnu-xlC_r... no checking for x86_64-redhat-linux-gnu-xlC... no checking for g++... g++ checking for C++ compiler default output file name... a.out checking whether the C++ compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... 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 style of include used by make... GNU checking dependency style of g++... none checking for x86_64-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 dependency style of gcc... none checking for flex... flex checking lex output file root... lex.yy checking lex library... -lfl checking whether yytext is a pointer... yes checking for bison... bison -y 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: creating ./config.status config.status: creating Makefile config.status: creating doc/Makefile config.status: creating src/Makefile config.status: creating testsuite/Makefile config.status: creating config.h config.status: executing depfiles commands + sed -i 's/\( cat "$$logtmp"; \\\)/\1\n\texit 1; \\/' testsuite/Makefile + make -j4 make all-recursive make[1]: Entering directory `/builddir/build/BUILD/gappa-0.13.0' Making all in doc make[2]: Entering directory `/builddir/build/BUILD/gappa-0.13.0/doc' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/builddir/build/BUILD/gappa-0.13.0/doc' Making all in src make[2]: Entering directory `/builddir/build/BUILD/gappa-0.13.0/src' make all-am make[3]: Entering directory `/builddir/build/BUILD/gappa-0.13.0/src' g++ -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic -c -o main.o main.cpp g++ -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic -c -o parameters.o parameters.cpp g++ -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic -c -o arithmetic/fixed.o arithmetic/fixed.cpp g++ -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic -c -o arithmetic/float.o arithmetic/float.cpp g++ -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic -c -o arithmetic/homogen.o arithmetic/homogen.cpp g++ -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic -c -o arithmetic/relative.o arithmetic/relative.cpp g++ -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic -c -o backends/coq.o backends/coq.cpp g++ -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic -c -o backends/coq_lambda.o backends/coq_lambda.cpp g++ -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic -c -o backends/holl.o backends/holl.cpp g++ -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic -c -o backends/backend.o backends/backend.cpp g++ -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic -c -o numbers/interval.o numbers/interval.cpp g++ -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic -c -o numbers/io.o numbers/io.cpp g++ -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic -c -o numbers/real.o numbers/real.cpp g++ -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic -c -o numbers/round.o numbers/round.cpp g++ -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic -c -o parser/lexer.o parser/lexer.cpp g++ -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic -c -o parser/parser_aux.o parser/parser_aux.cpp g++ -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic -c -o parser/parser.o parser/parser.cpp g++ -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic -c -o parser/pattern.o parser/pattern.cpp parser/lexer.cpp:1358:17: warning: 'void yyunput(int, char*)' defined but not used g++ -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic -c -o parser/ring.o parser/ring.cpp g++ -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic -c -o proofs/basic_proof.o proofs/basic_proof.cpp g++ -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic -c -o proofs/dichotomy.o proofs/dichotomy.cpp g++ -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic -c -o proofs/proof_graph.o proofs/proof_graph.cpp g++ -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic -c -o proofs/property.o proofs/property.cpp g++ -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic -c -o proofs/rewriting.o proofs/rewriting.cpp g++ -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic -c -o proofs/schemes.o proofs/schemes.cpp g++ -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic -c -o proofs/updater.o proofs/updater.cpp g++ -DHAVE_CONFIG_H -I. -I.. -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic -c -o parser/ast.o parser/ast.cpp g++ -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic -o gappa arithmetic/fixed.o arithmetic/float.o arithmetic/homogen.o arithmetic/relative.o backends/coq.o backends/coq_lambda.o backends/holl.o backends/backend.o numbers/interval.o numbers/io.o numbers/real.o numbers/round.o parser/lexer.o parser/parser_aux.o parser/parser.o parser/pattern.o parser/ring.o proofs/basic_proof.o proofs/dichotomy.o proofs/proof_graph.o proofs/property.o proofs/rewriting.o proofs/schemes.o proofs/updater.o parser/ast.o main.o parameters.o -lmpfr -lgmp make[3]: Leaving directory `/builddir/build/BUILD/gappa-0.13.0/src' make[2]: Leaving directory `/builddir/build/BUILD/gappa-0.13.0/src' Making all in testsuite make[2]: Entering directory `/builddir/build/BUILD/gappa-0.13.0/testsuite' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/builddir/build/BUILD/gappa-0.13.0/testsuite' make[2]: Entering directory `/builddir/build/BUILD/gappa-0.13.0' make[2]: Leaving directory `/builddir/build/BUILD/gappa-0.13.0' make[1]: Leaving directory `/builddir/build/BUILD/gappa-0.13.0' + iconv -f latin1 -t utf8 COPYING + touch -r COPYING COPYING.UTF8 + mv COPYING.UTF8 COPYING + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.y9mmAm + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/gappa-0.13.0-4.fc14.x86_64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/gappa-0.13.0-4.fc14.x86_64 ++ dirname /builddir/build/BUILDROOT/gappa-0.13.0-4.fc14.x86_64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/gappa-0.13.0-4.fc14.x86_64 + cd gappa-0.13.0 + LANG=C + export LANG + unset DISPLAY + rm -rf /builddir/build/BUILDROOT/gappa-0.13.0-4.fc14.x86_64 + make install DESTDIR=/builddir/build/BUILDROOT/gappa-0.13.0-4.fc14.x86_64 Making install in doc make[1]: Entering directory `/builddir/build/BUILD/gappa-0.13.0/doc' make[2]: Entering directory `/builddir/build/BUILD/gappa-0.13.0/doc' make[2]: Nothing to be done for `install-exec-am'. make[2]: Nothing to be done for `install-data-am'. make[2]: Leaving directory `/builddir/build/BUILD/gappa-0.13.0/doc' make[1]: Leaving directory `/builddir/build/BUILD/gappa-0.13.0/doc' Making install in src make[1]: Entering directory `/builddir/build/BUILD/gappa-0.13.0/src' make install-am make[2]: Entering directory `/builddir/build/BUILD/gappa-0.13.0/src' make[3]: Entering directory `/builddir/build/BUILD/gappa-0.13.0/src' test -z "/usr/bin" || /bin/mkdir -p "/builddir/build/BUILDROOT/gappa-0.13.0-4.fc14.x86_64/usr/bin" /usr/bin/install -c gappa '/builddir/build/BUILDROOT/gappa-0.13.0-4.fc14.x86_64/usr/bin' make[3]: Nothing to be done for `install-data-am'. make[3]: Leaving directory `/builddir/build/BUILD/gappa-0.13.0/src' make[2]: Leaving directory `/builddir/build/BUILD/gappa-0.13.0/src' make[1]: Leaving directory `/builddir/build/BUILD/gappa-0.13.0/src' Making install in testsuite make[1]: Entering directory `/builddir/build/BUILD/gappa-0.13.0/testsuite' make[2]: Entering directory `/builddir/build/BUILD/gappa-0.13.0/testsuite' make[2]: Nothing to be done for `install-exec-am'. make[2]: Nothing to be done for `install-data-am'. make[2]: Leaving directory `/builddir/build/BUILD/gappa-0.13.0/testsuite' make[1]: Leaving directory `/builddir/build/BUILD/gappa-0.13.0/testsuite' make[1]: Entering directory `/builddir/build/BUILD/gappa-0.13.0' make[2]: Entering directory `/builddir/build/BUILD/gappa-0.13.0' make[2]: Nothing to be done for `install-exec-am'. make[2]: Nothing to be done for `install-data-am'. make[2]: Leaving directory `/builddir/build/BUILD/gappa-0.13.0' make[1]: Leaving directory `/builddir/build/BUILD/gappa-0.13.0' + /usr/lib/rpm/find-debuginfo.sh --strict-build-id /builddir/build/BUILD/gappa-0.13.0 extracting debug info from /builddir/build/BUILDROOT/gappa-0.13.0-4.fc14.x86_64/usr/bin/gappa cpio: gappa-0.13.0/src/lexer.lpp: Cannot stat: No such file or directory cpio: gappa-0.13.0/src/parser.ypp: Cannot stat: No such file or directory 894 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/brp-python-bytecompile /usr/bin/python 1 + /usr/lib/rpm/redhat/brp-python-hardlink + /usr/lib/rpm/redhat/brp-java-repack-jars Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.YuTYGz + umask 022 + cd /builddir/build/BUILD + cd gappa-0.13.0 + unset DISPLAY + cd src + echo 'x * x in [0, 1b2 {4, 2^(2)}]' + echo '{ x in [-2,2] -> x * x in ? }' + ./gappa + tail -1 ,test1 + cmp ,test1.short ,test1.correct + cd .. + make check Making check in doc make[1]: Entering directory `/builddir/build/BUILD/gappa-0.13.0/doc' make[1]: Nothing to be done for `check'. make[1]: Leaving directory `/builddir/build/BUILD/gappa-0.13.0/doc' Making check in src make[1]: Entering directory `/builddir/build/BUILD/gappa-0.13.0/src' make check-am make[2]: Entering directory `/builddir/build/BUILD/gappa-0.13.0/src' make[2]: Nothing to be done for `check-am'. make[2]: Leaving directory `/builddir/build/BUILD/gappa-0.13.0/src' make[1]: Leaving directory `/builddir/build/BUILD/gappa-0.13.0/src' Making check in testsuite make[1]: Entering directory `/builddir/build/BUILD/gappa-0.13.0/testsuite' make check-backend BACKEND=null make[2]: Entering directory `/builddir/build/BUILD/gappa-0.13.0/testsuite' make[2]: Leaving directory `/builddir/build/BUILD/gappa-0.13.0/testsuite' make check-backend BACKEND=coq make[2]: Entering directory `/builddir/build/BUILD/gappa-0.13.0/testsuite' make[2]: Leaving directory `/builddir/build/BUILD/gappa-0.13.0/testsuite' make check-backend BACKEND=holl make[2]: Entering directory `/builddir/build/BUILD/gappa-0.13.0/testsuite' make[2]: Leaving directory `/builddir/build/BUILD/gappa-0.13.0/testsuite' make[1]: Leaving directory `/builddir/build/BUILD/gappa-0.13.0/testsuite' make[1]: Entering directory `/builddir/build/BUILD/gappa-0.13.0' make[1]: Leaving directory `/builddir/build/BUILD/gappa-0.13.0' + exit 0 Processing files: gappa-0.13.0-4.fc14.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.NbQDdQ + umask 022 + cd /builddir/build/BUILD + cd gappa-0.13.0 + DOCDIR=/builddir/build/BUILDROOT/gappa-0.13.0-4.fc14.x86_64/usr/share/doc/gappa-0.13.0 + export DOCDIR + rm -rf /builddir/build/BUILDROOT/gappa-0.13.0-4.fc14.x86_64/usr/share/doc/gappa-0.13.0 + /bin/mkdir -p /builddir/build/BUILDROOT/gappa-0.13.0-4.fc14.x86_64/usr/share/doc/gappa-0.13.0 + cp -pr AUTHORS COPYING COPYING.GPL README TODO NEWS gappa.pdf /builddir/build/BUILDROOT/gappa-0.13.0-4.fc14.x86_64/usr/share/doc/gappa-0.13.0 + exit 0 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.4)(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgmp.so.3()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.2.5)(64bit) libmpfr.so.1()(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.10)(64bit) libstdc++.so.6(GLIBCXX_3.4.14)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) rtld(GNU_HASH) Processing files: gappa-debuginfo-0.13.0-4.fc14.x86_64 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/gappa-0.13.0-4.fc14.x86_64 warning: Could not canonicalize hostname: x86-03.phx2.fedoraproject.org Wrote: /builddir/build/RPMS/gappa-0.13.0-4.fc14.x86_64.rpm Wrote: /builddir/build/RPMS/gappa-debuginfo-0.13.0-4.fc14.x86_64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.59er9I + umask 022 + cd /builddir/build/BUILD + cd gappa-0.13.0 + rm -rf /builddir/build/BUILDROOT/gappa-0.13.0-4.fc14.x86_64 + exit 0 Child returncode was: 0 LEAVE do -->