Mock Version: 5.6
Mock Version: 5.6
Mock Version: 5.6
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target x86_64 --nodeps /builddir/build/SPECS/ghc-djinn-lib.spec'], chrootPath='/var/lib/mock/f42-build-54901999-6530858/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x7fe0e13835c0>timeout=201600uid=1000gid=425user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.prrx3fig:/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']unshare_net=TrueprintOutput=False)
Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.prrx3fig:/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', 'ab481d34dd8b4b8bb50082d77a11a68c', '-D', '/var/lib/mock/f42-build-54901999-6530858/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.prrx3fig:/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;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\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-djinn-lib.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\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=1722816000
Wrote: /builddir/build/SRPMS/ghc-djinn-lib-0.0.1.4-11.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-djinn-lib.spec'], chrootPath='/var/lib/mock/f42-build-54901999-6530858/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x7fe0e13835c0>timeout=201600uid=1000gid=425user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.prrx3fig:/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']unshare_net=TrueprintOutput=False)
Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.prrx3fig:/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', 'a38ef9402f8347a0bc5549f87d293cd3', '-D', '/var/lib/mock/f42-build-54901999-6530858/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.prrx3fig:/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;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\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-djinn-lib.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\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=1722816000
Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.oxgKlo
+ umask 022
+ cd /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build
+ test -d /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build
+ /usr/bin/rm -rf /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build
+ /usr/bin/mkdir -p /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build
+ /usr/bin/mkdir -p /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/SPECPARTS
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.Z0jGyX
+ umask 022
+ cd /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build
+ cd /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build
+ rm -rf djinn-lib-0.0.1.4
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/djinn-lib-0.0.1.4.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd djinn-lib-0.0.1.4
+ /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.TVM9jX
+ umask 022
+ cd /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-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 djinn-lib-0.0.1.4
++ ls
++ grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)'
==== Build djinn-lib-0.0.1.4 ====
+ echo -e '\n==== Build djinn-lib-0.0.1.4 ===='
+ '[' -f Setup.hs -o -f Setup.lhs ']'
+ '[' -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.lhs, 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-djinn-lib '--libsubdir=$compiler/lib/$pkgid' '--datasubdir=$pkgid' '--libexecsubdir=$pkgid' --ghc --dynlibdir=/usr/lib64/ghc-9.6.6/lib --global '--ghc-options= -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 -fhide-source-paths' --enable-library-profiling --enable-shared --htmldir=/usr/share/doc/ghc/html/libraries/djinn-lib-0.0.1.4 --global
Configuring djinn-lib-0.0.1.4...
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup build -j6
Preprocessing library for djinn-lib-0.0.1.4..
Building library for djinn-lib-0.0.1.4..
[1 of 4] Compiling Djinn.LJTFormula
[2 of 4] Compiling Djinn.LJT
src/Djinn/LJT.hs:148:3: warning: [-Wnoncanonical-monad-instances]
    Noncanonical ‘pure = return’ definition detected
    in the instance declaration for ‘Applicative P’.
    Move definition from ‘return’ to ‘pure’
    See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
    |
148 |   pure  = return
    |   ^^^^^^^^^^^^^^
src/Djinn/LJT.hs:152:3: warning: [-Wnoncanonical-monad-instances]
    Noncanonical ‘return’ definition detected
    in the instance declaration for ‘Monad P’.
    ‘return’ will eventually be removed in favour of ‘pure’
    Either remove definition for ‘return’ (recommended) or define as ‘return = pure’
    See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
    |
152 |   return x  = P $ \ s -> [(s, x)]
    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[3 of 4] Compiling Djinn.HTypes
[4 of 4] Compiling Djinn.HCheck
[1 of 4] Compiling Djinn.LJTFormula
[2 of 4] Compiling Djinn.LJT
src/Djinn/LJT.hs:148:3: warning: [-Wnoncanonical-monad-instances]
    Noncanonical ‘pure = return’ definition detected
    in the instance declaration for ‘Applicative P’.
    Move definition from ‘return’ to ‘pure’
    See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
    |
148 |   pure  = return
    |   ^^^^^^^^^^^^^^
src/Djinn/LJT.hs:152:3: warning: [-Wnoncanonical-monad-instances]
    Noncanonical ‘return’ definition detected
    in the instance declaration for ‘Monad P’.
    ‘return’ will eventually be removed in favour of ‘pure’
    Either remove definition for ‘return’ (recommended) or define as ‘return = pure’
    See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
    |
152 |   return x  = P $ \ s -> [(s, x)]
    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[3 of 4] Compiling Djinn.HTypes
