Mock Version: 4.1
Mock Version: 4.1
Mock Version: 4.1
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target aarch64 --nodeps /builddir/build/SPECS/ghc-spdx.spec'], chrootPath='/var/lib/mock/dist-oc9-epol-build-221818-80980/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 0xffff4c2039e8>timeout=86400uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=FalseprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target aarch64 --nodeps /builddir/build/SPECS/ghc-spdx.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'} and shell False
Building target platforms: aarch64
Building for target aarch64
Wrote: /builddir/build/SRPMS/ghc-spdx-1.1-1.oc9.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target aarch64 --nodeps /builddir/build/SPECS/ghc-spdx.spec'], chrootPath='/var/lib/mock/dist-oc9-epol-build-221818-80980/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 0xffff4c2039e8>timeout=86400uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=FalseprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target aarch64 --nodeps /builddir/build/SPECS/ghc-spdx.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'} and shell False
Building target platforms: aarch64
Building for target aarch64
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.tpPctw
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf spdx-1.1
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/spdx-1.1.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd spdx-1.1
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/puresat-0.1.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ /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.Lld4zC
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong  -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CFLAGS
+ CXXFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong  -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CXXFLAGS
+ FFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong  -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FFLAGS
+ FCFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong  -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed    -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 spdx-1.1
+ HOME=/builddir/build/BUILD/spdx-1.1
+ for i in puresat-0.1
++ sed -e 's/\(.*\)-.*/\1/'
++ echo puresat-0.1
+ name=puresat
++ echo puresat-0.1
++ sed -e 's/.*-\(.*\)/\1/'
+ ver=0.1
+ cd puresat-0.1
+ case $name in
++ 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\)')
+ '[' -f CHANGELOG.md -a -x CHANGELOG.md ']'
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong  -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CFLAGS
+ export 'LDFLAGS=-Wl,-z,relro -Wl,--as-needed    -Wl,--build-id=sha1'
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed    -Wl,--build-id=sha1'
+ '[' -f Setup.hs -o -f Setup.lhs ']'
+ cp /usr/share/ghc-rpm-macros/Setup.hs .
+ '[' -d /usr/lib64/ghc-9.8.4/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
+ ./Setup --version
Cabal library version 3.10.3.0
+ '[' -x Setup ']'
+ LANG=C.utf8
++ echo ' -O2' -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection
++ sed -e 's/ / -optc/g'
++ echo ' -Wl,-z,relro' -Wl,--as-needed -Wl,--build-id=sha1
++ sed -e 's/ / -optl/g'
+ ./Setup configure --prefix=/usr --libdir=/usr/lib64 --docdir=/usr/share/licenses/ghc-spdx '--libsubdir=$compiler/lib/$pkgid' '--datasubdir=$pkgid' '--libexecsubdir=$pkgid' --ghc --dynlibdir=/usr/lib64/ghc-9.8.4/lib --user '--ghc-options= -optc-O2 -optc-fexceptions -optc-g -optc-grecord-gcc-switches -optc-pipe -optc-Wall -optc-Werror=format-security -optc-Wp,-D_FORTIFY_SOURCE=2 -optc-Wp,-D_GLIBCXX_ASSERTIONS -optc-specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -optc-fstack-protector-strong -optc-mbranch-protection=standard -optc-fasynchronous-unwind-tables -optc-fstack-clash-protection  -optl-Wl,-z,relro -optl-Wl,--as-needed -optl-Wl,--build-id=sha1 -fhide-source-paths' --enable-shared --docdir=/usr/share/licenses/ghc-puresat --htmldir=/usr/share/doc/ghc/html/libraries/puresat-0.1 --user
Configuring puresat-0.1...
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup build -j8
Preprocessing library 'internal' for puresat-0.1..
Building library 'internal' for puresat-0.1..
[ 1 of 21] Compiling PureSAT.Assert
[ 2 of 21] Compiling PureSAT.Base
[ 3 of 21] Compiling PureSAT.Boost
[ 4 of 21] Compiling PureSAT.LBool
[ 5 of 21] Compiling PureSAT.LCG
[ 6 of 21] Compiling PureSAT.Prim
[ 7 of 21] Compiling PureSAT.LitVar
[ 8 of 21] Compiling PureSAT.PartialAssignment
[ 9 of 21] Compiling PureSAT.LitTable
[10 of 21] Compiling PureSAT.Clause2
[11 of 21] Compiling PureSAT.Satisfied
[12 of 21] Compiling PureSAT.SparseSet
[13 of 21] Compiling PureSAT.LitSet
[14 of 21] Compiling PureSAT.Stats
[15 of 21] Compiling PureSAT.Utils
[16 of 21] Compiling PureSAT.SparseMaxHeap
[17 of 21] Compiling PureSAT.Level
[18 of 21] Compiling PureSAT.Trail
[19 of 21] Compiling PureSAT.VarSet
[20 of 21] Compiling PureSAT.Vec
[21 of 21] Compiling PureSAT.Main
Preprocessing library 'dimacs' for puresat-0.1..
Building library 'dimacs' for puresat-0.1..
[1 of 1] Compiling PureSAT.DIMACS
Preprocessing library for puresat-0.1..
Building library for puresat-0.1..
[1 of 3] Compiling EST
[2 of 3] Compiling PureSAT
[3 of 3] Compiling Control.Monad.SAT
+ '[' -n dist/build/libHSpuresat-0.1-CdPvUSC66oHDhpJYvfuCq9-ghc9.8.4.so ']'
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup haddock --html --hyperlink-source --hoogle
Preprocessing library 'internal' for puresat-0.1..
Running Haddock on library 'internal' for puresat-0.1..
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: array-0.5.8.0, base-4.19.2.0,
containers-0.6.8, deepseq-1.5.1.0, ghc-bignum-1.3, ghc-boot-th-9.8.4,
ghc-prim-0.11.0, pretty-1.1.3.6, primitive-0.9.0.0, template-haskell-2.21.0.0,
transformers-0.6.1.0
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[ 1 of 21] Compiling PureSAT.Assert   ( src/PureSAT/Assert.hs, nothing )
[ 2 of 21] Compiling PureSAT.Base     ( src/PureSAT/Base.hs, nothing )
[ 3 of 21] Compiling PureSAT.Boost    ( src/PureSAT/Boost.hs, nothing )
[ 4 of 21] Compiling PureSAT.LBool    ( src/PureSAT/LBool.hs, nothing )
[ 5 of 21] Compiling PureSAT.LCG      ( src/PureSAT/LCG.hs, nothing )
[ 6 of 21] Compiling PureSAT.Prim     ( src/PureSAT/Prim.hs, nothing )
[ 7 of 21] Compiling PureSAT.LitVar   ( src/PureSAT/LitVar.hs, nothing )
[ 8 of 21] Compiling PureSAT.PartialAssignment ( src/PureSAT/PartialAssignment.hs, nothing )
[ 9 of 21] Compiling PureSAT.LitTable ( src/PureSAT/LitTable.hs, nothing )
[10 of 21] Compiling PureSAT.Clause2  ( src/PureSAT/Clause2.hs, nothing )
[11 of 21] Compiling PureSAT.Satisfied ( src/PureSAT/Satisfied.hs, nothing )
[12 of 21] Compiling PureSAT.SparseSet ( src/PureSAT/SparseSet.hs, nothing )
[13 of 21] Compiling PureSAT.LitSet   ( src/PureSAT/LitSet.hs, nothing )
[14 of 21] Compiling PureSAT.Stats    ( src/PureSAT/Stats.hs, nothing )
[15 of 21] Compiling PureSAT.Utils    ( src/PureSAT/Utils.hs, nothing )
[16 of 21] Compiling PureSAT.SparseMaxHeap ( src/PureSAT/SparseMaxHeap.hs, nothing )
[17 of 21] Compiling PureSAT.Level    ( src/PureSAT/Level.hs, nothing )
[18 of 21] Compiling PureSAT.Trail    ( src/PureSAT/Trail.hs, nothing )
[19 of 21] Compiling PureSAT.VarSet   ( src/PureSAT/VarSet.hs, nothing )
[20 of 21] Compiling PureSAT.Vec      ( src/PureSAT/Vec.hs, nothing )
[21 of 21] Compiling PureSAT.Main     ( src/PureSAT/Main.hs, nothing )
Haddock coverage:
  20% (  1 /  5) in 'PureSAT.Assert'
  Missing documentation for:
    Module header
    assertST (src/PureSAT/Assert.hs:19)
    throwST (src/PureSAT/Assert.hs:26)
    raiseST# (src/PureSAT/Assert.hs:23)
Warning: PureSAT.Base: Could not find documentation for exported module: Control.Monad
Warning: PureSAT.Base: Could not find documentation for exported module: Control.Monad.ST
Warning: PureSAT.Base: Could not find documentation for exported module: Data.Bits
Warning: PureSAT.Base: Could not find documentation for exported module: Data.Coerce
Warning: PureSAT.Base: Could not find documentation for exported module: Data.Foldable
Warning: PureSAT.Base: Could not find documentation for exported module: Data.Word
Warning: PureSAT.Base: Could not find documentation for exported module: Debug.Trace
Warning: PureSAT.Base: Could not find documentation for exported module: GHC.Stack
Warning: PureSAT.Base: Couldn't find .haddock for export ST
Warning: PureSAT.Base: Couldn't find .haddock for export HasCallStack
Warning: PureSAT.Base: Couldn't find .haddock for export forM_
Warning: PureSAT.Base: Couldn't find .haddock for export unless
Warning: PureSAT.Base: Couldn't find .haddock for export when
Warning: PureSAT.Base: Couldn't find .haddock for export runST
Warning: PureSAT.Base: Couldn't find .haddock for export Bits
Warning: PureSAT.Base: Couldn't find .haddock for export coerce
Warning: PureSAT.Base: Couldn't find .haddock for export Foldable
Warning: PureSAT.Base: Couldn't find .haddock for export Word8
Warning: PureSAT.Base: Couldn't find .haddock for export traceM
   7% (  1 / 14) in 'PureSAT.Base'
  Missing documentation for:
    Module header
    ST
    HasCallStack
    forM_
    unless
    when
    runST
    testBit
    unsafeShiftR
    coerce
    foldl'
    Word8
    traceM
  66% (  2 /  3) in 'PureSAT.Boost'
  Missing documentation for:
    Module header
   0% (  0 /  2) in 'PureSAT.LBool'
  Missing documentation for:
    Module header
    LBool (src/PureSAT/LBool.hs:9)
  25% (  1 /  4) in 'PureSAT.LCG'
  Missing documentation for:
    Module header
    newLCG (src/PureSAT/LCG.hs:22)
    nextLCG (src/PureSAT/LCG.hs:25)
