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/ocaml-psmt2-frontend.spec'], chrootPath='/var/lib/mock/f45-build-20766-573/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 0x3f8f78ee90>timeout=864000uid=995gid=135user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.tt7ltmvn:/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.tt7ltmvn:/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', '5a90d76e61624dd69c7f428c55ae1c4e', '-D', '/var/lib/mock/f45-build-20766-573/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.tt7ltmvn:/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/ocaml-psmt2-frontend.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
Reading /var/tmp/rpm-tmp.ozLvQ6
setting SOURCE_DATE_EPOCH=1784160000
Wrote: /builddir/build/SRPMS/ocaml-psmt2-frontend-0.4.0-32.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/ocaml-psmt2-frontend.spec'], chrootPath='/var/lib/mock/f45-build-20766-573/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 0x3f8f78ee90>timeout=864000uid=995gid=135user='mockbuild'unshare_net=TrueprintOutput=Falsenspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.tt7ltmvn:/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.tt7ltmvn:/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', 'bdd063a647bb42c695dde74f53944f1d', '-D', '/var/lib/mock/f45-build-20766-573/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.tt7ltmvn:/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/ocaml-psmt2-frontend.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
Reading /var/tmp/rpm-tmp.zXkgaF
setting SOURCE_DATE_EPOCH=1784160000
Executing(mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.dppR06
Creating(rpmbuild.env): /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/rpmbuild.env
  RPM_SOURCE_DIR="/builddir/build/SOURCES"
  RPM_BUILD_DIR="/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-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/ocaml-psmt2-frontend-0.4.0-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="ocaml-psmt2-frontend"
  RPM_PACKAGE_VERSION="0.4.0"
  RPM_PACKAGE_RELEASE="32.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/ocaml-psmt2-frontend-0.4.0-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.TUDT2n
+ umask 022
+ cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ rm -rf psmt2-frontend-0.4.0
+ /usr/bin/rpmuncompress -x /builddir/build/SOURCES/psmt2-frontend-0.4.0.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd psmt2-frontend-0.4.0
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ /usr/bin/rpmuncompress /builddir/build/SOURCES/ocaml-psmt2-frontend-sphinx6.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.6fWEKZ
+ umask 022
+ cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-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 psmt2-frontend-0.4.0
+ sed -i '/^git =/d;/^branch=/d;s/^\(version = \).*/\1"0.4.0"/' sphinx/conf.py
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.K3jqtL
+ umask 022
+ cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-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 psmt2-frontend-0.4.0
+ dune build --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/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0"
File "dune-project", line 15, characters 3-31:
15 |    (psmt2-frontend (= version))
        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning: Possible typo in constraint for dependency "psmt2-frontend": '(=
version)' might be a mistake.
Hint: Did you mean to use the `:version` variable instead? Example: (depends
(psmt2-frontend (= :version)))
Dune context context: { name = "default"
; kind = "default"
; profile = Release
; merlin = true
; fdo_target_exe = None
; build_dir = In_build_dir "default"
; instrument_with = []
}
Running[1]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/version.ml) > _build/.actions/default/src/lib/1c97313f2aabd07d33b89e6b579309e1
Running[2]: (cd _build/default && /usr/bin/ocamldep.opt -modules -intf src/lib/version.mli) > _build/.actions/default/src/lib/281762444b9c92574e1a23f9348ecc58
Running[3]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/main.ml) > _build/.actions/default/src/lib/15b1da76fd05400b2b1c913c23462a9d
Running[4]: (cd _build/default && /usr/bin/ocamldep.opt -modules -intf src/lib/options.mli) > _build/.actions/default/src/lib/e8f38b2eb336bf3217f265318ca0fb8d
Running[5]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/options.ml) > _build/.actions/default/src/lib/b4989c824aa0c821b61c7ee10fe1b415
Running[6]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_error.ml) > _build/.actions/default/src/lib/0056dd84bc0274eaa833d3a7acc288b0
Running[7]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_printer.ml) > _build/.actions/default/src/lib/3a7c04eb65e473ea725787bb23bbb50e
Running[8]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_syntax.ml) > _build/.actions/default/src/lib/5d04e1740f0b0281fcffbd3490a841fc
Running[9]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_ty.ml) > _build/.actions/default/src/lib/db8b75e76c9ae8727bcbbad82733f842
Running[10]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_typed_env.ml) > _build/.actions/default/src/lib/938d6f0ed6841fdaf4fb2205fcad3353
Running[11]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_typed_logic.ml) > _build/.actions/default/src/lib/754ec427e886aabdcb043e46b4fb4b0b
Running[12]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_typing.ml) > _build/.actions/default/src/lib/cbca2b84811cb3deb987e2f88527f651
Running[13]: (cd _build/default && /usr/bin/menhir src/lib/smtlib_parser.mly --base src/lib/smtlib_parser --infer-write-query src/lib/smtlib_parser__mock.ml.mock)
Running[14]: (cd _build/.sandbox/0683bcc3f1cc75aa7f86b8749ce603c4/default && /usr/bin/ocamllex -q -o src/lib/smtlib_lexer.ml src/lib/smtlib_lexer.mll)
Running[15]: (cd _build/default && /usr/bin/ocamlc.opt -nopervasives -nostdlib -w -40 -w -53 -w -49 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend.cmo -c -impl src/lib/psmt2Frontend.ml-gen)
Running[16]: (cd _build/default && /usr/bin/ocamlopt.opt -nopervasives -nostdlib -w -40 -w -53 -w -49 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend.cmi -no-alias-deps -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend.cmx -c -impl src/lib/psmt2Frontend.ml-gen)
Running[17]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Main.cmo -c -impl src/lib/main.ml)
Running[18]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.cmi -c -intf src/lib/options.mli)
Running[19]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.cmi -c -intf src/lib/version.mli)
Output[13]:
File "src/lib/smtlib_parser.mly", line 192, characters 0-6:
Note: the nonterminal symbol option is renamed src_lib_smtlib_parser_option.
Running[20]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_parser__mock.ml.mock) > _build/.actions/default/src/lib/55ad868565ec590f93baa4c9025a392d
Running[21]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.cmi -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.cmo -c -impl src/lib/version.ml)
Running[22]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.cmi -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Version.cmx -c -impl src/lib/version.ml)
Running[23]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Main.cmi -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Main.cmx -c -impl src/lib/main.ml)
Running[24]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.cmi -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.cmo -c -impl src/lib/options.ml)
Running[25]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.cmi -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Options.cmx -c -impl src/lib/options.ml)
Running[26]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_error.cmo -c -impl src/lib/smtlib_error.ml)
Running[27]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_lexer.ml) > _build/.actions/default/src/lib/a6186c493371e5deb3bb0807b6fb15bb
Running[28]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_ty.cmo -c -impl src/lib/smtlib_ty.ml)
Running[29]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_error.cmi -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_error.cmx -c -impl src/lib/smtlib_error.ml)
Running[30]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_syntax.cmo -c -impl src/lib/smtlib_syntax.ml)
Running[31]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_env.cmo -c -impl src/lib/smtlib_typed_env.ml)
Running[32]: (cd _build/.sandbox/889bf2f32bc48d1eb2f5d136425f18c8/default && /usr/bin/ocamlc.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -open Psmt2Frontend -short-paths -i -impl src/lib/smtlib_parser__mock.ml.mock) > _build/.sandbox/889bf2f32bc48d1eb2f5d136425f18c8/default/src/lib/smtlib_parser__mock.mli.inferred
Running[33]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_ty.cmi -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_ty.cmx -c -impl src/lib/smtlib_ty.ml)
Running[34]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_printer.cmo -c -impl src/lib/smtlib_printer.ml)
Running[35]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_logic.cmo -c -impl src/lib/smtlib_typed_logic.ml)
Running[36]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typing.cmo -c -impl src/lib/smtlib_typing.ml)
Running[37]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_syntax.cmi -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_syntax.cmx -c -impl src/lib/smtlib_syntax.ml)
Running[38]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_env.cmi -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_env.cmx -c -impl src/lib/smtlib_typed_env.ml)
Running[39]: (cd _build/default && /usr/bin/menhir src/lib/smtlib_parser.mly --base src/lib/smtlib_parser --infer-read-reply src/lib/smtlib_parser__mock.mli.inferred)
Output[39]:
Warning: 22 states have end-of-stream conflicts.
Warning: 22 end-of-stream conflicts were arbitrarily resolved.
File "<standard.mly>", line 214, characters 16-16:
Warning: production list(term) -> is never reduced.
Warning: in total, 1 production is never reduced.
Running[40]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_parser.ml) > _build/.actions/default/src/lib/f2ba5b6a9e2d21dc9d1fb1835754cc59
Running[41]: (cd _build/default && /usr/bin/ocamldep.opt -modules -intf src/lib/smtlib_parser.mli) > _build/.actions/default/src/lib/8b5f346d07f0d4e0c481c3d4a7aa433a
Running[42]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.cmi -c -intf src/lib/smtlib_parser.mli)
Running[43]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_lexer.cmo -c -impl src/lib/smtlib_lexer.ml)
Running[44]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_printer.cmi -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_printer.cmx -c -impl src/lib/smtlib_printer.ml)
Running[45]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_logic.cmi -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_logic.cmx -c -impl src/lib/smtlib_typed_logic.ml)
Running[46]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/bin/.main.eobjs/byte -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -o src/bin/.main.eobjs/byte/dune__exe__Main.cmo -c -impl src/bin/main.ml)
Running[47]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.cmi -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.cmo -c -impl src/lib/smtlib_parser.ml)
Running[48]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.cmi -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_parser.cmx -c -impl src/lib/smtlib_parser.ml)
Running[49]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typing.cmi -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typing.cmx -c -impl src/lib/smtlib_typing.ml)
Running[50]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -a -o src/lib/psmt2Frontend.cma src/lib/.psmt2Frontend.objs/byte/psmt2Frontend.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_error.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_ty.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_syntax.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_env.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_printer.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typed_logic.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_typing.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_lexer.cmo src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Main.cmo)
Running[51]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -cmi-file src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_lexer.cmi -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_lexer.cmx -c -impl src/lib/smtlib_lexer.ml)
Running[52]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/bin/.main.eobjs/byte -I src/bin/.main.eobjs/native -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -cmi-file src/bin/.main.eobjs/byte/dune__exe__Main.cmi -no-alias-deps -o src/bin/.main.eobjs/native/dune__exe__Main.cmx -c -impl src/bin/main.ml)
Running[53]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -a -o src/lib/psmt2Frontend.cmxa src/lib/.psmt2Frontend.objs/native/psmt2Frontend.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Version.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Options.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_error.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_ty.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_syntax.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_env.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_printer.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_logic.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typing.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_parser.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_lexer.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Main.cmx)
Running[54]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -shared -linkall -I src/lib -o src/lib/psmt2Frontend.cmxs src/lib/psmt2Frontend.cmxa)
Running[55]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -o src/bin/main.exe src/lib/psmt2Frontend.cmxa src/bin/.main.eobjs/native/dune__exe__Main.cmx)
+ make sphinx
sphinx-build sphinx docs/sphinx
Running Sphinx v9.1.0
loading translations [en]... done
making output directory... done
Converting `source_suffix = ['.rst', '.md']` to `source_suffix = {'.rst': 'restructuredtext', '.md': 'restructuredtext'}`.
building [mo]: targets for 0 po files that are out of date
writing output... 
building [html]: targets for 4 source files that are out of date
updating environment: [new config] 4 added, 0 changed, 0 removed
reading sources... [ 25%] about
reading sources... [ 50%] index
reading sources... [ 75%] install
reading sources... [100%] license
looking for now-outdated files... none found
pickling environment... done
checking consistency... done
preparing documents... done
copying assets... 
copying static files... 
Writing evaluated template result to /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/docs/sphinx/_static/basic.css
Writing evaluated template result to /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/docs/sphinx/_static/documentation_options.js
Writing evaluated template result to /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/docs/sphinx/_static/language_data.js
Writing evaluated template result to /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/docs/sphinx/_static/js/versions.js
copying static files: done
copying extra files... 
copying extra files: done
copying assets: done
writing output... [ 25%] about
writing output... [ 50%] index
writing output... [ 75%] install
writing output... [100%] license
generating indices... genindex done
writing additional pages... search done
dumping search index in English (code: en)... done
dumping object inventory... done
build succeeded.
The HTML pages are in docs/sphinx.
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.AI6Jm5
+ umask 022
+ cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ '[' /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT '!=' / ']'
+ rm -rf /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT
++ dirname /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT
+ mkdir -p /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ mkdir /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-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 psmt2-frontend-0.4.0
+ dune install --destdir=/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-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/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0"
File "dune-project", line 15, characters 3-31:
15 |    (psmt2-frontend (= version))
        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning: Possible typo in constraint for dependency "psmt2-frontend": '(=
