D: [iurt_root_command] chroot
Building target platforms: x86_64
Building for target x86_64
Installing /home/pterjan/rpmbuild/SRPMS/coq-flocq-4.1.0-2.mga10.src.rpm
Executing(%mkbuilddir): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.74Vqeb
Executing(%prep): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.tMkoBZ
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD/coq-flocq-4.1.0-build
+ '[' 1 -eq 1 ']'
+ '[' 1 -eq 1 ']'
+ '[' 1 -eq 1 ']'
+ cd /home/pterjan/rpmbuild/BUILD/coq-flocq-4.1.0-build
+ rm -rf flocq-4.1.0
+ /usr/lib/rpm/rpmuncompress -x /home/pterjan/rpmbuild/SOURCES/flocq-4.1.0.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd flocq-4.1.0
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ sed -i 's,\(--coqlib \)[^[:blank:]]*,\1/usr/lib64/ocaml/coq,' Remakefile.in
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.6SXY1e
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD/coq-flocq-4.1.0-build
+ CFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full'
+ export CFLAGS
+ CXXFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full'
+ export CXXFLAGS
+ FFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full '
+ export FFLAGS
+ FCFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,--as-needed -Wl,--no-undefined -Wl,-z,relro -Wl,-z,now -Wl,-O1 -Wl,--build-id=sha1 -Wl,--enable-new-dtags -specs=/usr/lib/rpm/redhat/redhat-hardened-ld'
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd flocq-4.1.0
+ '[' 1 -eq 1 ']'
+ '[' 1 -eq 1 ']'
+ ./configure
checking for coqc... /usr/bin/coqc
checking Coq version... 8.20.1
checking for coqdep... /usr/bin/coqdep
checking for coqdoc... /usr/bin/coqdoc
checking whether the C++ compiler works... yes
checking for C++ compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C++ compiler... yes
checking whether g++ accepts -g... yes
configure: building remake...
/usr/bin/ld: /tmp/ccJXQdL2.o: in function `main':
remake.cpp:(.text.startup+0xec3): warning: the use of `tempnam' is dangerous, better use `mkstemp'
configure: creating ./config.status
config.status: creating Remakefile
config.status: creating src/Version.v
config.status: creating src/IEEE754/Int63Compat.v
+ ./remake all doc
Building src/Version.vo
File "./src/Version.v", line 30, characters 6-18:
Warning: Unused variable Empty_string might be a misspelled constructor. Use
_ or _Empty_string to silence this warning.
[unused-pattern-matching-variable,default]
Finished src/Version.vo
Building src/Core/Raux.vo
Building src/Core/Zaux.vo
File "./src/Core/Zaux.v", line 327, characters 2-6:
Warning: Notation Zmod is deprecated since 8.17.
Use Coq.ZArith.BinIntDef.Z.modulo instead
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
File "./src/Core/Zaux.v", line 327, characters 8-12:
Warning: Notation Zmod is deprecated since 8.17.
Use Coq.ZArith.BinIntDef.Z.modulo instead
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
File "./src/Core/Zaux.v", line 327, characters 28-32:
Warning: Notation Zmod is deprecated since 8.17.
Use Coq.ZArith.BinIntDef.Z.modulo instead
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
File "./src/Core/Zaux.v", line 361, characters 10-14:
Warning: Notation Zmod is deprecated since 8.17.
Use Coq.ZArith.BinIntDef.Z.modulo instead
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
File "./src/Core/Zaux.v", line 361, characters 31-35:
Warning: Notation Zmod is deprecated since 8.17.
Use Coq.ZArith.BinIntDef.Z.modulo instead
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
File "./src/Core/Zaux.v", line 367, characters 25-29:
Warning: Notation Zmod is deprecated since 8.17.
Use Coq.ZArith.BinIntDef.Z.modulo instead
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
File "./src/Core/Zaux.v", line 367, characters 25-29:
Warning: Notation Zmod is deprecated since 8.17.
Use Coq.ZArith.BinIntDef.Z.modulo instead
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
File "./src/Core/Zaux.v", line 367, characters 25-29:
Warning: Notation Zmod is deprecated since 8.17.
Use Coq.ZArith.BinIntDef.Z.modulo instead
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
File "./src/Core/Zaux.v", line 367, characters 25-29:
Warning: Notation Zmod is deprecated since 8.17.
Use Coq.ZArith.BinIntDef.Z.modulo instead
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
File "./src/Core/Zaux.v", line 855, characters 31-35:
Warning: Notation Zmod is deprecated since 8.17.
Use Coq.ZArith.BinIntDef.Z.modulo instead
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
File "./src/Core/Zaux.v", line 858, characters 14-18:
Warning: Notation Zmod is deprecated since 8.17.
Use Coq.ZArith.BinIntDef.Z.modulo instead
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
File "./src/Core/Zaux.v", line 991, characters 0-20:
Error: The variable plus_0_r was not found in the current environment.

Failed to build src/Core/Zaux.vo
Failed to build src/Core/Raux.vo
Failed to build all
error: Bad exit status from /home/pterjan/rpmbuild/tmp/rpm-tmp.6SXY1e (%build)

RPM build errors:
    Bad exit status from /home/pterjan/rpmbuild/tmp/rpm-tmp.6SXY1e (%build)
I: [iurt_root_command] ERROR: chroot