Mock Version: 2.15
Mock Version: 2.15
Mock Version: 2.15
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/idris.spec'], chrootPath='/var/lib/mock/f41-build-830416-156466/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 0x3f710e8c10>timeout=604800uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --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: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1721260800
Wrote: /builddir/build/SRPMS/idris-1.3.4-16.fc41.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/idris.spec'], chrootPath='/var/lib/mock/f41-build-830416-156466/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 0x3f710e8c10>timeout=604800uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --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: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1721260800
Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.wePVCh
+ umask 022
+ cd /builddir/build/BUILD/idris-1.3.4-build
+ test -d /builddir/build/BUILD/idris-1.3.4-build
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/idris-1.3.4-build
+ /usr/bin/rm -rf /builddir/build/BUILD/idris-1.3.4-build
+ /usr/bin/mkdir -p /builddir/build/BUILD/idris-1.3.4-build
+ /usr/bin/mkdir -p /builddir/build/BUILD/idris-1.3.4-build/SPECPARTS
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.feZYNY
+ umask 022
+ cd /builddir/build/BUILD/idris-1.3.4-build
+ cd /builddir/build/BUILD/idris-1.3.4-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.g3p0WS
+ umask 022
+ cd /builddir/build/BUILD/idris-1.3.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  -fasynchronous-unwind-tables -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  -fasynchronous-unwind-tables -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  -fasynchronous-unwind-tables -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  -fasynchronous-unwind-tables -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    -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 idris-1.3.4
+ export LD_LIBRARY_PATH=/builddir/build/BUILD/idris-1.3.4-build/idris-1.3.4/dist/build
+ LD_LIBRARY_PATH=/builddir/build/BUILD/idris-1.3.4-build/idris-1.3.4/dist/build
++ ls
++ grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)'
==== Build idris-1.3.4 ====
+ 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 ']'
+ echo -e '\n==== Build idris-1.3.4 ===='
+ '[' -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
++ 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 -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer
++ sed -e 's/ / -optc/g'
++ echo ' -Wl,-z,relro' -Wl,--as-needed -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/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,-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-fasynchronous-unwind-tables -optc-fno-omit-frame-pointer -optc-mno-omit-leaf-frame-pointer  -optl-Wl,-z,relro -optl-Wl,--as-needed -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/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-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-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 -j1
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
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.	Program arguments: opt-14 -O1 -globalopt -enable-tbaa -tbaa -relocation-model=static /tmp/ghc93850_0/ghc_457.ll -o /tmp/ghc93850_0/ghc_459.bc
Stack dump without symbol names (ensure you have llvm-symbolizer in your PATH or set the environment var `LLVM_SYMBOLIZER_PATH` to point to it):
/usr/lib64/llvm14/lib/libLLVM-14.so(_ZN4llvm3sys15PrintStackTraceERNS_11raw_ostreamEi+0x42) [0x3f9ae2e080]
/usr/lib64/llvm14/lib/libLLVM-14.so(_ZN4llvm3sys17RunSignalHandlersEv+0x5a) [0x3f9ae2c3f8]
/usr/lib64/llvm14/lib/libLLVM-14.so(+0xc2e52a) [0x3f9ae2e52a]
linux-vdso.so.1(__vdso_rt_sigreturn+0x0) [0x3f9fb52800]
/usr/lib64/llvm14/lib/libLLVM-14.so(_ZN4llvm15ValueHandleBase17RemoveFromUseListEv+0xe) [0x3f9af6cf9c]
/usr/lib64/llvm14/lib/libLLVM-14.so(+0x19daf46) [0x3f9bbdaf46]
/usr/lib64/llvm14/lib/libLLVM-14.so(_ZN4llvm18BlockFrequencyInfoD1Ev+0x16) [0x3f9bbd9232]
/usr/lib64/llvm14/lib/libLLVM-14.so(+0x2d568e0) [0x3f9cf568e0]
/usr/lib64/llvm14/lib/libLLVM-14.so(+0xd529c6) [0x3f9af529c6]
/usr/lib64/llvm14/lib/libLLVM-14.so(+0x182fc14) [0x3f9ba2fc14]
opt-14() [0x31f90]
opt-14(_ZN4llvm15runPassPipelineENS_9StringRefERNS_6ModuleEPNS_13TargetMachineEPNS_21TargetLibraryInfoImplEPNS_14ToolOutputFileES8_S8_S0_NS_8ArrayRefIS0_EENS_8opt_tool10OutputKindENSB_12VerifierKindEbbbbb+0x26fa) [0x30fac]
opt-14(main+0x1f70) [0x3d502]
/lib64/lp64d/libc.so.6(+0x177e) [0x3f9f9c677e]
/lib64/lp64d/libc.so.6(__libc_start_main+0x78) [0x3f9f9c682a]
opt-14(_start+0x20) [0x2d774]
<no location info>: error:
    `opt-14' failed in phase `LLVM Optimiser'. (Exit code: -11)
