Mock Version: 6.5
Mock Version: 6.5
Mock Version: 6.5
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/alt-ergo.spec'], chrootPath='/var/lib/mock/f45-build-1664-306/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3f88916e90>timeout=864000uid=995gid=135user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.7r59czt2:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'])
Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.7r59czt2:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']
Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', 'caab914c080f48f08d7541da06ce6c02', '-D', '/var/lib/mock/f45-build-1664-306/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.7r59czt2:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/alt-ergo.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1789430400
Wrote: /builddir/build/SRPMS/alt-ergo-2.4.3-5.fc45.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/alt-ergo.spec'], chrootPath='/var/lib/mock/f45-build-1664-306/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3f88916e90>timeout=864000uid=995gid=135user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.7r59czt2:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'])
Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.7r59czt2:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']
Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '3130532b100f405a8dd8f8094c5f3f2d', '-D', '/var/lib/mock/f45-build-1664-306/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.7r59czt2:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/alt-ergo.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1789430400
Executing(mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.ZtUDN5
Creating(rpmbuild.env): /builddir/build/BUILD/alt-ergo-2.4.3-build/rpmbuild.env
  RPM_SOURCE_DIR="/builddir/build/SOURCES"
  RPM_BUILD_DIR="/builddir/build/BUILD/alt-ergo-2.4.3-build"
  RPM_OPT_FLAGS="-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wno-complain-wrong-lang -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  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer"
  RPM_LD_FLAGS="-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes  "
  RPM_ARCH="riscv64"
  RPM_OS="linux"
  RPM_BUILD_NCPUS="8"
  RPM_SPECPARTS_DIR="/builddir/build/BUILD/alt-ergo-2.4.3-build/SPECPARTS"
  export RPM_SOURCE_DIR RPM_BUILD_DIR RPM_OPT_FLAGS RPM_ARCH RPM_OS RPM_BUILD_NCPUS RPM_SPECPARTS_DIR RPM_LD_FLAGS
  RPM_DOC_DIR="/usr/share/doc"
  export RPM_DOC_DIR
  RPM_PACKAGE_NAME="alt-ergo"
  RPM_PACKAGE_VERSION="2.4.3"
  RPM_PACKAGE_RELEASE="5.fc45"
  export RPM_PACKAGE_NAME RPM_PACKAGE_VERSION RPM_PACKAGE_RELEASE
  LANG=C.UTF-8
  export LANG
  unset CDPATH DISPLAY ||:
  unset DEBUGINFOD_URLS ||:
  unset RPM_CONFIG_DIR ||:
  RPM_BUILD_ROOT="/builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT"
  export RPM_BUILD_ROOT
  
  PKG_CONFIG_PATH="${PKG_CONFIG_PATH}:/usr/lib64/pkgconfig:/usr/share/pkgconfig"
  export PKG_CONFIG_PATH
  CONFIG_SITE=${CONFIG_SITE:-NONE}
  export CONFIG_SITE
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.moYP2C
+ umask 022
+ cd /builddir/build/BUILD/alt-ergo-2.4.3-build
+ cd /builddir/build/BUILD/alt-ergo-2.4.3-build
+ rm -rf alt-ergo-2.4.3-free
+ /usr/bin/rpmuncompress -x /builddir/build/SOURCES/alt-ergo-free-2.4.3.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd alt-ergo-2.4.3-free
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ /usr/bin/rpmuncompress /builddir/build/SOURCES/alt-ergo-forward-compat.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ /usr/bin/rpmuncompress /builddir/build/SOURCES/alt-ergo-deprecation.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ /usr/bin/rpmuncompress /builddir/build/SOURCES/alt-ergo-datadir.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ /usr/bin/rpmuncompress /builddir/build/SOURCES/alt-ergo-inline-error.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ /usr/bin/rpmuncompress /builddir/build/SOURCES/alt-ergo-cmdliner.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%conf): /bin/sh -e /var/tmp/rpm-tmp.s5QJ1r
+ umask 022
+ cd /builddir/build/BUILD/alt-ergo-2.4.3-build
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-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  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-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  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-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  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-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=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes  '
+ 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.4.3-free
+ 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 -
/builddir/build/BUILD/alt-ergo-2.4.3-build/alt-ergo-2.4.3-free
+ ./configure --prefix=/usr --libdir=/usr/lib64/ocaml --mandir=/usr/share/man
Using provided value for 'prefix' : /usr
Using provided value for 'libdir' : /usr/lib64/ocaml
Using provided value for 'mandir' : /usr/share/man
Generating file src/lib/util/config.ml...done.
Generating file src/bin/text/flags.dune...done.
Generating file Makefile.config...done.
Good to go!
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.Rsmvkh
+ umask 022
+ cd /builddir/build/BUILD/alt-ergo-2.4.3-build
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-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  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-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  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-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  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-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=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes  '
+ 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.4.3-free
+ /usr/bin/make -O -j8 V=1 VERBOSE=1
dune build  @install
ln -sf _build/install/default/bin/alt-ergo alt-ergo
ln -sf _build/install/default/bin/altgr-ergo altgr-ergo
File "_none_", line 1:
Warning 58 [no-cmx-file]: no cmx file was found in path for module
  Build_info__Build_info_data, and its interface was not compiled
  with -opaque
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.JD4VEe
+ umask 022
+ cd /builddir/build/BUILD/alt-ergo-2.4.3-build
+ '[' /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT '!=' / ']'
+ rm -rf /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT
++ dirname /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT
+ mkdir -p /builddir/build/BUILD/alt-ergo-2.4.3-build
+ mkdir /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-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  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-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  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-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  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-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=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes  '
+ 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.4.3-free
+ dune install --destdir=/builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT --verbose --release -j8
Shared cache enabled cache_enabled: Enabled_except_user_rules
Shared cache location root_dir: "/builddir/.cache/dune/db"
Workspace root root: "/builddir/build/BUILD/alt-ergo-2.4.3-build/alt-ergo-2.4.3-free"
Dune context context: { name = "default"
; kind = "default"
; profile = Release
; merlin = true
; fdo_target_exe = None
; build_dir = In_build_dir "default"
; instrument_with = []
}
Installing /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-free/META
Installing /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-free/dune-package
Installing /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-free/opam
Installing /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/bin/alt-ergo
Installing /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/share/alt-ergo-free/plugins/fm-simplex-plugin.cma
Installing /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/share/alt-ergo-free/plugins/fm-simplex-plugin.cmxs
Installing /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/share/alt-ergo-free/preludes/b-set-theory-prelude-2018-09-28.ae
Installing /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/share/alt-ergo-free/preludes/b-set-theory-prelude-2020-02-28.ae
Installing /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/share/alt-ergo-free/preludes/fpa-theory-2017-01-04-16h00.ae
Installing /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/share/alt-ergo-free/preludes/fpa-theory-2019-06-14-11h00.ae
Installing /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/share/alt-ergo-free/preludes/fpa-theory-2019-10-08-19h00.ae
Installing /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/doc/alt-ergo-free/CHANGES.md
Installing /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/doc/alt-ergo-free/LICENSE.md
Installing /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/doc/alt-ergo-free/README.md
Installing /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/doc/alt-ergo-free/odoc-config.sexp
Installing /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/share/man/man1/alt-ergo.1
+ '[' -d _build/default/_doc/_html ']'
+ rm -rf /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/doc
++ find /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/lib64/ocaml -name '*.mli'
+ mlis=
+ rm -f
+ /usr/bin/python3 /usr/lib/rpm/redhat/ocaml_files.py /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT /usr/lib64/ocaml
+ chmod 0755 /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/share/alt-ergo-free/plugins/fm-simplex-plugin.cmxs
+ mv /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/share/alt-ergo-free/plugins /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/share/alt-ergo-free/preludes /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-free
+ rmdir /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/share/alt-ergo-free
+ cat
+ /usr/bin/find-debuginfo -j8 --strict-build-id -m -i --build-id-seed 2.4.3-5.fc45 --unique-debug-suffix -2.4.3-5.fc45.riscv64 --unique-debug-src-base alt-ergo-2.4.3-5.fc45.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 --remove-section .gnu.build.attributes -S debugsourcefiles.list /builddir/build/BUILD/alt-ergo-2.4.3-build/alt-ergo-2.4.3-free
find-debuginfo: starting
Extracting debug info from 2 files
DWARF-compressing 2 files
sepdebugcrcfix: Updated 2 CRC32s, 0 CRC32s did match.
Creating .debug symlinks for symlinks to ELF files
Copying sources found by 'debugedit -l' to /usr/src/debug/alt-ergo-2.4.3-5.fc45.riscv64
cpio: _build/default/atomic.ml: Cannot stat: No such file or directory
cpio: _build/default/big_int.ml: Cannot stat: No such file or directory
cpio: _build/default/buffer.ml: Cannot stat: No such file or directory
cpio: _build/default/bytes.ml: Cannot stat: No such file or directory
cpio: _build/default/camlinternalMod.ml: Cannot stat: No such file or directory
cpio: _build/default/char.ml: Cannot stat: No such file or directory
cpio: _build/default/cmdliner_arg.ml: Cannot stat: No such file or directory
cpio: _build/default/cmdliner_base.ml: Cannot stat: No such file or directory
cpio: _build/default/cmdliner_def.ml: Cannot stat: No such file or directory
cpio: _build/default/cmdliner_eval.ml: Cannot stat: No such file or directory
cpio: _build/default/format.ml: Cannot stat: No such file or directory
cpio: _build/default/hashtbl.ml: Cannot stat: No such file or directory
cpio: _build/default/lexing.ml: Cannot stat: No such file or directory
cpio: _build/default/list.ml: Cannot stat: No such file or directory
cpio: _build/default/map.ml: Cannot stat: No such file or directory
cpio: _build/default/num.ml: Cannot stat: No such file or directory
cpio: _build/default/otherlibs/dune-build-info/src/build_info.ml: Cannot stat: No such file or directory
cpio: _build/default/otherlibs/dynlink/dynlink_common.ml: Cannot stat: No such file or directory
cpio: _build/default/printf.ml: Cannot stat: No such file or directory
cpio: _build/default/q.ml: Cannot stat: No such file or directory
cpio: _build/default/queue.ml: Cannot stat: No such file or directory
cpio: _build/default/random.ml: Cannot stat: No such file or directory
cpio: _build/default/ratio.ml: Cannot stat: No such file or directory
cpio: _build/default/scanf.ml: Cannot stat: No such file or directory
cpio: _build/default/seq.ml: Cannot stat: No such file or directory
cpio: _build/default/src/basic.ml: Cannot stat: No such file or directory
cpio: _build/default/src/lib/options.ml: Cannot stat: No such file or directory
cpio: _build/default/src/lib/smtlib_parser.ml: Cannot stat: No such file or directory
cpio: _build/default/src/lib/smtlib_ty.ml: Cannot stat: No such file or directory
cpio: _build/default/src/result.ml: Cannot stat: No such file or directory
cpio: _build/default/stack.ml: Cannot stat: No such file or directory
cpio: _build/default/stdlib.ml: Cannot stat: No such file or directory
cpio: _build/default/str.ml: Cannot stat: No such file or directory
cpio: _build/default/string.ml: Cannot stat: No such file or directory
cpio: _build/default/unix.ml: Cannot stat: No such file or directory
cpio: _build/default/z.ml: Cannot stat: No such file or directory
find-debuginfo: done
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ COMPRESS='gzip -9 -n'
+ COMPRESS_EXT=.gz
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip
+ /usr/lib/rpm/check-rpaths
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
+ /usr/lib/rpm/brp-remove-la-files
+ /usr/lib/rpm/redhat/brp-python-rpm-in-distinfo
+ env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j8
+ /usr/lib/rpm/redhat/brp-python-hardlink
+ /usr/bin/add-det --brp -j8 /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT
Scanned 37 directories and 100 files,
    processed 1 inodes,
    0 modified (0 replaced + 0 rewritten),
    0 unsupported format, 0 errors
