Mock Version: 6.0 Mock Version: 6.0 Mock Version: 6.0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target x86_64 --nodeps /builddir/build/SPECS/ghc-what4.spec'], chrootPath='/var/lib/mock/f42-build-56359808-6543621/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=201600uid=1000gid=425user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.uydhsyv1:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']) Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.uydhsyv1:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'] Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '0bbcccb57e5f45ada42f77af2740dab8', '-D', '/var/lib/mock/f42-build-56359808-6543621/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.uydhsyv1:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target x86_64 --nodeps /builddir/build/SPECS/ghc-what4.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1724025600 Wrote: /builddir/build/SRPMS/ghc-what4-1.5.1-1.fc42.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target x86_64 --nodeps /builddir/build/SPECS/ghc-what4.spec'], chrootPath='/var/lib/mock/f42-build-56359808-6543621/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=201600uid=1000gid=425user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.uydhsyv1:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']) Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.uydhsyv1:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'] Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '57db282dd6f04c80a4f2573aec835b8c', '-D', '/var/lib/mock/f42-build-56359808-6543621/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.uydhsyv1:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target x86_64 --nodeps /builddir/build/SPECS/ghc-what4.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1724025600 Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.gWyzwd + umask 022 + cd /builddir/build/BUILD/ghc-what4-1.5.1-build + test -d /builddir/build/BUILD/ghc-what4-1.5.1-build + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/ghc-what4-1.5.1-build + /usr/bin/rm -rf /builddir/build/BUILD/ghc-what4-1.5.1-build + /usr/bin/mkdir -p /builddir/build/BUILD/ghc-what4-1.5.1-build + /usr/bin/mkdir -p /builddir/build/BUILD/ghc-what4-1.5.1-build/SPECPARTS + RPM_EC=0 ++ jobs -p + exit 0 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.IJNfxq + umask 022 + cd /builddir/build/BUILD/ghc-what4-1.5.1-build + cd /builddir/build/BUILD/ghc-what4-1.5.1-build + rm -rf what4-1.5.1 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/what4-1.5.1.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd what4-1.5.1 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.RCGk7c + umask 022 + cd /builddir/build/BUILD/ghc-what4-1.5.1-build + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd what4-1.5.1 ++ ls ++ grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)' + for f in $(ls | grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)') ==== Build what4-1.5.1 ==== + '[' -f CHANGES.md -a -x CHANGES.md ']' + for f in $(ls | grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)') + '[' -f README.md -a -x README.md ']' + echo -e '\n==== Build what4-1.5.1 ====' + '[' -f Setup.hs -o -f Setup.lhs ']' + cp /usr/share/ghc-rpm-macros/Setup.hs . + '[' -d /usr/lib64/ghc-9.6.6/lib ']' + subsubdir=/lib + '[' -x Setup ']' + ghc --make -package Cabal -no-user-package-db -dynamic Setup [1 of 2] Compiling Main ( Setup.hs, Setup.o ) [2 of 2] Linking Setup + LANG=C.utf8 ++ echo ' -O2' -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ++ sed -e 's/ / -optc/g' ++ echo ' -Wl,-z,relro' -Wl,--as-needed -Wl,-z,pack-relative-relocs -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 ++ sed -e 's/ / -optl/g' + ./Setup configure --prefix=/usr --libdir=/usr/lib64 --docdir=/usr/share/licenses/ghc-what4 '--libsubdir=$compiler/lib/$pkgid' '--datasubdir=$pkgid' '--libexecsubdir=$pkgid' --ghc --dynlibdir=/usr/lib64/ghc-9.6.6/lib --global '--ghc-options=-fhide-source-paths -optc-O2 -optc-fexceptions -optc-g -optc-grecord-gcc-switches -optc-pipe -optc-Wall -optc-Werror=format-security -optc-Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -optc-Wp,-D_GLIBCXX_ASSERTIONS -optc-specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -optc-fstack-protector-strong -optc-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -optc-m64 -optc-march=x86-64 -optc-mtune=generic -optc-fasynchronous-unwind-tables -optc-fstack-clash-protection -optc-fcf-protection -optc-mtls-dialect=gnu2 -optc-fno-omit-frame-pointer -optc-mno-omit-leaf-frame-pointer -optl-Wl,-z,relro -optl-Wl,--as-needed -optl-Wl,-z,pack-relative-relocs -optl-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -optl-Wl,--build-id=sha1' --enable-library-profiling --enable-shared --htmldir=/usr/share/doc/ghc/html/libraries/what4-1.5.1 --global Configuring what4-1.5.1... + '[' -x Setup ']' + LANG=C.utf8 + ./Setup build -j6 Preprocessing library for what4-1.5.1.. Building library for what4-1.5.1.. [ 1 of 87] Compiling Test.Verification [ 2 of 87] Compiling What4.BaseTypes [ 3 of 87] Compiling What4.FloatMode [ 4 of 87] Compiling What4.FunctionName [ 5 of 87] Compiling What4.IndexLit [ 6 of 87] Compiling What4.Panic [ 7 of 87] Compiling What4.ProblemFeatures [ 8 of 87] Compiling What4.ProgramLoc [ 9 of 87] Compiling What4.Protocol.PolyRoot [10 of 87] Compiling What4.Protocol.ReadDecimal [11 of 87] Compiling What4.Protocol.SExp [12 of 87] Compiling What4.Protocol.SMTLib2.Parse [13 of 87] Compiling What4.Protocol.SMTLib2.Syntax [14 of 87] Compiling What4.SatResult [15 of 87] Compiling What4.SemiRing [16 of 87] Compiling What4.Serialize.Log [17 of 87] Compiling What4.Serialize.SETokens [18 of 87] Compiling What4.Serialize.FastSExpr [19 of 87] Compiling What4.SpecialFunctions [20 of 87] Compiling What4.Symbol [21 of 87] Compiling What4.Utils.AnnotatedMap [22 of 87] Compiling What4.Utils.Arithmetic [23 of 87] Compiling What4.Utils.BVDomain.Arith [24 of 87] Compiling What4.Utils.BVDomain.Bitwise [25 of 87] Compiling What4.Utils.BVDomain.XOR [26 of 87] Compiling What4.Utils.BVDomain [27 of 87] Compiling What4.Utils.Complex [28 of 87] Compiling What4.Utils.Endian [29 of 87] Compiling What4.Utils.Environment [30 of 87] Compiling What4.Utils.FloatHelpers [31 of 87] Compiling What4.Utils.HandleReader [32 of 87] Compiling What4.Utils.IncrHash [33 of 87] Compiling What4.Expr.BoolMap [34 of 87] Compiling What4.Utils.LeqMap [35 of 87] Compiling What4.Utils.MonadST [36 of 87] Compiling What4.Utils.OnlyIntRepr [37 of 87] Compiling What4.Utils.Streams [38 of 87] Compiling What4.Utils.Versions [39 of 87] Compiling What4.Utils.Word16String [40 of 87] Compiling What4.Utils.StringLiteral [41 of 87] Compiling What4.Utils.AbstractDomains [42 of 87] Compiling What4.Expr.WeightedSum [43 of 87] Compiling What4.Expr.ArrayUpdateMap [44 of 87] Compiling What4.Concrete [45 of 87] Compiling What4.Config [46 of 87] Compiling What4.Utils.Process [47 of 87] Compiling What4.Interface [48 of 87] Compiling What4.Utils.Serialize [49 of 87] Compiling What4.SWord [50 of 87] Compiling What4.SFloat [51 of 87] Compiling What4.Partial [52 of 87] Compiling What4.LabeledPred [53 of 87] Compiling What4.InterpretedFloatingPoint [54 of 87] Compiling What4.Expr.UnaryBV [55 of 87] Compiling What4.Expr.StringSeq [56 of 87] Compiling What4.Expr.MATLAB [57 of 87] Compiling What4.Expr.App [58 of 87] Compiling What4.Expr.AppTheory [59 of 87] Compiling What4.Expr.VarIdentification [60 of 87] Compiling What4.Expr.Allocator [61 of 87] Compiling What4.Expr.Builder [62 of 87] Compiling What4.Protocol.VerilogWriter.AST [63 of 87] Compiling What4.Protocol.VerilogWriter.Backend [64 of 87] Compiling What4.Protocol.VerilogWriter.ABCVerilog [65 of 87] Compiling What4.Protocol.VerilogWriter [66 of 87] Compiling What4.Expr.Simplify [67 of 87] Compiling What4.Expr.GroundEval [68 of 87] Compiling What4.Solver.Adapter [69 of 87] Compiling What4.Protocol.SMTWriter [70 of 87] Compiling What4.Protocol.SMTLib2.Response [71 of 87] Compiling What4.Expr [72 of 87] Compiling What4.Serialize.Printer [73 of 87] Compiling What4.Serialize.Parser [74 of 87] Compiling What4.Serialize.Normalize [75 of 87] Compiling What4.Protocol.Online [76 of 87] Compiling What4.Utils.ResolveBounds.BV [77 of 87] Compiling What4.Protocol.SMTLib2 [78 of 87] Compiling What4.Solver.Z3 [79 of 87] Compiling What4.Solver.Yices [80 of 87] Compiling What4.Solver.STP [81 of 87] Compiling What4.Solver.ExternalABC [82 of 87] Compiling What4.Solver.DReal [83 of 87] Compiling What4.Solver.CVC5 [84 of 87] Compiling What4.Solver.CVC4 [85 of 87] Compiling What4.Solver.Boolector [86 of 87] Compiling What4.Solver [87 of 87] Compiling What4.WordMap [ 1 of 87] Compiling Test.Verification [ 2 of 87] Compiling What4.BaseTypes [ 3 of 87] Compiling What4.FloatMode [ 4 of 87] Compiling What4.FunctionName [ 5 of 87] Compiling What4.IndexLit [ 6 of 87] Compiling What4.Panic [ 7 of 87] Compiling What4.ProblemFeatures [ 8 of 87] Compiling What4.ProgramLoc [ 9 of 87] Compiling What4.Protocol.PolyRoot [10 of 87] Compiling What4.Protocol.ReadDecimal [11 of 87] Compiling What4.Protocol.SExp [12 of 87] Compiling What4.Protocol.SMTLib2.Parse [13 of 87] Compiling What4.Protocol.SMTLib2.Syntax [14 of 87] Compiling What4.SatResult [15 of 87] Compiling What4.SemiRing [16 of 87] Compiling What4.Serialize.Log [17 of 87] Compiling What4.Serialize.SETokens [18 of 87] Compiling What4.Serialize.FastSExpr [19 of 87] Compiling What4.SpecialFunctions [20 of 87] Compiling What4.Symbol [21 of 87] Compiling What4.Utils.AnnotatedMap [22 of 87] Compiling What4.Utils.Arithmetic [23 of 87] Compiling What4.Utils.BVDomain.Arith [24 of 87] Compiling What4.Utils.BVDomain.Bitwise [25 of 87] Compiling What4.Utils.BVDomain.XOR [26 of 87] Compiling What4.Utils.BVDomain [27 of 87] Compiling What4.Utils.Complex [28 of 87] Compiling What4.Utils.Endian [29 of 87] Compiling What4.Utils.Environment [30 of 87] Compiling What4.Utils.FloatHelpers [31 of 87] Compiling What4.Utils.HandleReader [32 of 87] Compiling What4.Utils.IncrHash [33 of 87] Compiling What4.Expr.BoolMap [34 of 87] Compiling What4.Utils.LeqMap [35 of 87] Compiling What4.Utils.MonadST [36 of 87] Compiling What4.Utils.OnlyIntRepr [37 of 87] Compiling What4.Utils.Streams [38 of 87] Compiling What4.Utils.Versions [39 of 87] Compiling What4.Utils.Word16String [40 of 87] Compiling What4.Utils.StringLiteral [41 of 87] Compiling What4.Utils.AbstractDomains [42 of 87] Compiling What4.Expr.WeightedSum [43 of 87] Compiling What4.Expr.ArrayUpdateMap [44 of 87] Compiling What4.Concrete [45 of 87] Compiling What4.Config [46 of 87] Compiling What4.Utils.Process [47 of 87] Compiling What4.Interface [48 of 87] Compiling What4.Utils.Serialize [49 of 87] Compiling What4.SWord [50 of 87] Compiling What4.SFloat [51 of 87] Compiling What4.Partial [52 of 87] Compiling What4.LabeledPred [53 of 87] Compiling What4.InterpretedFloatingPoint [54 of 87] Compiling What4.Expr.UnaryBV [55 of 87] Compiling What4.Expr.StringSeq [56 of 87] Compiling What4.Expr.MATLAB [57 of 87] Compiling What4.Expr.App [58 of 87] Compiling What4.Expr.AppTheory [59 of 87] Compiling What4.Expr.VarIdentification [60 of 87] Compiling What4.Expr.Allocator [61 of 87] Compiling What4.Expr.Builder [62 of 87] Compiling What4.Protocol.VerilogWriter.AST [63 of 87] Compiling What4.Protocol.VerilogWriter.Backend [64 of 87] Compiling What4.Protocol.VerilogWriter.ABCVerilog [65 of 87] Compiling What4.Protocol.VerilogWriter [66 of 87] Compiling What4.Expr.Simplify [67 of 87] Compiling What4.Expr.GroundEval [68 of 87] Compiling What4.Solver.Adapter [69 of 87] Compiling What4.Protocol.SMTWriter [70 of 87] Compiling What4.Protocol.SMTLib2.Response [71 of 87] Compiling What4.Expr [72 of 87] Compiling What4.Serialize.Printer [73 of 87] Compiling What4.Serialize.Parser [74 of 87] Compiling What4.Serialize.Normalize [75 of 87] Compiling What4.Protocol.Online [76 of 87] Compiling What4.Utils.ResolveBounds.BV [77 of 87] Compiling What4.Protocol.SMTLib2 [78 of 87] Compiling What4.Solver.Z3 [79 of 87] Compiling What4.Solver.Yices [80 of 87] Compiling What4.Solver.STP [81 of 87] Compiling What4.Solver.ExternalABC [82 of 87] Compiling What4.Solver.DReal [83 of 87] Compiling What4.Solver.CVC5 [84 of 87] Compiling What4.Solver.CVC4 [85 of 87] Compiling What4.Solver.Boolector [86 of 87] Compiling What4.Solver [87 of 87] Compiling What4.WordMap Preprocessing executable 'quickstart' for what4-1.5.1.. Building executable 'quickstart' for what4-1.5.1.. [1 of 1] Compiling Main [2 of 2] Linking dist/build/quickstart/quickstart + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.x9Wndx + umask 022 + cd /builddir/build/BUILD/ghc-what4-1.5.1-build + '[' /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT '!=' / ']' + rm -rf /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT ++ dirname /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT + mkdir -p /builddir/build/BUILD/ghc-what4-1.5.1-build + mkdir /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd what4-1.5.1 + '[' -x Setup ']' + LANG=C.utf8 + ./Setup copy --destdir=/builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT Installing library in /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/what4-1.5.1 Installing executable quickstart in /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/bin Warning: Executable installed in /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/bin + '[' -x Setup ']' + LANG=C.utf8 + ./Setup register --gen-pkg-config + '[' -d /usr/lib64/ghc-9.6.6/lib ']' + subsubdir=/lib + '[' -d what4-1.5.1.conf ']' + install -D --mode=0644 what4-1.5.1.conf /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/package.conf.d/what4-1.5.1.conf + '[' -d /usr/lib64/ghc-9.6.6/lib ']' + subsubdir=/lib + '[' '!' -f /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/package.conf.d/what4-1.5.1.conf ']' + rm -f ghc-what4.files ghc-what4-doc.files + touch ghc-what4.files ghc-what4-doc.files + for i in /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/lib64/ghc-9.6.6${subsubdir}/libHSwhat4-1.5.1-*ghc9.6.6.so + '[' -x /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSwhat4-1.5.1-1yqxCkdqCTABIoRcsgiohr-ghc9.6.6.so ']' + echo /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSwhat4-1.5.1-1yqxCkdqCTABIoRcsgiohr-ghc9.6.6.so + pkgdir=/builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/what4-1.5.1 + '[' -d /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/what4-1.5.1 ']' + find /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/what4-1.5.1 -type d -fprintf ghc-what4-devel.files '%%dir %p\n' -o '(' -name '*.p_hi' -o -name 'libHS*_p.a' ')' -fprint ghc-what4-prof.files -o -fprint ghc-what4-devel.files + ls /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/package.conf.d/what4-1.5.1.conf + haddock_dir=/usr/share/doc/ghc/html/libraries/what4-1.5.1 + '[' -d /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/share/doc/ghc/html/libraries/what4-1.5.1 ']' + for i in ghc-what4.files ghc-what4-devel.files ghc-what4-doc.files ghc-what4-prof.files + '[' -f ghc-what4.files ']' + sed -i -e 's!/builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT!!g' ghc-what4.files + for i in ghc-what4.files ghc-what4-devel.files ghc-what4-doc.files ghc-what4-prof.files + '[' -f ghc-what4-devel.files ']' + sed -i -e 's!/builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT!!g' ghc-what4-devel.files + for i in ghc-what4.files ghc-what4-devel.files ghc-what4-doc.files ghc-what4-prof.files + '[' -f ghc-what4-doc.files ']' + sed -i -e 's!/builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT!!g' ghc-what4-doc.files + for i in ghc-what4.files ghc-what4-devel.files ghc-what4-doc.files ghc-what4-prof.files + '[' -f ghc-what4-prof.files ']' + sed -i -e 's!/builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT!!g' ghc-what4-prof.files deleting rpaths: + echo 'deleting rpaths:' + type chrpath ++ find /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT -type f -executable -exec sh -c 'file {} | grep -q '\''dynamically linked'\''' ';' -print + for i in $(find /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print) ++ chrpath /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSwhat4-1.5.1-1yqxCkdqCTABIoRcsgiohr-ghc9.6.6.so ++ sed -e 's@^/builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSwhat4-1.5.1-1yqxCkdqCTABIoRcsgiohr-ghc9.6.6.so: R.*PATH=@@' + rpath=/usr/lib64/ghc-9.6.6/lib/x86_64-linux-ghc-9.6.6:/usr/lib64/ghc-9.6.6/lib + case "$rpath" in + for i in $(find /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print) ++ chrpath /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/bin/quickstart ++ sed -e 's@^/builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/bin/quickstart: R.*PATH=@@' + rpath='/builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/bin/quickstart: no rpath or runpath tag found.' + case "$rpath" in + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip /usr/bin/strip + /usr/lib/rpm/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/redhat/brp-mangle-shebangs + /usr/lib/rpm/brp-remove-la-files + env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j6 + /usr/lib/rpm/redhat/brp-python-hardlink + /usr/bin/add-determinism --brp -j6 /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/libHSwhat4-1.5.1-1yqxCkdqCTABIoRcsgiohr.a: replacing with normalized version /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/what4-1.5.1/libHSwhat4-1.5.1-1yqxCkdqCTABIoRcsgiohr_p.a: replacing with normalized version Scanned 23 directories and 268 files, processed 2 inodes, 2 modified (2 replaced + 0 rewritten), 0 unsupported format, 0 errors Reading /builddir/build/BUILD/ghc-what4-1.5.1-build/SPECPARTS/rpm-debuginfo.specpart Processing files: ghc-what4-1.5.1-1.fc42.x86_64 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.zHaSE4 + umask 022 + cd /builddir/build/BUILD/ghc-what4-1.5.1-build + cd what4-1.5.1 + LICENSEDIR=/builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/share/licenses/ghc-what4 + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/share/licenses/ghc-what4 + cp -pr /builddir/build/BUILD/ghc-what4-1.5.1-build/what4-1.5.1/LICENSE /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/share/licenses/ghc-what4 + RPM_EC=0 ++ jobs -p + exit 0 Provides: ghc-what4 = 1.5.1-1.fc42 ghc-what4(x86-64) = 1.5.1-1.fc42 libHSwhat4-1.5.1-1yqxCkdqCTABIoRcsgiohr-ghc9.6.6.so()(64bit) Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libHSBoundedChan-1.0.3.0-KC4GwTTdtFBGyIaMAN8c52-ghc9.6.6.so()(64bit) libHSOneTuple-0.4.2-7od06fXUUXRBNk1V3VY0g5-ghc9.6.6.so()(64bit) libHSStateVar-1.2.2-A6sCENWC9xLH02ziP9IDyb-ghc9.6.6.so()(64bit) libHSadjunctions-4.4.2-DR6oqnMdCoxBqhdDFvlmdF-ghc9.6.6.so()(64bit) libHSarray-0.5.6.0-ghc9.6.6.so()(64bit) libHSassoc-1.1.1-LimEe8pF5RrAGc6oZe3mfa-ghc9.6.6.so()(64bit) libHSasync-2.2.5-GMWeTaoaded4Wz7DAkFLAR-ghc9.6.6.so()(64bit) libHSattoparsec-0.14.4-GAKm7J8Gleq2k06HFjeIeY-attoparsec-internal-ghc9.6.6.so()(64bit) libHSattoparsec-0.14.4-GMRn5HuvZQNAmR4tMlBF9B-ghc9.6.6.so()(64bit) libHSbase-4.18.2.1-ghc9.6.6.so()(64bit) libHSbase-compat-0.13.1-Dtt5em6saazHWsbVLVBeTy-ghc9.6.6.so()(64bit) libHSbase-orphans-0.9.2-5KrayDGKJf32IfEBx9TBiS-ghc9.6.6.so()(64bit) libHSbifunctors-5.6.2-12p6wi2wnzhJ5Ko2JvLlVw-ghc9.6.6.so()(64bit) libHSbimap-0.5.0-7xXK3bsJVmhBL74wTtka32-ghc9.6.6.so()(64bit) libHSbinary-0.8.9.1-ghc9.6.6.so()(64bit) libHSbitwise-1.0.0.1-2DxYIjAuiDa30WWLo8XlFV-ghc9.6.6.so()(64bit) libHSboring-0.2.2-I0tBY1I8sYa9lVAnLMQgBW-ghc9.6.6.so()(64bit) libHSbv-sized-1.0.5-CcOtVpvEiNF8sUw6uEB68C-ghc9.6.6.so()(64bit) libHSbytestring-0.11.5.3-ghc9.6.6.so()(64bit) libHScall-stack-0.4.0-GZ3nSiFdomD3K5ojbP90a6-ghc9.6.6.so()(64bit) libHScase-insensitive-1.2.1.0-Ig8WgaPQ5k4KQd4WU8lDCy-ghc9.6.6.so()(64bit) libHScomonad-5.0.8-6z2oFUa3fJi9bdDseQ1IV-ghc9.6.6.so()(64bit) libHSconcurrent-extra-0.7.0.12-D9YuD3SuJvlCaumJhgsBnR-ghc9.6.6.so()(64bit) libHSconfig-value-0.8.3-IWIlPmbx9u07ZPnTUBDeDU-ghc9.6.6.so()(64bit) libHSconstraints-0.14.2-DBQLI6vI2UvA6qVcpEpOKN-ghc9.6.6.so()(64bit) libHScontainers-0.6.7-ghc9.6.6.so()(64bit) libHScontravariant-1.5.5-A7lal0hcJpG2Mk9fe5J59Z-ghc9.6.6.so()(64bit) libHSdeepseq-1.4.8.1-ghc9.6.6.so()(64bit) libHSderiving-compat-0.6.6-BZAse9X3FgdCgeRopZUN4f-ghc9.6.6.so()(64bit) libHSdirectory-1.3.8.5-ghc9.6.6.so()(64bit) libHSdistributive-0.6.2.1-Ak4SWutYoMcKj7F268v0Mi-ghc9.6.6.so()(64bit) libHSexceptions-0.10.7-ghc9.6.6.so()(64bit) libHSfilepath-1.4.300.1-ghc9.6.6.so()(64bit) libHSfingertree-0.1.5.0-Giwitp12LPIDULoEcsvbRk-ghc9.6.6.so()(64bit) libHSfree-5.2-2rCe6bpLJWpA9b9i5VsVod-ghc9.6.6.so()(64bit) libHSghc-bignum-1.3-ghc9.6.6.so()(64bit) libHSghc-boot-th-9.6.6-ghc9.6.6.so()(64bit) libHSghc-prim-0.10.0-ghc9.6.6.so()(64bit) libHSgitrev-1.3.1-Hgj6OsBlk7sBP78WE2r3Dn-ghc9.6.6.so()(64bit) libHShashable-1.4.4.0-G2ZOstJIf88CQkCQLrODQe-ghc9.6.6.so()(64bit) libHShashtables-1.3.1-NKxkWBizXBD6lggB7bbdl-ghc9.6.6.so()(64bit) libHSindexed-traversable-0.1.4-8j5HZpShpE5BqFup9Ojenr-ghc9.6.6.so()(64bit) libHSindexed-traversable-instances-0.1.2-2oqxTHiGyOuJR1BsLvzrk8-ghc9.6.6.so()(64bit) libHSinteger-logarithms-1.0.3.1-6uUFCUhH0MHDrcFfWqxKEn-ghc9.6.6.so()(64bit) libHSinvariant-0.6.3-GBIUprIJTjq1eiKXRa81Vd-ghc9.6.6.so()(64bit) libHSio-streams-1.5.2.2-6r6D7qySpqbGI5nO0QZw1P-ghc9.6.6.so()(64bit) libHSkan-extensions-5.2.6-BIgSDonUxaHBZj7VHsk6vd-ghc9.6.6.so()(64bit) libHSlens-5.2.3-FNehLn69AsbHuDfy3Kg0ht-ghc9.6.6.so()(64bit) libHSlibBF-0.6.8-G2lhyPLJSyWBXF1H3oxoCv-ghc9.6.6.so()(64bit) libHSmegaparsec-9.5.0-81q7R26puLL6FUAd1155SX-ghc9.6.6.so()(64bit) libHSmtl-2.3.1-ghc9.6.6.so()(64bit) libHSnetwork-3.1.4.0-I6jFfdQwj0Q5FZzAobit5e-ghc9.6.6.so()(64bit) libHSordered-containers-0.2.4-8q6tOEUItdz71CjmZZ7kh5-ghc9.6.6.so()(64bit) libHSos-string-2.0.6-IlBa2UQjH7mL18YjMu1jzE-ghc9.6.6.so()(64bit) libHSpanic-0.4.0.1-8m6CSS5w8at3aBKorC5EVe-ghc9.6.6.so()(64bit) libHSparallel-3.2.2.0-4GFGhbl8Ae06nPoqdIyBUD-ghc9.6.6.so()(64bit) libHSparameterized-utils-2.1.8.0-6jKi0M8WjA69t0Fa6lRLnl-ghc9.6.6.so()(64bit) libHSparsec-3.1.16.1-ghc9.6.6.so()(64bit) libHSparser-combinators-1.3.0-7dECKLyoqfd8EW2UfNTkZ3-ghc9.6.6.so()(64bit) libHSpretty-1.1.3.6-ghc9.6.6.so()(64bit) libHSprettyprinter-1.7.1-CDxAO72IL6lFavjzsDUSDp-ghc9.6.6.so()(64bit) libHSprimitive-0.8.0.0-G7z1XrhwN0bFkYsIqIr1QU-ghc9.6.6.so()(64bit) libHSprocess-1.6.19.0-ghc9.6.6.so()(64bit) libHSprofunctors-5.6.2-Ex6a4raT7NS3ARkdIavGdg-ghc9.6.6.so()(64bit) libHSrandom-1.2.1.2-9nSipNyPzIK3OtGny4BWjI-ghc9.6.6.so()(64bit) libHSreflection-2.1.8-DukIK09Udl4IELGyn4qsSv-ghc9.6.6.so()(64bit) libHSs-cargot-0.1.6.0-AJ9P71NUngVAyhLNeQCXN2-ghc9.6.6.so()(64bit) libHSsafe-exceptions-0.1.7.4-G1fs5SY5i1W7EEbU0Su8pW-ghc9.6.6.so()(64bit) libHSscientific-0.3.7.0-2UwdviWB0CH1nqOoguwg4m-ghc9.6.6.so()(64bit) libHSsemigroupoids-6.0.1-32bnlDo08uWKppaK8Ib2rA-ghc9.6.6.so()(64bit) libHSsemigroups-0.20-FifEs3zbUBKDT9bErGELTt-ghc9.6.6.so()(64bit) libHSsplitmix-0.1.0.5-1g4Y67JB8lK4ODDsw0vzN6-ghc9.6.6.so()(64bit) libHSstm-2.5.1.0-ghc9.6.6.so()(64bit) libHSstrict-0.5-2Ih5J4boI0o4YQYnrtRDYI-ghc9.6.6.so()(64bit) libHStagged-0.8.8-Kzng2lnKElzJiyKd9g735c-ghc9.6.6.so()(64bit) libHStemplate-haskell-2.20.0.0-ghc9.6.6.so()(64bit) libHStemporary-1.3-LMyaaf7YeRfLDOLTsEMncs-ghc9.6.6.so()(64bit) libHStext-2.0.2-ghc9.6.6.so()(64bit) libHSth-abstraction-0.5.0.0-HAFjiAO2nGN58SdxVZCnLH-ghc9.6.6.so()(64bit) libHSth-lift-0.8.4-1nDn5GaGtOI9q63njtRfou-ghc9.6.6.so()(64bit) libHSth-lift-instances-0.1.20-267kS75CPlFAUdpPe9wWwB-ghc9.6.6.so()(64bit) libHSthese-1.2.1-Lmhp9aSRg20H3DMUOaCHTJ-ghc9.6.6.so()(64bit) libHStime-1.12.2-ghc9.6.6.so()(64bit) libHStransformers-0.6.1.0-ghc9.6.6.so()(64bit) libHStransformers-base-0.4.6-AFroRD7LLlU6BPVd6EHPcA-ghc9.6.6.so()(64bit) libHStransformers-compat-0.7.2-LmnlcpbfHuuAOWEWPuyobH-ghc9.6.6.so()(64bit) libHSunbounded-delays-0.1.1.1-HsgcuRTUZLCDZTX0AINS0o-ghc9.6.6.so()(64bit) libHSunix-2.8.4.0-ghc9.6.6.so()(64bit) libHSunliftio-0.2.25.0-HtwgMuIDrh016F2b6JZvmk-ghc9.6.6.so()(64bit) libHSunliftio-core-0.2.1.0-6sOpIonHj8t5wIbPhWbPHY-ghc9.6.6.so()(64bit) libHSunordered-containers-0.2.20-EuYFGw8XOtG6Qjyq0KzKlk-ghc9.6.6.so()(64bit) libHSutf8-string-1.0.2-JbA27QG8axS8Qz2DLqBtSE-ghc9.6.6.so()(64bit) libHSvector-0.13.1.0-Jdel1KiNlSEIXGg2MpN3IL-ghc9.6.6.so()(64bit) libHSvector-stream-0.1.0.1-B3eeou3yuYd7g2aD4u5s22-ghc9.6.6.so()(64bit) libHSversions-6.0.7-7Sd4BmrKpeaEiEyrWMxlNn-ghc9.6.6.so()(64bit) libHSvoid-0.7.3-G4YN601gfJi8uMn6vxUCAZ-ghc9.6.6.so()(64bit) libHSzenc-0.1.2-BNjDLBKiUVIJGU0oVtqYES-ghc9.6.6.so()(64bit) libHSzlib-0.6.3.0-1wL1ZnD0mNDIbG0f7fYWIS-ghc9.6.6.so()(64bit) libHSzlib-bindings-0.1.1.5-wtxm7T9ybl4c1shHXeSn1-ghc9.6.6.so()(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_ABI_DT_RELR)(64bit) libgmp.so.10()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.2.5)(64bit) libm.so.6(GLIBC_2.29)(64bit) libz.so.1()(64bit) rtld(GNU_HASH) Processing files: ghc-what4-devel-1.5.1-1.fc42.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.JQedat + umask 022 + cd /builddir/build/BUILD/ghc-what4-1.5.1-build + cd what4-1.5.1 + DOCDIR=/builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/share/doc/ghc-what4-devel + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/share/doc/ghc-what4-devel + cp -pr /builddir/build/BUILD/ghc-what4-1.5.1-build/what4-1.5.1/CHANGES.md /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/share/doc/ghc-what4-devel + cp -pr /builddir/build/BUILD/ghc-what4-1.5.1-build/what4-1.5.1/README.md /builddir/build/BUILD/ghc-what4-1.5.1-build/BUILDROOT/usr/share/doc/ghc-what4-devel + RPM_EC=0 ++ jobs -p + exit 0 Provides: ghc-devel(what4-1.5.1-1yqxCkdqCTABIoRcsgiohr) ghc-what4-devel = 1.5.1-1.fc42 ghc-what4-devel(x86-64) = 1.5.1-1.fc42 ghc-what4-static = 1.5.1-1.fc42 ghc-what4-static(x86-64) = 1.5.1-1.fc42 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ghc-devel(BoundedChan-1.0.3.0-KC4GwTTdtFBGyIaMAN8c52) ghc-devel(async-2.2.5-GMWeTaoaded4Wz7DAkFLAR) ghc-devel(attoparsec-0.14.4-GMRn5HuvZQNAmR4tMlBF9B) ghc-devel(base-4.18.2.1) ghc-devel(bifunctors-5.6.2-12p6wi2wnzhJ5Ko2JvLlVw) ghc-devel(bimap-0.5.0-7xXK3bsJVmhBL74wTtka32) ghc-devel(bv-sized-1.0.5-CcOtVpvEiNF8sUw6uEB68C) ghc-devel(bytestring-0.11.5.3) ghc-devel(concurrent-extra-0.7.0.12-D9YuD3SuJvlCaumJhgsBnR) ghc-devel(config-value-0.8.3-IWIlPmbx9u07ZPnTUBDeDU) ghc-devel(containers-0.6.7) ghc-devel(deepseq-1.4.8.1) ghc-devel(deriving-compat-0.6.6-BZAse9X3FgdCgeRopZUN4f) ghc-devel(directory-1.3.8.5) ghc-devel(exceptions-0.10.7) ghc-devel(filepath-1.4.300.1) ghc-devel(fingertree-0.1.5.0-Giwitp12LPIDULoEcsvbRk) ghc-devel(ghc-prim-0.10.0) ghc-devel(hashable-1.4.4.0-G2ZOstJIf88CQkCQLrODQe) ghc-devel(hashtables-1.3.1-NKxkWBizXBD6lggB7bbdl) ghc-devel(io-streams-1.5.2.2-6r6D7qySpqbGI5nO0QZw1P) ghc-devel(lens-5.2.3-FNehLn69AsbHuDfy3Kg0ht) ghc-devel(libBF-0.6.8-G2lhyPLJSyWBXF1H3oxoCv) ghc-devel(megaparsec-9.5.0-81q7R26puLL6FUAd1155SX) ghc-devel(mtl-2.3.1) ghc-devel(ordered-containers-0.2.4-8q6tOEUItdz71CjmZZ7kh5) ghc-devel(panic-0.4.0.1-8m6CSS5w8at3aBKorC5EVe) ghc-devel(parameterized-utils-2.1.8.0-6jKi0M8WjA69t0Fa6lRLnl) ghc-devel(parsec-3.1.16.1) ghc-devel(prettyprinter-1.7.1-CDxAO72IL6lFavjzsDUSDp) ghc-devel(process-1.6.19.0) ghc-devel(s-cargot-0.1.6.0-AJ9P71NUngVAyhLNeQCXN2) ghc-devel(scientific-0.3.7.0-2UwdviWB0CH1nqOoguwg4m) ghc-devel(stm-2.5.1.0) ghc-devel(template-haskell-2.20.0.0) ghc-devel(temporary-1.3-LMyaaf7YeRfLDOLTsEMncs) ghc-devel(text-2.0.2) ghc-devel(th-lift-0.8.4-1nDn5GaGtOI9q63njtRfou) ghc-devel(th-lift-instances-0.1.20-267kS75CPlFAUdpPe9wWwB) ghc-devel(time-1.12.2) ghc-devel(transformers-0.6.1.0) ghc-devel(unliftio-0.2.25.0-HtwgMuIDrh016F2b6JZvmk) ghc-devel(unordered-containers-0.2.20-EuYFGw8XOtG6Qjyq0KzKlk) ghc-devel(utf8-string-1.0.2-JbA27QG8axS8Qz2DLqBtSE) ghc-devel(vector-0.13.1.0-Jdel1KiNlSEIXGg2MpN3IL) ghc-devel(versions-6.0.7-7Sd4BmrKpeaEiEyrWMxlNn) ghc-devel(zenc-0.1.2-BNjDLBKiUVIJGU0oVtqYES) libc.so.6()(64bit) libc.so.6(GLIBC_2.11)(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.15)(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.2)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.7)(64bit) libc.so.6(GLIBC_2.8)(64bit) libc.so.6(GLIBC_2.9)(64bit) libffi.so.8()(64bit) libffi.so.8(LIBFFI_BASE_8.0)(64bit) libgmp.so.10()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.2.5)(64bit) libm.so.6(GLIBC_2.27)(64bit) libm.so.6(GLIBC_2.29)(64bit) libz.so.1()(64bit) rtld(GNU_HASH) Processing files: ghc-what4-doc-1.5.1-1.fc42.noarch RPM build errors: error: Empty %files file /builddir/build/BUILD/ghc-what4-1.5.1-build/what4-1.5.1/ghc-what4-doc.files Empty %files file /builddir/build/BUILD/ghc-what4-1.5.1-build/what4-1.5.1/ghc-what4-doc.files Child return code was: 1 EXCEPTION: [Error('Command failed: \n # /usr/bin/systemd-nspawn -q -M 57db282dd6f04c80a4f2573aec835b8c -D /var/lib/mock/f42-build-56359808-6543621/root -a -u mockbuild --capability=cap_ipc_lock --bind=/tmp/mock-resolv.uydhsyv1:/etc/resolv.conf --bind=/dev/btrfs-control --bind=/dev/mapper/control --bind=/dev/fuse --bind=/dev/loop-control --bind=/dev/loop0 --bind=/dev/loop1 --bind=/dev/loop2 --bind=/dev/loop3 --bind=/dev/loop4 --bind=/dev/loop5 --bind=/dev/loop6 --bind=/dev/loop7 --bind=/dev/loop8 --bind=/dev/loop9 --bind=/dev/loop10 --bind=/dev/loop11 --console=pipe --setenv=TERM=vt100 --setenv=SHELL=/bin/bash --setenv=HOME=/builddir --setenv=HOSTNAME=mock --setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin \'--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"\' \'--setenv=PS1= \\s-\\v\\$ \' --setenv=LANG=C.UTF-8 --resolv-conf=off bash --login -c \'/usr/bin/rpmbuild -bb --noclean --target x86_64 --nodeps /builddir/build/SPECS/ghc-what4.spec\'\n', 1)] Traceback (most recent call last): File "/usr/lib/python3.13/site-packages/mockbuild/trace_decorator.py", line 93, in trace result = func(*args, **kw) File "/usr/lib/python3.13/site-packages/mockbuild/util.py", line 610, in do_with_status raise exception.Error("Command failed: \n # %s\n%s" % (cmd_pretty(command, env), output), child.returncode) mockbuild.exception.Error: Command failed: # /usr/bin/systemd-nspawn -q -M 57db282dd6f04c80a4f2573aec835b8c -D /var/lib/mock/f42-build-56359808-6543621/root -a -u mockbuild --capability=cap_ipc_lock --bind=/tmp/mock-resolv.uydhsyv1:/etc/resolv.conf --bind=/dev/btrfs-control --bind=/dev/mapper/control --bind=/dev/fuse --bind=/dev/loop-control --bind=/dev/loop0 --bind=/dev/loop1 --bind=/dev/loop2 --bind=/dev/loop3 --bind=/dev/loop4 --bind=/dev/loop5 --bind=/dev/loop6 --bind=/dev/loop7 --bind=/dev/loop8 --bind=/dev/loop9 --bind=/dev/loop10 --bind=/dev/loop11 --console=pipe --setenv=TERM=vt100 --setenv=SHELL=/bin/bash --setenv=HOME=/builddir --setenv=HOSTNAME=mock --setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin '--setenv=PROMPT_COMMAND=printf "\033]0;\007"' '--setenv=PS1= \s-\v\$ ' --setenv=LANG=C.UTF-8 --resolv-conf=off bash --login -c '/usr/bin/rpmbuild -bb --noclean --target x86_64 --nodeps /builddir/build/SPECS/ghc-what4.spec'