Mock Version: 5.0
Mock Version: 5.0
Mock Version: 5.0
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/f41-build-820364-152200/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 0x3f70295f50>timeout=604800uid=982gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.yhglcuqe:/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']unshare_net=TrueprintOutput=False)
Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.yhglcuqe:/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', '738073cf1a7e47b087249ac7a715cfb2', '-D', '/var/lib/mock/f41-build-820364-152200/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.yhglcuqe:/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
setting SOURCE_DATE_EPOCH=1721260800
Wrote: /builddir/build/SRPMS/ocaml-psmt2-frontend-0.4.0-19.fc41.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/f41-build-820364-152200/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 0x3f70295f50>timeout=604800uid=982gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.yhglcuqe:/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']unshare_net=TrueprintOutput=False)
Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.yhglcuqe:/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', 'b332bda15037450fbf059917522e129e', '-D', '/var/lib/mock/f41-build-820364-152200/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.yhglcuqe:/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
setting SOURCE_DATE_EPOCH=1721260800
Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.lWzB5h
+ umask 022
+ cd /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ test -d /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ /usr/bin/rm -rf /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ /usr/bin/mkdir -p /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ /usr/bin/mkdir -p /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/SPECPARTS
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.j01AiN
+ 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/lib/rpm/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/lib/rpm/rpmuncompress /builddir/build/SOURCES/ocaml-psmt2-frontend-sphinx6.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ 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.jv8R5J
+ 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  -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  -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  -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  -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-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 -j64
Shared cache: disabled
Shared cache location: /builddir/.cache/dune/db
Workspace root:
/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0
Dune context:
 { name = "default"
 ; kind = "default"
 ; profile = Release
 ; merlin = true
 ; fdo_target_exe = None
 ; build_dir = In_build_dir "default"
 ; instrument_with = []
 }
