Mock Version: 5.2
Mock Version: 5.2
Mock Version: 5.2
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/idris.spec'], chrootPath='/var/lib/mock/f39-build-2366608-60379/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 0x3fa987b410>timeout=864000uid=997gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --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=1707091200
Wrote: /builddir/build/SRPMS/idris-1.3.4-1.fc39.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/idris.spec'], chrootPath='/var/lib/mock/f39-build-2366608-60379/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 0x3fa987b410>timeout=864000uid=997gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --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=1707091200
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.l1QtpU
+ 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
+ rm -rf /builddir/build/BUILD/idris-1.3.4-SPECPARTS
+ /usr/bin/mkdir -p /builddir/build/BUILD/idris-1.3.4-SPECPARTS
+ /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.qUipoy
+ umask 022
+ cd /builddir/build/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 -fstack-clash-protection -fno-omit-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 -fstack-clash-protection -fno-omit-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 -fstack-clash-protection -fno-omit-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 -fstack-clash-protection -fno-omit-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 -Clink-arg=-Wl,-z,relro -Clink-arg=-Wl,-z,now --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/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,-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 -fstack-clash-protection -fno-omit-frame-pointer '
+ export CFLAGS
+ export 'LDFLAGS=-Wl,-z,relro -Wl,--as-needed   -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1  '
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -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,-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 -fstack-clash-protection -fno-omit-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-fstack-clash-protection -optc-fno-omit-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' -p --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 -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
<no location info>: error:
    dist/build/IRTS/Portable.dyn_hi: openBinaryFile: permission denied (Read-only file system)
[ 38 of 115] Compiling IRTS.DumpBC
<no location info>: error:
    /tmp/ghc85663_0/ghc_414.ll: openFile: permission denied (Read-only file system)
[ 39 of 115] Compiling Idris.Core.ProofState
<no location info>: error:
    /tmp/ghc85663_0/ghc_415.ll: openFile: permission denied (Read-only file system)
[ 44 of 115] Compiling Util.ScreenSize
<no location info>: error:
    /tmp/ghc85663_0/ghc_416.ll: openFile: permission denied (Read-only file system)
[ 45 of 115] Compiling Util.System
<no location info>: error:
    /tmp/ghc85663_0/ghc_417.ll: openFile: permission denied (Read-only file system)
[107 of 115] Compiling Version_idris
<no location info>: error:
    /tmp/ghc85663_0/ghc_418.ll: openFile: permission denied (Read-only file system)
error: Bad exit status from /var/tmp/rpm-tmp.qUipoy (%build)
    Bad exit status from /var/tmp/rpm-tmp.qUipoy (%build)
RPM build errors:
           Reading "/etc/crypto-policies/back-ends/rpm-sequoia.config"
  because: Input/output error (os error 5)
Child return code was: 1
EXCEPTION: [Error("Command failed: \n # bash --login -c '/usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/idris.spec'\n", 1)]
Traceback (most recent call last):
  File "/usr/lib/python3.12/site-packages/mockbuild/trace_decorator.py", line 93, in trace
    result = func(*args, **kw)
             ^^^^^^^^^^^^^^^^^
  File "/usr/lib/python3.12/site-packages/mockbuild/util.py", line 597, in do_with_status
    raise exception.Error("Command failed: \n # %s\n%s" % (cmd_pretty(command, env), output), child.returncode)
mockbuild.exception.Error: Command failed: 
 # bash --login -c '/usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/idris.spec'