Warning: PureSAT.Prim: Couldn't find .haddock for export MutableByteArray
Warning: PureSAT.Prim: Couldn't find .haddock for export newByteArray
Warning: PureSAT.Prim: Couldn't find .haddock for export getSizeofMutableByteArray
Warning: PureSAT.Prim: Couldn't find .haddock for export Prim
Warning: PureSAT.Prim: Couldn't find .haddock for export PrimArray
Warning: PureSAT.Prim: Couldn't find .haddock for export MutablePrimArray
Warning: PureSAT.Prim: Couldn't find .haddock for export newPrimArray
Warning: PureSAT.Prim: Couldn't find .haddock for export getSizeofMutablePrimArray
Warning: PureSAT.Prim: Couldn't find .haddock for export resizeMutablePrimArray
Warning: PureSAT.Prim: Couldn't find .haddock for export primArrayFromList
Warning: PureSAT.Prim: Couldn't find .haddock for export primArrayToList
Warning: PureSAT.Prim: Couldn't find .haddock for export foldrPrimArray
Warning: PureSAT.Prim: Couldn't find .haddock for export sizeofPrimArray
Warning: PureSAT.Prim: Couldn't find .haddock for export emptyPrimArray
Warning: PureSAT.Prim: Couldn't find .haddock for export MutableArray
Warning: PureSAT.Prim: Couldn't find .haddock for export newArray
Warning: PureSAT.Prim: Couldn't find .haddock for export sizeofMutableArray
   8% (  3 / 36) in 'PureSAT.Prim'
  Missing documentation for:
    Module header
    MutableByteArray
    newByteArray
    getSizeofMutableByteArray
    readByteArray (src/PureSAT/Prim.hs:58)
    writeByteArray (src/PureSAT/Prim.hs:66)
    shrinkMutableByteArray (src/PureSAT/Prim.hs:74)
    fillByteArray (src/PureSAT/Prim.hs:82)
    copyMutableByteArray (src/PureSAT/Prim.hs:92)
    resizeMutableByteArray (src/PureSAT/Prim.hs:105)
    Prim
    PrimArray
    MutablePrimArray
    newPrimArray
    getSizeofMutablePrimArray
    resizeMutablePrimArray
    primArrayFromList
    primArrayToList
    foldrPrimArray
    readPrimArray (src/PureSAT/Prim.hs:115)
    writePrimArray (src/PureSAT/Prim.hs:123)
    setPrimArray (src/PureSAT/Prim.hs:131)
    indexPrimArray (src/PureSAT/Prim.hs:149)
    sizeofPrimArray
    freezePrimArray (src/PureSAT/Prim.hs:140)
    emptyPrimArray
    copyMutablePrimArray (src/PureSAT/Prim.hs:156)
    MutableArray
    newArray
    sizeofMutableArray
    readArray (src/PureSAT/Prim.hs:173)
    writeArray (src/PureSAT/Prim.hs:180)
    copyMutableArray (src/PureSAT/Prim.hs:187)
  22% (  2 /  9) in 'PureSAT.LitVar'
  Missing documentation for:
    Module header
    coercePrimArrayLit (src/PureSAT/LitVar.hs:31)
    Var (src/PureSAT/LitVar.hs:37)
    litToVar (src/PureSAT/LitVar.hs:41)
    lit_to_var (src/PureSAT/LitVar.hs:44)
    varToLit (src/PureSAT/LitVar.hs:47)
    var_to_lit (src/PureSAT/LitVar.hs:50)
   0% (  0 / 12) in 'PureSAT.PartialAssignment'
  Missing documentation for:
    Module header
    PartialAssignment (src/PureSAT/PartialAssignment.hs:16)
    newPartialAssignment (src/PureSAT/PartialAssignment.hs:19)
    clonePartialAssignment (src/PureSAT/PartialAssignment.hs:26)
    copyPartialAssignment (src/PureSAT/PartialAssignment.hs:33)
    extendPartialAssignment (src/PureSAT/PartialAssignment.hs:40)
    lookupPartialAssignment (src/PureSAT/PartialAssignment.hs:47)
    insertPartialAssignment (src/PureSAT/PartialAssignment.hs:57)
    deletePartialAssignment (src/PureSAT/PartialAssignment.hs:62)
    tracePartialAssignment (src/PureSAT/PartialAssignment.hs:66)
    assertLiteralInPartialAssignment (src/PureSAT/PartialAssignment.hs:83)
    assertLiteralUndef (src/PureSAT/PartialAssignment.hs:89)
   0% (  0 /  6) in 'PureSAT.LitTable'
  Missing documentation for:
    Module header
    LitTable (src/PureSAT/LitTable.hs:11)
    newLitTable (src/PureSAT/LitTable.hs:14)
    sizeofLitTable (src/PureSAT/LitTable.hs:19)
    readLitTable (src/PureSAT/LitTable.hs:22)
    writeLitTable (src/PureSAT/LitTable.hs:27)
   0% (  0 /  8) in 'PureSAT.Clause2'
  Missing documentation for:
    Module header
    Clause2 (src/PureSAT/Clause2.hs:7)
    litInClause (src/PureSAT/Clause2.hs:13)
    isBinaryClause2 (src/PureSAT/Clause2.hs:17)
    forLitInClause2_ (src/PureSAT/Clause2.hs:20)
    nullClause (src/PureSAT/Clause2.hs:31)
    isNullClause (src/PureSAT/Clause2.hs:34)
    sizeofClause2 (src/PureSAT/Clause2.hs:37)
   0% (  0 /  3) in 'PureSAT.Satisfied'
  Missing documentation for:
    Module header
    Satisfied_ (src/PureSAT/Satisfied.hs:11)
    satisfied2_ (src/PureSAT/Satisfied.hs:20)
  75% (  9 / 12) in 'PureSAT.SparseSet'
  Missing documentation for:
    Module header
    indexSparseSet (src/PureSAT/SparseSet.hs:73)
    popSparseSet_ (src/PureSAT/SparseSet.hs:183)
   0% (  0 / 13) in 'PureSAT.LitSet'
  Missing documentation for:
    Module header
    LitSet (src/PureSAT/LitSet.hs:19)
    indexLitSet (src/PureSAT/LitSet.hs:22)
    newLitSet (src/PureSAT/LitSet.hs:25)
    insertLitSet (src/PureSAT/LitSet.hs:28)
    deleteLitSet (src/PureSAT/LitSet.hs:31)
    minViewLitSet (src/PureSAT/LitSet.hs:35)
    clearLitSet (src/PureSAT/LitSet.hs:38)
    elemsLitSet (src/PureSAT/LitSet.hs:41)
    memberLitSet (src/PureSAT/LitSet.hs:44)
    sizeofLitSet (src/PureSAT/LitSet.hs:47)
    unsingletonLitSet (src/PureSAT/LitSet.hs:50)
    litSetToClause (src/PureSAT/LitSet.hs:57)
   0% (  0 / 13) in 'PureSAT.Stats'
  Missing documentation for:
    Module header
    Stats (src/PureSAT/Stats.hs:18)
    newStats (src/PureSAT/Stats.hs:21)
    readStatsConflicts (src/PureSAT/Stats.hs:30)
    incrStatsConflicts (src/PureSAT/Stats.hs:30)
    readStatsRestarts (src/PureSAT/Stats.hs:34)
    incrStatsRestarts (src/PureSAT/Stats.hs:34)
    readStatsLearnt (src/PureSAT/Stats.hs:38)
    incrStatsLearnt (src/PureSAT/Stats.hs:38)
    readStatsClauses (src/PureSAT/Stats.hs:42)
    incrStatsClauses (src/PureSAT/Stats.hs:42)
    readStatsLearntLiterals (src/PureSAT/Stats.hs:46)
    incrStatsLearntLiterals (src/PureSAT/Stats.hs:46)
  25% (  1 /  4) in 'PureSAT.Utils'
  Missing documentation for:
    Module header
    whenOk (src/PureSAT/Utils.hs:8)
    whenOk_ (src/PureSAT/Utils.hs:11)
  70% ( 12 / 17) in 'PureSAT.SparseMaxHeap'
  Missing documentation for:
    Module header
    Weight (src/PureSAT/SparseMaxHeap.hs:32)
    cloneSparseHeap (src/PureSAT/SparseMaxHeap.hs:148)
    popSparseHeap_ (src/PureSAT/SparseMaxHeap.hs:435)
    scaleWeightsSparseHeap (src/PureSAT/SparseMaxHeap.hs:411)
   0% (  0 / 10) in 'PureSAT.Level'
  Missing documentation for:
    Module header
    Level (src/PureSAT/Level.hs:9)
    zeroLevel (src/PureSAT/Level.hs:21)
    isZeroLevel (src/PureSAT/Level.hs:24)
    Levels (src/PureSAT/Level.hs:26)
    getLevel (src/PureSAT/Level.hs:29)
    setLevel (src/PureSAT/Level.hs:33)
    clearLevels (src/PureSAT/Level.hs:37)
    newLevels (src/PureSAT/Level.hs:42)
    extendLevels (src/PureSAT/Level.hs:48)
   0% (  0 / 10) in 'PureSAT.Trail'
  Missing documentation for:
    Module header
    Trail (src/PureSAT/Trail.hs:20)
    newTrail (src/PureSAT/Trail.hs:23)
    cloneTrail (src/PureSAT/Trail.hs:29)
    extendTrail (src/PureSAT/Trail.hs:38)
    indexTrail (src/PureSAT/Trail.hs:51)
    popTrail (src/PureSAT/Trail.hs:54)
    pushTrail (src/PureSAT/Trail.hs:61)
    traceTrail (src/PureSAT/Trail.hs:67)
    assertEmptyTrail (src/PureSAT/Trail.hs:88)
   0% (  0 / 12) in 'PureSAT.VarSet'
  Missing documentation for:
    Module header
    VarSet (src/PureSAT/VarSet.hs:60)
    sizeofVarSet (src/PureSAT/VarSet.hs:63)
    newVarSet (src/PureSAT/VarSet.hs:66)
    cloneVarSet (src/PureSAT/VarSet.hs:69)
    extendVarSet (src/PureSAT/VarSet.hs:72)
    weightVarSet (src/PureSAT/VarSet.hs:75)
    scaleVarSet (src/PureSAT/VarSet.hs:79)
    insertVarSet (src/PureSAT/VarSet.hs:83)
    deleteVarSet (src/PureSAT/VarSet.hs:87)
    clearVarSet (src/PureSAT/VarSet.hs:91)
    minViewVarSet (src/PureSAT/VarSet.hs:95)
  25% (  2 /  8) in 'PureSAT.Vec'
  Missing documentation for:
    Module header
    Vec (src/PureSAT/Vec.hs:18)
    newVec (src/PureSAT/Vec.hs:23)
    sizeofVec (src/PureSAT/Vec.hs:32)
    readVec (src/PureSAT/Vec.hs:58)
    writeVec (src/PureSAT/Vec.hs:61)
  44% (  8 / 18) in 'PureSAT.Main'
  Missing documentation for:
    Module header
    boostScore (src/PureSAT/Main.hs:287)
    addClause (src/PureSAT/Main.hs:292)
    solve (src/PureSAT/Main.hs:391)
    num_vars (src/PureSAT/Main.hs:928)
    num_clauses (src/PureSAT/Main.hs:933)
    num_learnts (src/PureSAT/Main.hs:936)
    num_learnt_literals (src/PureSAT/Main.hs:939)
    num_conflicts (src/PureSAT/Main.hs:942)
    num_restarts (src/PureSAT/Main.hs:945)