[ 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
[ 70 of 115] Compiling Idris.Erasure
[ 71 of 115] Compiling Idris.Elab.Utils
[ 72 of 115] Compiling Idris.Elab.Rewrite
[ 73 of 115] Compiling Idris.Docs
[ 74 of 115] Compiling Idris.IdrisDoc
[ 75 of 115] Compiling Idris.DataOpts
[ 76 of 115] Compiling Idris.DSL
[ 77 of 115] Compiling Idris.Parser.Expr
[ 78 of 115] Compiling Idris.Parser.Data
[ 79 of 115] Compiling Idris.Coverage
[ 80 of 115] Compiling Idris.Elab.Term
[ 81 of 115] Compiling Idris.Elab.Value
[ 82 of 115] Compiling Idris.Elab.Type
[ 84 of 115] Compiling Idris.Elab.Data
[ 85 of 115] Compiling Idris.Elab.Record
[ 86 of 115] Compiling Idris.Elab.Interface
[ 87 of 115] Compiling Idris.Elab.Transform
[ 88 of 115] Compiling Idris.Elab.RunElab
[ 89 of 115] Compiling Idris.Elab.Implementation
[ 91 of 115] Compiling Idris.Core.Execute
[101 of 115] Compiling Idris.Apropos
[102 of 115] Compiling IRTS.Exports
[103 of 115] Compiling IRTS.JavaScript.Codegen
src/IRTS/JavaScript/Codegen.hs:51:5: warning: [-Wnoncanonical-monoid-instances]
    Noncanonical ‘(<>) = mappend’ definition detected
    in the instance declaration for ‘Semigroup CGStats’.
    Move definition from ‘mappend’ to ‘(<>)’
    See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid
   |
51 |     (<>) = mappend
   |     ^^^^^^^^^^^^^^
src/IRTS/JavaScript/Codegen.hs:61:3: warning: [-Wnoncanonical-monoid-instances]
    Noncanonical ‘mappend’ definition detected
    in the instance declaration for ‘Monoid CGStats’.
    ‘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
   |
61 |   mappend x y = CGStats { partialApplications = partialApplications x `Set.union` partialApplications y
   |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
[104 of 115] Compiling IRTS.CodegenJavaScript
[105 of 115] Compiling IRTS.CodegenC
[106 of 115] Compiling IRTS.Compiler
[107 of 115] Compiling Version_idris
[108 of 115] Compiling Idris.Info
[112 of 115] Compiling Idris.Info.Show
[113 of 115] Compiling Idris.CmdOptions
RPM build errors:
error: Bad exit status from /var/tmp/rpm-tmp.g3p0WS (%build)
    Bad exit status from /var/tmp/rpm-tmp.g3p0WS (%build)
Child return code was: 1
EXCEPTION: [Error()]
Traceback (most recent call last):
  File "/usr/lib/python3.9/site-packages/mockbuild/trace_decorator.py", line 93, in trace
    result = func(*args, **kw)
  File "/usr/lib/python3.9/site-packages/mockbuild/util.py", line 600, in do_with_status
    raise exception.Error("Command failed: \n # %s\n%s" % (command, output), child.returncode)
mockbuild.exception.Error: Command failed: 
 # bash --login -c /usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/idris.spec