D: [iurt_root_command] chroot
Building target platforms: x86_64
Building for target x86_64
Installing /home/pterjan/rpmbuild/SRPMS/ocaml-psmt2-frontend-0.4.0-3.mga10.src.rpm
Executing(%mkbuilddir): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.DdTUei
Executing(%prep): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.2DbXQb
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ '[' 1 -eq 1 ']'
+ '[' 1 -eq 1 ']'
+ '[' 1 -eq 1 ']'
+ cd /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ rm -rf psmt2-frontend-0.4.0
+ /usr/lib/rpm/rpmuncompress -x /home/pterjan/rpmbuild/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 /home/pterjan/rpmbuild/SOURCES/psmt2-frontend-0.4.0-mga-fix-build-with-sphinx.patch
+ /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f
+ /usr/lib/rpm/rpmuncompress /home/pterjan/rpmbuild/SOURCES/psmt2-frontend-0.4.0-gh-trivial-typo.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 /home/pterjan/rpmbuild/tmp/rpm-tmp.tM5flM
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ CFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full'
+ export CFLAGS
+ CXXFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full'
+ export CXXFLAGS
+ FFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full '
+ export FFLAGS
+ FCFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,--as-needed -Wl,--no-undefined -Wl,-z,relro -Wl,-z,now -Wl,-O1 -Wl,--build-id=sha1 -Wl,--enable-new-dtags -specs=/usr/lib/rpm/redhat/redhat-hardened-ld'
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd psmt2-frontend-0.4.0
+ '[' 1 -eq 1 ']'
+ '[' 1 -eq 1 ']'
+ dune build --verbose --release -j16
Shared cache: enabled-except-user-rules
Shared cache location: /home/pterjan/.cache/dune/db
Workspace root:
/home/pterjan/rpmbuild/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)
Output[4]:
Note: the nonterminal symbol option (from src/lib/smtlib_parser.mly) is renamed src_lib_smtlib_parser_option.
Running[18]: (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[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)
Running[20]: (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[21]: (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[22]: (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[23]: (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[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__Options.cmx -c -impl src/lib/options.ml)
Running[25]: (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[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/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/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[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_ty.cmx -c -impl src/lib/smtlib_ty.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_syntax.cmo -c -impl src/lib/smtlib_syntax.ml)
Running[32]: (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[33]: (cd _build/.sandbox/36c475e6b98e81e1fa8d9497d992e206/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/36c475e6b98e81e1fa8d9497d992e206/default/src/lib/smtlib_parser__mock.mli.inferred
Running[34]: (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[35]: (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)
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_printer.cmo -c -impl src/lib/smtlib_printer.ml)
Running[37]: (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[38]: (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[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)
Running[40]: (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[41]: (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)
Output[39]:
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[42]: (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[43]: (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[44]: (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[45]: (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[46]: (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[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_parser.cmx -c -impl src/lib/smtlib_parser.ml)
Running[48]: (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[49]: (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[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 -o src/bin/main.exe src/lib/psmt2Frontend.cmxa src/bin/.main.eobjs/native/dune__exe__Main.cmx)
Running[55]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -shared -linkall -I src/lib -o src/lib/psmt2Frontend.cmxs src/lib/psmt2Frontend.cmxa)
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 v8.2.3
WARNING: Invalid configuration value found: 'language = None'. Update your configuration to a valid language code. Falling back to 'en' (English).
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

/home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/sphinx/index.rst:8: WARNING: Title underline too short.

Welcome to psmt2-frontend
================ [docutils]
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 /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/docs/sphinx/_static/basic.css
Writing evaluated template result to /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/docs/sphinx/_static/documentation_options.js
Writing evaluated template result to /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/docs/sphinx/_static/language_data.js
Writing evaluated template result to /home/pterjan/rpmbuild/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, 2 warnings.

The HTML pages are in docs/sphinx.
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.BUzwp8
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ '[' 1 -eq 1 ']'
+ '[' /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT '!=' / ']'
+ rm -rf /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT
++ dirname /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT
+ mkdir -p /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ mkdir /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT
+ CFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full'
+ export CFLAGS
+ CXXFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full'
+ export CXXFLAGS
+ FFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full '
+ export FFLAGS
+ FCFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,--as-needed -Wl,--no-undefined -Wl,-z,relro -Wl,-z,now -Wl,-O1 -Wl,--build-id=sha1 -Wl,--enable-new-dtags -specs=/usr/lib/rpm/redhat/redhat-hardened-ld'
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd psmt2-frontend-0.4.0
+ '[' 1 -eq 1 ']'
+ dune install --destdir=/home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT --verbose --release -j16
Shared cache: enabled-except-user-rules
Shared cache location: /home/pterjan/.cache/dune/db
Workspace root:
/home/pterjan/rpmbuild/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 /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/META
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/dune-package
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/main.ml
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/opam
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/options.ml
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/options.mli
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.a
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cma
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmi
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmt
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmx
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxa
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.ml
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmi
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmt
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmx
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmi
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmt
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmti
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmx
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmx
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmx
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmx
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmx
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmx
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmx
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmx
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmx
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmx
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmi
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmt
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmti
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmx
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_error.ml
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_lexer.ml
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.ml
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.mli
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_printer.ml
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_syntax.ml
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_ty.ml
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_typed_env.ml
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_typed_logic.ml
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_typing.ml
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/version.ml
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/version.mli
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxs
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend/CHANGES.md
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend/LICENSE
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend/LICENSE.md
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend/README.md
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend/odoc-pages/index.mld
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend_bin/META
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend_bin/dune-package
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend_bin/opam
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/bin/psmt2-frontend_bin
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend_bin/CHANGES.md
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend_bin/LICENSE
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend_bin/LICENSE.md
Installing /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc/psmt2-frontend_bin/README.md
Installing /home/pterjan/rpmbuild/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 /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/doc
++ find /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml -name '*.mli'
+ mlis=$'/home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.mli\n/home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/options.mli\n/home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/version.mli'
+ rm -f /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.ml /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/options.ml /home/pterjan/rpmbuild/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 /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT /usr/lib64/ocaml
+ /usr/bin/find-debuginfo -j16 --strict-build-id -m -i --build-id-seed 0.4.0-3.mga10 --unique-debug-suffix -0.4.0-3.mga10.x86_64 --unique-debug-src-base ocaml-psmt2-frontend-0.4.0-3.mga10.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -S debugsourcefiles.list /home/pterjan/rpmbuild/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-3.mga10.x86_64
cpio: _build/default/<standard.mly>: 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/hashtbl.ml: Cannot stat: No such file or directory
cpio: _build/default/lexing.ml: Cannot stat: No such file or directory
cpio: _build/default/list.ml: Cannot stat: No such file or directory
cpio: _build/default/printf.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
+ '[' -n '' ']'
+ /usr/share/spec-helper/clean_files
+ '[' -n '' ']'
+ /usr/share/spec-helper/compress_files .xz
+ '[' -n '' ']'
+ /usr/share/spec-helper/relink_symlinks
+ '[' -n '' ']'
+ /usr/share/spec-helper/clean_perl
+ '[' -n '' ']'
+ /usr/share/spec-helper/lib_symlinks
+ '[' -n '' ']'
+ /usr/share/spec-helper/gprintify
+ '[' -n '' ']'
+ /usr/share/spec-helper/fix_mo
+ '[' -n '' ']'
+ /usr/share/spec-helper/fix_pamd
+ '[' -n '' ']'
+ /usr/share/spec-helper/remove_info_dir
+ '[' -n '' ']'
+ /usr/share/spec-helper/fix_eol
+ '[' -n '' ']'
+ /usr/share/spec-helper/check_desktop_files
+ '[' -n '' ']'
+ /usr/share/spec-helper/check_elf_files
+ /usr/lib/rpm/check-rpaths
+ /usr/lib/rpm/brp-remove-la-files
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
+ env -u SOURCE_DATE_EPOCH /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j16
+ /usr/lib/rpm/redhat/brp-python-hardlink
Reading /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/SPECPARTS/rpm-debuginfo.specpart
Executing(%check): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.wJNb9e
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ CFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full'
+ export CFLAGS
+ CXXFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full'
+ export CXXFLAGS
+ FFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full '
+ export FFLAGS
+ FCFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,--as-needed -Wl,--no-undefined -Wl,-z,relro -Wl,-z,now -Wl,-O1 -Wl,--build-id=sha1 -Wl,--enable-new-dtags -specs=/usr/lib/rpm/redhat/redhat-hardened-ld'
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd psmt2-frontend-0.4.0
+ '[' 1 -eq 1 ']'
+ dune runtest --verbose --release -j16
Shared cache: enabled-except-user-rules
Shared cache location: /home/pterjan/.cache/dune/db
Workspace root:
/home/pterjan/rpmbuild/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-3.mga10.x86_64
Executing(%doc): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.jtprss
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ cd psmt2-frontend-0.4.0
+ DOCDIR=/home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/doc/ocaml-psmt2-frontend
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/doc/ocaml-psmt2-frontend
+ cp -pr /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/CHANGES.md /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/doc/ocaml-psmt2-frontend
+ cp -pr /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/README.md /home/pterjan/rpmbuild/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 /home/pterjan/rpmbuild/tmp/rpm-tmp.oklI4I
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ cd psmt2-frontend-0.4.0
+ LICENSEDIR=/home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/licenses/ocaml-psmt2-frontend
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/licenses/ocaml-psmt2-frontend
+ cp -pr /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/LICENSE /home/pterjan/rpmbuild/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) = da1c48621eefb93bdb5487f67512e807 ocaml(Psmt2Frontend__Main) = a7a1d74422008ed981a3e1588f80e1b2 ocaml(Psmt2Frontend__Options) = f9085dc5b042e4da1cd5e75167bdadc7 ocaml(Psmt2Frontend__Smtlib_error) = 4c6e6324e5441e8ba3325d09a4c9dacd ocaml(Psmt2Frontend__Smtlib_lexer) = fdbc1aba625531e8176b5098e36c5c70 ocaml(Psmt2Frontend__Smtlib_parser) = c1544d41e1d6b5fdb7977a04bb88fb0c ocaml(Psmt2Frontend__Smtlib_printer) = 89c2fe940f9e39796dc263797e08cc8c ocaml(Psmt2Frontend__Smtlib_syntax) = 84f494d542c5f758df42028a1581a53a ocaml(Psmt2Frontend__Smtlib_ty) = 8f30bf5be4431fa5b4e5f42c2d62c1c9 ocaml(Psmt2Frontend__Smtlib_typed_env) = 5d1fc87a782daebb3332ec9e9fe043b4 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 1e82f54e2c5a8bb356b2745f9ace1ced ocaml(Psmt2Frontend__Smtlib_typing) = 243852d0888387869e7439b9d32dae59 ocaml(Psmt2Frontend__Version) = e46916c01ef00daa8020057f636a1538 ocaml-psmt2-frontend = 0.4.0-3.mga10 ocaml-psmt2-frontend(x86-64) = 0.4.0-3.mga10
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.25)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.2)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.6)(64bit) libc.so.6(GLIBC_2.7)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.2.5)(64bit) libm.so.6(GLIBC_2.29)(64bit) libm.so.6(GLIBC_2.35)(64bit) libm.so.6(GLIBC_2.38)(64bit) ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(Psmt2Frontend) = da1c48621eefb93bdb5487f67512e807 ocaml(Psmt2Frontend__Options) = f9085dc5b042e4da1cd5e75167bdadc7 ocaml(Psmt2Frontend__Smtlib_error) = 4c6e6324e5441e8ba3325d09a4c9dacd ocaml(Psmt2Frontend__Smtlib_parser) = c1544d41e1d6b5fdb7977a04bb88fb0c ocaml(Psmt2Frontend__Smtlib_printer) = 89c2fe940f9e39796dc263797e08cc8c ocaml(Psmt2Frontend__Smtlib_syntax) = 84f494d542c5f758df42028a1581a53a ocaml(Psmt2Frontend__Smtlib_ty) = 8f30bf5be4431fa5b4e5f42c2d62c1c9 ocaml(Psmt2Frontend__Smtlib_typed_env) = 5d1fc87a782daebb3332ec9e9fe043b4 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 1e82f54e2c5a8bb356b2745f9ace1ced ocaml(Stdlib) = cfc6abca663b2d71db1750a2c051cf6e ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4 ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54 ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5 ocaml(Stdlib__Format) = 60af4e0c98f0be0b9d368a2a09700b3a ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569 ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7 ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Map) = c89b7925344cf894dcfa15de9855271e ocaml(Stdlib__Printf) = 53d0458f8bd9e6a47c1910b76e8b6f06 ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__Stack) = df4c36d6bbb131372027ae59ce7346dc ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b
Processing files: ocaml-psmt2-frontend-devel-0.4.0-3.mga10.x86_64
Provides: ocaml(Psmt2Frontend) = da1c48621eefb93bdb5487f67512e807 ocaml(Psmt2Frontend__Main) = a7a1d74422008ed981a3e1588f80e1b2 ocaml(Psmt2Frontend__Options) = f9085dc5b042e4da1cd5e75167bdadc7 ocaml(Psmt2Frontend__Smtlib_error) = 4c6e6324e5441e8ba3325d09a4c9dacd ocaml(Psmt2Frontend__Smtlib_lexer) = fdbc1aba625531e8176b5098e36c5c70 ocaml(Psmt2Frontend__Smtlib_parser) = c1544d41e1d6b5fdb7977a04bb88fb0c ocaml(Psmt2Frontend__Smtlib_printer) = 89c2fe940f9e39796dc263797e08cc8c ocaml(Psmt2Frontend__Smtlib_syntax) = 84f494d542c5f758df42028a1581a53a ocaml(Psmt2Frontend__Smtlib_ty) = 8f30bf5be4431fa5b4e5f42c2d62c1c9 ocaml(Psmt2Frontend__Smtlib_typed_env) = 5d1fc87a782daebb3332ec9e9fe043b4 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 1e82f54e2c5a8bb356b2745f9ace1ced ocaml(Psmt2Frontend__Smtlib_typing) = 243852d0888387869e7439b9d32dae59 ocaml(Psmt2Frontend__Version) = e46916c01ef00daa8020057f636a1538 ocaml-psmt2-frontend-devel = 0.4.0-3.mga10 ocaml-psmt2-frontend-devel(x86-64) = 0.4.0-3.mga10 ocamlx(Psmt2Frontend) = 076752f4860b419e7c74a9627842e5e3 ocamlx(Psmt2Frontend__Main) = b07b10febd94fd9fe87b96cbdb3985e7 ocamlx(Psmt2Frontend__Options) = d105e8f05fa0d70690d202d660e38762 ocamlx(Psmt2Frontend__Smtlib_error) = 31c304b1ff5d6127b05393d0c2b72cbe ocamlx(Psmt2Frontend__Smtlib_lexer) = 920da1d84e8f919141e5c0681c031f70 ocamlx(Psmt2Frontend__Smtlib_parser) = a79bcc26d2e13222b97bdb3b36c18b72 ocamlx(Psmt2Frontend__Smtlib_printer) = 77554937e69a38a25481b2a25b0efefa ocamlx(Psmt2Frontend__Smtlib_syntax) = b9176e05b94291227a194e510b05b384 ocamlx(Psmt2Frontend__Smtlib_ty) = a10ef0def4cce8c2841c41545eb462b5 ocamlx(Psmt2Frontend__Smtlib_typed_env) = 856744990692d01ed9855f45b76f62d8 ocamlx(Psmt2Frontend__Smtlib_typed_logic) = 0e5621170f286897177eb81623b4f1bc ocamlx(Psmt2Frontend__Smtlib_typing) = d75f239997d213e8574f35bd59b96d55 ocamlx(Psmt2Frontend__Version) = 4d1bdc5163a280700760225e26c21de8
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(Psmt2Frontend) = da1c48621eefb93bdb5487f67512e807 ocaml(Psmt2Frontend__Options) = f9085dc5b042e4da1cd5e75167bdadc7 ocaml(Psmt2Frontend__Smtlib_error) = 4c6e6324e5441e8ba3325d09a4c9dacd ocaml(Psmt2Frontend__Smtlib_parser) = c1544d41e1d6b5fdb7977a04bb88fb0c ocaml(Psmt2Frontend__Smtlib_printer) = 89c2fe940f9e39796dc263797e08cc8c ocaml(Psmt2Frontend__Smtlib_syntax) = 84f494d542c5f758df42028a1581a53a ocaml(Psmt2Frontend__Smtlib_ty) = 8f30bf5be4431fa5b4e5f42c2d62c1c9 ocaml(Psmt2Frontend__Smtlib_typed_env) = 5d1fc87a782daebb3332ec9e9fe043b4 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 1e82f54e2c5a8bb356b2745f9ace1ced ocaml(Stdlib) = cfc6abca663b2d71db1750a2c051cf6e ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4 ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54 ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5 ocaml(Stdlib__Format) = 60af4e0c98f0be0b9d368a2a09700b3a ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569 ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7 ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Map) = c89b7925344cf894dcfa15de9855271e ocaml(Stdlib__Printf) = 53d0458f8bd9e6a47c1910b76e8b6f06 ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__Stack) = df4c36d6bbb131372027ae59ce7346dc ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b ocamlx(Psmt2Frontend__Options) = d105e8f05fa0d70690d202d660e38762 ocamlx(Psmt2Frontend__Smtlib_error) = 31c304b1ff5d6127b05393d0c2b72cbe ocamlx(Psmt2Frontend__Smtlib_printer) = 77554937e69a38a25481b2a25b0efefa ocamlx(Psmt2Frontend__Smtlib_ty) = a10ef0def4cce8c2841c41545eb462b5 ocamlx(Psmt2Frontend__Smtlib_typed_env) = 856744990692d01ed9855f45b76f62d8 ocamlx(Psmt2Frontend__Smtlib_typed_logic) = 0e5621170f286897177eb81623b4f1bc ocamlx(Stdlib) = 9dc4e5eb1428b4b83037e136de64d07b ocamlx(Stdlib__Format) = 9fd07a8bda3b6871f15d2dd899999381 ocamlx(Stdlib__Hashtbl) = 13921c1b993c3df360282ffc9e1fc820 ocamlx(Stdlib__Lexing) = a0a1b1cb8c436f14fa0076493b310581 ocamlx(Stdlib__List) = c3a511aa4a318695fc8c537a066b344c ocamlx(Stdlib__Map) = a456eae5d3ec76b4f7dca372677b3855 ocamlx(Stdlib__Printf) = 3355dd2861376d6f7797acdac699579a ocamlx(Stdlib__Stack) = 7b91372dd86d3672576961002a1dde27 ocamlx(Stdlib__String) = f97b634b8d02a0422b61f35a94a2cf6b
Processing files: ocaml-psmt2-frontend-docs-0.4.0-3.mga10.x86_64
Executing(%doc): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.jjwHrw
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ cd psmt2-frontend-0.4.0
+ DOCDIR=/home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/doc/ocaml-psmt2-frontend-docs
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/share/doc/ocaml-psmt2-frontend-docs
+ cp -pr /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/docs/sphinx /home/pterjan/rpmbuild/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-3.mga10 ocaml-psmt2-frontend-docs(x86-64) = 0.4.0-3.mga10
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-3.mga10.x86_64
Provides: ocaml-psmt2-frontend-debugsource = 0.4.0-3.mga10 ocaml-psmt2-frontend-debugsource(x86-64) = 0.4.0-3.mga10
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-3.mga10.x86_64
Provides: debuginfo(build-id) = 7f709ad86d26c899eb2e2feded7e90a50af9b408 debuginfo(build-id) = b452a30ea6955a494ade8daab867a017c41f2d56 ocaml-psmt2-frontend-debuginfo = 0.4.0-3.mga10 ocaml-psmt2-frontend-debuginfo(x86-64) = 0.4.0-3.mga10
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: ocaml-psmt2-frontend-debugsource(x86-64) = 0.4.0-3.mga10
Checking for unpackaged file(s): /usr/lib/rpm/check-files /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT
Wrote: /home/pterjan/rpmbuild/RPMS/x86_64/ocaml-psmt2-frontend-debugsource-0.4.0-3.mga10.x86_64.rpm
Wrote: /home/pterjan/rpmbuild/RPMS/x86_64/ocaml-psmt2-frontend-debuginfo-0.4.0-3.mga10.x86_64.rpm
Wrote: /home/pterjan/rpmbuild/RPMS/x86_64/ocaml-psmt2-frontend-docs-0.4.0-3.mga10.x86_64.rpm
Wrote: /home/pterjan/rpmbuild/RPMS/x86_64/ocaml-psmt2-frontend-devel-0.4.0-3.mga10.x86_64.rpm
Wrote: /home/pterjan/rpmbuild/RPMS/x86_64/ocaml-psmt2-frontend-0.4.0-3.mga10.x86_64.rpm
Executing(rmbuild): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.IZCzS1
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ test -d /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ rm -rf /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build
+ RPM_EC=0
++ jobs -p
+ exit 0
D: [iurt_root_command] Success!