l agda-input.el annotation.el agda2-highlight.el agda2-abbrevs.el agda2-queue.el agda2-mode.el agda2-mode-pkg.el agda2.el
+ grep -q agda2.el
+ for i in *.el
+ echo eri.el agda-input.el annotation.el agda2-highlight.el agda2-abbrevs.el agda2-queue.el agda2-mode.el agda2-mode-pkg.el agda2.el
+ grep -q annotation.el
+ for i in *.el
+ echo eri.el agda-input.el annotation.el agda2-highlight.el agda2-abbrevs.el agda2-queue.el agda2-mode.el agda2-mode-pkg.el agda2.el
+ grep -q eri.el
+ HOME=/builddir/build/BUILD/Agda-2.6.4.1
+ for i in vector-hashtables-0.1.1.3 peano-0.1.0.2 murmur-hash-0.1.0.10
++ echo vector-hashtables-0.1.1.3
++ sed -e 's/\(.*\)-.*/\1/'
+ name=vector-hashtables
++ echo vector-hashtables-0.1.1.3
++ sed -e 's/.*-\(.*\)/\1/'
+ ver=0.1.1.3
+ cd vector-hashtables-0.1.1.3
+ 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\)')
==== Build vector-hashtables-0.1.1.3 ====
+ '[' -f README.md -a -x README.md ']'
+ for f in $(ls | grep -i -e '^\(ANNOUNCE\|AUTHORS\|CHANGELOG\|CHANGES\|CONTRIBUTORS\|README\|TODO\)')
+ '[' -f changelog.md -a -x changelog.md ']'
+ echo -e '\n==== Build vector-hashtables-0.1.1.3 ===='
+ '[' -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
++ 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/Agda '--libsubdir=$compiler/lib/$pkgid' '--datasubdir=$pkgid' '--libexecsubdir=$pkgid' --ghc --dynlibdir=/usr/lib64/ghc-9.4.5/lib --user '--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  -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 --docdir=/usr/share/licenses/ghc-vector-hashtables --htmldir=/usr/share/doc/ghc/html/libraries/vector-hashtables-0.1.1.3 --user
Configuring vector-hashtables-0.1.1.3...
+ '[' -x Setup ']'
+ LANG=C.utf8
+ ./Setup build -j4
Preprocessing library for vector-hashtables-0.1.1.3..
Building library for vector-hashtables-0.1.1.3..
[1 of 4] Compiling Data.Primitive.PrimArray.Utils
/var/tmp/rpm-tmp.NKTNw5: line 66: 132925 Segmentation fault      (core dumped) ./Setup build -j${RPM_BUILD_NCPUS}
RPM build errors:
error: Bad exit status from /var/tmp/rpm-tmp.NKTNw5 (%build)
    Bad exit status from /var/tmp/rpm-tmp.NKTNw5 (%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/Agda.spec