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 x86_64 --nodeps /builddir/build/SPECS/idris.spec'], chrootPath='/var/lib/mock/dist-oc9-epol-build-147375-79720/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 0x7ff60749c710>timeout=86400uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target x86_64 --nodeps /builddir/build/SPECS/idris.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: x86_64
Building for target x86_64
Wrote: /builddir/build/SRPMS/idris-1.3.4-2.oc9.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/idris.spec'], chrootPath='/var/lib/mock/dist-oc9-epol-build-147375-79720/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 0x7ff60749c710>timeout=86400uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target x86_64 --nodeps /builddir/build/SPECS/idris.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: x86_64
Building for target x86_64
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.TMNpGd
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf idris-1.3.4
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/idris-1.3.4.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd idris-1.3.4
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ cabal-tweak-dep-ver aeson '< 1.6' '< 2.2'
+ cabal-tweak-dep-ver bytestring '< 0.11' '< 0.12'
+ cabal-tweak-dep-ver fsnotify '< 0.4' '< 0.5'
+ cabal-tweak-dep-ver libffi '< 0.2' '< 0.3'
+ cabal-tweak-dep-ver network '< 3.1.2' '< 3.2'
+ cabal-tweak-dep-ver optparse-applicative '< 0.17' '< 0.18'
+ cabal-tweak-dep-ver text '< 1.4' '< 2.2'
+ cabal-tweak-dep-ver vector '< 0.13' '< 0.14'
+ cabal-tweak-flag FFI True
+ cabal-tweak-flag GMP True
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.wgTDiP
+ 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  -m64 -march=x86-64-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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  -m64 -march=x86-64-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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  -m64 -march=x86-64-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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  -m64 -march=x86-64-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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 idris-1.3.4
+ export LD_LIBRARY_PATH=/builddir/build/BUILD/idris-1.3.4/dist/build
+ LD_LIBRARY_PATH=/builddir/build/BUILD/idris-1.3.4/dist/build
++ 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 CONTRIBUTORS -a -x CONTRIBUTORS ']'
+ 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  -m64 -march=x86-64-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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.4.5/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.8.1.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 -m64 -march=x86-64-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-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/idris '--libsubdir=$compiler/lib/$pkgid' '--datasubdir=$pkgid' '--libexecsubdir=$pkgid' --ghc --dynlibdir=/usr/lib64/ghc-9.4.5/lib --global '--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-m64 -optc-march=x86-64-v2 -optc-mtune=generic -optc-fasynchronous-unwind-tables -optc-fstack-clash-protection -optc-fcf-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/idris-1.3.4 --global
Warning: idris.cabal:164:3: The field "manual" is specified more than once at
positions 164:3, 165:3
Warning: idris.cabal:158:3: The field "manual" is specified more than once at
positions 158:3, 159:3
Configuring idris-1.3.4...
make: Entering directory '/builddir/build/BUILD/idris-1.3.4/rts'
rm -f idris_rts.o idris_heap.o idris_gc.o idris_gmp.o idris_bitstring.o idris_opts.o idris_stats.o idris_utf8.o idris_stdfgn.o idris_buffer.o getline.o idris_net.o mini-gmp.o libidris_rts.a 
make: Leaving directory '/builddir/build/BUILD/idris-1.3.4/rts'
Generating dist/build/autogen/BuildFlags_idris.hs
Generating dist/build/autogen/Version_idris.hs for prerelease PRE
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup build -j32
Preprocessing library for idris-1.3.4..
Building library for idris-1.3.4..
[  1 of 115] Compiling BuildFlags_idris
[  2 of 115] Compiling IRTS.JavaScript.AST
[  3 of 115] Compiling Idris.Colours
[  4 of 115] Compiling Idris.Help
[  5 of 115] Compiling Paths_idris
[  6 of 115] Compiling IRTS.System
[  7 of 115] Compiling Tools_idris
[  8 of 115] Compiling Util.DynamicLinker
[  9 of 115] Compiling Util.Net
[ 10 of 115] Compiling Util.Pretty
[ 11 of 115] Compiling Idris.Core.TT
src/Idris/Core/TT.hs:127:5: warning: [-Wnoncanonical-monoid-instances]
    Noncanonical ‘(<>) = mappend’ definition detected
    in the instance declaration for ‘S.Semigroup FC’.
    Move definition from ‘mappend’ to ‘(<>)’
    See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid
    |
127 |     (<>) = mappend
    |     ^^^^^^^^^^^^^^
src/Idris/Core/TT.hs:134:3: warning: [-Wnoncanonical-monoid-instances]
    Noncanonical ‘mappend’ definition detected
    in the instance declaration for ‘Monoid FC’.
    ‘mappend’ will eventually be removed in favour of ‘(<>)’
    Either remove definition for ‘mappend’ (recommended) or define as ‘mappend = (<>)’
    See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid
    |