Warning: PureSAT.Assert: could not find link destinations for: 
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Prim.State#
	- GHC.Exception.Type.Exception
Warning: PureSAT.Base: could not find link destinations for: 
	- GHC.Num.fromInteger
	- GHC.Num.-
	- GHC.Enum.enumFrom
	- GHC.Enum.enumFromThen
	- GHC.Enum.enumFromTo
	- GHC.Enum.enumFromThenTo
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Num.negate
	- GHC.Base.>>=
	- GHC.Base.>>
	- GHC.Base.fmap
	- GHC.Base.return
	- Control.Monad.Fix.mfix
	- GHC.Real.toInteger
	- GHC.Real.toRational
	- GHC.Base.<>
	- GHC.Base.mempty
	- GHC.Base.mappend
	- GHC.Base.mconcat
	- GHC.Base.<*>
	- GHC.Base.pure
	- GHC.Base.*>
	- GHC.Enum.Bounded
	- GHC.Enum.Enum
	- GHC.Classes.Eq
	- GHC.Real.Integral
	- GHC.Base.Monad
	- Data.Data.Data
	- GHC.Base.Functor
	- GHC.Num.Num
	- GHC.Classes.Ord
	- GHC.Read.Read
	- GHC.Real.Real
	- GHC.Show.Show
	- GHC.Ix.Ix
	- Data.Typeable.Internal.Typeable
	- Control.Monad.Fix.MonadFix
	- GHC.Base.Applicative
	- Data.Foldable.Foldable
	- GHC.Base.Semigroup
	- GHC.Base.Monoid
	- GHC.Prim.Addr#
	- GHC.Types.Bool
	- GHC.Prim.ByteArray#
	- GHC.Base.String
	- GHC.Prim.Int#
	- GHC.Types.Int
	- GHC.Num.Integer.Integer
	- GHC.Maybe.Maybe
	- GHC.Prim.MutableByteArray#
	- GHC.Types.Ordering
	- GHC.Real.Rational
	- GHC.Prim.State#
	- GHC.Types.IO
	- GHC.Ptr.Ptr
	- GHC.Base.NonEmpty
	- GHC.Types.Type
	- GHC.Types.Coercible
	- GHC.Stack.Types.CallStack
	- GHC.Base.<*
	- GHC.Base.liftA2
	- GHC.Base.<$
	- GHC.Enum.maxBound
	- GHC.Enum.minBound
	- GHC.Enum.fromEnum
	- GHC.Enum.pred
	- GHC.Enum.succ
	- GHC.Enum.toEnum
	- GHC.Num.*
	- GHC.Num.+
	- GHC.Num.abs
	- GHC.Num.signum
	- GHC.Read.readList
	- GHC.Read.readsPrec
	- GHC.Real.div
	- GHC.Real.divMod
	- GHC.Real.mod
	- GHC.Real.quot
	- GHC.Real.quotRem
	- GHC.Real.rem
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- Text.ParserCombinators.ReadP.ReadS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- Data.Data.Constr
	- Data.Data.DataType
	- GHC.Base.MonadPlus
	- GHC.Base.sconcat
	- GHC.Base.stimes
	- Text.ParserCombinators.ReadPrec.ReadPrec
	- GHC.Bits.Bits
	- GHC.Bits..&.
	- GHC.Bits..|.
	- GHC.Bits.bit
	- GHC.Bits.bitSize
	- GHC.Bits.bitSizeMaybe
	- GHC.Bits.clearBit
	- GHC.Bits.complement
	- GHC.Bits.complementBit
	- GHC.Bits.isSigned
	- GHC.Bits.popCount
	- GHC.Bits.rotate
	- GHC.Bits.rotateL
	- GHC.Bits.rotateR
	- GHC.Bits.setBit
	- GHC.Bits.shift
	- GHC.Bits.shiftL
	- GHC.Bits.shiftR
	- GHC.Bits.unsafeShiftL
	- GHC.Bits.xor
	- GHC.Bits.zeroBits
	- GHC.Bits.FiniteBits
	- GHC.Bits.countLeadingZeros
	- GHC.Bits.countTrailingZeros
	- GHC.Bits.finiteBitSize
	- Data.Proxy.Proxy
	- Control.Monad.Primitive.PrimMonad
	- Control.Monad.Primitive.PrimState
	- Control.Monad.Primitive.primitive
	- Data.Primitive.Types.readByteArray#
	- Data.Primitive.Types.writeByteArray#
	- Data.Primitive.Types.sizeOfType#
	- Data.Primitive.Types.alignmentOfType#
	- Control.Monad.Primitive.PrimBase
	- Control.Monad.Primitive.internal
	- Control.Monad.Primitive.D:R:PrimStateST0
	- Data.Primitive.Types.alignment#
	- Data.Primitive.Types.indexByteArray#
	- Data.Primitive.Types.indexOffAddr#
	- Data.Primitive.Types.readOffAddr#
	- Data.Primitive.Types.setByteArray#
	- Data.Primitive.Types.setOffAddr#
	- Data.Primitive.Types.sizeOf#
	- Data.Primitive.Types.writeOffAddr#
	- Foreign.Storable.Storable
	- GHC.Read.readListPrec
	- Foreign.Storable.poke
	- Foreign.Storable.pokeElemOff
	- Foreign.Storable.peek
	- Foreign.Storable.peekElemOff
	- Foreign.Storable.sizeOf
	- Foreign.Storable.alignment
	- GHC.Read.readPrec
	- Data.Data.dataCast1
	- Data.Data.dataCast2
	- Data.Data.dataTypeOf
	- Data.Data.gfoldl
	- Data.Data.gmapM
	- Data.Data.gmapMo
	- Data.Data.gmapMp
	- Data.Data.gmapQ
	- Data.Data.gmapQi
	- Data.Data.gmapQl
	- Data.Data.gmapQr
	- Data.Data.gmapT
	- Data.Data.gunfold
	- Data.Data.toConstr
	- GHC.Ix.rangeSize
	- GHC.Ix.range
	- GHC.Ix.index
	- GHC.Ix.unsafeIndex
	- GHC.Ix.inRange
	- GHC.Ix.unsafeRangeSize
	- Foreign.Storable.peekByteOff
	- Foreign.Storable.pokeByteOff
	- Text.Printf.FieldFormatter
	- Text.Printf.ModifierParser
	- Text.Printf.PrintfArg
	- Text.Printf.formatArg
	- Text.Printf.parseFormat
Warning: PureSAT.Boost: could not find link destinations for: 
	- GHC.Types.Word
Warning: PureSAT.LBool: 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: PureSAT.LCG: could not find link destinations for: 
	- GHC.Word.Word64
