Mock Version: 3.5 Mock Version: 3.5 Mock Version: 3.5 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/Agda.spec'], chrootPath='/var/lib/mock/f40-build-770097-125734/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=1209600uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --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=1701907200 Wrote: /builddir/build/SRPMS/Agda-2.6.4.1-43.fc40.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/Agda.spec'], chrootPath='/var/lib/mock/f40-build-770097-125734/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=1209600uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --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=1701907200 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.0XWW9Q + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf Agda-2.6.4.1 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/Agda-2.6.4.1.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd Agda-2.6.4.1 + rm -rf /builddir/build/BUILD/Agda-2.6.4.1-SPECPARTS + /usr/bin/mkdir -p /builddir/build/BUILD/Agda-2.6.4.1-SPECPARTS + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/murmur-hash-0.1.0.10.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/peano-0.1.0.2.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/vector-hashtables-0.1.1.3.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + cabal-tweak-flag optimise-heavily True + grep -q '"2.6.4.1"' src/data/emacs-mode/agda2-mode.el + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.YWMFWd + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -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 ' + 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 ' + 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 -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 -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 Agda-2.6.4.1 + 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.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\)') + '[' -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 ']' + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -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 ' + 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 -Werror=implicit-function-declaration -Werror=implicit-int -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-Werror=implicit-function-declaration -optc-Werror=implicit-int -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' -p --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 -j1 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 [2 of 4] Compiling Data.Vector.Hashtables.Internal.Mask [3 of 4] Compiling Data.Vector.Hashtables.Internal [4 of 4] Compiling Data.Vector.Hashtables [1 of 4] Compiling Data.Primitive.PrimArray.Utils [2 of 4] Compiling Data.Vector.Hashtables.Internal.Mask [3 of 4] Compiling Data.Vector.Hashtables.Internal [4 of 4] Compiling Data.Vector.Hashtables + '[' -n dist/build/libHSvector-hashtables-0.1.1.3-HvkTsmq0WDqFS87fkb3Cib-ghc9.4.5.so ']' + '[' -x Setup ']' + LANG=C.utf8 + ./Setup haddock --html --hyperlink-source --hoogle Preprocessing library for vector-hashtables-0.1.1.3.. Running Haddock on library for vector-hashtables-0.1.1.3.. 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.17.1.0, binary-0.8.9.1, bytestring-0.11.4.0, containers-0.6.7, deepseq-1.4.8.0, filepath-1.4.2.2, ghc-bignum-1.3, ghc-boot-th-9.4.5, ghc-prim-0.9.0, hashable-1.4.2.0, pretty-1.1.3.6, primitive-0.8.0.0, template-haskell-2.19.0.0, text-2.0.2, transformers-0.5.6.2, vector-0.13.0.0, vector-stream-0.1.0.0 Warning: --source-* options are ignored when --hyperlinked-source is enabled. 11% ( 1 / 9) in 'Data.Primitive.PrimArray.Utils' Missing documentation for: replicate (src/Data/Primitive/PrimArray/Utils.hs:13) clone (src/Data/Primitive/PrimArray/Utils.hs:22) unsafeFreeze (src/Data/Primitive/PrimArray/Utils.hs:28) unsafeThaw (src/Data/Primitive/PrimArray/Utils.hs:34) growWith (src/Data/Primitive/PrimArray/Utils.hs:40) growNoZ (src/Data/Primitive/PrimArray/Utils.hs:49) freeze (src/Data/Primitive/PrimArray/Utils.hs:55) length (src/Data/Primitive/PrimArray/Utils.hs:63) 100% ( 2 / 2) in 'Data.Vector.Hashtables.Internal.Mask' Warning: 'Dictionary' is ambiguous. It is defined * at src/Data/Vector/Hashtables/Internal.hs:69:32 * at src/Data/Vector/Hashtables/Internal.hs:55:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/Data/Vector/Hashtables/Internal.hs:55:1 79% ( 47 / 59) in 'Data.Vector.Hashtables.Internal' Missing documentation for: getCount (src/Data/Vector/Hashtables/Internal.hs:78) getFreeList (src/Data/Vector/Hashtables/Internal.hs:78) getFreeCount (src/Data/Vector/Hashtables/Internal.hs:78) atWithOrElse (src/Data/Vector/Hashtables/Internal.hs:244) insertWithIndex (src/Data/Vector/Hashtables/Internal.hs:328) addOrResize (src/Data/Vector/Hashtables/Internal.hs:345) add (src/Data/Vector/Hashtables/Internal.hs:367) resize (src/Data/Vector/Hashtables/Internal.hs:379) DeleteEntry (src/Data/Vector/Hashtables/Internal.hs:412) deleteWithIndex (src/Data/Vector/Hashtables/Internal.hs:453) primes (src/Data/Vector/Hashtables/Internal.hs:859) getPrime (src/Data/Vector/Hashtables/Internal.hs:871) Warning: Data.Vector.Hashtables: Could not find documentation for exported module: Control.Monad.Primitive 100% ( 44 / 44) in 'Data.Vector.Hashtables' Warning: Data.Primitive.PrimArray.Utils: could not find link destinations for: - Control.Monad.Primitive.PrimMonad - Data.Primitive.Types.Prim - GHC.Types.Int - Data.Primitive.PrimArray.MutablePrimArray - Control.Monad.Primitive.PrimState - Data.Primitive.PrimArray.PrimArray Warning: Data.Vector.Hashtables.Internal.Mask: could not find link destinations for: - GHC.Types.Int Warning: Data.Vector.Hashtables.Internal: could not find link destinations for: - Data.Primitive.PrimArray.MutablePrimArray - GHC.Types.Int - Data.Primitive.MutVar.MutVar - Data.Primitive.PrimArray.PrimArray - GHC.Show.Show - GHC.Show.showsPrec - 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 - Data.Vector.Generic.Base.Vector - Data.Hashable.Class.Hashable - Data.Vector.Generic.Mutable.Base.MVector - Control.Monad.Primitive.PrimMonad - Control.Monad.Primitive.PrimState - Data.Vector.Generic.Base.Mutable - GHC.Maybe.Maybe - GHC.Maybe.Nothing - GHC.Types.Type - Data.Vector.Mutable.MVector - Data.Vector.Storable.Mutable.MVector - Data.Vector.Unboxed.Base.MVector - GHC.Types.True - GHC.Types.False - GHC.Maybe.Just - Data.Vector.Unboxed.Base.Vector Warning: Data.Vector.Hashtables: could not find link destinations for: - Data.Primitive.MutVar.MutVar - Data.Primitive.PrimArray.PrimArray - GHC.Types.Int - GHC.Show.Show - GHC.Show.showsPrec - 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 - Data.Vector.Generic.Base.Vector - Data.Hashable.Class.Hashable - Data.Vector.Generic.Mutable.Base.MVector - Control.Monad.Primitive.PrimMonad - Control.Monad.Primitive.PrimState - GHC.Types.True - GHC.Types.False - Data.Vector.Generic.Base.Mutable - GHC.Maybe.Maybe - GHC.Maybe.Nothing - GHC.Maybe.Just Documentation created: dist/doc/html/vector-hashtables/index.html, dist/doc/html/vector-hashtables/vector-hashtables.txt + ./Setup register --inplace Registering library for vector-hashtables-0.1.1.3.. + cd .. + for i in vector-hashtables-0.1.1.3 peano-0.1.0.2 murmur-hash-0.1.0.10 ++ echo peano-0.1.0.2 ++ sed -e 's/\(.*\)-.*/\1/' + name=peano ++ echo peano-0.1.0.2 ++ sed -e 's/.*-\(.*\)/\1/' + ver=0.1.0.2 + cd peano-0.1.0.2 + 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 ']' + 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 -Werror=implicit-function-declaration -Werror=implicit-int -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 ' + 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 ']' + cp /usr/share/ghc-rpm-macros/Setup.hs . + '[' -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 -Werror=implicit-function-declaration -Werror=implicit-int -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-Werror=implicit-function-declaration -optc-Werror=implicit-int -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' -p --enable-shared --docdir=/usr/share/licenses/ghc-peano --htmldir=/usr/share/doc/ghc/html/libraries/peano-0.1.0.2 --user Configuring peano-0.1.0.2... + '[' -x Setup ']' + LANG=C.utf8 + ./Setup build -j1 Preprocessing library for peano-0.1.0.2.. Building library for peano-0.1.0.2.. [1 of 1] Compiling Data.Peano [1 of 1] Compiling Data.Peano + '[' -n dist/build/libHSpeano-0.1.0.2-LEzG7B9D0htHHn49BY0efS-ghc9.4.5.so ']' + '[' -x Setup ']' + LANG=C.utf8 + ./Setup haddock --html --hyperlink-source --hoogle Preprocessing library for peano-0.1.0.2.. Running Haddock on library for peano-0.1.0.2.. Warning: The documentation for the following packages are not installed. No links will be generated to these packages: base-4.17.1.0, ghc-bignum-1.3, ghc-prim-0.9.0 Warning: --source-* options are ignored when --hyperlinked-source is enabled. 100% ( 3 / 3) in 'Data.Peano' Warning: Data.Peano: could not find link destinations for: - Data.Data.Data - Data.Data.gfoldl - Data.Data.gunfold - Data.Data.Constr - Data.Data.toConstr - Data.Data.dataTypeOf - Data.Data.DataType - Data.Data.dataCast1 - Data.Typeable.Internal.Typeable - GHC.Maybe.Maybe - Data.Data.dataCast2 - Data.Data.gmapT - Data.Data.gmapQl - Data.Data.gmapQr - Data.Data.gmapQ - Data.Data.gmapQi - GHC.Types.Int - Data.Data.gmapM - GHC.Base.Monad - Data.Data.gmapMp - GHC.Base.MonadPlus - Data.Data.gmapMo - GHC.Enum.Bounded - GHC.Enum.minBound - GHC.Enum.maxBound - GHC.Enum.Enum - GHC.Enum.succ - GHC.Enum.pred - GHC.Enum.toEnum - GHC.Enum.fromEnum - GHC.Enum.enumFrom - GHC.Enum.enumFromThen - GHC.Enum.enumFromTo - GHC.Enum.enumFromThenTo - GHC.Ix.Ix - GHC.Ix.range - GHC.Ix.index - GHC.Ix.unsafeIndex - GHC.Ix.inRange - GHC.Types.Bool - GHC.Ix.rangeSize - GHC.Ix.unsafeRangeSize - GHC.Num.Num - GHC.Num.+ - GHC.Num.- - GHC.Num.* - GHC.Num.negate - GHC.Num.abs - GHC.Num.signum - GHC.Num.fromInteger - GHC.Num.Integer.Integer - GHC.Read.Read - GHC.Read.readsPrec - Text.ParserCombinators.ReadP.ReadS - GHC.Read.readList - GHC.Read.readPrec - Text.ParserCombinators.ReadPrec.ReadPrec - GHC.Read.readListPrec - GHC.Real.Integral - GHC.Real.quot - GHC.Real.rem - GHC.Real.div - GHC.Real.mod - GHC.Real.quotRem - GHC.Real.divMod - GHC.Real.toInteger - GHC.Real.Real - GHC.Real.toRational - GHC.Real.Rational - GHC.Show.Show - GHC.Show.showsPrec - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList - GHC.Classes.Eq - GHC.Classes.== - 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 Documentation created: dist/doc/html/peano/index.html, dist/doc/html/peano/peano.txt + ./Setup register --inplace Registering library for peano-0.1.0.2.. + cd .. + for i in vector-hashtables-0.1.1.3 peano-0.1.0.2 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 ']' + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -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 ' + 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 -Werror=implicit-function-declaration -Werror=implicit-int -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-Werror=implicit-function-declaration -optc-Werror=implicit-int -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' -p --enable-shared --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-CqHLzhKRYyJCrMJ8DaEneV-ghc9.4.5.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.17.1.0, bytestring-0.11.4.0, deepseq-1.4.8.0, ghc-bignum-1.3, ghc-boot-th-9.4.5, ghc-prim-0.9.0, pretty-1.1.3.6, template-haskell-2.19.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 ']' + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -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 ' + 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 -Werror=implicit-function-declaration -Werror=implicit-int -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-Werror=implicit-function-declaration -optc-Werror=implicit-int -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' -p --enable-shared --htmldir=/usr/share/doc/ghc/html/libraries/Agda-2.6.4.1 --user Configuring Agda-2.6.4.1... + '[' -x Setup ']' + LANG=C.utf8 + ./Setup build -j1 Preprocessing library for Agda-2.6.4.1.. Building library for Agda-2.6.4.1.. [ 1 of 429] Compiling Agda.Interaction.ExitCode [ 2 of 429] Compiling Agda.Termination.CutOff [ 3 of 429] Compiling Agda.Termination.Semiring [ 4 of 429] Compiling Agda.Utils.AffineHole [ 5 of 429] Compiling Agda.Utils.Applicative [ 6 of 429] Compiling Agda.Utils.Boolean [ 7 of 429] Compiling Agda.Syntax.Internal.Univ [ 8 of 429] Compiling Agda.Utils.CallStack.Base [ 9 of 429] Compiling Agda.Utils.Char [ 10 of 429] Compiling Agda.Utils.Environment [ 11 of 429] Compiling Agda.Utils.Fail [ 12 of 429] Compiling Agda.Utils.Function [ 13 of 429] Compiling Agda.TypeChecking.SizedTypes.Utils [ 14 of 429] Compiling Agda.Utils.Functor [ 15 of 429] Compiling Agda.Utils.HashTable [ 16 of 429] Compiling Agda.Utils.Haskell.Syntax [ 17 of 429] Compiling Agda.Compiler.MAlonzo.Strict [ 18 of 429] Compiling Agda.Utils.IO [ 19 of 429] Compiling Agda.Utils.IO.Binary [ 20 of 429] Compiling Agda.Utils.IO.Directory [ 21 of 429] Compiling Agda.Utils.IO.TempFile [ 22 of 429] Compiling Agda.Utils.IO.UTF8 [ 23 of 429] Compiling Agda.Utils.IORef [ 24 of 429] Compiling Agda.Utils.Impossible [ 25 of 429] Compiling Agda.Utils.Empty [ 26 of 429] Compiling Agda.Utils.BoolSet [ 27 of 429] Compiling Agda.Utils.Bag [ 28 of 429] Compiling Agda.Auto.NarrowingSearch [ 29 of 429] Compiling Agda.Utils.IntSet.Infinite [ 30 of 429] Compiling Agda.Utils.Lens [ 31 of 429] Compiling Agda.Utils.IndexedList [ 32 of 429] Compiling Agda.Auto.Options [ 33 of 429] Compiling Agda.Utils.Lens.Examples [ 34 of 429] Compiling Agda.Utils.Map [ 35 of 429] Compiling Agda.Utils.Maybe [ 36 of 429] Compiling Agda.Utils.Memo [ 37 of 429] Compiling Agda.Utils.Monoid [ 38 of 429] Compiling Agda.Utils.Null [ 39 of 429] Compiling Agda.Utils.Maybe.Strict [ 40 of 429] Compiling Agda.Utils.PartialOrd [ 41 of 429] Compiling Agda.Utils.POMonoid [ 42 of 429] Compiling Agda.Utils.Pointer [ 43 of 429] Compiling Agda.Utils.SemiRing [ 44 of 429] Compiling Agda.Utils.Semigroup [ 45 of 429] Compiling Agda.Utils.SmallSet [ 46 of 429] Compiling Agda.Utils.Singleton [ 47 of 429] Compiling Agda.Utils.Cluster [ 48 of 429] Compiling Agda.Utils.Suffix [ 49 of 429] Compiling Agda.Utils.Three [ 50 of 429] Compiling Agda.Utils.Trie [ 51 of 429] Compiling Agda.Utils.Tuple [ 52 of 429] Compiling Agda.Utils.List1[boot] [ 53 of 429] Compiling Agda.Utils.List [ 54 of 429] Compiling Agda.Utils.List1 [ 55 of 429] Compiling Agda.Utils.String [ 56 of 429] Compiling Agda.Utils.Size [ 57 of 429] Compiling Agda.Utils.Permutation [ 58 of 429] Compiling Agda.Utils.ProfileOptions [ 59 of 429] Compiling Agda.Utils.List2 [ 60 of 429] Compiling Agda.Utils.Float [ 61 of 429] Compiling Agda.Utils.Either [ 62 of 429] Compiling Agda.Utils.Monad [ 63 of 429] Compiling Agda.Utils.ListT [ 64 of 429] Compiling Agda.Utils.FileName [ 65 of 429] Compiling Agda.Utils.Hash [ 66 of 429] Compiling Agda.Utils.BiMap [ 67 of 429] Compiling Agda.Syntax.TopLevelModuleName.Boot [ 68 of 429] Compiling Agda.Interaction.Options.Warnings [ 69 of 429] Compiling Agda.Interaction.Options.Help [ 70 of 429] Compiling Agda.Utils.Favorites [ 71 of 429] Compiling Agda.Utils.AssocList [ 72 of 429] Compiling Agda.Utils.TypeLevel [ 73 of 429] Compiling Agda.Syntax.Position[boot] [ 74 of 429] Compiling Agda.Syntax.Position [ 75 of 429] Compiling Agda.Syntax.Common.Aspect [ 76 of 429] Compiling Agda.Syntax.Common.Pretty [ 77 of 429] Compiling Agda.Utils.Time [ 78 of 429] Compiling Agda.Utils.Parser.MemoisedCPS [ 79 of 429] Compiling Agda.Utils.Graph.AdjacencyMap.Unidirectional [ 80 of 429] Compiling Agda.Utils.Graph.TopSort [ 81 of 429] Compiling Agda.Interaction.Highlighting.Dot.Base [ 82 of 429] Compiling Agda.Utils.CallStack.Pretty [ 83 of 429] Compiling Agda.Utils.CallStack [ 84 of 429] Compiling Agda.Utils.Benchmark [ 85 of 429] Compiling Agda.Termination.SparseMatrix [ 86 of 429] Compiling Agda.Termination.Order [ 87 of 429] Compiling Agda.Termination.CallMatrix [ 88 of 429] Compiling Agda.Termination.CallGraph [ 89 of 429] Compiling Agda.Termination.Termination [ 90 of 429] Compiling Agda.Syntax.Concrete.Glyph [ 91 of 429] Compiling Agda.Interaction.EmacsCommand [ 92 of 429] Compiling Agda.Syntax.Common [ 93 of 429] Compiling Agda.Syntax.Parser.Literate [ 94 of 429] Compiling Agda.Syntax.Fixity [ 95 of 429] Compiling Agda.Syntax.Concrete.Operators.Parser.Monad [ 96 of 429] Compiling Agda.Syntax.Concrete.Name [ 97 of 429] Compiling Agda.Compiler.JS.Syntax [ 98 of 429] Compiling Agda.Compiler.JS.Substitution [ 99 of 429] Compiling Agda.Compiler.JS.Pretty [100 of 429] Compiling Agda.Auto.Syntax [101 of 429] Compiling Agda.Auto.SearchControl [102 of 429] Compiling Agda.Auto.Typecheck [103 of 429] Compiling Agda.Auto.CaseSplit [104 of 429] Compiling Agda.Syntax.Builtin [105 of 429] Compiling Agda.Syntax.Abstract.Name [106 of 429] Compiling Agda.TypeChecking.Positivity.Occurrence [107 of 429] Compiling Agda.TypeChecking.Monad.Base.Warning [108 of 429] Compiling Agda.Syntax.Literal [109 of 429] Compiling Agda.Syntax.Treeless [110 of 429] Compiling Agda.Compiler.Treeless.GuardsToPrims [111 of 429] Compiling Agda.Compiler.Treeless.AsPatterns [112 of 429] Compiling Agda.Syntax.Parser.Tokens [113 of 429] Compiling Agda.Syntax.Concrete [114 of 429] Compiling Agda.Syntax.TopLevelModuleName [115 of 429] Compiling Agda.Syntax.Concrete.Pretty [116 of 429] Compiling Agda.TypeChecking.Coverage.SplitTree [117 of 429] Compiling Agda.Syntax.Notation [118 of 429] Compiling Agda.Syntax.Internal.Elim [119 of 429] Compiling Agda.Syntax.Internal.Blockers [120 of 429] Compiling Agda.Syntax.Internal [121 of 429] Compiling Agda.TypeChecking.Substitute.DeBruijn [122 of 429] Compiling Agda.TypeChecking.Free.Precompute [123 of 429] Compiling Agda.TypeChecking.Free.Lazy [124 of 429] Compiling Agda.Syntax.Reflected [125 of 429] Compiling Agda.Syntax.Internal.Pattern [126 of 429] Compiling Agda.Syntax.Internal.Generic [127 of 429] Compiling Agda.TypeChecking.CompiledClause [128 of 429] Compiling Agda.Syntax.Internal.MetaVars [129 of 429] Compiling Agda.Syntax.Internal.Defs [130 of 429] Compiling Agda.Syntax.Concrete.Pattern [131 of 429] Compiling Agda.Syntax.Concrete.Operators.Parser [132 of 429] Compiling Agda.Syntax.Concrete.Generic [133 of 429] Compiling Agda.Syntax.Concrete.Fixity [134 of 429] Compiling Agda.Syntax.Concrete.Definitions.Types [135 of 429] Compiling Agda.Syntax.Concrete.Definitions.Errors [136 of 429] Compiling Agda.Syntax.Concrete.Definitions.Monad [137 of 429] Compiling Agda.Syntax.Concrete.Attribute [138 of 429] Compiling Agda.Syntax.Parser.Monad [139 of 429] Compiling Agda.Syntax.Parser.Alex [140 of 429] Compiling Agda.Syntax.Parser.LookAhead [141 of 429] Compiling Agda.Syntax.Parser.StringLiterals [142 of 429] Compiling Agda.Syntax.Parser.Layout[boot] [143 of 429] Compiling Agda.Syntax.Parser.LexActions[boot] [144 of 429] Compiling Agda.Syntax.Parser.Comments [145 of 429] Compiling Agda.Syntax.Parser.Lexer [146 of 429] Compiling Agda.Syntax.Parser.LexActions [147 of 429] Compiling Agda.Syntax.Parser.Layout [148 of 429] Compiling Agda.Syntax.Parser.Parser [149 of 429] Compiling Agda.Syntax.Parser [150 of 429] Compiling Agda.Benchmarking [151 of 429] Compiling Agda.TypeChecking.Free [152 of 429] Compiling Agda.TypeChecking.Substitute.Class [153 of 429] Compiling Agda.Syntax.Scope.Base [154 of 429] Compiling Agda.Syntax.Info [155 of 429] Compiling Agda.Syntax.Abstract [156 of 429] Compiling Agda.Syntax.Abstract.Views [157 of 429] Compiling Agda.Syntax.Abstract.UsedNames [158 of 429] Compiling Agda.Syntax.Abstract.PatternSynonyms [159 of 429] Compiling Agda.Syntax.Abstract.Pattern [160 of 429] Compiling Agda.Interaction.Library.Base [161 of 429] Compiling Agda.Interaction.Library.Parse [162 of 429] Compiling Agda.Interaction.Highlighting.Range [163 of 429] Compiling Agda.Utils.RangeMap [164 of 429] Compiling Agda.Interaction.Highlighting.Precise [165 of 429] Compiling Agda.Utils.TypeLits [166 of 429] Compiling Agda.Utils.Unsafe [167 of 429] Compiling Agda.Utils.Update [168 of 429] Compiling Agda.Syntax.Concrete.Definitions [169 of 429] Compiling Agda.Utils.VarSet [170 of 429] Compiling Agda.Utils.Warshall [171 of 429] Compiling Agda.Utils.WithDefault [172 of 429] Compiling Agda.Utils.Zipper [173 of 429] Compiling Paths_Agda [174 of 429] Compiling Agda.Version [175 of 429] Compiling Agda.VersionCommit : error: Couldn't find a target code interpreter. Try with -fexternal-interpreter [176 of 429] Compiling Agda.Interaction.Library [177 of 429] Compiling Agda.Interaction.Options.Base [178 of 429] Compiling Agda.Interaction.Options.HasOptions [179 of 429] Compiling Agda.Syntax.Common.Pretty.ANSI [180 of 429] Compiling Agda.Interaction.Options [181 of 429] Compiling Agda.TypeChecking.Monad.Debug[boot] [182 of 429] Compiling Agda.Compiler.Treeless.Pretty[boot] [183 of 429] Compiling Agda.TypeChecking.Monad.Base[boot] [184 of 429] Compiling Agda.Interaction.Response[boot] [185 of 429] Compiling Agda.Compiler.Backend[boot] [186 of 429] Compiling Agda.Compiler.Builtin[boot] [187 of 429] Compiling Agda.TypeChecking.Monad.Base [188 of 429] Compiling Agda.TypeChecking.Reduce[boot] [189 of 429] Compiling Agda.TypeChecking.Rewriting[boot] [190 of 429] Compiling Agda.TypeChecking.Errors[boot] [191 of 429] Compiling Agda.TypeChecking.Monad.Context[boot] [192 of 429] Compiling Agda.TypeChecking.Monad.Builtin[boot] [193 of 429] Compiling Agda.TypeChecking.Primitive[boot] [194 of 429] Compiling Agda.TypeChecking.Monad.MetaVars[boot] [195 of 429] Compiling Agda.TypeChecking.Rules.Term[boot] [196 of 429] Compiling Agda.Interaction.Highlighting.Generate[boot] [197 of 429] Compiling Agda.TypeChecking.Rules.Decl[boot] [198 of 429] Compiling Agda.TypeChecking.Rules.Data[boot] [199 of 429] Compiling Agda.TypeChecking.CompiledClause.Compile[boot] [200 of 429] Compiling Agda.TypeChecking.Rules.Application[boot] [201 of 429] Compiling Agda.TypeChecking.Lock[boot] [202 of 429] Compiling Agda.TypeChecking.Monad.Options[boot] [203 of 429] Compiling Agda.Compiler.Treeless.Erase[boot] [204 of 429] Compiling Agda.Interaction.Imports[boot] [205 of 429] Compiling Agda.TypeChecking.Reduce.Fast[boot] [206 of 429] Compiling Agda.TypeChecking.CompiledClause.Match[boot] [207 of 429] Compiling Agda.TypeChecking.Substitute [208 of 429] Compiling Agda.Compiler.Treeless.Subst [209 of 429] Compiling Agda.Compiler.Treeless.Pretty [210 of 429] Compiling Agda.Compiler.Treeless.Compare [211 of 429] Compiling Agda.Compiler.Treeless.Uncase [212 of 429] Compiling Agda.TypeChecking.Monad.Debug [213 of 429] Compiling Agda.TypeChecking.Monad.Signature[boot] [214 of 429] Compiling Agda.TypeChecking.Monad.Pure[boot] [215 of 429] Compiling Agda.TypeChecking.Pretty[boot] [216 of 429] Compiling Agda.TypeChecking.Pretty.Call[boot] [217 of 429] Compiling Agda.TypeChecking.ProjectionLike[boot] [218 of 429] Compiling Agda.TypeChecking.Opacity[boot] [219 of 429] Compiling Agda.TypeChecking.Monad.Builtin [220 of 429] Compiling Agda.TypeChecking.Level[boot] [221 of 429] Compiling Agda.TypeChecking.DropArgs [222 of 429] Compiling Agda.TypeChecking.Monad.Benchmark [223 of 429] Compiling Agda.TypeChecking.Monad.Env [224 of 429] Compiling Agda.Syntax.Internal.Names [225 of 429] Compiling Agda.TypeChecking.Inlining [226 of 429] Compiling Agda.TypeChecking.Monad.Imports [227 of 429] Compiling Agda.TypeChecking.Serialise.Base [228 of 429] Compiling Agda.TypeChecking.Monad.Statistics [229 of 429] Compiling Agda.TypeChecking.Monad.Caching [230 of 429] Compiling Agda.Interaction.Base [231 of 429] Compiling Agda.TypeChecking.Pretty.Warning[boot] [232 of 429] Compiling Agda.TypeChecking.Warnings [233 of 429] Compiling Agda.Interaction.Response [234 of 429] Compiling Agda.TypeChecking.Monad.State [235 of 429] Compiling Agda.TypeChecking.Monad.Trace [236 of 429] Compiling Agda.TypeChecking.Monad.Open [237 of 429] Compiling Agda.TypeChecking.Monad.Context [238 of 429] Compiling Agda.TypeChecking.Polarity[boot] [239 of 429] Compiling Agda.TypeChecking.Monad.Modality [240 of 429] Compiling Agda.Interaction.Options.Lenses [241 of 429] Compiling Agda.TypeChecking.Monad.Closure [242 of 429] Compiling Agda.TypeChecking.Monad.Constraints [243 of 429] Compiling Agda.TypeChecking.Constraints[boot] [244 of 429] Compiling Agda.TypeChecking.Monad.Mutual [245 of 429] Compiling Agda.TypeChecking.Monad.SizedTypes [246 of 429] Compiling Agda.Syntax.Scope.Monad [247 of 429] Compiling Agda.Syntax.Scope.Flat [248 of 429] Compiling Agda.Syntax.Concrete.Operators [249 of 429] Compiling Agda.Interaction.FindFile [250 of 429] Compiling Agda.TypeChecking.Monad.Options [251 of 429] Compiling Agda.TypeChecking.Monad.Signature [252 of 429] Compiling Agda.TypeChecking.Datatypes[boot] [253 of 429] Compiling Agda.TypeChecking.Monad.Pure [254 of 429] Compiling Agda.TypeChecking.Primitive.Cubical.Base[boot] [255 of 429] Compiling Agda.TypeChecking.Irrelevance[boot] [256 of 429] Compiling Agda.TypeChecking.Serialise.Instances.Common [257 of 429] Compiling Agda.TypeChecking.Serialise.Instances.Highlighting [258 of 429] Compiling Agda.TypeChecking.Serialise.Instances.Abstract [259 of 429] Compiling Agda.TypeChecking.Telescope[boot] [260 of 429] Compiling Agda.TypeChecking.Monad.MetaVars [261 of 429] Compiling Agda.TypeChecking.MetaVars[boot] [262 of 429] Compiling Agda.TypeChecking.Monad [263 of 429] Compiling Agda.TypeChecking.Records[boot] [264 of 429] Compiling Agda.TypeChecking.Conversion[boot] [265 of 429] Compiling Agda.TypeChecking.Rules.Def[boot] [266 of 429] Compiling Agda.TypeChecking.CheckInternal[boot] [267 of 429] Compiling Agda.TypeChecking.Patterns.Match[boot] [268 of 429] Compiling Agda.TypeChecking.Empty[boot] [269 of 429] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction[boot] [270 of 429] Compiling Agda.TypeChecking.Reduce.Monad [271 of 429] Compiling Agda.ImpossibleTest [272 of 429] Compiling Agda.TypeChecking.Patterns.Abstract [273 of 429] Compiling Agda.TypeChecking.EtaContract [274 of 429] Compiling Agda.TypeChecking.Reduce [275 of 429] Compiling Agda.TypeChecking.Telescope [276 of 429] Compiling Agda.TypeChecking.Level [277 of 429] Compiling Agda.TypeChecking.LevelConstraints [278 of 429] Compiling Agda.TypeChecking.SyntacticEquality [279 of 429] Compiling Agda.TypeChecking.Free.Reduce [280 of 429] Compiling Agda.TypeChecking.DisplayForm [281 of 429] Compiling Agda.Interaction.Highlighting.FromAbstract [282 of 429] Compiling Agda.TypeChecking.Forcing [283 of 429] Compiling Agda.TypeChecking.MetaVars.Mention [284 of 429] Compiling Agda.TypeChecking.Level.Solve [285 of 429] Compiling Agda.Termination.RecCheck [286 of 429] Compiling Agda.TypeChecking.Rewriting.Clause [287 of 429] Compiling Agda.Syntax.Translation.ReflectedToAbstract [288 of 429] Compiling Agda.Compiler.Treeless.Unused [289 of 429] Compiling Agda.Interaction.Highlighting.LaTeX.Base [290 of 429] Compiling Agda.TypeChecking.Serialise.Instances.Compilers [291 of 429] Compiling Agda.TypeChecking.Serialise.Instances.Internal [292 of 429] Compiling Agda.TypeChecking.Serialise.Instances.Errors [293 of 429] Compiling Agda.TypeChecking.Serialise.Instances [294 of 429] Compiling Agda.TypeChecking.Serialise [295 of 429] Compiling Agda.TypeChecking.DeadCode [296 of 429] Compiling Agda.Syntax.IdiomBrackets [297 of 429] Compiling Agda.Syntax.DoNotation [298 of 429] Compiling Agda.Interaction.Highlighting.Vim [299 of 429] Compiling Agda.Interaction.Highlighting.HTML.Base [300 of 429] Compiling Agda.Compiler.Treeless.Identity [301 of 429] Compiling Agda.Compiler.Treeless.Builtin [302 of 429] Compiling Agda.Compiler.MAlonzo.Coerce [303 of 429] Compiling Agda.Compiler.CallCompiler [304 of 429] Compiling Agda.TypeChecking.CompiledClause.Match [305 of 429] Compiling Agda.Compiler.Treeless.EliminateDefaults [306 of 429] Compiling Agda.Syntax.Translation.AbstractToConcrete [307 of 429] Compiling Agda.Syntax.Abstract.Pretty [308 of 429] Compiling Agda.Syntax.Translation.InternalToAbstract [309 of 429] Compiling Agda.TypeChecking.Pretty [310 of 429] Compiling Agda.TypeChecking.Pretty.Constraint[boot] [311 of 429] Compiling Agda.TypeChecking.Pretty.Call [312 of 429] Compiling Agda.TypeChecking.Functions [313 of 429] Compiling Agda.TypeChecking.Datatypes [314 of 429] Compiling Agda.TypeChecking.Names [315 of 429] Compiling Agda.TypeChecking.Primitive.Base [316 of 429] Compiling Agda.TypeChecking.Quote [317 of 429] Compiling Agda.TypeChecking.Primitive.Cubical.Base [318 of 429] Compiling Agda.TypeChecking.Primitive.Cubical.Id [319 of 429] Compiling Agda.TypeChecking.Primitive.Cubical.Glue [320 of 429] Compiling Agda.TypeChecking.Primitive.Cubical.HCompU [321 of 429] Compiling Agda.TypeChecking.Primitive.Cubical [322 of 429] Compiling Agda.TypeChecking.Primitive [323 of 429] Compiling Agda.Compiler.Treeless.Simplify [324 of 429] Compiling Agda.Compiler.Treeless.EliminateLiteralPatterns [325 of 429] Compiling Agda.TypeChecking.Telescope.Path [326 of 429] Compiling Agda.TypeChecking.Irrelevance [327 of 429] Compiling Agda.TypeChecking.Records [328 of 429] Compiling Agda.TypeChecking.Rewriting.NonLinPattern [329 of 429] Compiling Agda.TypeChecking.Positivity [330 of 429] Compiling Agda.TypeChecking.Pretty.Warning [331 of 429] Compiling Agda.TypeChecking.Errors [332 of 429] Compiling Agda.TypeChecking.Pretty.Constraint [333 of 429] Compiling Agda.TypeChecking.SizedTypes [334 of 429] Compiling Agda.TypeChecking.Polarity [335 of 429] Compiling Agda.TypeChecking.ProjectionLike [336 of 429] Compiling Agda.TypeChecking.Sort [337 of 429] Compiling Agda.TypeChecking.Rules.LHS.Problem [338 of 429] Compiling Agda.TypeChecking.Implicit [339 of 429] Compiling Agda.TypeChecking.Rules.LHS.Implicit [340 of 429] Compiling Agda.TypeChecking.SizedTypes.Syntax [341 of 429] Compiling Agda.TypeChecking.SizedTypes.WarshallSolver [342 of 429] Compiling Agda.TypeChecking.Rules.LHS.Unify.Types [343 of 429] Compiling Agda.TypeChecking.Rules.LHS.Unify.LeftInverse [344 of 429] Compiling Agda.TypeChecking.Patterns.Match [345 of 429] Compiling Agda.TypeChecking.Conversion.Pure [346 of 429] Compiling Agda.TypeChecking.Rules.LHS.ProblemRest [347 of 429] Compiling Agda.TypeChecking.Coverage.Match [348 of 429] Compiling Agda.TypeChecking.InstanceArguments [349 of 429] Compiling Agda.TypeChecking.Constraints [350 of 429] Compiling Agda.TypeChecking.MetaVars.Occurs [351 of 429] Compiling Agda.TypeChecking.Rules.LHS.Unify [352 of 429] Compiling Agda.TypeChecking.RecordPatterns [353 of 429] Compiling Agda.TypeChecking.Rules.Display [354 of 429] Compiling Agda.TypeChecking.Injectivity [355 of 429] Compiling Agda.Termination.Monad [356 of 429] Compiling Agda.TypeChecking.Rewriting.NonLinMatch [357 of 429] Compiling Agda.TypeChecking.Lock [358 of 429] Compiling Agda.TypeChecking.MetaVars [359 of 429] Compiling Agda.TypeChecking.SizedTypes.Solve [360 of 429] Compiling Agda.TypeChecking.Coverage.SplitClause [361 of 429] Compiling Agda.TypeChecking.Coverage.Cubical [362 of 429] Compiling Agda.Interaction.Highlighting.Generate [363 of 429] Compiling Agda.TypeChecking.Opacity [364 of 429] Compiling Agda.Compiler.Treeless.Erase [365 of 429] Compiling Agda.TypeChecking.Conversion [366 of 429] Compiling Agda.TypeChecking.CheckInternal [367 of 429] Compiling Agda.TypeChecking.Abstract [368 of 429] Compiling Agda.TypeChecking.With [369 of 429] Compiling Agda.TypeChecking.ReconstructParameters [370 of 429] Compiling Agda.TypeChecking.Rules.LHS [371 of 429] Compiling Agda.TypeChecking.Generalize [372 of 429] Compiling Agda.TypeChecking.Rules.Data [373 of 429] Compiling Agda.TypeChecking.Modalities [374 of 429] Compiling Agda.TypeChecking.IApplyConfluence [375 of 429] Compiling Agda.TypeChecking.Rewriting.Confluence [376 of 429] Compiling Agda.TypeChecking.Rewriting [377 of 429] Compiling Agda.TypeChecking.Reduce.Fast [378 of 429] Compiling Agda.TypeChecking.Unquote [379 of 429] Compiling Agda.TypeChecking.Rules.Term [380 of 429] Compiling Agda.TypeChecking.Rules.Builtin [381 of 429] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction [382 of 429] Compiling Agda.TypeChecking.Coverage [383 of 429] Compiling Agda.TypeChecking.Empty [384 of 429] Compiling Agda.TypeChecking.CompiledClause.Compile [385 of 429] Compiling Agda.TypeChecking.Rules.Def [386 of 429] Compiling Agda.TypeChecking.Rules.Application [387 of 429] Compiling Agda.TypeChecking.Rules.Record [388 of 429] Compiling Agda.Compiler.ToTreeless [389 of 429] Compiling Agda.Termination.TermCheck [390 of 429] Compiling Agda.TypeChecking.Rules.Decl [391 of 429] Compiling Agda.TheTypeChecker [392 of 429] Compiling Agda.Syntax.Translation.ConcreteToAbstract [393 of 429] Compiling Agda.Interaction.BasicOps [394 of 429] Compiling Agda.Interaction.Imports [395 of 429] Compiling Agda.Compiler.Common [396 of 429] Compiling Agda.Compiler.Backend [397 of 429] Compiling Agda.Compiler.JS.Compiler [398 of 429] Compiling Agda.Interaction.Highlighting.LaTeX.Backend [399 of 429] Compiling Agda.Interaction.Highlighting.LaTeX [400 of 429] Compiling Agda.Interaction.Highlighting.HTML.Backend [401 of 429] Compiling Agda.Interaction.Highlighting.HTML [402 of 429] Compiling Agda.Interaction.Highlighting.Dot.Backend [403 of 429] Compiling Agda.Interaction.Highlighting.Dot [404 of 429] Compiling Agda.Compiler.MAlonzo.Misc [405 of 429] Compiling Agda.Compiler.MAlonzo.Primitives [406 of 429] Compiling Agda.Compiler.MAlonzo.Encode [407 of 429] Compiling Agda.Compiler.MAlonzo.Pretty [408 of 429] Compiling Agda.Compiler.MAlonzo.Pragmas [409 of 429] Compiling Agda.Compiler.MAlonzo.HaskellTypes [410 of 429] Compiling Agda.Compiler.MAlonzo.Compiler [411 of 429] Compiling Agda.Compiler.Builtin [412 of 429] Compiling Agda.Syntax.Internal.SanityCheck [413 of 429] Compiling Agda.Interaction.Monad [414 of 429] Compiling Agda.Interaction.JSON [415 of 429] Compiling Agda.Interaction.Highlighting.Common [416 of 429] Compiling Agda.Interaction.Highlighting.JSON [417 of 429] Compiling Agda.Compiler.Treeless.NormalizeNames [418 of 429] Compiling Agda.TypeChecking.Patterns.Internal [419 of 429] Compiling Agda.Interaction.MakeCase [420 of 429] Compiling Agda.Interaction.Highlighting.Emacs [421 of 429] Compiling Agda.Interaction.CommandLine [422 of 429] Compiling Agda.Interaction.SearchAbout [423 of 429] Compiling Agda.Auto.Convert [424 of 429] Compiling Agda.Auto.Auto [425 of 429] Compiling Agda.Interaction.InteractionTop [426 of 429] Compiling Agda.Interaction.AgdaTop error: Bad exit status from /var/tmp/rpm-tmp.YWMFWd (%build) Bad exit status from /var/tmp/rpm-tmp.YWMFWd (%build) RPM build errors: Child return code was: 1 EXCEPTION: [Error('Command failed: \n # bash --login -c /usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/Agda.spec\n', 1)] Traceback (most recent call last): File "/usr/lib/python3.11/site-packages/mockbuild/trace_decorator.py", line 93, in trace result = func(*args, **kw) ^^^^^^^^^^^^^^^^^ File "/usr/lib/python3.11/site-packages/mockbuild/util.py", line 598, 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 --noclean --target riscv64 --nodeps /builddir/build/SPECS/Agda.spec