D: [iurt_root_command] chroot Building target platforms: x86_64 Building for target x86_64 Installing /home/pterjan/rpmbuild/SRPMS/ocaml-ocplib-simplex-0.4.1-1.mga10.src.rpm Executing(%mkbuilddir): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.tislnI Executing(%prep): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.aliu3I + umask 022 + cd /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build + '[' 1 -eq 1 ']' + '[' 1 -eq 1 ']' + '[' 1 -eq 1 ']' + cd /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build + rm -rf ocplib-simplex-0.4.1 + /usr/lib/rpm/rpmuncompress -x /home/pterjan/rpmbuild/SOURCES/ocplib-simplex-0.4.1.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd ocplib-simplex-0.4.1 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/lib/rpm/rpmuncompress /home/pterjan/rpmbuild/SOURCES/ocaml-ocplib-simplex-tests.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /home/pterjan/rpmbuild/SOURCES/ocaml-ocplib-simplex-destdir.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /home/pterjan/rpmbuild/SOURCES/ocaml-ocplib-simplex-autoconf.patch + autoconf + sed -i /OCAMLFIND_DESTDIR/d Makefile.in + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.CpWjcn + umask 022 + cd /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-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 ocplib-simplex-0.4.1 + '[' 1 -eq 1 ']' + '[' 1 -eq 1 ']' + 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 + CONFIGURE_TOP=. + '[' 1 = 1 ']' ++ find . -name config.guess -o -name config.sub + /usr/lib/rpm/mageia/force-as-needed-for-shared-lib-in-libtool Forcing -Wl,--as-needed in configure/libtool to workaround libtool bug (cf http://lists.gnu.org/archive/html/libtool-patches/2004-06/msg00002.html) + /usr/lib/rpm/mageia/drop-ld-no-undefined-for-shared-lib-modules-in-libtool + /usr/lib/rpm/mageia/fix-libtool-ltmain-from-overlinking + /usr/lib/rpm/mageia/fix-libtool-from-moving-options-after-libs . + /usr/lib/rpm/mageia/fix-dlsearch-path-in-libtool-for-multilib . lib64 + ./configure --host=x86_64-mageia-linux-gnu --build=x86_64-mageia-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info configure: WARNING: unrecognized options: --disable-dependency-tracking checking for ocamlc... ocamlc ocaml version is 5.3.0 ocaml library path is /usr/lib64/ocaml checking for ocamlfind... yes checking for ocamlopt... ocamlopt checking ocamlopt version... ok checking for ocamlc.opt... ocamlc.opt checking ocamlc.opt version... ok checking for ocamlopt.opt... ocamlopt.opt checking ocamlopt.opt version... ok checking for ocamldep... ocamldep checking platform... configure: creating ./config.status config.status: creating Makefile config.status: WARNING: 'Makefile.in' seems to ignore the --datarootdir setting configure: WARNING: unrecognized options: --disable-dependency-tracking + /usr/bin/make -O -j16 V=1 VERBOSE=1 opt cp src/extSigs.mli src/extSigs.ml cp src/coreSig.mli src/coreSig.ml ocamldep -I src src/*.ml* > .depend ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/version.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/extSigs.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/extSigs.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/polys.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/version.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/rat2.mli ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/version.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/extSigs.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/rat2.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/coreSig.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/polys.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/core.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/solveBounds.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/result.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/assertBounds.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/coreSig.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/rat2.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/polys.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/basic.mli ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/result.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/assertBounds.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/solveBounds.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/core.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/coreSig.ml ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/basic.ml ocamlc.opt -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -pack -o src/ocplibSimplex.cmo src/version.cmo src/rat2.cmo src/extSigs.cmo src/polys.cmo src/coreSig.cmo src/core.cmo src/result.cmo src/assertBounds.cmo src/solveBounds.cmo src/basic.cmo ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/result.ml ocamlc.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -o src/ocplibSimplex.cma src/ocplibSimplex.cmo ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/core.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/assertBounds.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/solveBounds.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/basic.ml ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -pack -o src/ocplibSimplex.cmx src/version.cmx src/rat2.cmx src/extSigs.cmx src/polys.cmx src/coreSig.cmx src/core.cmx src/result.cmx src/assertBounds.cmx src/solveBounds.cmx src/basic.cmx ocamlopt.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -o src/ocplibSimplex.cmxa src/ocplibSimplex.cmx ocamlopt.opt -shared -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -o src/ocplibSimplex.cmxs src/ocplibSimplex.cmx + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.ZzST5W + umask 022 + cd /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build + '[' 1 -eq 1 ']' + '[' /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT '!=' / ']' + rm -rf /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT ++ dirname /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT + mkdir -p /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build + mkdir /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT + 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 ocplib-simplex-0.4.1 + '[' 1 -eq 1 ']' + export OCAMLFIND_DESTDIR=/home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml + OCAMLFIND_DESTDIR=/home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml + mkdir -p /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml + /usr/bin/make install DESTDIR=/home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT 'INSTALL=/usr/bin/install -p' mkdir -p /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/usr/lib64 ocamlfind install ocplib-simplex src/ocplibSimplex.* src/*.mli META Installed /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/version.mli Installed /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/solveBounds.mli Installed /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/result.mli Installed /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/rat2.mli Installed /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/polys.mli Installed /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/extSigs.mli Installed /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/coreSig.mli Installed /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/core.mli Installed /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/basic.mli Installed /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/assertBounds.mli Installed /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.o Installed /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmxs Installed /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmxa Installed /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmx Installed /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmt Installed /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmo Installed /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmi Installed /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cma Installed /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.a Installed /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/lib64/ocaml/ocplib-simplex/META + rm -fr /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/usr + /usr/bin/python3 /usr/lib/rpm/redhat/ocaml_files.py /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT /usr/lib64/ocaml + /usr/bin/find-debuginfo -j16 --strict-build-id -m -i --build-id-seed 0.4.1-1.mga10 --unique-debug-suffix -0.4.1-1.mga10.x86_64 --unique-debug-src-base ocaml-ocplib-simplex-0.4.1-1.mga10.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -S debugsourcefiles.list /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/ocplib-simplex-0.4.1 find-debuginfo: starting Extracting debug info from 1 files DWARF-compressing 1 files sepdebugcrcfix: Updated 1 CRC32s, 0 CRC32s did match. Creating .debug symlinks for symlinks to ELF files Copying sources found by 'debugedit -l' to /usr/src/debug/ocaml-ocplib-simplex-0.4.1-1.mga10.x86_64 cpio: camlinternalLazy.ml: Cannot stat: No such file or directory cpio: format.ml: Cannot stat: No such file or directory cpio: list.ml: Cannot stat: No such file or directory cpio: map.ml: Cannot stat: No such file or directory cpio: set.ml: Cannot stat: No such file or directory find-debuginfo: done + /usr/lib/rpm/check-buildroot + '[' -n '' ']' + /usr/share/spec-helper/clean_files + '[' -n '' ']' + /usr/share/spec-helper/compress_files .xz + '[' -n '' ']' + /usr/share/spec-helper/relink_symlinks + '[' -n '' ']' + /usr/share/spec-helper/clean_perl + '[' -n '' ']' + /usr/share/spec-helper/lib_symlinks + '[' -n '' ']' + /usr/share/spec-helper/gprintify + '[' -n '' ']' + /usr/share/spec-helper/fix_mo + '[' -n '' ']' + /usr/share/spec-helper/fix_pamd + '[' -n '' ']' + /usr/share/spec-helper/remove_info_dir + '[' -n '' ']' + /usr/share/spec-helper/fix_eol + '[' -n '' ']' + /usr/share/spec-helper/check_desktop_files + '[' -n '' ']' + /usr/share/spec-helper/check_elf_files + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/brp-remove-la-files + /usr/lib/rpm/redhat/brp-mangle-shebangs + env -u SOURCE_DATE_EPOCH /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j16 + /usr/lib/rpm/redhat/brp-python-hardlink Reading /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/SPECPARTS/rpm-debuginfo.specpart Executing(%check): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.kcFm6v + umask 022 + cd /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-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 ocplib-simplex-0.4.1 + '[' 1 -eq 1 ']' + make local-tests ocamlc.opt -o standalone_minimal_local.byte -I src -I tests ocplibSimplex.cma nums.cma tests/standalone_minimal.ml ./standalone_minimal_local.byte 2> /dev/null -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ The problem is unsat! reason: x+y<=-1, x>=0, y>=0 -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ ocamlopt.opt -o standalone_minimal_local.opt -I src -I tests ocplibSimplex.cmxa nums.cmxa tests/standalone_minimal.ml ./standalone_minimal_local.opt 2> /dev/null -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ The problem is unsat! reason: x+y<=-1, x>=0, y>=0 -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ ocamlc.opt -o standalone_minimal_maximization_local.byte -I src -I tests ocplibSimplex.cma nums.cma tests/standalone_minimal_maximization.ml ./standalone_minimal_maximization_local.byte 2> /dev/null -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ The problem 'max (1) * x + (1) * y' ... has an upper bound: 10 (is_le = true)(reason: x+y<=10) -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ The problem 'max (1) * y' ... has an upper bound: 7 (is_le = true)(reason: x+y<=10, x>=3) -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ The problem 'max (-1) * y' ... is unbounded -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ ocamlopt.opt -o standalone_minimal_maximization_local.opt -I src -I tests ocplibSimplex.cmxa nums.cmxa tests/standalone_minimal_maximization.ml ./standalone_minimal_maximization_local.opt 2> /dev/null -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ The problem 'max (1) * x + (1) * y' ... has an upper bound: 10 (is_le = true)(reason: x+y<=10) -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ The problem 'max (1) * y' ... has an upper bound: 7 (is_le = true)(reason: x+y<=10, x>=3) -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ The problem 'max (-1) * y' ... is unbounded -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ + RPM_EC=0 ++ jobs -p + exit 0 Processing files: ocaml-ocplib-simplex-0.4.1-1.mga10.x86_64 Executing(%doc): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.fYNt8o + umask 022 + cd /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build + cd ocplib-simplex-0.4.1 + DOCDIR=/home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/share/doc/ocaml-ocplib-simplex + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/share/doc/ocaml-ocplib-simplex + cp -pr /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/ocplib-simplex-0.4.1/README.md /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/share/doc/ocaml-ocplib-simplex + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.J5hTYj + umask 022 + cd /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build + cd ocplib-simplex-0.4.1 + LICENSEDIR=/home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/share/licenses/ocaml-ocplib-simplex + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/share/licenses/ocaml-ocplib-simplex + cp -pr /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/ocplib-simplex-0.4.1/LICENSE /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/share/licenses/ocaml-ocplib-simplex + RPM_EC=0 ++ jobs -p + exit 0 Provides: ocaml(OcplibSimplex) = dc5f4be0eeaf43d2658100fcf4b8af23 ocaml-ocplib-simplex = 0.4.1-1.mga10 ocaml-ocplib-simplex(x86-64) = 0.4.1-1.mga10 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(CamlinternalLazy) = e6f402abe3d0b60a19bf6c6c6c6f0848 ocaml(Stdlib) = cfc6abca663b2d71db1750a2c051cf6e ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4 ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54 ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5 ocaml(Stdlib__Format) = 60af4e0c98f0be0b9d368a2a09700b3a ocaml(Stdlib__Lazy) = 1d6be45458ac0f04df24caf4c6b0825f ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Map) = c89b7925344cf894dcfa15de9855271e ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__Set) = 35df46d1279edd62fbcfbe1072794627 ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b Processing files: ocaml-ocplib-simplex-devel-0.4.1-1.mga10.x86_64 Executing(%doc): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.PVczU3 + umask 022 + cd /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build + cd ocplib-simplex-0.4.1 + DOCDIR=/home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/share/doc/ocaml-ocplib-simplex-devel + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/share/doc/ocaml-ocplib-simplex-devel + cp -pr /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/ocplib-simplex-0.4.1/extra/simplex_invariants.txt /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT/usr/share/doc/ocaml-ocplib-simplex-devel + RPM_EC=0 ++ jobs -p + exit 0 Provides: ocaml(OcplibSimplex) = dc5f4be0eeaf43d2658100fcf4b8af23 ocaml-ocplib-simplex-devel = 0.4.1-1.mga10 ocaml-ocplib-simplex-devel(x86-64) = 0.4.1-1.mga10 ocamlx(OcplibSimplex) = f1e4c6cbcc9b42a918f078976363937d Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(CamlinternalLazy) = e6f402abe3d0b60a19bf6c6c6c6f0848 ocaml(Stdlib) = cfc6abca663b2d71db1750a2c051cf6e ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4 ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54 ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5 ocaml(Stdlib__Format) = 60af4e0c98f0be0b9d368a2a09700b3a ocaml(Stdlib__Lazy) = 1d6be45458ac0f04df24caf4c6b0825f ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Map) = c89b7925344cf894dcfa15de9855271e ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__Set) = 35df46d1279edd62fbcfbe1072794627 ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b ocamlx(CamlinternalLazy) = 8fa5efa863f9bc5a5c55714e835af459 ocamlx(Stdlib) = 9dc4e5eb1428b4b83037e136de64d07b ocamlx(Stdlib__Format) = 9fd07a8bda3b6871f15d2dd899999381 ocamlx(Stdlib__List) = c3a511aa4a318695fc8c537a066b344c ocamlx(Stdlib__Map) = a456eae5d3ec76b4f7dca372677b3855 ocamlx(Stdlib__Set) = ca3329bd88b2209993548f45ede07372 Processing files: ocaml-ocplib-simplex-debugsource-0.4.1-1.mga10.x86_64 Provides: ocaml-ocplib-simplex-debugsource = 0.4.1-1.mga10 ocaml-ocplib-simplex-debugsource(x86-64) = 0.4.1-1.mga10 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: ocaml-ocplib-simplex-debuginfo-0.4.1-1.mga10.x86_64 Provides: debuginfo(build-id) = b09f139808b4f85ff94db5de7ee93b3f3d4cd527 ocaml-ocplib-simplex-debuginfo = 0.4.1-1.mga10 ocaml-ocplib-simplex-debuginfo(x86-64) = 0.4.1-1.mga10 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: ocaml-ocplib-simplex-debugsource(x86-64) = 0.4.1-1.mga10 Checking for unpackaged file(s): /usr/lib/rpm/check-files /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build/BUILDROOT Wrote: /home/pterjan/rpmbuild/RPMS/x86_64/ocaml-ocplib-simplex-debugsource-0.4.1-1.mga10.x86_64.rpm Wrote: /home/pterjan/rpmbuild/RPMS/x86_64/ocaml-ocplib-simplex-debuginfo-0.4.1-1.mga10.x86_64.rpm Wrote: /home/pterjan/rpmbuild/RPMS/x86_64/ocaml-ocplib-simplex-0.4.1-1.mga10.x86_64.rpm Wrote: /home/pterjan/rpmbuild/RPMS/x86_64/ocaml-ocplib-simplex-devel-0.4.1-1.mga10.x86_64.rpm Executing(rmbuild): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.Q172Ss + umask 022 + cd /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build + test -d /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build + rm -rf /home/pterjan/rpmbuild/BUILD/ocaml-ocplib-simplex-0.4.1-build + RPM_EC=0 ++ jobs -p + exit 0 D: [iurt_root_command] Success!