Warning: PureSAT.Prim: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.IsList.IsList
	- GHC.IsList.fromList
	- Language.Haskell.TH.Syntax.lift
	- Language.Haskell.TH.Syntax.liftTyped
	- GHC.IsList.fromListN
	- GHC.IsList.toList
	- GHC.Base.<>
	- GHC.Base.mempty
	- GHC.Base.mappend
	- GHC.Base.mconcat
	- GHC.Classes.Eq
	- GHC.Real.Integral
	- GHC.Base.Monad
	- Data.Data.Data
	- GHC.Classes.Ord
	- GHC.Show.Show
	- Data.Typeable.Internal.Typeable
	- GHC.Base.Semigroup
	- GHC.Base.Monoid
	- Language.Haskell.TH.Syntax.Lift
	- Language.Haskell.TH.Syntax.Quote
	- GHC.Prim.Addr#
	- GHC.Types.Bool
	- GHC.Prim.ByteArray#
	- GHC.Base.String
	- GHC.Types.Char
	- GHC.Types.Double
	- GHC.Types.Float
	- GHC.Prim.Int#
	- GHC.Types.Int
	- GHC.Int.Int8
	- GHC.Int.Int16
	- GHC.Int.Int32
	- GHC.Int.Int64
	- GHC.Maybe.Maybe
	- GHC.Prim.MutableByteArray#
	- GHC.Types.Ordering
	- GHC.Stable.StablePtr
	- GHC.Prim.State#
	- GHC.Types.Word
	- GHC.Word.Word16
	- GHC.Word.Word32
	- GHC.Word.Word64
	- GHC.Ptr.Ptr
	- GHC.Ptr.FunPtr
	- GHC.Base.NonEmpty
	- GHC.Types.Type
	- GHC.Prim.TYPE
	- Language.Haskell.TH.Syntax.Exp
	- Language.Haskell.TH.Syntax.Code
	- 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
	- Data.Ord.Down
	- GHC.IsList.Item
	- Data.Data.Constr
	- Data.Functor.Const.Const
	- Data.Data.DataType
	- GHC.Base.MonadPlus
	- GHC.Base.sconcat
	- GHC.Base.stimes
	- Foreign.C.Types.CInt
	- Data.Semigroup.Internal.Dual
	- Data.Semigroup.Internal.Product
	- Data.Semigroup.Internal.Sum
	- Data.Proxy.Proxy
	- Foreign.C.Types.CChar
	- Control.Monad.Primitive.PrimMonad
	- Control.Monad.Primitive.PrimState
	- Data.Primitive.Types.readByteArray#
	- Data.Primitive.Types.writeByteArray#
	- Data.Primitive.Types.sizeOfType#
	- Data.Primitive.Types.alignmentOfType#
	- Data.Primitive.Types.alignment#
	- Data.Primitive.Types.indexByteArray#
	- Data.Primitive.Types.indexOffAddr#
	- Data.Primitive.Types.readOffAddr#
	- Data.Primitive.Types.setByteArray#
	- Data.Primitive.Types.setOffAddr#
	- Data.Primitive.Types.sizeOf#
	- Data.Primitive.Types.writeOffAddr#
	- System.Posix.Types.CBlkCnt
	- System.Posix.Types.CBlkSize
	- Foreign.C.Types.CBool
	- System.Posix.Types.CCc
	- Foreign.C.Types.CClock
	- System.Posix.Types.CClockId
	- System.Posix.Types.CDev
	- Foreign.C.Types.CDouble
	- Foreign.C.Types.CFloat
	- System.Posix.Types.CFsBlkCnt
	- System.Posix.Types.CFsFilCnt
	- System.Posix.Types.CGid
	- System.Posix.Types.CId
	- System.Posix.Types.CIno
	- Foreign.C.Types.CIntMax
	- Foreign.C.Types.CIntPtr
	- System.Posix.Types.CKey
	- Foreign.C.Types.CLLong
	- Foreign.C.Types.CLong
	- System.Posix.Types.CMode
	- System.Posix.Types.CNlink
	- System.Posix.Types.COff
	- System.Posix.Types.CPid
	- Foreign.C.Types.CPtrdiff
	- System.Posix.Types.CRLim
	- Foreign.C.Types.CSChar
	- Foreign.C.Types.CSUSeconds
	- Foreign.C.Types.CShort
	- Foreign.C.Types.CSigAtomic
	- Foreign.C.Types.CSize
	- System.Posix.Types.CSpeed
	- System.Posix.Types.CSsize
	- System.Posix.Types.CTcflag
	- Foreign.C.Types.CTime
	- System.Posix.Types.CTimer
	- Foreign.C.Types.CUChar
	- Foreign.C.Types.CUInt
	- Foreign.C.Types.CUIntMax
	- Foreign.C.Types.CUIntPtr
	- Foreign.C.Types.CULLong
	- Foreign.C.Types.CULong
	- Foreign.C.Types.CUSeconds
	- Foreign.C.Types.CUShort
	- System.Posix.Types.CUid
	- Foreign.C.Types.CWchar
	- Data.Complex.Complex
	- System.Posix.Types.Fd
	- Data.Semigroup.First
	- Data.Functor.Identity.Identity
	- Foreign.Ptr.IntPtr
	- Data.Semigroup.Last
	- Data.Semigroup.Max
	- Data.Semigroup.Min
	- Foreign.Ptr.WordPtr
	- Control.DeepSeq.NFData
	- Data.Primitive.PrimArray.D:R:ItemPrimArray
	- Data.Data.dataCast1
	- Data.Data.dataCast2
	- Data.Data.dataTypeOf
	- Data.Data.gfoldl
	- Data.Data.gmapM
	- Data.Data.gmapMo
	- Data.Data.gmapMp
	- Data.Data.gmapQ
	- Data.Data.gmapQi
	- Data.Data.gmapQl
	- Data.Data.gmapQr
	- Data.Data.gmapT
	- Data.Data.gunfold
	- Data.Data.toConstr
	- Control.DeepSeq.rnf
Warning: PureSAT.LitVar: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Classes.Eq
	- GHC.Classes.Ord
	- GHC.Show.Show
	- GHC.Prim.Addr#
	- GHC.Types.Bool
	- GHC.Prim.ByteArray#
	- GHC.Base.String
	- GHC.Prim.Int#
	- GHC.Types.Int
	- GHC.Prim.MutableByteArray#
	- GHC.Types.Ordering
	- GHC.Prim.State#
	- 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
	- Data.Proxy.Proxy
	- Data.Primitive.Types.readByteArray#
	- Data.Primitive.Types.writeByteArray#
	- Data.Primitive.Types.sizeOfType#
	- Data.Primitive.Types.alignmentOfType#
	- Data.Primitive.Types.alignment#
	- Data.Primitive.Types.indexByteArray#
	- Data.Primitive.Types.indexOffAddr#
	- Data.Primitive.Types.readOffAddr#
	- Data.Primitive.Types.setByteArray#
	- Data.Primitive.Types.setOffAddr#
	- Data.Primitive.Types.sizeOf#
	- Data.Primitive.Types.writeOffAddr#
Warning: PureSAT.PartialAssignment: could not find link destinations for: 
	- GHC.Types.Int
Warning: PureSAT.LitTable: could not find link destinations for: 
	- GHC.Types.Int
Warning: PureSAT.Clause2: could not find link destinations for: 
	- GHC.Show.Show
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
Warning: PureSAT.Satisfied: could not find link destinations for: 
	- GHC.Show.Show
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
Warning: PureSAT.SparseSet: could not find link destinations for: 
	- GHC.Types.Bool
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- Data.Primitive.PrimVar.PrimVar
Warning: PureSAT.LitSet: could not find link destinations for: 
	- GHC.Types.Bool
	- GHC.Types.Int
Warning: PureSAT.Stats: could not find link destinations for: 
	- GHC.Types.Int
Warning: PureSAT.Utils: could not find link destinations for: 
	- GHC.Types.Bool
	- GHC.Types.Int
	- GHC.STRef.STRef
Warning: PureSAT.SparseMaxHeap: could not find link destinations for: 
	- GHC.Types.Bool
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Types.Word
Warning: PureSAT.Level: could not find link destinations for: 
	- GHC.Enum.enumFrom
	- GHC.Enum.enumFromThen
	- GHC.Enum.enumFromTo
	- GHC.Enum.enumFromThenTo
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Enum.Enum
	- GHC.Classes.Eq
	- GHC.Classes.Ord
	- GHC.Show.Show
	- GHC.Prim.Addr#
	- GHC.Types.Bool
	- GHC.Prim.ByteArray#
	- GHC.Base.String
	- GHC.Prim.Int#
	- GHC.Types.Int
	- GHC.Prim.MutableByteArray#
	- GHC.Types.Ordering
	- GHC.Prim.State#
	- GHC.Enum.fromEnum
	- GHC.Enum.pred
	- GHC.Enum.succ
	- GHC.Enum.toEnum
	- 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
	- Data.Proxy.Proxy
	- Data.Primitive.Types.readByteArray#
	- Data.Primitive.Types.writeByteArray#
	- Data.Primitive.Types.sizeOfType#
	- Data.Primitive.Types.alignmentOfType#
	- Data.Primitive.Types.alignment#
	- Data.Primitive.Types.indexByteArray#
	- Data.Primitive.Types.indexOffAddr#
	- Data.Primitive.Types.readOffAddr#
	- Data.Primitive.Types.setByteArray#
	- Data.Primitive.Types.setOffAddr#
	- Data.Primitive.Types.sizeOf#
	- Data.Primitive.Types.writeOffAddr#
Warning: PureSAT.Trail: could not find link destinations for: 
	- GHC.Types.Int
	- Data.Primitive.PrimVar.PrimVar
Warning: PureSAT.VarSet: could not find link destinations for: 
	- GHC.Types.Int
	- GHC.Types.Word
Warning: PureSAT.Vec: could not find link destinations for: 
	- GHC.Types.Int
Warning: PureSAT.Main: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Classes.Eq
	- GHC.Classes.Ord
	- GHC.Show.Show
	- GHC.Prim.Addr#
	- GHC.Types.Bool
	- GHC.Prim.ByteArray#
	- GHC.Base.String
	- GHC.Prim.Int#
	- GHC.Types.Int
	- GHC.Prim.MutableByteArray#
	- GHC.Types.Ordering
	- GHC.Prim.State#
	- 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
	- Data.Proxy.Proxy
	- Data.Primitive.Types.readByteArray#
	- Data.Primitive.Types.writeByteArray#
	- Data.Primitive.Types.sizeOfType#
	- Data.Primitive.Types.alignmentOfType#
	- Data.Primitive.Types.alignment#
	- Data.Primitive.Types.indexByteArray#
	- Data.Primitive.Types.indexOffAddr#
	- Data.Primitive.Types.readOffAddr#
	- Data.Primitive.Types.setByteArray#
	- Data.Primitive.Types.setOffAddr#
	- Data.Primitive.Types.sizeOf#
	- Data.Primitive.Types.writeOffAddr#
Documentation created: dist/doc/html/puresat/,
dist/doc/html/puresat/puresat.txt
Preprocessing library 'dimacs' for puresat-0.1..
Running Haddock on library 'dimacs' for puresat-0.1..
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: array-0.5.8.0, base-4.19.2.0,
binary-0.8.9.1, bytestring-0.12.1.0, containers-0.6.8, deepseq-1.5.1.0,
ghc-bignum-1.3, ghc-boot-th-9.8.4, ghc-prim-0.11.0, mtl-2.3.1,
parsec-3.1.17.0, pretty-1.1.3.6, primitive-0.9.0.0, template-haskell-2.21.0.0,
text-2.1.1, transformers-0.6.1.0
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 1] Compiling PureSAT.DIMACS   ( src-dimacs/PureSAT/DIMACS.hs, nothing )
Haddock coverage:
  50% (  2 /  4) in 'PureSAT.DIMACS'
  Missing documentation for:
    parseDimacs (src-dimacs/PureSAT/DIMACS.hs:78)
    demo (src-dimacs/PureSAT/DIMACS.hs:31)