[4 of 4] Compiling Djinn.HCheck
+ '[' -n dist/build/libHSdjinn-lib-0.0.1.4-5gQyHvzWUYN3bUbaV1wGSg-ghc9.6.6.so ']'
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup haddock --html --hyperlink-source --hoogle
Preprocessing library for djinn-lib-0.0.1.4..
Running Haddock on library for djinn-lib-0.0.1.4..
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: array-0.5.6.0, base-4.18.2.1,
containers-0.6.7, deepseq-1.4.8.1, ghc-bignum-1.3, ghc-boot-th-9.6.6,
ghc-prim-0.10.0, mtl-2.3.1, pretty-1.1.3.6, template-haskell-2.20.0.0,
transformers-0.6.1.0
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
src/Djinn/LJT.hs:148:3: warning: [-Wnoncanonical-monad-instances]
    Noncanonical ‘pure = return’ definition detected
    in the instance declaration for ‘Applicative P’.
    Move definition from ‘return’ to ‘pure’
    See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
    |
148 |   pure  = return
    |   ^^^^^^^^^^^^^^
src/Djinn/LJT.hs:152:3: warning: [-Wnoncanonical-monad-instances]
    Noncanonical ‘return’ definition detected
    in the instance declaration for ‘Monad P’.
    ‘return’ will eventually be removed in favour of ‘pure’
    Either remove definition for ‘return’ (recommended) or define as ‘return = pure’
    See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
    |
152 |   return x  = P $ \ s -> [(s, x)]
    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   0% (  0 / 13) in 'Djinn.LJTFormula'
  Missing documentation for:
    Module header
    Symbol (src/Djinn/LJTFormula.hs:25)
    Formula (src/Djinn/LJTFormula.hs:34)
    <-> (src/Djinn/LJTFormula.hs:40)
    & (src/Djinn/LJTFormula.hs:43)
    |: (src/Djinn/LJTFormula.hs:46)
    fnot (src/Djinn/LJTFormula.hs:49)
    false (src/Djinn/LJTFormula.hs:52)
    true (src/Djinn/LJTFormula.hs:55)
    ConsDesc (src/Djinn/LJTFormula.hs:31)
    Term (src/Djinn/LJTFormula.hs:79)
    applys (src/Djinn/LJTFormula.hs:99)
    freeVars (src/Djinn/LJTFormula.hs:102)
  16% (  1 /  6) in 'Djinn.LJT'
  Missing documentation for:
    Module header
    provable (src/Djinn/LJT.hs:53)
    prove (src/Djinn/LJT.hs:56)
    Proof (src/Djinn/LJT.hs:66)
    MoreSolutions (src/Djinn/LJT.hs:51)
   0% (  0 / 23) in 'Djinn.HTypes'
  Missing documentation for:
    Module header
    HKind (src/Djinn/HTypes.hs:46)
    HType (src/Djinn/HTypes.hs:51)
    HSymbol (src/Djinn/HTypes.hs:44)
    hTypeToFormula (src/Djinn/HTypes.hs:180)
    pHSymbol (src/Djinn/HTypes.hs:123)
    pHType (src/Djinn/HTypes.hs:94)
    pHDataType (src/Djinn/HTypes.hs:99)
    pHTAtom (src/Djinn/HTypes.hs:107)
    pHKind (src/Djinn/HTypes.hs:149)
    prHSymbolOp (src/Djinn/HTypes.hs:238)
    htNot (src/Djinn/HTypes.hs:64)
    isHTUnion (src/Djinn/HTypes.hs:60)
    getHTVars (src/Djinn/HTypes.hs:170)
    substHT (src/Djinn/HTypes.hs:195)
    HClause (src/Djinn/HTypes.hs:213)
    HPat (src/Djinn/HTypes.hs:216)
    HExpr (src/Djinn/HTypes.hs:223)
    hPrClause (src/Djinn/HTypes.hs:231)
    hPrExpr (src/Djinn/HTypes.hs:249)
    termToHExpr (src/Djinn/HTypes.hs:277)
    termToHClause (src/Djinn/HTypes.hs:465)
    getBinderVars (src/Djinn/HTypes.hs:499)
   0% (  0 /  3) in 'Djinn.HCheck'
  Missing documentation for:
    Module header
    htCheckEnv (src/Djinn/HCheck.hs:68)
    htCheckType (src/Djinn/HCheck.hs:61)
Warning: Djinn.LJTFormula: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Classes.Eq
	- GHC.Classes.Ord
	- GHC.Show.Show
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Types.Ordering
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
Warning: Djinn.LJT: could not find link destinations for: 
	- GHC.Types.Bool
Warning: Djinn.HTypes: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.Eq
	- GHC.Read.Read
	- GHC.Show.Show
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Read.readList
	- GHC.Read.readsPrec
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- Text.ParserCombinators.ReadP.ReadS
	- GHC.Classes./=
	- Text.ParserCombinators.ReadPrec.ReadPrec
	- Text.ParserCombinators.ReadP.ReadP
	- GHC.Read.readListPrec
	- GHC.Read.readPrec