version)' might be a mistake.
Hint: Did you mean to use the `:version` variable instead? Example: (depends
(psmt2-frontend (= :version)))
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/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/META
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/dune-package
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/main.ml
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/opam
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/options.ml
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/options.mli
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.a
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cma
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmi
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmt
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmx
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxa
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.ml
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmi
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmt
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmx
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmi
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmt
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmti
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmx
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmx
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmx
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmx
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmx
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmx
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmx
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmx
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmx
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmx
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmi
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmt
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmti
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmx
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_error.ml
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_lexer.ml
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.ml
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.mli
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_printer.ml
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_syntax.ml
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_ty.ml
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_typed_env.ml
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_typed_logic.ml
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_typing.ml
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/version.ml
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/version.mli
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxs
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend/CHANGES.md
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend/LICENSE
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend/LICENSE.md
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend/README.md
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend/odoc-pages/index.mld
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend_bin/META
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend_bin/dune-package
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend_bin/opam
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/bin/psmt2-frontend_bin
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend_bin/CHANGES.md
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend_bin/LICENSE
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend_bin/LICENSE.md
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend_bin/README.md
Installing /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend_bin/odoc-pages/index.mld
+ '[' -d _build/default/_doc/_html ']'
+ rm -rf /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc
++ find /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml -name '*.mli'
+ mlis=$'/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/options.mli\n/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/version.mli\n/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.mli'
+ rm -f /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/options.ml /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/version.ml /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.ml
+ /usr/bin/python3 /usr/lib/rpm/redhat/ocaml_files.py /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT /usr/lib64/ocaml
+ cat
+ /usr/bin/find-debuginfo -j8 --strict-build-id -m -i --build-id-seed 0.4.0-32.fc45 --unique-debug-suffix -0.4.0-32.fc45.riscv64 --unique-debug-src-base ocaml-psmt2-frontend-0.4.0-32.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/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0
find-debuginfo: starting
Extracting debug info from 3 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/ocaml-psmt2-frontend-0.4.0-32.fc45.riscv64
cpio: _build/default/<standard.mly>: Cannot stat: No such file or directory
cpio: _build/default/atomic.ml: Cannot stat: No such file or directory
cpio: _build/default/bytes.ml: Cannot stat: No such file or directory
cpio: _build/default/format.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/printf.ml: Cannot stat: No such file or directory
cpio: _build/default/seq.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/string.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/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT
/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.a: replacing with normalized version
Scanned 23 directories and 82 files,
    processed 1 inodes,
    1 modified (1 replaced + 0 rewritten),
    0 unsupported format, 0 errors