Warning: PureSAT.DIMACS: could not find link destinations for: 
	- GHC.Types.Int
	- GHC.Types.IO
	- Data.Either.Either
	- GHC.IO.FilePath
	- Text.Parsec.Error.ParseError
	- Data.ByteString.Internal.Type.ByteString
Documentation created: dist/doc/html/puresat/,
dist/doc/html/puresat/puresat.txt
Preprocessing library for puresat-0.1..
Running Haddock on library for puresat-0.1..
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: array-0.5.8.0, base-4.19.2.0,
containers-0.6.8, deepseq-1.5.1.0, ghc-bignum-1.3, ghc-boot-th-9.8.4,
ghc-prim-0.11.0, pretty-1.1.3.6, primitive-0.9.0.0, template-haskell-2.21.0.0,
transformers-0.6.1.0
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 3] Compiling EST              ( lib/EST.hs, nothing )
[2 of 3] Compiling PureSAT          ( lib/PureSAT.hs, nothing )
[3 of 3] Compiling Control.Monad.SAT ( lib/Control/Monad/SAT.hs, nothing )
Haddock coverage:
Warning: PureSAT: Couldn't find .haddock for export Solver
Warning: PureSAT: Couldn't find .haddock for export newSolver
Warning: PureSAT: Couldn't find .haddock for export Lit
Warning: PureSAT: Couldn't find .haddock for export newLit
Warning: PureSAT: Couldn't find .haddock for export boostScore
Warning: PureSAT: Couldn't find .haddock for export neg
Warning: PureSAT: Couldn't find .haddock for export addClause
Warning: PureSAT: Couldn't find .haddock for export solve
Warning: PureSAT: Couldn't find .haddock for export simplify
Warning: PureSAT: Couldn't find .haddock for export modelValue
Warning: PureSAT: Couldn't find .haddock for export num_vars
Warning: PureSAT: Couldn't find .haddock for export num_clauses
Warning: PureSAT: Couldn't find .haddock for export num_learnts
Warning: PureSAT: Couldn't find .haddock for export num_learnt_literals
Warning: PureSAT: Couldn't find .haddock for export num_conflicts
Warning: PureSAT: Couldn't find .haddock for export num_restarts
   5% (  1 / 18) in 'PureSAT'
  Missing documentation for:
    Module header
    Solver
    newSolver
    Lit
    newLit
    boostScore
    neg
    addClause
    solve
    simplify
    modelValue
    num_vars
    num_clauses
    num_learnts
    num_learnt_literals
    num_conflicts
    num_restarts
Warning: 'SAT' is ambiguous. It is defined
    * at lib/Control/Monad/SAT.hs:73:19
    * at lib/Control/Monad/SAT.hs:73:1
    You may be able to disambiguate the identifier by qualifying it or
    by specifying the type/value namespace explicitly.
    Defaulting to the one defined at lib/Control/Monad/SAT.hs:73:1
Warning: 'atMostOnePairwise' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'atMostOneSequential' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
  97% ( 47 / 48) in 'Control.Monad.SAT'
  Missing documentation for:
    Neg (lib/Control/Monad/SAT.hs:144)
Warning: PureSAT: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Classes.Eq
	- GHC.Classes.Ord
	- GHC.Show.Show
	- GHC.Prim.Addr#
	- GHC.Types.Bool
	- GHC.Prim.ByteArray#
	- GHC.Base.String
	- GHC.Prim.Int#
	- GHC.Types.Int
	- GHC.Prim.MutableByteArray#
	- GHC.Types.Ordering
	- GHC.Prim.State#
	- 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
	- GHC.ST.ST
	- Data.Primitive.Types.Prim
	- Data.Proxy.Proxy
	- Data.Primitive.Types.indexByteArray#
	- Data.Primitive.Types.sizeOfType#
	- Data.Primitive.Types.writeByteArray#
	- Data.Primitive.Types.alignmentOfType#
	- Data.Primitive.Types.readByteArray#
	- Data.Primitive.Types.setByteArray#
	- Data.Primitive.Types.alignment#
	- Data.Primitive.Types.indexOffAddr#
	- Data.Primitive.Types.readOffAddr#
	- Data.Primitive.Types.setOffAddr#
	- Data.Primitive.Types.sizeOf#
	- Data.Primitive.Types.writeOffAddr#
Warning: Control.Monad.SAT: could not find link destinations for: 
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Base.>>=
	- GHC.Base.>>
	- GHC.Base.fmap
	- GHC.Base.return
	- GHC.Base.<*>
	- GHC.Base.pure
	- GHC.Base.*>
	- GHC.Classes.Eq
	- GHC.Base.Monad
	- GHC.Base.Functor
	- GHC.Classes.Ord
	- GHC.Show.Show
	- GHC.Base.Applicative
	- Data.Traversable.Traversable
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Types.Ordering
	- GHC.Types.Type
	- GHC.Base.<*
	- GHC.Base.liftA2
	- GHC.Base.<$
	- 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
Documentation created: dist/doc/html/puresat/,
dist/doc/html/puresat/puresat.txt
+ ./Setup register --inplace
Registering library 'internal' for puresat-0.1..
Registering library 'dimacs' for puresat-0.1..
Registering library for puresat-0.1..
+ cd ..
++ 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\)')
+ '[' -f CHANGELOG.md -a -x CHANGELOG.md ']'
+ for f in $(ls | grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)')
+ '[' -f README.md -a -x README.md ']'
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong  -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CFLAGS
+ export 'LDFLAGS=-Wl,-z,relro -Wl,--as-needed    -Wl,--build-id=sha1'
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed    -Wl,--build-id=sha1'
+ '[' -f Setup.hs -o -f Setup.lhs ']'
+ '[' -d /usr/lib64/ghc-9.8.4/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
+ ./Setup --version
Cabal library version 3.10.3.0
+ '[' -x Setup ']'
+ LANG=C.utf8
++ echo ' -O2' -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection
++ sed -e 's/ / -optc/g'
++ echo ' -Wl,-z,relro' -Wl,--as-needed -Wl,--build-id=sha1
++ sed -e 's/ / -optl/g'
+ ./Setup configure --prefix=/usr --libdir=/usr/lib64 --docdir=/usr/share/licenses/ghc-spdx '--libsubdir=$compiler/lib/$pkgid' '--datasubdir=$pkgid' '--libexecsubdir=$pkgid' --ghc --dynlibdir=/usr/lib64/ghc-9.8.4/lib --user '--ghc-options= -optc-O2 -optc-fexceptions -optc-g -optc-grecord-gcc-switches -optc-pipe -optc-Wall -optc-Werror=format-security -optc-Wp,-D_FORTIFY_SOURCE=2 -optc-Wp,-D_GLIBCXX_ASSERTIONS -optc-specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -optc-fstack-protector-strong -optc-mbranch-protection=standard -optc-fasynchronous-unwind-tables -optc-fstack-clash-protection  -optl-Wl,-z,relro -optl-Wl,--as-needed -optl-Wl,--build-id=sha1 -fhide-source-paths' --enable-shared --htmldir=/usr/share/doc/ghc/html/libraries/spdx-1.1 --user
Configuring spdx-1.1...
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup build -j8
Preprocessing library for spdx-1.1..
Building library for spdx-1.1..
[1 of 1] Compiling Distribution.SPDX.Extra
+ '[' -n dist/build/libHSspdx-1.1-JdnvL1n76s8dZQymv1P6B-ghc9.8.4.so ']'
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup haddock --html --hyperlink-source --hoogle
Preprocessing library for spdx-1.1..
Running Haddock on library for spdx-1.1..
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: Cabal-syntax-3.10.3.0,
array-0.5.8.0, base-4.19.2.0, binary-0.8.9.1, bytestring-0.12.1.0,
containers-0.6.8, deepseq-1.5.1.0, directory-1.3.8.5, exceptions-0.10.7,
filepath-1.4.301.0, ghc-bignum-1.3, ghc-boot-th-9.8.4, ghc-prim-0.11.0,
mtl-2.3.1, parsec-3.1.17.0, pretty-1.1.3.6, primitive-0.9.0.0, stm-2.5.3.1,
template-haskell-2.21.0.0, text-2.1.1, time-1.12.2, transformers-0.6.1.0,
unix-2.8.6.0
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 1] Compiling Distribution.SPDX.Extra ( src/Distribution/SPDX/Extra.hs, nothing )
Haddock coverage:
Warning: Distribution.SPDX.Extra: Couldn't find .haddock for export License
Warning: Distribution.SPDX.Extra: Couldn't find .haddock for export LicenseExpression
Warning: Distribution.SPDX.Extra: Couldn't find .haddock for export SimpleLicenseExpression
Warning: Distribution.SPDX.Extra: Couldn't find .haddock for export LicenseId
Warning: Distribution.SPDX.Extra: Couldn't find .haddock for export LicenseExceptionId
  45% (  5 / 11) in 'Distribution.SPDX.Extra'
  Missing documentation for:
    Module header
    License
    LicenseExpression
    SimpleLicenseExpression
    LicenseId
    LicenseExceptionId