134 |   mappend (FC f start end) (FC f' start' end')
    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
src/Idris/Core/TT.hs:326:5: warning: [-Wnoncanonical-monad-instances]
    Noncanonical ‘return’ definition detected
    in the instance declaration for ‘Monad TC’.
    ‘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
    |
326 |     return x = OK x
    |     ^^^^^^^^^^^^^^^
src/Idris/Core/TT.hs:343:5: warning: [-Wnoncanonical-monad-instances]
    Noncanonical ‘pure = return’ definition detected
    in the instance declaration for ‘Applicative TC’.
    Move definition from ‘return’ to ‘pure’
    See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
    |
343 |     pure = return
    |     ^^^^^^^^^^^^^
[ 12 of 115] Compiling Idris.Unlit
[ 13 of 115] Compiling Idris.Docstrings
[ 14 of 115] Compiling Idris.Core.Constraints
[ 15 of 115] Compiling Idris.Core.CaseTree
src/Idris/Core/CaseTree.hs:177:11: warning: [-Woverlapping-patterns]
    Pattern match is redundant
    In an equation for ‘nut’:
        nut ps fn@(App _ f a) | (P (TCon _ _) n _, _) <- unApply fn = ...
    |
177 |         | (P (TCon _ _) n _, _) <- unApply fn = S.empty
    |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 16 of 115] Compiling Idris.Core.Evaluate
[ 17 of 115] Compiling Idris.Core.WHNF
[ 18 of 115] Compiling Idris.Core.Unify
[ 19 of 115] Compiling Idris.Core.Typecheck
[ 20 of 115] Compiling Idris.Core.ProofTerm
[ 21 of 115] Compiling Idris.Core.DeepSeq
[ 22 of 115] Compiling Idris.Core.Binary
[ 23 of 115] Compiling Idris.IdeMode
[ 24 of 115] Compiling IRTS.Lang
[ 25 of 115] Compiling Idris.Primitives
[ 26 of 115] Compiling IRTS.LangOpts
[ 27 of 115] Compiling IRTS.JavaScript.Specialize
[ 28 of 115] Compiling IRTS.JavaScript.PrimOp
[ 29 of 115] Compiling IRTS.JavaScript.Name
[ 30 of 115] Compiling IRTS.JavaScript.LangTransforms
[ 31 of 115] Compiling IRTS.Defunctionalise
[ 32 of 115] Compiling IRTS.Simplified
[ 33 of 115] Compiling IRTS.Inliner
[ 34 of 115] Compiling IRTS.CodegenCommon
[ 35 of 115] Compiling Idris.Options
[ 36 of 115] Compiling IRTS.Bytecode
[ 37 of 115] Compiling IRTS.Portable
[ 38 of 115] Compiling IRTS.DumpBC
[ 39 of 115] Compiling Idris.Core.ProofState
[ 40 of 115] Compiling Idris.Core.Elaborate
[ 41 of 115] Compiling Idris.AbsSyntaxTree
[ 42 of 115] Compiling Idris.DeepSeq
[ 43 of 115] Compiling Idris.ASTUtils
[ 44 of 115] Compiling Util.ScreenSize
[ 45 of 115] Compiling Util.System
[ 46 of 115] Compiling Idris.AbsSyntax
src/Idris/AbsSyntax.hs:2271:5: warning: [-Wnoncanonical-monad-instances]
    Noncanonical ‘pure = return’ definition detected
    in the instance declaration for ‘Applicative (EitherErr a)’.
    Move definition from ‘return’ to ‘pure’
    See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return
     |
2271 |     pure  = return
     |     ^^^^^^^^^^^^^^
src/Idris/AbsSyntax.hs:2275:5: warning: [-Wnoncanonical-monad-instances]
    Noncanonical ‘return’ definition detected
    in the instance declaration for ‘Monad (EitherErr a)’.
    ‘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
     |
2275 |     return = RightOK
     |     ^^^^^^^^^^^^^^^^
[ 47 of 115] Compiling Idris.WhoCalls
[ 48 of 115] Compiling Idris.Transforms
[ 49 of 115] Compiling Idris.REPL.Browse
[ 50 of 115] Compiling Idris.Inliner
[ 51 of 115] Compiling Idris.ErrReverse
[ 52 of 115] Compiling Idris.Elab.Quasiquote
[ 53 of 115] Compiling Idris.Elab.AsPat
[ 54 of 115] Compiling Idris.Delaborate
src/Idris/Delaborate.hs:262:27: warning: [-Woverlapping-patterns]
    Pattern match is redundant
    In an equation for ‘splitArg’: splitArg tm | otherwise = ...
    |
262 |                         | otherwise = tm
    |                           ^^^^^^^^^
[ 55 of 115] Compiling Idris.Reflection
[ 56 of 115] Compiling Idris.ProofSearch
[ 57 of 115] Compiling Idris.PartialEval
[ 58 of 115] Compiling Idris.Output
[ 59 of 115] Compiling Idris.Parser.Stack
[ 60 of 115] Compiling Idris.Parser.Helpers
[ 61 of 115] Compiling Idris.Parser.Ops
[ 62 of 115] Compiling Idris.Error
[ 63 of 115] Compiling Idris.Termination
[ 64 of 115] Compiling Idris.Providers
[ 65 of 115] Compiling Idris.Imports
[ 66 of 115] Compiling Idris.REPL.Commands
[ 67 of 115] Compiling Idris.Package.Common
[ 68 of 115] Compiling Idris.Directives
[ 69 of 115] Compiling Idris.IBC