+ /usr/bin/linkdupes --brp /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr
Scanned 22 directories and 82 files,
    considered 82 files, read 16 files, linked 8 files, 0 errors
    sum of sizes of linked files: 453214 bytes
Reading /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/SPECPARTS/rpm-debuginfo.specpart
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.R4boyd
+ umask 022
+ cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-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 psmt2-frontend-0.4.0
+ 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/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0"
File "dune-project", line 15, characters 3-31:
15 |    (psmt2-frontend (= version))
        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning: Possible typo in constraint for dependency "psmt2-frontend": '(=
version)' might be a mistake.
Hint: Did you mean to use the `:version` variable instead? Example: (depends
(psmt2-frontend (= :version)))
Dune context context: { name = "default"
; kind = "default"
; profile = Release
; merlin = true
; fdo_target_exe = None
; build_dir = In_build_dir "default"
; instrument_with = []
}
Running[1]: (cd _build/default/test/output-tests && /usr/bin/cat test1.expected) > _build/default/test/output-tests/test1.output
Running[2]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I test/output-tests/.test2.eobjs/byte -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -o test/output-tests/.test2.eobjs/byte/dune__exe__Test2.cmo -c -impl test/output-tests/test2.ml)
Running[3]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I test/output-tests/.test2.eobjs/byte -I test/output-tests/.test2.eobjs/native -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -cmi-file test/output-tests/.test2.eobjs/byte/dune__exe__Test2.cmi -no-alias-deps -o test/output-tests/.test2.eobjs/native/dune__exe__Test2.cmx -c -impl test/output-tests/test2.ml)
Running[4]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -o test/output-tests/test2.exe src/lib/psmt2Frontend.cmxa test/output-tests/.test2.eobjs/native/dune__exe__Test2.cmx)
Running[5]: (cd _build/default/test/output-tests && ./test2.exe min.smt2) > _build/default/test/output-tests/test2.output
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: ocaml-psmt2-frontend-0.4.0-32.fc45.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.M7aw5F
+ umask 022
+ cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ cd psmt2-frontend-0.4.0
+ DOCDIR=/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/doc/ocaml-psmt2-frontend
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/doc/ocaml-psmt2-frontend
+ cp -pr /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/CHANGES.md /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/doc/ocaml-psmt2-frontend
+ cp -pr /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/README.md /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/doc/ocaml-psmt2-frontend
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.qEYZwK
+ umask 022
+ cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ cd psmt2-frontend-0.4.0
+ LICENSEDIR=/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/licenses/ocaml-psmt2-frontend
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/licenses/ocaml-psmt2-frontend
+ cp -pr /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/LICENSE /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/licenses/ocaml-psmt2-frontend
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ocaml(Psmt2Frontend) = 032f2d96a45fc65a7e49cb70b2603c45 ocaml(Psmt2Frontend__Main) = ad5e017002de8658c15ddf6cd9a52daf ocaml(Psmt2Frontend__Options) = 0b0d10e949354daf77aa1614e2a6c5b7 ocaml(Psmt2Frontend__Smtlib_error) = 47f297f47ff649a5137eda04d2214787 ocaml(Psmt2Frontend__Smtlib_lexer) = 020232e16ff1565e4992bc54076afbb8 ocaml(Psmt2Frontend__Smtlib_parser) = fa30b2129f93c9b00154abf2c7220f1a ocaml(Psmt2Frontend__Smtlib_printer) = 300a6578a6d07c8184349362e9c97de9 ocaml(Psmt2Frontend__Smtlib_syntax) = 26b6c0da51caa7336cf9a16d30f1dad8 ocaml(Psmt2Frontend__Smtlib_ty) = f9a0bc0c9c81307a1284f9b0dd3b8c37 ocaml(Psmt2Frontend__Smtlib_typed_env) = f605ed5f9eff2995269b6f19435a9541 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 4882167ed6a6f3d2b25a7ba10fa53dfc ocaml(Psmt2Frontend__Smtlib_typing) = e0cfba54cf1cc83f031e89439ed77b54 ocaml(Psmt2Frontend__Version) = 6af629882d9ed9d34aa90ee7996e831e ocaml-psmt2-frontend = 0.4.0-32.fc45 ocaml-psmt2-frontend(riscv-64) = 0.4.0-32.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.32)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) ocaml(CamlinternalFormatBasics) = 5cba8713ea434e43a50cd422bda47dda ocaml(Psmt2Frontend) = 032f2d96a45fc65a7e49cb70b2603c45 ocaml(Psmt2Frontend__Options) = 0b0d10e949354daf77aa1614e2a6c5b7 ocaml(Psmt2Frontend__Smtlib_error) = 47f297f47ff649a5137eda04d2214787 ocaml(Psmt2Frontend__Smtlib_parser) = fa30b2129f93c9b00154abf2c7220f1a ocaml(Psmt2Frontend__Smtlib_printer) = 300a6578a6d07c8184349362e9c97de9 ocaml(Psmt2Frontend__Smtlib_syntax) = 26b6c0da51caa7336cf9a16d30f1dad8 ocaml(Psmt2Frontend__Smtlib_ty) = f9a0bc0c9c81307a1284f9b0dd3b8c37 ocaml(Psmt2Frontend__Smtlib_typed_env) = f605ed5f9eff2995269b6f19435a9541 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 4882167ed6a6f3d2b25a7ba10fa53dfc ocaml(Stdlib) = 5debf066d2f080eabc33d8b71099252f 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__Printf) = 3303d43852c2d96a670040b4fc4aefc6 ocaml(Stdlib__Seq) = b55b17884ef0dff6295517debe21f111 ocaml(Stdlib__Stack) = 8c1adfb915ebcf7ee8b1cee69ad6daba ocaml(Stdlib__String) = 10f6a338df78df4f5987192086ffa3c9 ocaml(Stdlib__Uchar) = ffc32f05aeea05f14986ec532040e8b1 rtld(GNU_HASH)
Processing files: ocaml-psmt2-frontend-devel-0.4.0-32.fc45.riscv64
Provides: ocaml(Psmt2Frontend) = 032f2d96a45fc65a7e49cb70b2603c45 ocaml(Psmt2Frontend__Main) = ad5e017002de8658c15ddf6cd9a52daf ocaml(Psmt2Frontend__Options) = 0b0d10e949354daf77aa1614e2a6c5b7 ocaml(Psmt2Frontend__Smtlib_error) = 47f297f47ff649a5137eda04d2214787 ocaml(Psmt2Frontend__Smtlib_lexer) = 020232e16ff1565e4992bc54076afbb8 ocaml(Psmt2Frontend__Smtlib_parser) = fa30b2129f93c9b00154abf2c7220f1a ocaml(Psmt2Frontend__Smtlib_printer) = 300a6578a6d07c8184349362e9c97de9 ocaml(Psmt2Frontend__Smtlib_syntax) = 26b6c0da51caa7336cf9a16d30f1dad8 ocaml(Psmt2Frontend__Smtlib_ty) = f9a0bc0c9c81307a1284f9b0dd3b8c37 ocaml(Psmt2Frontend__Smtlib_typed_env) = f605ed5f9eff2995269b6f19435a9541 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 4882167ed6a6f3d2b25a7ba10fa53dfc ocaml(Psmt2Frontend__Smtlib_typing) = e0cfba54cf1cc83f031e89439ed77b54 ocaml(Psmt2Frontend__Version) = 6af629882d9ed9d34aa90ee7996e831e ocaml-psmt2-frontend-devel = 0.4.0-32.fc45 ocaml-psmt2-frontend-devel(riscv-64) = 0.4.0-32.fc45 ocamlx(Psmt2Frontend) = b7e583dc45047b03329440cf12421e13 ocamlx(Psmt2Frontend__Main) = 275edc0d788695f37dc876949bf19664 ocamlx(Psmt2Frontend__Options) = 8c172005e9fa195b1c82ca437d3199d1 ocamlx(Psmt2Frontend__Smtlib_error) = bd7eb7daac68e7a7152d1776ba634cc6 ocamlx(Psmt2Frontend__Smtlib_lexer) = 02ad7c75b514402149cc64f05e430089 ocamlx(Psmt2Frontend__Smtlib_parser) = cb119a93695168d58ec4d6962c4aac1f ocamlx(Psmt2Frontend__Smtlib_printer) = 458f8cd5f4dd316c93df4ec4c7c1e420 ocamlx(Psmt2Frontend__Smtlib_syntax) = b8c676b20b4c95dfee934014cffeeead ocamlx(Psmt2Frontend__Smtlib_ty) = 54e3ba38af60b14e40dcd358764fceb0 ocamlx(Psmt2Frontend__Smtlib_typed_env) = c2939a9e10a69f199089deb5064b7d8f ocamlx(Psmt2Frontend__Smtlib_typed_logic) = ddc27a5550ca3d5633632b9cd254d531 ocamlx(Psmt2Frontend__Smtlib_typing) = 5cce69157aae382fca5c91e4cd1bb26e ocamlx(Psmt2Frontend__Version) = fd1d406f4ea81307aa2ac7f6f0e3b75b
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(CamlinternalFormatBasics) = 5cba8713ea434e43a50cd422bda47dda ocaml(Psmt2Frontend) = 032f2d96a45fc65a7e49cb70b2603c45 ocaml(Psmt2Frontend__Options) = 0b0d10e949354daf77aa1614e2a6c5b7 ocaml(Psmt2Frontend__Smtlib_error) = 47f297f47ff649a5137eda04d2214787 ocaml(Psmt2Frontend__Smtlib_parser) = fa30b2129f93c9b00154abf2c7220f1a ocaml(Psmt2Frontend__Smtlib_printer) = 300a6578a6d07c8184349362e9c97de9 ocaml(Psmt2Frontend__Smtlib_syntax) = 26b6c0da51caa7336cf9a16d30f1dad8 ocaml(Psmt2Frontend__Smtlib_ty) = f9a0bc0c9c81307a1284f9b0dd3b8c37 ocaml(Psmt2Frontend__Smtlib_typed_env) = f605ed5f9eff2995269b6f19435a9541 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 4882167ed6a6f3d2b25a7ba10fa53dfc ocaml(Stdlib) = 5debf066d2f080eabc33d8b71099252f 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__Printf) = 3303d43852c2d96a670040b4fc4aefc6 ocaml(Stdlib__Seq) = b55b17884ef0dff6295517debe21f111 ocaml(Stdlib__Stack) = 8c1adfb915ebcf7ee8b1cee69ad6daba ocaml(Stdlib__String) = 10f6a338df78df4f5987192086ffa3c9 ocaml(Stdlib__Uchar) = ffc32f05aeea05f14986ec532040e8b1 ocamlx(CamlinternalFormat) = dc180c9176757c64c3bec891737192f7 ocamlx(Psmt2Frontend__Options) = 8c172005e9fa195b1c82ca437d3199d1 ocamlx(Psmt2Frontend__Smtlib_error) = bd7eb7daac68e7a7152d1776ba634cc6 ocamlx(Psmt2Frontend__Smtlib_printer) = 458f8cd5f4dd316c93df4ec4c7c1e420 ocamlx(Psmt2Frontend__Smtlib_ty) = 54e3ba38af60b14e40dcd358764fceb0 ocamlx(Psmt2Frontend__Smtlib_typed_env) = c2939a9e10a69f199089deb5064b7d8f ocamlx(Psmt2Frontend__Smtlib_typed_logic) = ddc27a5550ca3d5633632b9cd254d531 ocamlx(Stdlib) = 10ea0d72067578752b9337ef13a8c4b8 ocamlx(Stdlib__Atomic) = d55db5d280f80c26c1b5eeb03902c2c7 ocamlx(Stdlib__Bytes) = f22b9e15bc8cc33a9742247380af4768 ocamlx(Stdlib__Domain) = 32ffc2b1cbdf4c3e65fe5afd238d092a ocamlx(Stdlib__Format) = 088b18472bb48a6edaae7e95b2b7364a ocamlx(Stdlib__Hashtbl) = 7835a42f37391041e5d9126bfd5756c1 ocamlx(Stdlib__Lexing) = b48968d2cf35735d90237b1bb8998ba5 ocamlx(Stdlib__List) = de311163159cc81659beef6dd6b5f114 ocamlx(Stdlib__Map) = 7ff330d1ec1fddc5b9f97b46956bd026 ocamlx(Stdlib__Printf) = ee4f90b3db36f6456cb9e4cb712076f2 ocamlx(Stdlib__Random) = 8b26d96b069a78205a969d251a9c67d2 ocamlx(Stdlib__Stack) = e91536cd44f7dc783942cf12c7ef4750 ocamlx(Stdlib__String) = 16164d7a73bab99870c22d145e17a925
Processing files: ocaml-psmt2-frontend-docs-0.4.0-32.fc45.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.UoMlH3
+ umask 022
+ cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ cd psmt2-frontend-0.4.0
+ DOCDIR=/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/doc/ocaml-psmt2-frontend-docs
+ export LC_ALL=C.UTF-8
+ LC_ALL=C.UTF-8
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/doc/ocaml-psmt2-frontend-docs
+ cp -pr /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/docs/sphinx /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/doc/ocaml-psmt2-frontend-docs
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ocaml-psmt2-frontend-docs = 0.4.0-32.fc45 ocaml-psmt2-frontend-docs(riscv-64) = 0.4.0-32.fc45
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: ocaml-psmt2-frontend-debugsource-0.4.0-32.fc45.riscv64
Provides: ocaml-psmt2-frontend-debugsource = 0.4.0-32.fc45 ocaml-psmt2-frontend-debugsource(riscv-64) = 0.4.0-32.fc45
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: ocaml-psmt2-frontend-debuginfo-0.4.0-32.fc45.riscv64
Provides: debuginfo(build-id) = 7ef1eff29a7bd4f477ef47b920bf80c792572ee8 debuginfo(build-id) = b87b2ef02e1d4dc3f281daf8690f6295f8c1e466 ocaml-psmt2-frontend-debuginfo = 0.4.0-32.fc45 ocaml-psmt2-frontend-debuginfo(riscv-64) = 0.4.0-32.fc45
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: ocaml-psmt2-frontend-debugsource(riscv-64) = 0.4.0-32.fc45
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT
Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-docs-0.4.0-32.fc45.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-debugsource-0.4.0-32.fc45.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-debuginfo-0.4.0-32.fc45.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-0.4.0-32.fc45.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-devel-0.4.0-32.fc45.riscv64.rpm
Child return code was: 0