Warning: Distribution.SPDX.Extra: could not find link destinations for: 
	- GHC.Enum.enumFrom
	- GHC.Enum.enumFromThen
	- GHC.Enum.enumFromTo
	- GHC.Enum.enumFromThenTo
	- GHC.Classes.==
	- GHC.Classes.>=
	- GHC.Enum.Bounded
	- GHC.Enum.Enum
	- GHC.Classes.Eq
	- GHC.Base.Monad
	- Data.Data.Data
	- GHC.Classes.Ord
	- GHC.Read.Read
	- GHC.Show.Show
	- Data.Typeable.Internal.Typeable
	- GHC.Generics.Generic
	- GHC.Types.Bool
	- GHC.Base.String
	- GHC.Types.Int
	- GHC.Maybe.Maybe
	- GHC.Types.Ordering
	- Data.Either.Either
	- GHC.Types.Type
	- GHC.Generics.U1
	- GHC.Generics.:+:
	- GHC.Generics.:*:
	- GHC.Generics.Rec0
	- GHC.Generics.D1
	- GHC.Generics.C1
	- GHC.Generics.S1
	- GHC.Generics.Rep
	- GHC.Types.Symbol
	- GHC.Types.False
	- GHC.Maybe.Nothing
	- GHC.Generics.PrefixI
	- GHC.Generics.NoSourceUnpackedness
	- GHC.Generics.SourceStrict
	- GHC.Generics.NoSourceStrictness
	- GHC.Generics.DecidedLazy
	- GHC.Generics.DecidedStrict
	- GHC.Generics.MetaData
	- GHC.Generics.MetaCons
	- GHC.Generics.MetaSel
	- GHC.Enum.maxBound
	- GHC.Enum.minBound
	- GHC.Enum.fromEnum
	- GHC.Enum.pred
	- GHC.Enum.succ
	- GHC.Enum.toEnum
	- GHC.Read.readList
	- GHC.Read.readsPrec
	- GHC.Show.show
	- GHC.Show.showList
	- GHC.Show.showsPrec
	- GHC.Show.ShowS
	- Text.ParserCombinators.ReadP.ReadS
	- GHC.Classes./=
	- GHC.Classes.<
	- GHC.Classes.<=
	- GHC.Classes.>
	- GHC.Classes.compare
	- GHC.Classes.max
	- GHC.Classes.min
	- Distribution.SPDX.LicenseReference.LicenseRef
	- GHC.Base.MonadPlus
	- Data.Binary.Class.Binary
	- Data.Binary.Class.get
	- Data.Binary.Put.Put
	- Data.Binary.Class.put
	- Data.Binary.Get.Internal.Get
	- Data.Data.Constr
	- Data.Data.DataType
	- Control.DeepSeq.NFData
	- Data.Proxy.Proxy
	- Distribution.CabalSpecVersion.CabalSpecVersion
	- Text.ParserCombinators.ReadPrec.ReadPrec
	- Distribution.Utils.Structured.Structured
	- Distribution.Utils.MD5.MD5
	- Distribution.Utils.Structured.Structure
	- GHC.Generics.from
	- GHC.Generics.to
	- GHC.Read.readPrec
	- Data.Binary.Class.putList
	- Distribution.Utils.Structured.structure
	- Distribution.SPDX.License.Rep_License
	- Distribution.Parsec.Parsec
	- Distribution.Parsec.CabalParsing
	- Distribution.Pretty.Pretty
	- Text.PrettyPrint.HughesPJ.Doc
	- Distribution.SPDX.LicenseExceptionId.Rep_LicenseExceptionId
	- Distribution.SPDX.LicenseExpression.Rep_SimpleLicenseExpression
	- Distribution.SPDX.LicenseExpression.Rep_LicenseExpression
	- Distribution.Utils.Structured.Tagged
	- Distribution.Utils.Structured.structureHash'
	- GHC.Read.readListPrec
	- Distribution.Compat.Newtype.Newtype
	- Distribution.Compat.Newtype.pack
	- Distribution.Compat.Newtype.unpack
	- Control.DeepSeq.rnf
	- Distribution.FieldGrammar.Newtypes.SpecLicense
	- Distribution.Pretty.pretty
	- Distribution.License.License
	- Distribution.Pretty.prettyVersioned
	- Distribution.Parsec.parsec
	- Distribution.Types.InstalledPackageInfo.FieldGrammar.SpecLicenseLenient
	- Data.Data.dataCast1
	- Data.Data.dataCast2
	- Data.Data.dataTypeOf
	- Data.Data.gfoldl
	- Data.Data.gmapM
	- Data.Data.gmapMo
	- Data.Data.gmapMp
	- Data.Data.gmapQ
	- Data.Data.gmapQi
	- Data.Data.gmapQl
	- Data.Data.gmapQr
	- Data.Data.gmapT
	- Data.Data.gunfold
	- Data.Data.toConstr