Warning: Djinn.HCheck: could not find link destinations for: 
	- GHC.Base.String
	- Data.Either.Either
Documentation created: dist/doc/html/djinn-lib/,
dist/doc/html/djinn-lib/djinn-lib.txt
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.zCIlGq
+ umask 022
+ cd /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build
+ '[' /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT '!=' / ']'
+ rm -rf /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT
++ dirname /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT
+ mkdir -p /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build
+ mkdir /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-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 djinn-lib-0.0.1.4
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup copy --destdir=/builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT
Installing library in /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/djinn-lib-0.0.1.4
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup register --gen-pkg-config
+ '[' -d /usr/lib64/ghc-9.6.6/lib ']'
+ subsubdir=/lib
+ '[' -d djinn-lib-0.0.1.4.conf ']'
+ install -D --mode=0644 djinn-lib-0.0.1.4.conf /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/package.conf.d/djinn-lib-0.0.1.4.conf
+ '[' -d /usr/lib64/ghc-9.6.6/lib ']'
+ subsubdir=/lib
+ '[' '!' -f /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/package.conf.d/djinn-lib-0.0.1.4.conf ']'
+ rm -f ghc-djinn-lib.files ghc-djinn-lib-doc.files
+ touch ghc-djinn-lib.files ghc-djinn-lib-doc.files
+ for i in /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT/usr/lib64/ghc-9.6.6${subsubdir}/libHSdjinn-lib-0.0.1.4-*ghc9.6.6.so
+ '[' -x /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSdjinn-lib-0.0.1.4-5gQyHvzWUYN3bUbaV1wGSg-ghc9.6.6.so ']'
+ echo /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSdjinn-lib-0.0.1.4-5gQyHvzWUYN3bUbaV1wGSg-ghc9.6.6.so
+ pkgdir=/builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/djinn-lib-0.0.1.4
+ '[' -d /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/djinn-lib-0.0.1.4 ']'
+ find /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/djinn-lib-0.0.1.4 -type d -fprintf ghc-djinn-lib-devel.files '%%dir %p\n' -o '(' -name '*.p_hi' -o -name 'libHS*_p.a' ')' -fprint ghc-djinn-lib-prof.files -o -fprint ghc-djinn-lib-devel.files
+ ls /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/package.conf.d/djinn-lib-0.0.1.4.conf
+ haddock_dir=/usr/share/doc/ghc/html/libraries/djinn-lib-0.0.1.4
+ '[' -d /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT/usr/share/doc/ghc/html/libraries/djinn-lib-0.0.1.4 ']'
+ echo /usr/share/doc/ghc/html/libraries/djinn-lib-0.0.1.4
+ for i in ghc-djinn-lib.files ghc-djinn-lib-devel.files ghc-djinn-lib-doc.files ghc-djinn-lib-prof.files
+ '[' -f ghc-djinn-lib.files ']'
+ sed -i -e 's!/builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT!!g' ghc-djinn-lib.files
+ for i in ghc-djinn-lib.files ghc-djinn-lib-devel.files ghc-djinn-lib-doc.files ghc-djinn-lib-prof.files
+ '[' -f ghc-djinn-lib-devel.files ']'
+ sed -i -e 's!/builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT!!g' ghc-djinn-lib-devel.files
+ for i in ghc-djinn-lib.files ghc-djinn-lib-devel.files ghc-djinn-lib-doc.files ghc-djinn-lib-prof.files
+ '[' -f ghc-djinn-lib-doc.files ']'
+ sed -i -e 's!/builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT!!g' ghc-djinn-lib-doc.files
+ for i in ghc-djinn-lib.files ghc-djinn-lib-devel.files ghc-djinn-lib-doc.files ghc-djinn-lib-prof.files
+ '[' -f ghc-djinn-lib-prof.files ']'
+ sed -i -e 's!/builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT!!g' ghc-djinn-lib-prof.files
deleting rpaths:
+ echo 'deleting rpaths:'
+ type chrpath
++ find /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT -type f -executable -exec sh -c 'file {} | grep -q '\''dynamically linked'\''' ';' -print
+ for i in $(find /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print)
++ chrpath /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSdjinn-lib-0.0.1.4-5gQyHvzWUYN3bUbaV1wGSg-ghc9.6.6.so
++ sed -e 's@^/builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/libHSdjinn-lib-0.0.1.4-5gQyHvzWUYN3bUbaV1wGSg-ghc9.6.6.so: R.*PATH=@@'
+ rpath=/usr/lib64/ghc-9.6.6/lib/x86_64-linux-ghc-9.6.6
+ 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-djinn-lib-0.0.1.4-build/BUILDROOT
/builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/djinn-lib-0.0.1.4/libHSdjinn-lib-0.0.1.4-5gQyHvzWUYN3bUbaV1wGSg.a: replacing with normalized version
/builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT/usr/lib64/ghc-9.6.6/lib/djinn-lib-0.0.1.4/libHSdjinn-lib-0.0.1.4-5gQyHvzWUYN3bUbaV1wGSg_p.a: replacing with normalized version
Scanned 17 directories and 36 files,
               processed 12 inodes,
               2 modified (2 replaced + 0 rewritten),
               0 unsupported format, 0 errors
