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/Agda.spec'], chrootPath='/var/lib/mock/f38-build-727098-100517/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=432000uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/Agda.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1687737600 Wrote: /builddir/build/SRPMS/Agda-2.6.2.2-38.rvre0.fc38.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/Agda.spec'], chrootPath='/var/lib/mock/f38-build-727098-100517/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=432000uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/Agda.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1687737600 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.9uIcaQ + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf Agda-2.6.2.2 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/Agda-2.6.2.2.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd Agda-2.6.2.2 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/geniplate-mirror-0.7.9.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/murmur-hash-0.1.0.10.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + dos2unix -k -n /builddir/build/SOURCES/Agda-2.6.2.2.cabal Agda.cabal dos2unix: converting file /builddir/build/SOURCES/Agda-2.6.2.2.cabal to file Agda.cabal in Unix format... + grep -q '"2.6.2.2"' src/data/emacs-mode/agda2-mode.el + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.29Heq1 + 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 -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 -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-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 -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + 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 Agda-2.6.2.2 + cd src/data/emacs-mode + 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 agda-input.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 agda2-abbrevs.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 agda2-highlight.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 agda2-mode-pkg.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 agda2-mode.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 agda2-queue.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 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.2.2 + for i in geniplate-mirror-0.7.9 murmur-hash-0.1.0.10 ++ echo geniplate-mirror-0.7.9 ++ sed -e 's/\(.*\)-.*/\1/' + name=geniplate-mirror ++ echo geniplate-mirror-0.7.9 ++ sed -e 's/.*-\(.*\)/\1/' + ver=0.7.9 + cd geniplate-mirror-0.7.9 + 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 -a -x changelog ']' ++ 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/-Wall //' -e 's/-Werror=format-security //' + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -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.2.6/lib ']' + subsubdir=/lib + '[' -x Setup ']' + ghc --make -package Cabal -no-user-package-db -dynamic Setup [1 of 1] Compiling Main ( Setup.hs, Setup.o ) Linking Setup ... + LANG=C.utf8 + ./Setup --version Cabal library version 3.6.3.0 + '[' -x Setup ']' + LANG=C.utf8 ++ echo ' -O2' -fexceptions -g -grecord-gcc-switches -pipe -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/Agda '--libsubdir=$compiler/lib/$pkgid' '--datasubdir=$pkgid' '--libexecsubdir=$pkgid' --ghc --dynlibdir=/usr/lib64/ghc-9.2.6/lib --user '--ghc-options= -optc-O2 -optc-fexceptions -optc-g -optc-grecord-gcc-switches -optc-pipe -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/Agda-2.6.2.2 --docdir=/usr/share/licenses/ghc-geniplate-mirror --htmldir=/usr/share/doc/ghc/html/libraries/geniplate-mirror-0.7.9 --user Configuring geniplate-mirror-0.7.9... + '[' -x Setup ']' + LANG=C.utf8 + ./Setup build -j1 Preprocessing library for geniplate-mirror-0.7.9.. Building library for geniplate-mirror-0.7.9.. [1 of 1] Compiling Data.Generics.Geniplate Data/Generics/Geniplate.hs:222:10: warning: [-Wmissing-methods] • No explicit implementation for ‘qPutDoc’ and ‘qGetDoc’ • In the instance declaration for ‘Quasi U’ | 222 | instance Quasi U where | ^^^^^^^ [1 of 1] Compiling Data.Generics.Geniplate Data/Generics/Geniplate.hs:222:10: warning: [-Wmissing-methods] • No explicit implementation for ‘qPutDoc’ and ‘qGetDoc’ • In the instance declaration for ‘Quasi U’ | 222 | instance Quasi U where | ^^^^^^^ + '[' -n dist/build/libHSgeniplate-mirror-0.7.9-A3bSePm1eGIEuIBYZYpODc-ghc9.2.6.so ']' + '[' -x Setup ']' + LANG=C.utf8 + ./Setup haddock --html --hyperlink-source --hoogle Preprocessing library for geniplate-mirror-0.7.9.. Running Haddock on library for geniplate-mirror-0.7.9.. Warning: The documentation for the following packages are not installed. No links will be generated to these packages: array-0.5.4.0, base-4.16.4.0, deepseq-1.4.6.1, ghc-bignum-1.2, ghc-boot-th-9.2.6, ghc-prim-0.8.0, mtl-2.2.2, pretty-1.1.3.6, template-haskell-2.18.0.0, transformers-0.5.6.2 Warning: --source-* options are ignored when --hyperlinked-source is enabled. Data/Generics/Geniplate.hs:222:10: warning: [-Wmissing-methods] • No explicit implementation for ‘qPutDoc’ and ‘qGetDoc’ • In the instance declaration for ‘Quasi U’ | 222 | instance Quasi U where | ^^^^^^^ 59% ( 19 / 32) in 'Data.Generics.Geniplate' Missing documentation for: Module header genUniverseBi' (Data/Generics/Geniplate.hs:193) genUniverseBiT' (Data/Generics/Geniplate.hs:203) genTransformBi' (Data/Generics/Geniplate.hs:529) genTransformBiT' (Data/Generics/Geniplate.hs:537) genTransformBiM (Data/Generics/Geniplate.hs:543) genTransformBiM' (Data/Generics/Geniplate.hs:546) genTransformBiMT (Data/Generics/Geniplate.hs:549) genTransformBiMT' (Data/Generics/Geniplate.hs:552) universe (Data/Generics/Geniplate.hs:50) transform (Data/Generics/Geniplate.hs:53) transformM (Data/Generics/Geniplate.hs:56) descend (Data/Generics/Geniplate.hs:59) Warning: Data.Generics.Geniplate: could not find link destinations for: - Language.Haskell.TH.Syntax.Name - Language.Haskell.TH.Syntax.Q - Language.Haskell.TH.Syntax.Exp - Language.Haskell.TH.Lib.Internal.TypeQ - Language.Haskell.TH.Syntax.Dec - Data.Functor.Identity.Identity Documentation created: dist/doc/html/geniplate-mirror/index.html, dist/doc/html/geniplate-mirror/geniplate-mirror.txt + ./Setup register --inplace Registering library for geniplate-mirror-0.7.9.. + cd .. + for i in geniplate-mirror-0.7.9 murmur-hash-0.1.0.10 ++ echo murmur-hash-0.1.0.10 ++ sed -e 's/\(.*\)-.*/\1/' + name=murmur-hash ++ echo murmur-hash-0.1.0.10 ++ sed -e 's/.*-\(.*\)/\1/' + ver=0.1.0.10 + cd murmur-hash-0.1.0.10 + 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 ']' ++ echo -O2 -fexceptions -g -grecord-gcc-switches -pipe -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/-Wall //' -e 's/-Werror=format-security //' + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -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.2.6/lib ']' + subsubdir=/lib + '[' -x Setup ']' + ghc --make -package Cabal -no-user-package-db -dynamic Setup [1 of 1] Compiling Main ( Setup.hs, Setup.o ) Linking Setup ... + LANG=C.utf8 + ./Setup --version Cabal library version 3.6.3.0 + '[' -x Setup ']' + LANG=C.utf8 ++ echo ' -O2' -fexceptions -g -grecord-gcc-switches -pipe -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/Agda '--libsubdir=$compiler/lib/$pkgid' '--datasubdir=$pkgid' '--libexecsubdir=$pkgid' --ghc --dynlibdir=/usr/lib64/ghc-9.2.6/lib --user '--ghc-options= -optc-O2 -optc-fexceptions -optc-g -optc-grecord-gcc-switches -optc-pipe -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/Agda-2.6.2.2 --docdir=/usr/share/licenses/ghc-murmur-hash --htmldir=/usr/share/doc/ghc/html/libraries/murmur-hash-0.1.0.10 --user Configuring murmur-hash-0.1.0.10... + '[' -x Setup ']' + LANG=C.utf8 + ./Setup build -j1 Preprocessing library for murmur-hash-0.1.0.10.. Building library for murmur-hash-0.1.0.10.. [1 of 2] Compiling Data.Digest.Murmur32 [2 of 2] Compiling Data.Digest.Murmur64 [1 of 2] Compiling Data.Digest.Murmur32 [2 of 2] Compiling Data.Digest.Murmur64 + '[' -n dist/build/libHSmurmur-hash-0.1.0.10-J20lvSjBF1rKaV9347DkX6-ghc9.2.6.so ']' + '[' -x Setup ']' + LANG=C.utf8 + ./Setup haddock --html --hyperlink-source --hoogle Preprocessing library for murmur-hash-0.1.0.10.. Running Haddock on library for murmur-hash-0.1.0.10.. Warning: The documentation for the following packages are not installed. No links will be generated to these packages: array-0.5.4.0, base-4.16.4.0, bytestring-0.11.4.0, deepseq-1.4.6.1, ghc-bignum-1.2, ghc-boot-th-9.2.6, ghc-prim-0.8.0, pretty-1.1.3.6, template-haskell-2.18.0.0 Warning: --source-* options are ignored when --hyperlinked-source is enabled. 62% ( 5 / 8) in 'Data.Digest.Murmur32' Missing documentation for: Hashable32 (Data/Digest/Murmur32.hs:42) hash32AddWord32 (Data/Digest/Murmur32.hs:51) hash32AddInt (Data/Digest/Murmur32.hs:60) 77% ( 7 / 9) in 'Data.Digest.Murmur64' Missing documentation for: Hashable64 (Data/Digest/Murmur64.hs:42) hash64AddInt (Data/Digest/Murmur64.hs:61) Warning: Data.Digest.Murmur32: could not find link destinations for: - GHC.Enum.Bounded - GHC.Enum.minBound - GHC.Enum.maxBound - GHC.Show.Show - GHC.Show.showsPrec - GHC.Types.Int - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList - GHC.Classes.Eq - GHC.Classes.== - GHC.Types.Bool - GHC.Classes./= - GHC.Classes.Ord - GHC.Classes.compare - GHC.Types.Ordering - GHC.Classes.< - GHC.Classes.<= - GHC.Classes.> - GHC.Classes.>= - GHC.Classes.max - GHC.Classes.min - GHC.Word.Word32 - Data.ByteString.Internal.Type.ByteString - Data.ByteString.Lazy.Internal.ByteString - GHC.Num.Integer.Integer - GHC.Types.Char - GHC.Maybe.Maybe - Data.Either.Either - Data.Digest.Murmur32.combine Warning: Data.Digest.Murmur64: could not find link destinations for: - GHC.Enum.Bounded - GHC.Enum.minBound - GHC.Enum.maxBound - GHC.Show.Show - GHC.Show.showsPrec - GHC.Types.Int - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList - GHC.Classes.Eq - GHC.Classes.== - GHC.Types.Bool - GHC.Classes./= - GHC.Classes.Ord - GHC.Classes.compare - GHC.Types.Ordering - GHC.Classes.< - GHC.Classes.<= - GHC.Classes.> - GHC.Classes.>= - GHC.Classes.max - GHC.Classes.min - GHC.Word.Word64 - Data.ByteString.Internal.Type.ByteString - Data.ByteString.Lazy.Internal.ByteString - GHC.Num.Integer.Integer - GHC.Types.Char - GHC.Maybe.Maybe - Data.Either.Either Documentation created: dist/doc/html/murmur-hash/index.html, dist/doc/html/murmur-hash/murmur-hash.txt + ./Setup register --inplace Registering library for murmur-hash-0.1.0.10.. + 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 ']' ++ echo -O2 -fexceptions -g -grecord-gcc-switches -pipe -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/-Wall //' -e 's/-Werror=format-security //' + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -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.2.6/lib ']' + subsubdir=/lib + '[' -x Setup ']' + ghc --make -package Cabal -no-user-package-db -dynamic Setup [1 of 1] Compiling Main ( Setup.hs, Setup.o ) Linking Setup ... + LANG=C.utf8 + ./Setup --version Cabal library version 3.6.3.0 + '[' -x Setup ']' + LANG=C.utf8 ++ echo ' -O2' -fexceptions -g -grecord-gcc-switches -pipe -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/Agda '--libsubdir=$compiler/lib/$pkgid' '--datasubdir=$pkgid' '--libexecsubdir=$pkgid' --ghc --dynlibdir=/usr/lib64/ghc-9.2.6/lib --user '--ghc-options= -optc-O2 -optc-fexceptions -optc-g -optc-grecord-gcc-switches -optc-pipe -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/Agda-2.6.2.2 --user Configuring Agda-2.6.2.2... + '[' -x Setup ']' + LANG=C.utf8 + ./Setup build -j1 Preprocessing library for Agda-2.6.2.2.. unused rules: 6 Building library for Agda-2.6.2.2.. [ 1 of 401] Compiling Agda.Interaction.ExitCode [ 2 of 401] Compiling Agda.Interaction.Highlighting.Dot.Base [ 3 of 401] Compiling Agda.Termination.CutOff [ 4 of 401] Compiling Agda.Termination.Semiring [ 5 of 401] Compiling Agda.TypeChecking.Monad.Debug[boot] [ 6 of 401] Compiling Agda.Utils.AffineHole [ 7 of 401] Compiling Agda.Utils.Applicative [ 8 of 401] Compiling Agda.Utils.CallStack.Base [ 9 of 401] Compiling Agda.Utils.Char [ 10 of 401] Compiling Agda.Utils.Environment [ 11 of 401] Compiling Agda.Utils.Fail [ 12 of 401] Compiling Agda.Utils.Function [ 13 of 401] Compiling Agda.TypeChecking.SizedTypes.Utils [ 14 of 401] Compiling Agda.Utils.Functor [ 15 of 401] Compiling Agda.Utils.Haskell.Syntax [ 16 of 401] Compiling Agda.Compiler.MAlonzo.Strict [ 17 of 401] Compiling Agda.Utils.IO [ 18 of 401] Compiling Agda.Utils.IO.Binary [ 19 of 401] Compiling Agda.Utils.IO.Directory [ 20 of 401] Compiling Agda.Utils.IO.TempFile [ 21 of 401] Compiling Agda.Utils.IO.UTF8 [ 22 of 401] Compiling Agda.Utils.IORef [ 23 of 401] Compiling Agda.Utils.Impossible [ 24 of 401] Compiling Agda.Utils.Empty [ 25 of 401] Compiling Agda.Utils.Bag [ 26 of 401] Compiling Agda.Auto.NarrowingSearch [ 27 of 401] Compiling Agda.Utils.IntSet.Infinite [ 28 of 401] Compiling Agda.Utils.Lens [ 29 of 401] Compiling Agda.Utils.IndexedList [ 30 of 401] Compiling Agda.Auto.Options [ 31 of 401] Compiling Agda.Utils.Lens.Examples [ 32 of 401] Compiling Agda.Utils.List1[boot] [ 33 of 401] Compiling Agda.Utils.Map [ 34 of 401] Compiling Agda.Utils.Maybe [ 35 of 401] Compiling Agda.Utils.Memo [ 36 of 401] Compiling Agda.Utils.Monoid [ 37 of 401] Compiling Agda.Utils.Null [ 38 of 401] Compiling Agda.Utils.Maybe.Strict [ 39 of 401] Compiling Agda.Utils.PartialOrd [ 40 of 401] Compiling Agda.Utils.POMonoid [ 41 of 401] Compiling Agda.Utils.Pointer [ 42 of 401] Compiling Agda.Utils.SemiRing [ 43 of 401] Compiling Agda.Utils.Semigroup [ 44 of 401] Compiling Agda.Utils.Singleton [ 45 of 401] Compiling Agda.Utils.Cluster [ 46 of 401] Compiling Agda.Utils.SmallSet [ 47 of 401] Compiling Agda.Utils.Suffix [ 48 of 401] Compiling Agda.Utils.Three [ 49 of 401] Compiling Agda.Utils.Trie [ 50 of 401] Compiling Agda.Utils.Tuple [ 51 of 401] Compiling Agda.Utils.List [ 52 of 401] Compiling Agda.Utils.String [ 53 of 401] Compiling Agda.Utils.List1 [ 54 of 401] Compiling Agda.Utils.Size [ 55 of 401] Compiling Agda.Utils.Permutation [ 56 of 401] Compiling Agda.Utils.List2 [ 57 of 401] Compiling Agda.Utils.Float [ 58 of 401] Compiling Agda.Utils.Pretty [ 59 of 401] Compiling Agda.Utils.Time [ 60 of 401] Compiling Agda.Utils.Parser.MemoisedCPS [ 61 of 401] Compiling Agda.Utils.CallStack.Pretty [ 62 of 401] Compiling Agda.Utils.CallStack [ 63 of 401] Compiling Agda.TypeChecking.SizedTypes.Syntax [ 64 of 401] Compiling Agda.Interaction.EmacsCommand [ 65 of 401] Compiling Agda.Utils.Either [ 66 of 401] Compiling Agda.Utils.Monad [ 67 of 401] Compiling Agda.Utils.ListT [ 68 of 401] Compiling Agda.Utils.FileName [ 69 of 401] Compiling Agda.Utils.Hash [ 70 of 401] Compiling Agda.Utils.Benchmark [ 71 of 401] Compiling Agda.Utils.BiMap [ 72 of 401] Compiling Agda.Syntax.Position [ 73 of 401] Compiling Agda.Syntax.Common [ 74 of 401] Compiling Agda.Syntax.Fixity [ 75 of 401] Compiling Agda.Syntax.Concrete.Operators.Parser.Monad [ 76 of 401] Compiling Agda.Compiler.JS.Syntax [ 77 of 401] Compiling Agda.Auto.Syntax [ 78 of 401] Compiling Agda.Auto.SearchControl [ 79 of 401] Compiling Agda.Auto.Typecheck [ 80 of 401] Compiling Agda.Syntax.Parser.Literate [ 81 of 401] Compiling Agda.Syntax.Concrete.Glyph [ 82 of 401] Compiling Agda.Syntax.Concrete.Name [ 83 of 401] Compiling Agda.TypeChecking.Monad.Base[boot] [ 84 of 401] Compiling Agda.Syntax.Builtin [ 85 of 401] Compiling Agda.Syntax.Abstract.Name [ 86 of 401] Compiling Agda.Syntax.Literal [ 87 of 401] Compiling Agda.Syntax.Treeless [ 88 of 401] Compiling Agda.Compiler.Treeless.GuardsToPrims [ 89 of 401] Compiling Agda.Compiler.Treeless.AsPatterns [ 90 of 401] Compiling Agda.Syntax.Parser.Tokens [ 91 of 401] Compiling Agda.Compiler.Backend[boot] [ 92 of 401] Compiling Agda.Compiler.Builtin[boot] [ 93 of 401] Compiling Agda.Interaction.Options.Warnings [ 94 of 401] Compiling Agda.Syntax.Parser.Monad [ 95 of 401] Compiling Agda.Interaction.Options.Help [ 96 of 401] Compiling Agda.Interaction.Library.Base [ 97 of 401] Compiling Agda.Interaction.Library.Parse [ 98 of 401] Compiling Agda.Interaction.Highlighting.Range [ 99 of 401] Compiling Agda.Utils.RangeMap [100 of 401] Compiling Agda.Compiler.JS.Substitution [101 of 401] Compiling Agda.Compiler.JS.Pretty [102 of 401] Compiling Agda.Auto.CaseSplit [103 of 401] Compiling Agda.Utils.Graph.AdjacencyMap.Unidirectional [104 of 401] Compiling Agda.Utils.Graph.TopSort [105 of 401] Compiling Agda.TypeChecking.SizedTypes.WarshallSolver [106 of 401] Compiling Agda.TypeChecking.Positivity.Occurrence [107 of 401] Compiling Agda.Syntax.Concrete [108 of 401] Compiling Agda.Syntax.Concrete.Pretty [109 of 401] Compiling Agda.TypeChecking.Coverage.SplitTree [110 of 401] Compiling Agda.Syntax.Notation [111 of 401] Compiling Agda.Benchmarking [112 of 401] Compiling Agda.Syntax.Concrete.Pattern [113 of 401] Compiling Agda.Syntax.Concrete.Operators.Parser [114 of 401] Compiling Agda.Syntax.Concrete.Generic [115 of 401] Compiling Agda.Syntax.Concrete.Fixity [116 of 401] Compiling Agda.Syntax.Concrete.Definitions.Types [117 of 401] Compiling Agda.Syntax.Concrete.Definitions.Errors [118 of 401] Compiling Agda.Syntax.Concrete.Definitions.Monad [119 of 401] Compiling Agda.Syntax.Concrete.Attribute [120 of 401] Compiling Agda.Utils.Favorites [121 of 401] Compiling Agda.Utils.AssocList [122 of 401] Compiling Agda.Syntax.Scope.Base [123 of 401] Compiling Agda.Syntax.Info [124 of 401] Compiling Agda.Interaction.Highlighting.Precise [125 of 401] Compiling Agda.Interaction.Response[boot] [126 of 401] Compiling Agda.Termination.SparseMatrix [127 of 401] Compiling Agda.Termination.Order [128 of 401] Compiling Agda.Termination.CallMatrix [129 of 401] Compiling Agda.Termination.CallGraph [130 of 401] Compiling Agda.Termination.Termination [131 of 401] Compiling Agda.Syntax.Parser.Alex [132 of 401] Compiling Agda.Syntax.Parser.LookAhead [133 of 401] Compiling Agda.Syntax.Parser.StringLiterals [134 of 401] Compiling Agda.Syntax.Parser.LexActions[boot] [135 of 401] Compiling Agda.Syntax.Parser.Layout[boot] [136 of 401] Compiling Agda.Syntax.Parser.Comments [137 of 401] Compiling Agda.Syntax.Parser.Lexer [138 of 401] Compiling Agda.Syntax.Parser.Parser [139 of 401] Compiling Agda.Syntax.Parser.LexActions [140 of 401] Compiling Agda.Syntax.Parser.Layout [141 of 401] Compiling Agda.Syntax.Parser [142 of 401] Compiling Agda.Syntax.Internal.Elim [143 of 401] Compiling Agda.Syntax.Internal.Blockers [144 of 401] Compiling Agda.Syntax.Internal [145 of 401] Compiling Agda.TypeChecking.Substitute.DeBruijn [146 of 401] Compiling Agda.TypeChecking.Free.Precompute [147 of 401] Compiling Agda.TypeChecking.Free.Lazy [148 of 401] Compiling Agda.TypeChecking.Free [149 of 401] Compiling Agda.TypeChecking.Substitute.Class [150 of 401] Compiling Agda.Syntax.Reflected [151 of 401] Compiling Agda.Syntax.Internal.Pattern [152 of 401] Compiling Agda.Syntax.Internal.Generic [153 of 401] Compiling Agda.TypeChecking.CompiledClause [154 of 401] Compiling Agda.Syntax.Internal.MetaVars [155 of 401] Compiling Agda.Syntax.Internal.Defs [156 of 401] Compiling Agda.Syntax.Abstract [157 of 401] Compiling Agda.Syntax.Abstract.Views [158 of 401] Compiling Agda.Syntax.Abstract.PatternSynonyms [159 of 401] Compiling Agda.Syntax.Abstract.Pattern [160 of 401] Compiling Agda.Utils.TypeLevel [161 of 401] Compiling Agda.Utils.TypeLits [162 of 401] Compiling Agda.Utils.Update [163 of 401] Compiling Agda.Syntax.Concrete.Definitions [164 of 401] Compiling Agda.Utils.VarSet [165 of 401] Compiling Agda.Utils.Warshall [166 of 401] Compiling Agda.Utils.WithDefault [167 of 401] Compiling Agda.Utils.Zipper [168 of 401] Compiling Paths_Agda [169 of 401] Compiling Agda.Version [170 of 401] Compiling Agda.VersionCommit ghc-9.2.6: Couldn't find a target code interpreter. Try with -fexternal-interpreter error: Bad exit status from /var/tmp/rpm-tmp.29Heq1 (%build) Bad exit status from /var/tmp/rpm-tmp.29Heq1 (%build) RPM build errors: 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