Documentation created: dist/doc/html/spdx/, dist/doc/html/spdx/spdx.txt
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.BYCQmA
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64
++ dirname /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64
+ cd spdx-1.1
+ HOME=/builddir/build/BUILD/spdx-1.1
+ args=puresat-0.1
+ for i in $args
+ cd puresat-0.1
++ echo puresat-0.1
++ sed -e 's/\(.*\)-.*/\1/'
+ name=puresat
++ echo puresat-0.1
++ sed -e 's/.*-\(.*\)/\1/'
+ ver=0.1
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup copy --destdir=/builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64
Installing internal library internal in /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/puresat-0.1
Installing internal library dimacs in /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/puresat-0.1
Installing library in /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/puresat-0.1
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup register --gen-pkg-config
+ '[' -d /usr/lib64/ghc-9.8.4/lib ']'
+ subsubdir=/lib
+ '[' -d puresat-0.1.conf ']'
++ ls puresat-0.1.conf/
+ for i in $(ls "$name-$ver.conf/")
++ echo 1-puresat-0.1-Ls0A09ZklBE3RGvflBYJpB-internal
++ sed -e 's/^[0-9]\+-//'
+ sub=puresat-0.1-Ls0A09ZklBE3RGvflBYJpB-internal
+ install -D --mode=0644 puresat-0.1.conf/1-puresat-0.1-Ls0A09ZklBE3RGvflBYJpB-internal /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/package.conf.d/puresat-0.1-Ls0A09ZklBE3RGvflBYJpB-internal.conf
+ for i in $(ls "$name-$ver.conf/")
++ echo 2-puresat-0.1-Fjktu7cCraY17K1IqD6xmF-dimacs
++ sed -e 's/^[0-9]\+-//'
+ sub=puresat-0.1-Fjktu7cCraY17K1IqD6xmF-dimacs
+ install -D --mode=0644 puresat-0.1.conf/2-puresat-0.1-Fjktu7cCraY17K1IqD6xmF-dimacs /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/package.conf.d/puresat-0.1-Fjktu7cCraY17K1IqD6xmF-dimacs.conf
+ for i in $(ls "$name-$ver.conf/")
++ echo 3-puresat-0.1-CdPvUSC66oHDhpJYvfuCq9
++ sed -e 's/^[0-9]\+-//'
+ sub=puresat-0.1-CdPvUSC66oHDhpJYvfuCq9
+ install -D --mode=0644 puresat-0.1.conf/3-puresat-0.1-CdPvUSC66oHDhpJYvfuCq9 /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/package.conf.d/puresat-0.1-CdPvUSC66oHDhpJYvfuCq9.conf
+ '[' -d /usr/lib64/ghc-9.8.4/lib ']'
+ subsubdir=/lib
+ '[' '!' -f /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/package.conf.d/puresat-0.1-CdPvUSC66oHDhpJYvfuCq9.conf /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/package.conf.d/puresat-0.1-Fjktu7cCraY17K1IqD6xmF-dimacs.conf /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/package.conf.d/puresat-0.1-Ls0A09ZklBE3RGvflBYJpB-internal.conf ']'
/var/tmp/rpm-tmp.BYCQmA: line 70: [: too many arguments
+ rm -f ghc-puresat.files ghc-puresat-doc.files
+ touch ghc-puresat.files ghc-puresat-doc.files
+ '[' -d /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/share/licenses/ghc-puresat ']'
++ ls /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/share/licenses/ghc-puresat
+ for i in $(ls /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/share/licenses/ghc-$name)
+ echo '%license puresat-0.1/LICENSE'
+ for i in /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4${subsubdir}/libHS$name-$ver-*ghc9.8.4.so
+ '[' -x /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSpuresat-0.1-CdPvUSC66oHDhpJYvfuCq9-ghc9.8.4.so ']'
+ echo /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSpuresat-0.1-CdPvUSC66oHDhpJYvfuCq9-ghc9.8.4.so
+ for i in /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4${subsubdir}/libHS$name-$ver-*ghc9.8.4.so
+ '[' -x /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSpuresat-0.1-Fjktu7cCraY17K1IqD6xmF-dimacs-ghc9.8.4.so ']'
+ echo /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSpuresat-0.1-Fjktu7cCraY17K1IqD6xmF-dimacs-ghc9.8.4.so
+ for i in /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4${subsubdir}/libHS$name-$ver-*ghc9.8.4.so
+ '[' -x /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSpuresat-0.1-Ls0A09ZklBE3RGvflBYJpB-internal-ghc9.8.4.so ']'
+ echo /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSpuresat-0.1-Ls0A09ZklBE3RGvflBYJpB-internal-ghc9.8.4.so
+ pkgdir=/builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/puresat-0.1
+ '[' '!' -d /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/puresat-0.1 ']'
+ '[' -d /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/puresat-0.1 ']'
+ find /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/puresat-0.1 -type d -fprintf ghc-puresat-devel.files '%%dir %p\n' -o '(' -name '*.p_hi' -o -name 'libHS*_p.a' ')' -fprint ghc-puresat-prof.files -o -fprint ghc-puresat-devel.files
+ ls /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/package.conf.d/puresat-0.1-CdPvUSC66oHDhpJYvfuCq9.conf /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/package.conf.d/puresat-0.1-Fjktu7cCraY17K1IqD6xmF-dimacs.conf /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/package.conf.d/puresat-0.1-Ls0A09ZklBE3RGvflBYJpB-internal.conf
+ haddock_dir=/usr/share/doc/ghc/html/libraries/puresat-0.1
+ '[' -d /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/share/doc/ghc/html/libraries/puresat-0.1 ']'
+ echo /usr/share/doc/ghc/html/libraries/puresat-0.1
+ for i in ghc-$name.files ghc-$name-devel.files ghc-$name-doc.files ghc-$name-prof.files
+ '[' -f ghc-puresat.files ']'
+ sed -i -e 's!/builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64!!g' ghc-puresat.files
+ for i in ghc-$name.files ghc-$name-devel.files ghc-$name-doc.files ghc-$name-prof.files
+ '[' -f ghc-puresat-devel.files ']'
+ sed -i -e 's!/builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64!!g' ghc-puresat-devel.files
+ for i in ghc-$name.files ghc-$name-devel.files ghc-$name-doc.files ghc-$name-prof.files
+ '[' -f ghc-puresat-doc.files ']'
+ sed -i -e 's!/builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64!!g' ghc-puresat-doc.files
+ for i in ghc-$name.files ghc-$name-devel.files ghc-$name-doc.files ghc-$name-prof.files
+ '[' -f ghc-puresat-prof.files ']'
+ sed -i -e 's!/builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64!!g' ghc-puresat-prof.files
running ghc_delete_rpaths:
+ echo 'running ghc_delete_rpaths:'
+ type chrpath
++ find /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64 -type f -executable -exec sh -c 'file {} | grep -q '\''dynamically linked'\''' ';' -print
+ for i in $(find /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64 -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print)
+ '[' -x /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSpuresat-0.1-Fjktu7cCraY17K1IqD6xmF-dimacs-ghc9.8.4.so ']'
++ chrpath /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSpuresat-0.1-Fjktu7cCraY17K1IqD6xmF-dimacs-ghc9.8.4.so
++ sed -e 's@^/builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSpuresat-0.1-Fjktu7cCraY17K1IqD6xmF-dimacs-ghc9.8.4.so: R.*PATH=@@'
+ rpath=/usr/lib64/ghc-9.8.4/lib:/usr/lib64/ghc-9.8.4/lib/aarch64-linux-ghc-9.8.4
+ case "$rpath" in
+ for i in $(find /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64 -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print)
+ '[' -x /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSpuresat-0.1-CdPvUSC66oHDhpJYvfuCq9-ghc9.8.4.so ']'
++ chrpath /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSpuresat-0.1-CdPvUSC66oHDhpJYvfuCq9-ghc9.8.4.so
++ sed -e 's@^/builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSpuresat-0.1-CdPvUSC66oHDhpJYvfuCq9-ghc9.8.4.so: R.*PATH=@@'
+ rpath=/usr/lib64/ghc-9.8.4/lib:/builddir/build/BUILD/spdx-1.1/puresat-0.1/dist/build/dimacs:/usr/lib64/ghc-9.8.4/lib/aarch64-linux-ghc-9.8.4
+ case "$rpath" in
+ chrpath -r /usr/lib64/ghc-9.8.4/lib:/usr/lib64/ghc-9.8.4/lib/aarch64-linux-ghc-9.8.4 /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSpuresat-0.1-CdPvUSC66oHDhpJYvfuCq9-ghc9.8.4.so
/builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSpuresat-0.1-CdPvUSC66oHDhpJYvfuCq9-ghc9.8.4.so: RUNPATH=/usr/lib64/ghc-9.8.4/lib:/builddir/build/BUILD/spdx-1.1/puresat-0.1/dist/build/dimacs:/usr/lib64/ghc-9.8.4/lib/aarch64-linux-ghc-9.8.4
/builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSpuresat-0.1-CdPvUSC66oHDhpJYvfuCq9-ghc9.8.4.so: new RUNPATH: /usr/lib64/ghc-9.8.4/lib:/usr/lib64/ghc-9.8.4/lib/aarch64-linux-ghc-9.8.4
+ for i in $(find /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64 -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print)
+ '[' -x /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSpuresat-0.1-Ls0A09ZklBE3RGvflBYJpB-internal-ghc9.8.4.so ']'
++ chrpath /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSpuresat-0.1-Ls0A09ZklBE3RGvflBYJpB-internal-ghc9.8.4.so
++ sed -e 's@^/builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSpuresat-0.1-Ls0A09ZklBE3RGvflBYJpB-internal-ghc9.8.4.so: R.*PATH=@@'
+ rpath=/usr/lib64/ghc-9.8.4/lib:/usr/lib64/ghc-9.8.4/lib/aarch64-linux-ghc-9.8.4
+ case "$rpath" in
+ cd ..
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup copy --destdir=/builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64
Installing library in /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/spdx-1.1
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup register --gen-pkg-config
+ '[' -d /usr/lib64/ghc-9.8.4/lib ']'
+ subsubdir=/lib
+ '[' -d spdx-1.1.conf ']'
+ install -D --mode=0644 spdx-1.1.conf /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/package.conf.d/spdx-1.1.conf
+ '[' -d /usr/lib64/ghc-9.8.4/lib ']'
+ subsubdir=/lib
+ '[' '!' -f /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/package.conf.d/spdx-1.1.conf ']'
+ rm -f ghc-spdx.files ghc-spdx-doc.files
+ touch ghc-spdx.files ghc-spdx-doc.files
+ for i in /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4${subsubdir}/libHSspdx-1.1-*ghc9.8.4.so
+ '[' -x /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSspdx-1.1-JdnvL1n76s8dZQymv1P6B-ghc9.8.4.so ']'
+ echo /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSspdx-1.1-JdnvL1n76s8dZQymv1P6B-ghc9.8.4.so
+ pkgdir=/builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/spdx-1.1
+ '[' '!' -d /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/spdx-1.1 ']'
+ '[' -d /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/spdx-1.1 ']'
+ find /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/spdx-1.1 -type d -fprintf ghc-spdx-devel.files '%%dir %p\n' -o '(' -name '*.p_hi' -o -name 'libHS*_p.a' ')' -fprint ghc-spdx-prof.files -o -fprint ghc-spdx-devel.files
+ ls /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/package.conf.d/spdx-1.1.conf
+ haddock_dir=/usr/share/doc/ghc/html/libraries/spdx-1.1
+ '[' -d /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/share/doc/ghc/html/libraries/spdx-1.1 ']'
+ echo /usr/share/doc/ghc/html/libraries/spdx-1.1
+ for i in ghc-spdx.files ghc-spdx-devel.files ghc-spdx-doc.files ghc-spdx-prof.files
+ '[' -f ghc-spdx.files ']'
+ sed -i -e 's!/builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64!!g' ghc-spdx.files
+ for i in ghc-spdx.files ghc-spdx-devel.files ghc-spdx-doc.files ghc-spdx-prof.files
+ '[' -f ghc-spdx-devel.files ']'
+ sed -i -e 's!/builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64!!g' ghc-spdx-devel.files
+ for i in ghc-spdx.files ghc-spdx-devel.files ghc-spdx-doc.files ghc-spdx-prof.files
+ '[' -f ghc-spdx-doc.files ']'
+ sed -i -e 's!/builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64!!g' ghc-spdx-doc.files
+ for i in ghc-spdx.files ghc-spdx-devel.files ghc-spdx-doc.files ghc-spdx-prof.files
+ '[' -f ghc-spdx-prof.files ']'
+ sed -i -e 's!/builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64!!g' ghc-spdx-prof.files
running ghc_delete_rpaths:
+ echo 'running ghc_delete_rpaths:'
+ type chrpath
++ find /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64 -type f -executable -exec sh -c 'file {} | grep -q '\''dynamically linked'\''' ';' -print
+ for i in $(find /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64 -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print)
+ '[' -x /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSpuresat-0.1-Fjktu7cCraY17K1IqD6xmF-dimacs-ghc9.8.4.so ']'
++ chrpath /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSpuresat-0.1-Fjktu7cCraY17K1IqD6xmF-dimacs-ghc9.8.4.so
++ sed -e 's@^/builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSpuresat-0.1-Fjktu7cCraY17K1IqD6xmF-dimacs-ghc9.8.4.so: R.*PATH=@@'
+ rpath=/usr/lib64/ghc-9.8.4/lib:/usr/lib64/ghc-9.8.4/lib/aarch64-linux-ghc-9.8.4
+ case "$rpath" in
+ for i in $(find /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64 -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print)
+ '[' -x /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSpuresat-0.1-CdPvUSC66oHDhpJYvfuCq9-ghc9.8.4.so ']'
++ chrpath /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSpuresat-0.1-CdPvUSC66oHDhpJYvfuCq9-ghc9.8.4.so
++ sed -e 's@^/builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSpuresat-0.1-CdPvUSC66oHDhpJYvfuCq9-ghc9.8.4.so: R.*PATH=@@'
+ rpath=/usr/lib64/ghc-9.8.4/lib:/usr/lib64/ghc-9.8.4/lib/aarch64-linux-ghc-9.8.4
+ case "$rpath" in
+ for i in $(find /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64 -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print)
+ '[' -x /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSspdx-1.1-JdnvL1n76s8dZQymv1P6B-ghc9.8.4.so ']'
++ chrpath /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSspdx-1.1-JdnvL1n76s8dZQymv1P6B-ghc9.8.4.so
++ sed -e 's@^/builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSspdx-1.1-JdnvL1n76s8dZQymv1P6B-ghc9.8.4.so: R.*PATH=@@'
+ rpath=/usr/lib64/ghc-9.8.4/lib:/builddir/build/BUILD/spdx-1.1/puresat-0.1/dist/build:/builddir/build/BUILD/spdx-1.1/puresat-0.1/dist/build/internal:/usr/lib64/ghc-9.8.4/lib/aarch64-linux-ghc-9.8.4
+ case "$rpath" in
+ chrpath -r /usr/lib64/ghc-9.8.4/lib:/usr/lib64/ghc-9.8.4/lib/aarch64-linux-ghc-9.8.4 /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSspdx-1.1-JdnvL1n76s8dZQymv1P6B-ghc9.8.4.so
/builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSspdx-1.1-JdnvL1n76s8dZQymv1P6B-ghc9.8.4.so: RUNPATH=/usr/lib64/ghc-9.8.4/lib:/builddir/build/BUILD/spdx-1.1/puresat-0.1/dist/build:/builddir/build/BUILD/spdx-1.1/puresat-0.1/dist/build/internal:/usr/lib64/ghc-9.8.4/lib/aarch64-linux-ghc-9.8.4
/builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSspdx-1.1-JdnvL1n76s8dZQymv1P6B-ghc9.8.4.so: new RUNPATH: /usr/lib64/ghc-9.8.4/lib:/usr/lib64/ghc-9.8.4/lib/aarch64-linux-ghc-9.8.4
+ for i in $(find /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64 -type f -executable -exec sh -c "file {} | grep -q 'dynamically linked'" \; -print)
+ '[' -x /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSpuresat-0.1-Ls0A09ZklBE3RGvflBYJpB-internal-ghc9.8.4.so ']'
++ chrpath /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSpuresat-0.1-Ls0A09ZklBE3RGvflBYJpB-internal-ghc9.8.4.so
++ sed -e 's@^/builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/lib64/ghc-9.8.4/lib/libHSpuresat-0.1-Ls0A09ZklBE3RGvflBYJpB-internal-ghc9.8.4.so: R.*PATH=@@'
+ rpath=/usr/lib64/ghc-9.8.4/lib:/usr/lib64/ghc-9.8.4/lib/aarch64-linux-ghc-9.8.4
+ case "$rpath" in
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/OpenCloudOS/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/OpenCloudOS/brp-mangle-shebangs
+ /usr/lib/rpm/OpenCloudOS/brp-python-bytecompile '' 1 0
+ /usr/lib/rpm/OpenCloudOS/brp-python-hardlink
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.gf6Xq0
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong  -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CFLAGS
+ CXXFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong  -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CXXFLAGS
+ FFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong  -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FFLAGS
+ FCFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/OpenCloudOS/OpenCloudOS-hardened-cc1 -fstack-protector-strong  -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed    -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 spdx-1.1
+ RPM_EC=0
++ jobs -p
Processing files: ghc-spdx-1.1-1.oc9.aarch64
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.6WfxF2
+ umask 022
+ cd /builddir/build/BUILD
+ cd spdx-1.1
+ LICENSEDIR=/builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/share/licenses/ghc-spdx
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/share/licenses/ghc-spdx
+ cp -pr LICENSE /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/share/licenses/ghc-spdx
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ghc-spdx = 1.1-1.oc9 ghc-spdx(aarch-64) = 1.1-1.oc9 libHSspdx-1.1-JdnvL1n76s8dZQymv1P6B-ghc9.8.4.so()(64bit)
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libHSCabal-syntax-3.10.3.0-inplace-ghc9.8.4.so()(64bit) libHSarray-0.5.8.0-inplace-ghc9.8.4.so()(64bit) libHSbase-4.19.2.0-inplace-ghc9.8.4.so()(64bit) libHSbinary-0.8.9.1-inplace-ghc9.8.4.so()(64bit) libHSbytestring-0.12.1.0-inplace-ghc9.8.4.so()(64bit) libHScontainers-0.6.8-inplace-ghc9.8.4.so()(64bit) libHSdeepseq-1.5.1.0-inplace-ghc9.8.4.so()(64bit) libHSdirectory-1.3.8.5-inplace-ghc9.8.4.so()(64bit) libHSexceptions-0.10.7-inplace-ghc9.8.4.so()(64bit) libHSfilepath-1.4.301.0-inplace-ghc9.8.4.so()(64bit) libHSghc-bignum-1.3-inplace-ghc9.8.4.so()(64bit) libHSghc-boot-th-9.8.4-inplace-ghc9.8.4.so()(64bit) libHSghc-prim-0.11.0-inplace-ghc9.8.4.so()(64bit) libHSmtl-2.3.1-inplace-ghc9.8.4.so()(64bit) libHSparsec-3.1.17.0-inplace-ghc9.8.4.so()(64bit) libHSpretty-1.1.3.6-inplace-ghc9.8.4.so()(64bit) libHSprimitive-0.9.0.0-1UDyEWOp0k1GHKpLTii4HH-ghc9.8.4.so()(64bit) libHSpuresat-0.1-CdPvUSC66oHDhpJYvfuCq9-ghc9.8.4.so()(64bit) libHSpuresat-0.1-Ls0A09ZklBE3RGvflBYJpB-internal-ghc9.8.4.so()(64bit) libHSstm-2.5.3.1-inplace-ghc9.8.4.so()(64bit) libHStemplate-haskell-2.21.0.0-inplace-ghc9.8.4.so()(64bit) libHStext-2.1.1-inplace-ghc9.8.4.so()(64bit) libHStime-1.12.2-inplace-ghc9.8.4.so()(64bit) libHStransformers-0.6.1.0-inplace-ghc9.8.4.so()(64bit) libHSunix-2.8.6.0-inplace-ghc9.8.4.so()(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.17)(64bit) libgmp.so.10()(64bit) libm.so.6()(64bit) rtld(GNU_HASH)
Processing files: ghc-spdx-devel-1.1-1.oc9.aarch64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.5BnGA1
+ umask 022
+ cd /builddir/build/BUILD
+ cd spdx-1.1
+ DOCDIR=/builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/share/doc/ghc-spdx-devel
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/share/doc/ghc-spdx-devel
+ cp -pr CHANGELOG.md /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/share/doc/ghc-spdx-devel
+ cp -pr README.md /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/share/doc/ghc-spdx-devel
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ghc-devel(spdx-1.1-JdnvL1n76s8dZQymv1P6B) ghc-spdx-devel = 1.1-1.oc9 ghc-spdx-devel(aarch-64) = 1.1-1.oc9 ghc-spdx-static = 1.1-1.oc9
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ghc-devel(Cabal-syntax-3.10.3.0-inplace) ghc-devel(base-4.19.2.0-inplace) ghc-devel(containers-0.6.8-inplace) ghc-devel(puresat-0.1-CdPvUSC66oHDhpJYvfuCq9) ghc-devel(transformers-0.6.1.0-inplace)
Processing files: ghc-spdx-doc-1.1-1.oc9.noarch
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.FDawrc
+ umask 022
+ cd /builddir/build/BUILD
+ cd spdx-1.1
+ LICENSEDIR=/builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/share/licenses/ghc-spdx-doc
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/share/licenses/ghc-spdx-doc
+ cp -pr LICENSE /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/share/licenses/ghc-spdx-doc
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ghc-spdx-doc = 1.1-1.oc9
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: ghc-puresat-0.1-1.oc9.aarch64
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.5uwzIT
+ umask 022
+ cd /builddir/build/BUILD
+ cd spdx-1.1
+ LICENSEDIR=/builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/share/licenses/ghc-puresat
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/share/licenses/ghc-puresat
+ cp -pr puresat-0.1/LICENSE /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64/usr/share/licenses/ghc-puresat
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ghc-puresat = 0.1-1.oc9 ghc-puresat(aarch-64) = 0.1-1.oc9 libHSpuresat-0.1-CdPvUSC66oHDhpJYvfuCq9-ghc9.8.4.so()(64bit) libHSpuresat-0.1-Fjktu7cCraY17K1IqD6xmF-dimacs-ghc9.8.4.so()(64bit) libHSpuresat-0.1-Ls0A09ZklBE3RGvflBYJpB-internal-ghc9.8.4.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.8.0-inplace-ghc9.8.4.so()(64bit) libHSbase-4.19.2.0-inplace-ghc9.8.4.so()(64bit) libHSbinary-0.8.9.1-inplace-ghc9.8.4.so()(64bit) libHSbytestring-0.12.1.0-inplace-ghc9.8.4.so()(64bit) libHScontainers-0.6.8-inplace-ghc9.8.4.so()(64bit) libHSdeepseq-1.5.1.0-inplace-ghc9.8.4.so()(64bit) libHSghc-bignum-1.3-inplace-ghc9.8.4.so()(64bit) libHSghc-boot-th-9.8.4-inplace-ghc9.8.4.so()(64bit) libHSghc-prim-0.11.0-inplace-ghc9.8.4.so()(64bit) libHSmtl-2.3.1-inplace-ghc9.8.4.so()(64bit) libHSparsec-3.1.17.0-inplace-ghc9.8.4.so()(64bit) libHSpretty-1.1.3.6-inplace-ghc9.8.4.so()(64bit) libHSprimitive-0.9.0.0-1UDyEWOp0k1GHKpLTii4HH-ghc9.8.4.so()(64bit) libHSpuresat-0.1-Ls0A09ZklBE3RGvflBYJpB-internal-ghc9.8.4.so()(64bit) libHStemplate-haskell-2.21.0.0-inplace-ghc9.8.4.so()(64bit) libHStext-2.1.1-inplace-ghc9.8.4.so()(64bit) libHStransformers-0.6.1.0-inplace-ghc9.8.4.so()(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.17)(64bit) libgmp.so.10()(64bit) libm.so.6()(64bit) rtld(GNU_HASH)
Processing files: ghc-puresat-devel-0.1-1.oc9.aarch64
Provides: ghc-devel(puresat-0.1-CdPvUSC66oHDhpJYvfuCq9) ghc-devel(puresat-0.1-Fjktu7cCraY17K1IqD6xmF-dimacs) ghc-puresat-devel = 0.1-1.oc9 ghc-puresat-devel(aarch-64) = 0.1-1.oc9 ghc-puresat-static = 0.1-1.oc9 ghc-puresat-static(aarch-64) = 0.1-1.oc9
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ghc-devel(base-4.19.2.0-inplace) ghc-devel(bytestring-0.12.1.0-inplace) ghc-devel(containers-0.6.8-inplace) ghc-devel(parsec-3.1.17.0-inplace) ghc-devel(primitive-0.9.0.0-1UDyEWOp0k1GHKpLTii4HH)
Processing files: ghc-puresat-doc-0.1-1.oc9.noarch
Provides: ghc-puresat-doc = 0.1-1.oc9
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Supplements: (ghc-puresat-devel and ghc-doc)
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/ghc-spdx-1.1-1.oc9.aarch64
Wrote: /builddir/build/RPMS/ghc-spdx-1.1-1.oc9.aarch64.rpm
Wrote: /builddir/build/RPMS/ghc-spdx-devel-1.1-1.oc9.aarch64.rpm
Wrote: /builddir/build/RPMS/ghc-spdx-doc-1.1-1.oc9.noarch.rpm
Wrote: /builddir/build/RPMS/ghc-puresat-0.1-1.oc9.aarch64.rpm
Wrote: /builddir/build/RPMS/ghc-puresat-doc-0.1-1.oc9.noarch.rpm
Wrote: /builddir/build/RPMS/ghc-puresat-devel-0.1-1.oc9.aarch64.rpm
Child return code was: 0