+ /usr/bin/linkdupes --brp /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr
Scanned 36 directories and 100 files,
    considered 100 files, read 0 files, linked 0 files, 0 errors
    sum of sizes of linked files: 0 bytes
Reading /builddir/build/BUILD/alt-ergo-2.4.3-build/SPECPARTS/rpm-debuginfo.specpart
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.lgD7Vz
+ umask 022
+ cd /builddir/build/BUILD/alt-ergo-2.4.3-build
+ CFLAGS='-O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-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  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-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  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-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  -march=rva23u64 -mabi=lp64d -fasynchronous-unwind-tables -fno-omit-frame-pointer -mno-omit-leaf-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=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes  '
+ 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.4.3-free
+ dune runtest --verbose --release -j8
Shared cache enabled cache_enabled: Enabled_except_user_rules
Shared cache location root_dir: "/builddir/.cache/dune/db"
Workspace root root: "/builddir/build/BUILD/alt-ergo-2.4.3-build/alt-ergo-2.4.3-free"
Dune context context: { name = "default"
; kind = "default"
; profile = Release
; merlin = true
; fdo_target_exe = None
; build_dir = In_build_dir "default"
; instrument_with = []
}
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: alt-ergo-2.4.3-5.fc45.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.DesMal
+ umask 022
+ cd /builddir/build/BUILD/alt-ergo-2.4.3-build
+ cd alt-ergo-2.4.3-free
+ DOCDIR=/builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/share/doc/alt-ergo
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/share/doc/alt-ergo
+ cp -pr /builddir/build/BUILD/alt-ergo-2.4.3-build/alt-ergo-2.4.3-free/CHANGES.md /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/share/doc/alt-ergo
+ cp -pr /builddir/build/BUILD/alt-ergo-2.4.3-build/alt-ergo-2.4.3-free/README.md /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/share/doc/alt-ergo
+ cp -pr /builddir/build/BUILD/alt-ergo-2.4.3-build/alt-ergo-2.4.3-free/examples /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/share/doc/alt-ergo
+ cp -pr /builddir/build/BUILD/alt-ergo-2.4.3-build/alt-ergo-2.4.3-free/rsc/publications/Alt-Ergo--Atelier-B--RSSR-2016.pdf /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/share/doc/alt-ergo
+ cp -pr /builddir/build/BUILD/alt-ergo-2.4.3-build/alt-ergo-2.4.3-free/rsc/publications/Alt-Ergo-2.2--SMT-Workshop-2018.pdf /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT/usr/share/doc/alt-ergo
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: alt-ergo = 2.4.3-5.fc45 alt-ergo(riscv-64) = 2.4.3-5.fc45 alt-ergo-gui = 2.4.3-5.fc45 ocaml(FmSimplexPlugin) = 6a673a5587731c5b546540e2b650c96c ocaml(FmSimplexPlugin__FmSimplexIneqs) = 052575c8b0c3b72e6acd725c520b2846 ocaml(FmSimplexPlugin__Simplex) = 78a7ae3116df06b61f31924366cf1587 ocaml(FmSimplexPlugin__Simplex_cache) = 0803fc376e1f7022fbdfc4a542756bf4 ocaml-alt-ergo-lib = 2.4.3-5.fc45 ocaml-alt-ergo-lib-devel = 2.4.3-5.fc45 ocaml-alt-ergo-parsers = 2.4.3-5.fc45 ocaml-alt-ergo-parsers-devel = 2.4.3-5.fc45
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libc.so.6(GLIBC_2.28)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libc.so.6(GLIBC_2.42)(64bit) libgmp.so.10()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) libz-ng.so.2()(64bit) libz-ng.so.2(ZLIB_NG_2.0.0)(64bit) libz-ng.so.2(ZLIB_NG_2.1.0)(64bit) ocaml(Big_int) = 25a354c15e414d88c77a83e93c28316f ocaml(CamlinternalFormatBasics) = 5cba8713ea434e43a50cd422bda47dda ocaml(FmSimplexPlugin) = 6a673a5587731c5b546540e2b650c96c ocaml(FmSimplexPlugin__Simplex) = 78a7ae3116df06b61f31924366cf1587 ocaml(FmSimplexPlugin__Simplex_cache) = 0803fc376e1f7022fbdfc4a542756bf4 ocaml(Nat) = 22c05132ffc7d932c269f39d91edbe44 ocaml(Num) = fdd39f09075577c844b182c69b70b411 ocaml(Ratio) = 654005b43aa6f966070312666252fe63 ocaml(Stdlib) = 5debf066d2f080eabc33d8b71099252f ocaml(Stdlib__Array) = 09ad905d6230fc4f28ae1b69e8675e79 ocaml(Stdlib__Buffer) = c0940caa52bfb8d306ed2ca69af87ed6 ocaml(Stdlib__Domain) = d11ad689f3e35d9892101961a1201121 ocaml(Stdlib__Either) = e4e548dbb128df23a9325d9cba39fc2f ocaml(Stdlib__Format) = 5b2f2a54d0831d599db87620d18b8ca1 ocaml(Stdlib__Hashtbl) = 6df0309fbcf3f1661d9e3d07a603aa3e ocaml(Stdlib__Lexing) = 738e4c77ef59ce13f6f1eeecd20678b3 ocaml(Stdlib__List) = 81a27a0a9af489e91fa1d99f325067c2 ocaml(Stdlib__Map) = a9944feda56cab2432578db95de546a3 ocaml(Stdlib__Queue) = e259a6289d4b4587c82128e5e4a93d77 ocaml(Stdlib__Seq) = b55b17884ef0dff6295517debe21f111 ocaml(Stdlib__Set) = 878d51b56f0f7be3121d17ee49b6ece5 ocaml(Stdlib__String) = 10f6a338df78df4f5987192086ffa3c9 ocaml(Stdlib__Uchar) = ffc32f05aeea05f14986ec532040e8b1 rtld(GNU_HASH)
Obsoletes: alt-ergo-gui < 2.4 ocaml-alt-ergo-lib < 2.4 ocaml-alt-ergo-lib-devel < 2.4 ocaml-alt-ergo-parsers < 2.4 ocaml-alt-ergo-parsers-devel < 2.4
Processing files: alt-ergo-debugsource-2.4.3-5.fc45.riscv64
Provides: alt-ergo-debugsource = 2.4.3-5.fc45 alt-ergo-debugsource(riscv-64) = 2.4.3-5.fc45
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: alt-ergo-debuginfo-2.4.3-5.fc45.riscv64
Provides: alt-ergo-debuginfo = 2.4.3-5.fc45 alt-ergo-debuginfo(riscv-64) = 2.4.3-5.fc45 debuginfo(build-id) = 1c22e26d039e34a196e8e84558969e6f654772b0 debuginfo(build-id) = dd3bc7f0102eafae0a16f040030412dc287256fb
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: alt-ergo-debugsource(riscv-64) = 2.4.3-5.fc45
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/alt-ergo-2.4.3-build/BUILDROOT
Wrote: /builddir/build/RPMS/alt-ergo-debugsource-2.4.3-5.fc45.riscv64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-debuginfo-2.4.3-5.fc45.riscv64.rpm
Wrote: /builddir/build/RPMS/alt-ergo-2.4.3-5.fc45.riscv64.rpm
Child return code was: 0