Actual targets:
- recursive alias @install
Running[1]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -w -49 -nopervasives -nostdlib -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[2]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/version.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Version.impl.d
Running[3]: (cd _build/default && /usr/bin/ocamllex -q -o src/lib/smtlib_lexer.ml src/lib/smtlib_lexer.mll)
Running[4]: (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[5]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -w -49 -nopervasives -nostdlib -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml-gen -no-alias-deps -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend.cmx -c -impl src/lib/psmt2Frontend.ml-gen)
Running[6]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/main.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Main.impl.d
Running[7]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/options.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Options.impl.d
Running[8]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_error.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_error.impl.d
Running[9]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_printer.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_printer.impl.d
Running[10]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_syntax.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_syntax.impl.d
Running[11]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_ty.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_ty.impl.d
Running[12]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_typed_env.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_typed_env.impl.d
Running[13]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_typed_logic.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_typed_logic.impl.d
Running[14]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_typing.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_typing.impl.d
Running[15]: (cd _build/default && /usr/bin/ocamldep.opt -modules -intf src/lib/options.mli) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Options.intf.d
Running[16]: (cd _build/default && /usr/bin/ocamldep.opt -modules -intf src/lib/version.mli) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Version.intf.d
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[4]:
Note: the nonterminal symbol option (from src/lib/smtlib_parser.mly) 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/default/src/lib/.psmt2Frontend.objs/smtlib_parser__mock.impl.d
Running[21]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -intf-suffix .ml -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/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Options.cmo -c -impl src/lib/options.ml)
Running[23]: (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[24]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Version.cmx -c -impl src/lib/version.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 -intf-suffix .ml -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/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Main.cmx -c -impl src/lib/main.ml)
Running[27]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_lexer.ml) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_lexer.impl.d
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/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[30]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_error.cmx -c -impl src/lib/smtlib_error.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/2d34fae27ec4d2318c4dab8ae22f9295/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/2d34fae27ec4d2318c4dab8ae22f9295/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 -intf-suffix .ml -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/menhir src/lib/smtlib_parser.mly --base src/lib/smtlib_parser --infer-read-reply src/lib/smtlib_parser__mock.mli.inferred)
Running[38]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_syntax.cmx -c -impl src/lib/smtlib_syntax.ml)
Running[39]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_env.cmx -c -impl src/lib/smtlib_typed_env.ml)
Output[37]:
Note: the nonterminal symbol option (from src/lib/smtlib_parser.mly) is renamed src_lib_smtlib_parser_option.
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/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_parser.impl.d
Running[41]: (cd _build/default && /usr/bin/ocamldep.opt -modules -intf src/lib/smtlib_parser.mli) > _build/default/src/lib/.psmt2Frontend.objs/psmt2Frontend__Smtlib_parser.intf.d
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 -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_parser.cmx -c -impl src/lib/smtlib_parser.ml)
Running[45]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/lib/.psmt2Frontend.objs/byte -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.cmo -c -impl src/lib/smtlib_parser.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/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_printer.cmx -c -impl src/lib/smtlib_printer.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 -intf-suffix .ml -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[49]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -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 -intf-suffix .ml -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 -intf-suffix .ml -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)
Promoting "_build/default/psmt2-frontend.install" to "psmt2-frontend.install"
Promoting "_build/default/psmt2-frontend_bin.install" to
"psmt2-frontend_bin.install"
+ make sphinx
sphinx-build sphinx docs/sphinx
Running Sphinx v7.2.6
making output directory... done
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... done
copying extra files... done
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.8EUTVS
+ 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  -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  -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  -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  -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-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 -j64
Shared cache: disabled
Shared cache location: /builddir/.cache/dune/db
Workspace root:
/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0
Dune 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
/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.mli
/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/version.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/smtlib_parser.ml /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/version.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
+ /usr/bin/find-debuginfo -j64 --strict-build-id -m -i --build-id-seed 0.4.0-19.fc41 --unique-debug-suffix -0.4.0-19.fc41.riscv64 --unique-debug-src-base ocaml-psmt2-frontend-0.4.0-19.fc41.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -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 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/ocaml-psmt2-frontend-0.4.0-19.fc41.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
1633 blocks
find-debuginfo: done
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/check-rpaths
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
+ /usr/lib/rpm/brp-remove-la-files
+ env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j64
+ /usr/lib/rpm/redhat/brp-python-hardlink
+ /usr/bin/add-determinism --brp -j64 /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
Reading /builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/SPECPARTS/rpm-debuginfo.specpart
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.VPXosM
+ 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  -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  -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  -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  -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-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 -j64
Shared cache: disabled
Shared cache location: /builddir/.cache/dune/db
Workspace root:
/builddir/build/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0
Dune 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 -intf-suffix .ml -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-19.fc41.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.xSvxys
+ 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.0sW14e
+ 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) = 16e934f5e87089e766aa09562a438efe ocaml(Psmt2Frontend__Main) = 62ce7a6bbd072ff51760d98afa01724e ocaml(Psmt2Frontend__Options) = 0183792009bdd1ccf4fc3356a77f3c76 ocaml(Psmt2Frontend__Smtlib_error) = 3cae633711eff5613643b0cf8d65678e ocaml(Psmt2Frontend__Smtlib_lexer) = 8ac611cd5def81338137aeba51e08c1a ocaml(Psmt2Frontend__Smtlib_parser) = 576c780e497c40c2a031856279f82a6e ocaml(Psmt2Frontend__Smtlib_printer) = 128804738431a0ff1ca2e849585079d6 ocaml(Psmt2Frontend__Smtlib_syntax) = e8d687333df9e302eed84e0d62d4c727 ocaml(Psmt2Frontend__Smtlib_ty) = 35d34e8ce959e1dc8c58c403f8b32540 ocaml(Psmt2Frontend__Smtlib_typed_env) = 606e51fb056b424decb446adda400515 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 20620a8c05f71e7857477557f7998676 ocaml(Psmt2Frontend__Smtlib_typing) = 5e83b2f1f848ca056111f48ba5a21800 ocaml(Psmt2Frontend__Version) = c4d1ca60e0f703ba7bd5261c767ca213 ocaml-psmt2-frontend = 0.4.0-19.fc41 ocaml-psmt2-frontend(riscv-64) = 0.4.0-19.fc41 ocaml-psmt2-frontend-doc = 0.4.0-19.fc41
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) = 2ef2d91ced81f6c72f852bab8ab406e0 ocaml(Psmt2Frontend) = 16e934f5e87089e766aa09562a438efe ocaml(Psmt2Frontend__Options) = 0183792009bdd1ccf4fc3356a77f3c76 ocaml(Psmt2Frontend__Smtlib_error) = 3cae633711eff5613643b0cf8d65678e ocaml(Psmt2Frontend__Smtlib_parser) = 576c780e497c40c2a031856279f82a6e ocaml(Psmt2Frontend__Smtlib_printer) = 128804738431a0ff1ca2e849585079d6 ocaml(Psmt2Frontend__Smtlib_syntax) = e8d687333df9e302eed84e0d62d4c727 ocaml(Psmt2Frontend__Smtlib_ty) = 35d34e8ce959e1dc8c58c403f8b32540 ocaml(Psmt2Frontend__Smtlib_typed_env) = 606e51fb056b424decb446adda400515 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 20620a8c05f71e7857477557f7998676 ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658 ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696 ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446 ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f ocaml(Stdlib__Hashtbl) = a95c460b872969c8d1b778e529006189 ocaml(Stdlib__Lexing) = d530e1b331fd907548b19994db369785 ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281 ocaml(Stdlib__Map) = 651c80e4374b6cfc98d3ddde65a9bf3e ocaml(Stdlib__Printf) = 9472a4e324507b23e36ef7898eaf654a ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab ocaml(Stdlib__Stack) = 5814952db79030b43e32619dfb931b26 ocaml(Stdlib__String) = cdb3775f91c0e999766c3b2a50f03a7d ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4 rtld(GNU_HASH)
Obsoletes: ocaml-psmt2-frontend-doc < 0.4.0-5
Processing files: ocaml-psmt2-frontend-devel-0.4.0-19.fc41.riscv64
Provides: ocaml(Psmt2Frontend) = 16e934f5e87089e766aa09562a438efe ocaml(Psmt2Frontend__Main) = 62ce7a6bbd072ff51760d98afa01724e ocaml(Psmt2Frontend__Options) = 0183792009bdd1ccf4fc3356a77f3c76 ocaml(Psmt2Frontend__Smtlib_error) = 3cae633711eff5613643b0cf8d65678e ocaml(Psmt2Frontend__Smtlib_lexer) = 8ac611cd5def81338137aeba51e08c1a ocaml(Psmt2Frontend__Smtlib_parser) = 576c780e497c40c2a031856279f82a6e ocaml(Psmt2Frontend__Smtlib_printer) = 128804738431a0ff1ca2e849585079d6 ocaml(Psmt2Frontend__Smtlib_syntax) = e8d687333df9e302eed84e0d62d4c727 ocaml(Psmt2Frontend__Smtlib_ty) = 35d34e8ce959e1dc8c58c403f8b32540 ocaml(Psmt2Frontend__Smtlib_typed_env) = 606e51fb056b424decb446adda400515 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 20620a8c05f71e7857477557f7998676 ocaml(Psmt2Frontend__Smtlib_typing) = 5e83b2f1f848ca056111f48ba5a21800 ocaml(Psmt2Frontend__Version) = c4d1ca60e0f703ba7bd5261c767ca213 ocaml-psmt2-frontend-devel = 0.4.0-19.fc41 ocaml-psmt2-frontend-devel(riscv-64) = 0.4.0-19.fc41 ocamlx(Psmt2Frontend) = 95a4698da0320768df9d2458878e8dfa ocamlx(Psmt2Frontend__Main) = b0107ccc6a89f756194c861c11d4b35e ocamlx(Psmt2Frontend__Options) = c3eafec6b6c42c369ab043613ca9c57c ocamlx(Psmt2Frontend__Smtlib_error) = 9459a238037db9996cf2c905eaab30cc ocamlx(Psmt2Frontend__Smtlib_lexer) = 918aad13368dcd0824579d51075e00d8 ocamlx(Psmt2Frontend__Smtlib_parser) = a748086fd3f4c2db50b5c9d32f92e017 ocamlx(Psmt2Frontend__Smtlib_printer) = 1a5a4d3509874be2bc5aafe613f5007e ocamlx(Psmt2Frontend__Smtlib_syntax) = 25a1dafa90c56e683ba58243d7e1d68a ocamlx(Psmt2Frontend__Smtlib_ty) = 364c6e5b43152a4b73107a6514f0b570 ocamlx(Psmt2Frontend__Smtlib_typed_env) = a4c7ca9973b012115e4b5d9706cc907f ocamlx(Psmt2Frontend__Smtlib_typed_logic) = 807322194f1210b2781c3119f3dbb06a ocamlx(Psmt2Frontend__Smtlib_typing) = 93a1348d0a183fdc87c17954a24bf3ac ocamlx(Psmt2Frontend__Version) = 715fd2b0ef60a7434fec08540a618e6c
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0 ocaml(Psmt2Frontend) = 16e934f5e87089e766aa09562a438efe ocaml(Psmt2Frontend__Options) = 0183792009bdd1ccf4fc3356a77f3c76 ocaml(Psmt2Frontend__Smtlib_error) = 3cae633711eff5613643b0cf8d65678e ocaml(Psmt2Frontend__Smtlib_parser) = 576c780e497c40c2a031856279f82a6e ocaml(Psmt2Frontend__Smtlib_printer) = 128804738431a0ff1ca2e849585079d6 ocaml(Psmt2Frontend__Smtlib_syntax) = e8d687333df9e302eed84e0d62d4c727 ocaml(Psmt2Frontend__Smtlib_ty) = 35d34e8ce959e1dc8c58c403f8b32540 ocaml(Psmt2Frontend__Smtlib_typed_env) = 606e51fb056b424decb446adda400515 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 20620a8c05f71e7857477557f7998676 ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658 ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696 ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446 ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f ocaml(Stdlib__Hashtbl) = a95c460b872969c8d1b778e529006189 ocaml(Stdlib__Lexing) = d530e1b331fd907548b19994db369785 ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281 ocaml(Stdlib__Map) = 651c80e4374b6cfc98d3ddde65a9bf3e ocaml(Stdlib__Printf) = 9472a4e324507b23e36ef7898eaf654a ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab ocaml(Stdlib__Stack) = 5814952db79030b43e32619dfb931b26 ocaml(Stdlib__String) = cdb3775f91c0e999766c3b2a50f03a7d ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4 ocamlx(CamlinternalFormat) = 13ed96ffabc5dfd1d8a6fec49384f028 ocamlx(Psmt2Frontend__Options) = c3eafec6b6c42c369ab043613ca9c57c ocamlx(Psmt2Frontend__Smtlib_error) = 9459a238037db9996cf2c905eaab30cc ocamlx(Psmt2Frontend__Smtlib_printer) = 1a5a4d3509874be2bc5aafe613f5007e ocamlx(Psmt2Frontend__Smtlib_ty) = 364c6e5b43152a4b73107a6514f0b570 ocamlx(Psmt2Frontend__Smtlib_typed_env) = a4c7ca9973b012115e4b5d9706cc907f ocamlx(Psmt2Frontend__Smtlib_typed_logic) = 807322194f1210b2781c3119f3dbb06a ocamlx(Stdlib) = 447646e3941e7bd0789ef2758721e0f3 ocamlx(Stdlib__Bytes) = d697a70d28861d97056d724d4ded8186 ocamlx(Stdlib__Domain) = cc0101b954510b60650e5e09ef15a63f ocamlx(Stdlib__Format) = c3ae601df8ff425e293a74d12df8a999 ocamlx(Stdlib__Hashtbl) = 32e5b8b459bfbe8d42f9cbdc0881f25b ocamlx(Stdlib__Lexing) = c1a768a943b2d5bd82715a40f3ca91a5 ocamlx(Stdlib__List) = 0c98d5e09fe7a58103f7fc0c065faf7b ocamlx(Stdlib__Map) = 11d684f98901a367ba7244cc79e73542 ocamlx(Stdlib__Printf) = b1aa742e17271ccbba2673a15537976c ocamlx(Stdlib__Random) = 8a2126a10d76d3c628e1b10cc98f4557 ocamlx(Stdlib__Stack) = 58115a6211e5be4179738513052923d0 ocamlx(Stdlib__String) = 42352162009cc1a7b2a044e7f3165992
Processing files: ocaml-psmt2-frontend-docs-0.4.0-19.fc41.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.YpTDYh
+ 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-19.fc41 ocaml-psmt2-frontend-docs(riscv-64) = 0.4.0-19.fc41
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-19.fc41.riscv64
Provides: ocaml-psmt2-frontend-debugsource = 0.4.0-19.fc41 ocaml-psmt2-frontend-debugsource(riscv-64) = 0.4.0-19.fc41
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-19.fc41.riscv64
Provides: debuginfo(build-id) = 24f3e57c9b255e04c45083dd7265aba566c1fecb debuginfo(build-id) = 9fa987c77210c8e509556039a232c3a6af28d0a4 ocaml-psmt2-frontend-debuginfo = 0.4.0-19.fc41 ocaml-psmt2-frontend-debuginfo(riscv-64) = 0.4.0-19.fc41
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-19.fc41
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-19.fc41.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-debugsource-0.4.0-19.fc41.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-debuginfo-0.4.0-19.fc41.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-0.4.0-19.fc41.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-devel-0.4.0-19.fc41.riscv64.rpm
Child return code was: 0