D: [iurt_root_command] chroot Building target platforms: x86_64 Building for target x86_64 Installing /home/iurt/rpmbuild/SRPMS/@2192941:alt-ergo-2.3.3-1.mga10.src.rpm Executing(%mkbuilddir): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.iLxEOT Executing(%prep): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.BSoxIJ + umask 022 + cd /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build + '[' 1 -eq 1 ']' + '[' 1 -eq 1 ']' + '[' 1 -eq 1 ']' + cd /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build + rm -rf alt-ergo-2.3.0-free + /usr/lib/rpm/rpmuncompress -x /home/iurt/rpmbuild/SOURCES/alt-ergo-free-2.3.0.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd alt-ergo-2.3.0-free + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + rm -rf sources + tar xf /home/iurt/rpmbuild/SOURCES/alt-ergo-free-2.3.3.tar.gz + /usr/lib/rpm/rpmuncompress /home/iurt/rpmbuild/SOURCES/alt-ergo-pervasives.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /home/iurt/rpmbuild/SOURCES/alt-ergo-psmt2-frontend.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /home/iurt/rpmbuild/SOURCES/alt-ergo-menhir.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /home/iurt/rpmbuild/SOURCES/alt-ergo-forward-compat.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /home/iurt/rpmbuild/SOURCES/alt-ergo-dune3.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + cd sources + cd examples/AB-Why3-plugin + unzip p4_34.why.zip Archive: p4_34.why.zip inflating: p4_34.why + rm p4_34.why.zip + cd - /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/sources + rm -f altgr-ergo.opam + rm -rf tools/gui/ + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.ccz9yG + umask 022 + cd /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-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 alt-ergo-2.3.0-free + '[' 1 -eq 1 ']' + '[' 1 -eq 1 ']' + cd sources + ./configure --prefix=/usr --libdir=/usr/lib64/ocaml --sharedir=/usr/lib64/ocaml File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The unix subdirectory has been automatically added to the search path, but you should add -I +unix to the command-line to silence this alert (e.g. by adding unix to the list of libraries in your dune file, or adding use_unix to your _tags file for ocamlbuild, or using -package unix for ocamlfind). File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The unix subdirectory has been automatically added to the search path, but you should add -I +unix to the command-line to silence this alert (e.g. by adding unix to the list of libraries in your dune file, or adding use_unix to your _tags file for ocamlbuild, or using -package unix for ocamlfind). Using provided value for 'prefix' : /usr Using provided value for 'libdir' : /usr/lib64/ocaml Using provided value for 'sharedir' : /usr/lib64/ocaml Using default value for 'mandir' : /usr/man Using default value for 'pluginsdir' : /usr/lib64/ocaml/alt-ergo/plugins Using default value for 'preludesdir' : /usr/lib64/ocaml/alt-ergo/preludes Generating file lib/util/config.ml...done. Generating file Makefile.config...done. Found dune in path. Good to go ! + make lib dune build \ lib/AltErgoLib.cma \ lib/AltErgoLib.cmxa \ lib/AltErgoLib.cmxs File "lib/util/util.mli", line 62, characters 6-12: 62 | val [@inline always] compare_algebraic : 'a -> 'a -> (('a * 'a) -> int) -> int ^^^^^^ Error (warning 53 [misplaced-attribute]): the "inline" attribute cannot appear in this context File "lib/util/util.mli", line 64, characters 6-12: 64 | val [@inline always] cmp_lists: 'a list -> 'a list -> ('a -> 'a -> int) -> int ^^^^^^ Error (warning 53 [misplaced-attribute]): the "inline" attribute cannot appear in this context make: *** [Makefile:59: lib] Error 1 error: Bad exit status from /home/iurt/rpmbuild/tmp/rpm-tmp.ccz9yG (%build) RPM build errors: Bad exit status from /home/iurt/rpmbuild/tmp/rpm-tmp.ccz9yG (%build) I: [iurt_root_command] ERROR: chroot