Mock Version: 1.1.21
Mock Version: 1.1.21
ENTER do(['bash', '--login', '-c', 'rpmbuild -bs --target x86_64 --nodeps builddir/build/SPECS/Agda.spec'], False, '/var/lib/mock/f18-build-1527491-260194/root/', None, 86400, True, False, 500, 425, None, False, {'LANG': 'en_US.UTF-8', 'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOSTNAME': 'mock', 'PROMPT_COMMAND': 'echo -n "<mock-chroot>"', 'HOME': '/builddir', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin'}, logger=<mockbuild.trace_decorator.getLog object at 0x219fa10>)
Executing command: ['bash', '--login', '-c', 'rpmbuild -bs --target x86_64 --nodeps builddir/build/SPECS/Agda.spec'] with env {'LANG': 'en_US.UTF-8', 'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOSTNAME': 'mock', 'PROMPT_COMMAND': 'echo -n "<mock-chroot>"', 'HOME': '/builddir', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin'}
Building target platforms: x86_64
Building for target x86_64
Wrote: /builddir/build/SRPMS/Agda-2.3.0.1-4.fc18.src.rpm
Child return code was: 0
LEAVE do --> 

ENTER do(['bash', '--login', '-c', 'rpmbuild -bb --target x86_64 --nodeps builddir/build/SPECS/Agda.spec'], False, '/var/lib/mock/f18-build-1527491-260194/root/', None, 86400, True, False, 500, 425, None, False, {'LANG': 'en_US.UTF-8', 'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOSTNAME': 'mock', 'PROMPT_COMMAND': 'echo -n "<mock-chroot>"', 'HOME': '/builddir', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin'}, logger=<mockbuild.trace_decorator.getLog object at 0x219fa10>)
Executing command: ['bash', '--login', '-c', 'rpmbuild -bb --target x86_64 --nodeps builddir/build/SPECS/Agda.spec'] with env {'LANG': 'en_US.UTF-8', 'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOSTNAME': 'mock', 'PROMPT_COMMAND': 'echo -n "<mock-chroot>"', 'HOME': '/builddir', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin'}
Building target platforms: x86_64
Building for target x86_64
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.WrQ3ew
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf Agda-executable-2.3.0.1
+ /usr/bin/gzip -dc /builddir/build/SOURCES/Agda-executable-2.3.0.1.tar.gz
+ /usr/bin/tar -xf -
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd Agda-executable-2.3.0.1
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.QidmEX
+ umask 022
+ cd /builddir/build/BUILD
+ cd Agda-executable-2.3.0.1
++ ghc --info
++ grep '"Booter version","7.4.1"'
+ '[' '!' ' ,("Booter version","7.4.1")' ']'
+ '[' -x Setup ']'
+ ghc --make -no-user-package-conf -dynamic Setup
[1 of 1] Compiling Main             ( Setup.hs, Setup.o )
Linking Setup ...
+ ./Setup configure --prefix=/usr --libdir=/usr/lib64 --docdir=/usr/share/doc/Agda-2.3.0.1 --htmldir=/usr/share/doc/ghc/html/libraries/Agda-executable-2.3.0.1 '--libsubdir=$compiler/$pkgid' --ghc --enable-executable-dynamic
Configuring Agda-executable-2.3.0.1...
+ '[' -x Setup ']'
+ ./Setup build
Building Agda-executable-2.3.0.1...
Preprocessing executable 'agda' for Agda-executable-2.3.0.1...
[1 of 1] Compiling Main             ( Main.hs, dist/build/agda/agda-tmp/Main.dyn_o )
Linking dist/build/agda/agda ...
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.UEnMSv
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/Agda-2.3.0.1-4.fc18.x86_64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/Agda-2.3.0.1-4.fc18.x86_64
++ dirname /builddir/build/BUILDROOT/Agda-2.3.0.1-4.fc18.x86_64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/Agda-2.3.0.1-4.fc18.x86_64
+ cd Agda-executable-2.3.0.1
+ '[' -x Setup ']'
+ ./Setup copy --destdir=/builddir/build/BUILDROOT/Agda-2.3.0.1-4.fc18.x86_64 -v
directory dist/doc/html/Agda-executable does exist: False
creating
/builddir/build/BUILDROOT/Agda-2.3.0.1-4.fc18.x86_64/usr/share/doc/Agda-2.3.0.1
creating /builddir/build/BUILDROOT/Agda-2.3.0.1-4.fc18.x86_64/usr/share/doc
creating /builddir/build/BUILDROOT/Agda-2.3.0.1-4.fc18.x86_64/usr/share
creating /builddir/build/BUILDROOT/Agda-2.3.0.1-4.fc18.x86_64/usr
creating /builddir/build/BUILDROOT/Agda-2.3.0.1-4.fc18.x86_64/usr/share
creating /builddir/build/BUILDROOT/Agda-2.3.0.1-4.fc18.x86_64/usr/share/doc
creating
/builddir/build/BUILDROOT/Agda-2.3.0.1-4.fc18.x86_64/usr/share/doc/Agda-2.3.0.1
Installing LICENSE to
/builddir/build/BUILDROOT/Agda-2.3.0.1-4.fc18.x86_64/usr/share/doc/Agda-2.3.0.1/LICENSE
Installing executable(s) in
/builddir/build/BUILDROOT/Agda-2.3.0.1-4.fc18.x86_64/usr/bin
creating /builddir/build/BUILDROOT/Agda-2.3.0.1-4.fc18.x86_64/usr/bin
Installing executable dist/build/agda/agda to
/builddir/build/BUILDROOT/Agda-2.3.0.1-4.fc18.x86_64/usr/bin/agda
/usr/bin/strip /builddir/build/BUILDROOT/Agda-2.3.0.1-4.fc18.x86_64/usr/bin/agda
+ find /builddir/build/BUILDROOT/Agda-2.3.0.1-4.fc18.x86_64 -type f -exec sh -c 'file {} | grep -q '\''dynamically linked'\''' ';' -exec strip '{}' ';'
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-compress
+ /usr/lib/rpm/redhat/brp-strip /usr/bin/strip
+ /usr/lib/rpm/redhat/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump
+ /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
Processing files: Agda-2.3.0.1-4.fc18.x86_64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.OxKvj5
+ umask 022
+ cd /builddir/build/BUILD
+ cd Agda-executable-2.3.0.1
+ DOCDIR=/builddir/build/BUILDROOT/Agda-2.3.0.1-4.fc18.x86_64/usr/share/doc/Agda-2.3.0.1
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/Agda-2.3.0.1-4.fc18.x86_64/usr/share/doc/Agda-2.3.0.1
+ cp -pr LICENSE /builddir/build/BUILDROOT/Agda-2.3.0.1-4.fc18.x86_64/usr/share/doc/Agda-2.3.0.1
+ exit 0
Finding  Provides: /usr/lib/rpm/redhat/find-provides
Finding  Requires(interp): 
Finding  Requires(rpmlib): 
Finding  Requires(verify): 
Finding  Requires(pre): 
Finding  Requires(post): 
Finding  Requires(preun): 
Finding  Requires(postun): 
Finding  Requires: /usr/lib/rpm/ghc-deps.sh --requires /builddir/build/BUILDROOT/Agda-2.3.0.1-4.fc18.x86_64/usr/lib64/ghc-7.4.1
Provides: Agda = 2.3.0.1-4.fc18 Agda(x86-64) = 2.3.0.1-4.fc18
Requires(rpmlib): rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 rpmlib(CompressedFileNames) <= 3.0.4-1
Requires: ghc(Agda-2.3.0.1-860ebdf2c6f34a2a3d6cc112b836fe0d) ghc(zlib-0.5.3.3-25bc90418de17a311a72450ebca404a8) ghc(xhtml-3000.2.1-c15f9c980052392611925ff142433273) ghc(syb-0.3.6.1-25afc4081bcba194a5b590534d6cacab) ghc(process-1.1.0.1-18dadd8ad5fc640f55a7afdc7aace500) ghc(haskell-src-exts-1.13.3-5ad72dfc69c41921156b000221e8b93e) ghc(cpphs-1.14-bf3bffed275f3026e0b4daf0a38ac3e2) ghc(haskeline-0.6.4.7-2c076d72c09b8cb1045e495d1ae5e086) ghc(utf8-string-0.3.7-ca3bc669f78a10f8e42ef22439bcf83c) ghc(terminfo-0.3.2.3-48aea11aa2fd9423f8d10520d03b489f) ghc(mtl-2.1.1-801101765c9185fec3b8dbd5355f5550) ghc(transformers-0.3.0.0-b55e1ba0a2f0da13c35eec50d1253059) ghc(hashtables-1.0.1.6-5cb965b9069e2cbf3a8c78c2bc942080) ghc(vector-0.9.1-04dd5c58c224b03a4dc90091cf93a01d) ghc(primitive-0.4.1-50546f2077956874e7dbbbcbc12aa2dc) ghc(hashable-1.1.2.3-1b1ae533e8109c581b837fc0c1a1efb6) ghc(text-0.11.2.0-cbc26447607f975ce9a7ddeec2f00d71) ghc(directory-1.1.0.2-ebacad9b5233212b1abbebce9b7e6524) ghc(unix-2.5.1.0-3c18249f73fbfde89a037d9037b2f9d0) ghc(old-time-1.1.0.0-b77788a065c86ada9ba279afa5e04576) ghc(filepath-1.3.0.0-973f5e9fbed93e25cbe66dfeb6b99ad9) ghc(binary-0.5.1.0-d85d747036d82514a2050c5da3cb178c) ghc(bytestring-0.9.2.1-18f26186028d7c0e92e78edc9071d376) ghc(QuickCheck-2.4.2-41cb2884cc20cd78948de62849bd9667) ghc(template-haskell-2.7.0.0-8c8cd20e21666657195efabced685fe1) ghc(pretty-1.1.1.0-74ee6c6be86f83487da68d408cc3ae22) ghc(containers-0.4.2.1-cfc6420ecc2194c9ed977b06bdfd9e69) ghc(random-1.0.1.1-e3566210caf162aa256430e88f7b7640) ghc(time-1.4-96b42dcaca5cdbc30bab9dcc07384b8d) ghc(old-locale-1.0.0.4-a2c3d942f886fb70df8171795fdc2e5a) ghc(deepseq-1.3.0.0-a73ec930018135e0dc0a1a3d29c74c88) ghc(array-0.4.0.0-59d1cc0e7979167b002f021942d60f46) ghc(extensible-exceptions-0.1.1.4-d27a1ac47e54880cae007cceceb41580) ghc(base-4.5.0.0-40b99d05fae6a4eea95ea69e6e0c9702) ghc(integer-gmp-0.4.0.0-3cccac07aef8e27023f605c1f45bdf74) ghc(ghc-prim-0.2.0.0-c2ff696e5b8ec4d4b2bc2e42085fe471) libHSAgda-2.3.0.1-ghc7.4.1.so()(64bit) libHSQuickCheck-2.4.2-ghc7.4.1.so()(64bit) libHSarray-0.4.0.0-ghc7.4.1.so()(64bit) libHSbase-4.5.0.0-ghc7.4.1.so()(64bit) libHSbinary-0.5.1.0-ghc7.4.1.so()(64bit) libHSbytestring-0.9.2.1-ghc7.4.1.so()(64bit) libHScontainers-0.4.2.1-ghc7.4.1.so()(64bit) libHScpphs-1.14-ghc7.4.1.so()(64bit) libHSdeepseq-1.3.0.0-ghc7.4.1.so()(64bit) libHSdirectory-1.1.0.2-ghc7.4.1.so()(64bit) libHSextensible-exceptions-0.1.1.4-ghc7.4.1.so()(64bit) libHSfilepath-1.3.0.0-ghc7.4.1.so()(64bit) libHSghc-prim-0.2.0.0-ghc7.4.1.so()(64bit) libHShashable-1.1.2.3-ghc7.4.1.so()(64bit) libHShashtables-1.0.1.6-ghc7.4.1.so()(64bit) libHShaskeline-0.6.4.7-ghc7.4.1.so()(64bit) libHShaskell-src-exts-1.13.3-ghc7.4.1.so()(64bit) libHSinteger-gmp-0.4.0.0-ghc7.4.1.so()(64bit) libHSmtl-2.1.1-ghc7.4.1.so()(64bit) libHSold-locale-1.0.0.4-ghc7.4.1.so()(64bit) libHSold-time-1.1.0.0-ghc7.4.1.so()(64bit) libHSpretty-1.1.1.0-ghc7.4.1.so()(64bit) libHSprimitive-0.4.1-ghc7.4.1.so()(64bit) libHSprocess-1.1.0.1-ghc7.4.1.so()(64bit) libHSrandom-1.0.1.1-ghc7.4.1.so()(64bit) libHSrts-ghc7.4.1.so()(64bit) libHSsyb-0.3.6.1-ghc7.4.1.so()(64bit) libHStemplate-haskell-2.7.0.0-ghc7.4.1.so()(64bit) libHSterminfo-0.3.2.3-ghc7.4.1.so()(64bit) libHStext-0.11.2.0-ghc7.4.1.so()(64bit) libHStime-1.4-ghc7.4.1.so()(64bit) libHStransformers-0.3.0.0-ghc7.4.1.so()(64bit) libHSunix-2.5.1.0-ghc7.4.1.so()(64bit) libHSutf8-string-0.3.7-ghc7.4.1.so()(64bit) libHSvector-0.9.1-ghc7.4.1.so()(64bit) libHSxhtml-3000.2.1-ghc7.4.1.so()(64bit) libHSzlib-0.5.3.3-ghc7.4.1.so()(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libdl.so.2()(64bit) libffi.so.5()(64bit) libgmp.so.10()(64bit) libm.so.6()(64bit) libncursesw.so.5()(64bit) libpthread.so.0()(64bit) librt.so.1()(64bit) libtinfo.so.5()(64bit) libutil.so.1()(64bit) libz.so.1()(64bit) rtld(GNU_HASH)
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/Agda-2.3.0.1-4.fc18.x86_64
Wrote: /builddir/build/RPMS/Agda-2.3.0.1-4.fc18.x86_64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.kZFmai
+ umask 022
+ cd /builddir/build/BUILD
+ cd Agda-executable-2.3.0.1
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/Agda-2.3.0.1-4.fc18.x86_64
+ exit 0
Child return code was: 0
LEAVE do -->