Reading /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/SPECPARTS/rpm-debuginfo.specpart
Processing files: ghc-djinn-lib-0.0.1.4-11.fc42.x86_64
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.QEzYfE
+ umask 022
+ cd /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build
+ cd djinn-lib-0.0.1.4
+ LICENSEDIR=/builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT/usr/share/licenses/ghc-djinn-lib
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT/usr/share/licenses/ghc-djinn-lib
+ cp -pr /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/djinn-lib-0.0.1.4/LICENSE /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT/usr/share/licenses/ghc-djinn-lib
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ghc-djinn-lib = 0.0.1.4-11.fc42 ghc-djinn-lib(x86-64) = 0.0.1.4-11.fc42 libHSdjinn-lib-0.0.1.4-5gQyHvzWUYN3bUbaV1wGSg-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: libHSarray-0.5.6.0-ghc9.6.6.so()(64bit) libHSbase-4.18.2.1-ghc9.6.6.so()(64bit) libHScontainers-0.6.7-ghc9.6.6.so()(64bit) libHSdeepseq-1.4.8.1-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) libHSmtl-2.3.1-ghc9.6.6.so()(64bit) libHSpretty-1.1.3.6-ghc9.6.6.so()(64bit) libHStemplate-haskell-2.20.0.0-ghc9.6.6.so()(64bit) libHStransformers-0.6.1.0-ghc9.6.6.so()(64bit) libc.so.6()(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) rtld(GNU_HASH)
Processing files: ghc-djinn-lib-devel-0.0.1.4-11.fc42.x86_64
Provides: ghc-devel(djinn-lib-0.0.1.4-5gQyHvzWUYN3bUbaV1wGSg) ghc-djinn-lib-devel = 0.0.1.4-11.fc42 ghc-djinn-lib-devel(x86-64) = 0.0.1.4-11.fc42 ghc-djinn-lib-static = 0.0.1.4-11.fc42 ghc-djinn-lib-static(x86-64) = 0.0.1.4-11.fc42
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ghc-devel(base-4.18.2.1) ghc-devel(containers-0.6.7) ghc-devel(mtl-2.3.1) ghc-devel(pretty-1.1.3.6)
Processing files: ghc-djinn-lib-doc-0.0.1.4-11.fc42.noarch
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.GVRiTT
+ umask 022
+ cd /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build
+ cd djinn-lib-0.0.1.4
+ LICENSEDIR=/builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT/usr/share/licenses/ghc-djinn-lib-doc
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT/usr/share/licenses/ghc-djinn-lib-doc
+ cp -pr /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/djinn-lib-0.0.1.4/LICENSE /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT/usr/share/licenses/ghc-djinn-lib-doc
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ghc-djinn-lib-doc = 0.0.1.4-11.fc42
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: ghc-djinn-lib-prof-0.0.1.4-11.fc42.x86_64
Provides: ghc-djinn-lib-prof = 0.0.1.4-11.fc42 ghc-djinn-lib-prof(x86-64) = 0.0.1.4-11.fc42 ghc-prof(djinn-lib-0.0.1.4-5gQyHvzWUYN3bUbaV1wGSg)
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ghc-prof(base-4.18.2.1) ghc-prof(containers-0.6.7) ghc-prof(mtl-2.3.1) ghc-prof(pretty-1.1.3.6)
Supplements: (ghc-djinn-lib-devel and ghc-prof)
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/ghc-djinn-lib-0.0.1.4-build/BUILDROOT
Wrote: /builddir/build/RPMS/ghc-djinn-lib-0.0.1.4-11.fc42.x86_64.rpm
Wrote: /builddir/build/RPMS/ghc-djinn-lib-devel-0.0.1.4-11.fc42.x86_64.rpm
Wrote: /builddir/build/RPMS/ghc-djinn-lib-prof-0.0.1.4-11.fc42.x86_64.rpm
Wrote: /builddir/build/RPMS/ghc-djinn-lib-doc-0.0.1.4-11.fc42.noarch.rpm
Child return code was: 0