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-2.mga10.src.rpm Executing(%mkbuilddir): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.DoFs2D + 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 + /usr/bin/rm -rf /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build + /usr/bin/mkdir -p /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build + /usr/bin/mkdir -p /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/SPECPARTS + RPM_EC=0 ++ jobs -p + exit 0 Executing(%prep): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.CbCvJ9 + 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.iWxmTO + umask 022 + cd /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build + cd psmt2-frontend-0.4.0 + '[' 1 -eq 1 ']' + '[' 1 -eq 1 ']' + dune build --verbose --release -j16 Shared cache: disabled Workspace root: /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0 Running[0]: /usr/bin/ocamlc.opt -config > /tmp/dune_b0d371_output Dune context: { name = "default" ; kind = "default" ; profile = Release ; merlin = true ; for_host = None ; fdo_target_exe = None ; build_dir = "default" ; toplevel_path = None ; ocaml_bin = External "/usr/bin" ; ocaml = Ok External "/usr/bin/ocaml" ; ocamlc = External "/usr/bin/ocamlc.opt" ; ocamlopt = Ok External "/usr/bin/ocamlopt.opt" ; ocamldep = Ok External "/usr/bin/ocamldep.opt" ; ocamlmklib = Ok External "/usr/bin/ocamlmklib.opt" ; env = map { "CAML_LD_LIBRARY_PATH" : "/home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/_build/install/default/lib/stublibs" ; "DUNE_OCAML_HARDCODED" : "/usr/lib64/ocaml" ; "DUNE_OCAML_STDLIB" : "/usr/lib64/ocaml" ; "DUNE_SOURCEROOT" : "/home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0" ; "INSIDE_DUNE" : "/home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/_build/default" ; "MANPATH" : "/home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/_build/install/default/bin" ; "OCAMLFIND_IGNORE_DUPS_IN" : "/home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/_build/install/default/lib" ; "OCAMLPATH" : "/home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/_build/install/default/lib" ; "OCAMLTOP_INCLUDE_PATH" : "/home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/_build/install/default/lib/toplevel" } ; findlib_paths = [ External "/usr/lib64/ocaml" ] ; arch_sixtyfour = true ; natdynlink_supported = true ; supports_shared_libraries = true ; ocaml_config = { version = "4.14.0" ; standard_library_default = "/usr/lib64/ocaml" ; standard_library = "/usr/lib64/ocaml" ; standard_runtime = "the_standard_runtime_variable_was_deleted" ; ccomp_type = "cc" ; c_compiler = "gcc" ; ocamlc_cflags = [ "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ; "-pthread" ; "-fPIC" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ] ; ocamlc_cppflags = [ "-D_FILE_OFFSET_BITS=64" ] ; ocamlopt_cflags = [ "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ; "-pthread" ; "-fPIC" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ] ; ocamlopt_cppflags = [ "-D_FILE_OFFSET_BITS=64" ] ; bytecomp_c_compiler = [ "gcc" ; "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ; "-pthread" ; "-fPIC" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ; "-D_FILE_OFFSET_BITS=64" ] ; bytecomp_c_libraries = [ "-Wl,--as-needed" ; "-Wl,-z,relro" ; "-Wl,-O1" ; "-Wl,--build-id" ; "-Wl,--enable-new-dtags" ; "-lm" ; "-lpthread" ] ; native_c_compiler = [ "gcc" ; "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ; "-pthread" ; "-fPIC" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ; "-D_FILE_OFFSET_BITS=64" ] ; native_c_libraries = [ "-Wl,--as-needed" ; "-Wl,-z,relro" ; "-Wl,-O1" ; "-Wl,--build-id" ; "-Wl,--enable-new-dtags" ; "-lm" ] ; native_pack_linker = [ "ld"; "-r"; "-o" ] ; cc_profile = [] ; architecture = "amd64" ; model = "default" ; int_size = 63 ; word_size = 64 ; system = "linux" ; asm = [ "gcc"; "-c" ] ; asm_cfi_supported = true ; with_frame_pointers = false ; ext_exe = "" ; ext_obj = ".o" ; ext_asm = ".s" ; ext_lib = ".a" ; ext_dll = ".so" ; os_type = "Unix" ; default_executable_name = "a.out" ; systhread_supported = true ; host = "x86_64-pc-linux-gnu" ; target = "x86_64-pc-linux-gnu" ; profiling = false ; flambda = false ; spacetime = false ; safe_string = true ; exec_magic_number = "Caml1999X031" ; cmi_magic_number = "Caml1999I031" ; cmo_magic_number = "Caml1999O031" ; cma_magic_number = "Caml1999A031" ; cmx_magic_number = "Caml1999Y031" ; cmxa_magic_number = "Caml1999Z031" ; ast_impl_magic_number = "Caml1999M031" ; ast_intf_magic_number = "Caml1999N031" ; cmxs_magic_number = "Caml1999D031" ; cmt_magic_number = "Caml1999T031" ; natdynlink_supported = true ; supports_shared_libraries = true ; windows_unicode = false } } Actual targets: - recursive alias @install Running[1]: (cd _build/default && /usr/bin/ocamllex -q -o src/lib/smtlib_lexer.ml src/lib/smtlib_lexer.mll) Running[2]: (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[3]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -w -49 -nopervasives -nostdlib -g -bin-annot -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[4]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/version.ml) > _build/default/src/lib/.psmt2Frontend.objs/version.ml.d 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) Output[2]: Note: the nonterminal symbol option (from src/lib/smtlib_parser.mly) is renamed src_lib_smtlib_parser_option. Running[6]: (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.ml.mock.d Running[7]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/main.ml) > _build/default/src/lib/.psmt2Frontend.objs/main.ml.d Running[8]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/options.ml) > _build/default/src/lib/.psmt2Frontend.objs/options.ml.d Running[9]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_error.ml) > _build/default/src/lib/.psmt2Frontend.objs/smtlib_error.ml.d Running[10]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_printer.ml) > _build/default/src/lib/.psmt2Frontend.objs/smtlib_printer.ml.d Running[11]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_syntax.ml) > _build/default/src/lib/.psmt2Frontend.objs/smtlib_syntax.ml.d Running[12]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_ty.ml) > _build/default/src/lib/.psmt2Frontend.objs/smtlib_ty.ml.d Running[13]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_typed_env.ml) > _build/default/src/lib/.psmt2Frontend.objs/smtlib_typed_env.ml.d Running[14]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_typed_logic.ml) > _build/default/src/lib/.psmt2Frontend.objs/smtlib_typed_logic.ml.d Running[15]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_typing.ml) > _build/default/src/lib/.psmt2Frontend.objs/smtlib_typing.ml.d Running[16]: (cd _build/default && /usr/bin/ocamldep.opt -modules -intf src/lib/options.mli) > _build/default/src/lib/.psmt2Frontend.objs/options.mli.d Running[17]: (cd _build/default && /usr/bin/ocamldep.opt -modules -intf src/lib/version.mli) > _build/default/src/lib/.psmt2Frontend.objs/version.mli.d Running[18]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -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[19]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_lexer.ml) > _build/default/src/lib/.psmt2Frontend.objs/smtlib_lexer.ml.d Running[20]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -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/ocamlc.opt -w -40 -g -bin-annot -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[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__Main.cmx -c -impl src/lib/main.ml) Running[23]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -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[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 -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[26]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -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[27]: (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[28]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -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/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.psmt2Frontend.objs/byte -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_syntax.cmo -c -impl src/lib/smtlib_syntax.ml) Running[31]: (cd _build/default && /usr/bin/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[32]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -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/f927789b67a373ff0cef5f4c8eb2038a/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/f927789b67a373ff0cef5f4c8eb2038a/default/src/lib/smtlib_parser__mock.mli.inferred Running[34]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -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 -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/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[37]: (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[38]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -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 "", line 206, 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/smtlib_parser.ml.d Running[43]: (cd _build/default && /usr/bin/ocamldep.opt -modules -intf src/lib/smtlib_parser.mli) > _build/default/src/lib/.psmt2Frontend.objs/smtlib_parser.mli.d Running[44]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -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 -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/ocamlc.opt -w -40 -g -bin-annot -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_typing.cmx -c -impl src/lib/smtlib_typing.ml) Running[48]: (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -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/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[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 v7.3.7 WARNING: Invalid configuration value found: 'language = None'. Update your configuration to a valid language code. Falling back to 'en' (English). 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 /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 ================ 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, 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.ao6Il5 + 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 + 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: disabled Workspace root: /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0 Running[0]: /usr/bin/ocamlc.opt -config > /tmp/dune_4c7915_output Dune context: { name = "default" ; kind = "default" ; profile = Release ; merlin = true ; for_host = None ; fdo_target_exe = None ; build_dir = "default" ; toplevel_path = None ; ocaml_bin = External "/usr/bin" ; ocaml = Ok External "/usr/bin/ocaml" ; ocamlc = External "/usr/bin/ocamlc.opt" ; ocamlopt = Ok External "/usr/bin/ocamlopt.opt" ; ocamldep = Ok External "/usr/bin/ocamldep.opt" ; ocamlmklib = Ok External "/usr/bin/ocamlmklib.opt" ; env = map { "CAML_LD_LIBRARY_PATH" : "/home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/_build/install/default/lib/stublibs" ; "DUNE_OCAML_HARDCODED" : "/usr/lib64/ocaml" ; "DUNE_OCAML_STDLIB" : "/usr/lib64/ocaml" ; "DUNE_SOURCEROOT" : "/home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0" ; "INSIDE_DUNE" : "/home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/_build/default" ; "MANPATH" : "/home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/_build/install/default/bin" ; "OCAMLFIND_IGNORE_DUPS_IN" : "/home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/_build/install/default/lib" ; "OCAMLPATH" : "/home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/_build/install/default/lib" ; "OCAMLTOP_INCLUDE_PATH" : "/home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/_build/install/default/lib/toplevel" } ; findlib_paths = [ External "/usr/lib64/ocaml" ] ; arch_sixtyfour = true ; natdynlink_supported = true ; supports_shared_libraries = true ; ocaml_config = { version = "4.14.0" ; standard_library_default = "/usr/lib64/ocaml" ; standard_library = "/usr/lib64/ocaml" ; standard_runtime = "the_standard_runtime_variable_was_deleted" ; ccomp_type = "cc" ; c_compiler = "gcc" ; ocamlc_cflags = [ "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ; "-pthread" ; "-fPIC" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ] ; ocamlc_cppflags = [ "-D_FILE_OFFSET_BITS=64" ] ; ocamlopt_cflags = [ "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ; "-pthread" ; "-fPIC" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ] ; ocamlopt_cppflags = [ "-D_FILE_OFFSET_BITS=64" ] ; bytecomp_c_compiler = [ "gcc" ; "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ; "-pthread" ; "-fPIC" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ; "-D_FILE_OFFSET_BITS=64" ] ; bytecomp_c_libraries = [ "-Wl,--as-needed" ; "-Wl,-z,relro" ; "-Wl,-O1" ; "-Wl,--build-id" ; "-Wl,--enable-new-dtags" ; "-lm" ; "-lpthread" ] ; native_c_compiler = [ "gcc" ; "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ; "-pthread" ; "-fPIC" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ; "-D_FILE_OFFSET_BITS=64" ] ; native_c_libraries = [ "-Wl,--as-needed" ; "-Wl,-z,relro" ; "-Wl,-O1" ; "-Wl,--build-id" ; "-Wl,--enable-new-dtags" ; "-lm" ] ; native_pack_linker = [ "ld"; "-r"; "-o" ] ; cc_profile = [] ; architecture = "amd64" ; model = "default" ; int_size = 63 ; word_size = 64 ; system = "linux" ; asm = [ "gcc"; "-c" ] ; asm_cfi_supported = true ; with_frame_pointers = false ; ext_exe = "" ; ext_obj = ".o" ; ext_asm = ".s" ; ext_lib = ".a" ; ext_dll = ".so" ; os_type = "Unix" ; default_executable_name = "a.out" ; systhread_supported = true ; host = "x86_64-pc-linux-gnu" ; target = "x86_64-pc-linux-gnu" ; profiling = false ; flambda = false ; spacetime = false ; safe_string = true ; exec_magic_number = "Caml1999X031" ; cmi_magic_number = "Caml1999I031" ; cmo_magic_number = "Caml1999O031" ; cma_magic_number = "Caml1999A031" ; cmx_magic_number = "Caml1999Y031" ; cmxa_magic_number = "Caml1999Z031" ; ast_impl_magic_number = "Caml1999M031" ; ast_intf_magic_number = "Caml1999N031" ; cmxs_magic_number = "Caml1999D031" ; cmt_magic_number = "Caml1999T031" ; natdynlink_supported = true ; supports_shared_libraries = true ; windows_unicode = false } } 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 /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/BUILDROOT/usr/lib64/ocaml/psmt2-frontend/options.mli /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-2.mga10 --unique-debug-suffix -0.4.0-2.mga10.x86_64 --unique-debug-src-base ocaml-psmt2-frontend-0.4.0-2.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-2.mga10.x86_64 cpio: _build/default/: 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.6R9Y0L + umask 022 + cd /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build + cd psmt2-frontend-0.4.0 + '[' 1 -eq 1 ']' + dune runtest --verbose --release -j16 Shared cache: disabled Workspace root: /home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0 Running[0]: /usr/bin/ocamlc.opt -config > /tmp/dune_4373f2_output Dune context: { name = "default" ; kind = "default" ; profile = Release ; merlin = true ; for_host = None ; fdo_target_exe = None ; build_dir = "default" ; toplevel_path = None ; ocaml_bin = External "/usr/bin" ; ocaml = Ok External "/usr/bin/ocaml" ; ocamlc = External "/usr/bin/ocamlc.opt" ; ocamlopt = Ok External "/usr/bin/ocamlopt.opt" ; ocamldep = Ok External "/usr/bin/ocamldep.opt" ; ocamlmklib = Ok External "/usr/bin/ocamlmklib.opt" ; env = map { "CAML_LD_LIBRARY_PATH" : "/home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/_build/install/default/lib/stublibs" ; "DUNE_OCAML_HARDCODED" : "/usr/lib64/ocaml" ; "DUNE_OCAML_STDLIB" : "/usr/lib64/ocaml" ; "DUNE_SOURCEROOT" : "/home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0" ; "INSIDE_DUNE" : "/home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/_build/default" ; "MANPATH" : "/home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/_build/install/default/bin" ; "OCAMLFIND_IGNORE_DUPS_IN" : "/home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/_build/install/default/lib" ; "OCAMLPATH" : "/home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/_build/install/default/lib" ; "OCAMLTOP_INCLUDE_PATH" : "/home/pterjan/rpmbuild/BUILD/ocaml-psmt2-frontend-0.4.0-build/psmt2-frontend-0.4.0/_build/install/default/lib/toplevel" } ; findlib_paths = [ External "/usr/lib64/ocaml" ] ; arch_sixtyfour = true ; natdynlink_supported = true ; supports_shared_libraries = true ; ocaml_config = { version = "4.14.0" ; standard_library_default = "/usr/lib64/ocaml" ; standard_library = "/usr/lib64/ocaml" ; standard_runtime = "the_standard_runtime_variable_was_deleted" ; ccomp_type = "cc" ; c_compiler = "gcc" ; ocamlc_cflags = [ "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ; "-pthread" ; "-fPIC" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ] ; ocamlc_cppflags = [ "-D_FILE_OFFSET_BITS=64" ] ; ocamlopt_cflags = [ "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ; "-pthread" ; "-fPIC" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ] ; ocamlopt_cppflags = [ "-D_FILE_OFFSET_BITS=64" ] ; bytecomp_c_compiler = [ "gcc" ; "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ; "-pthread" ; "-fPIC" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ; "-D_FILE_OFFSET_BITS=64" ] ; bytecomp_c_libraries = [ "-Wl,--as-needed" ; "-Wl,-z,relro" ; "-Wl,-O1" ; "-Wl,--build-id" ; "-Wl,--enable-new-dtags" ; "-lm" ; "-lpthread" ] ; native_c_compiler = [ "gcc" ; "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ; "-pthread" ; "-fPIC" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ; "-D_FILE_OFFSET_BITS=64" ] ; native_c_libraries = [ "-Wl,--as-needed" ; "-Wl,-z,relro" ; "-Wl,-O1" ; "-Wl,--build-id" ; "-Wl,--enable-new-dtags" ; "-lm" ] ; native_pack_linker = [ "ld"; "-r"; "-o" ] ; cc_profile = [] ; architecture = "amd64" ; model = "default" ; int_size = 63 ; word_size = 64 ; system = "linux" ; asm = [ "gcc"; "-c" ] ; asm_cfi_supported = true ; with_frame_pointers = false ; ext_exe = "" ; ext_obj = ".o" ; ext_asm = ".s" ; ext_lib = ".a" ; ext_dll = ".so" ; os_type = "Unix" ; default_executable_name = "a.out" ; systhread_supported = true ; host = "x86_64-pc-linux-gnu" ; target = "x86_64-pc-linux-gnu" ; profiling = false ; flambda = false ; spacetime = false ; safe_string = true ; exec_magic_number = "Caml1999X031" ; cmi_magic_number = "Caml1999I031" ; cmo_magic_number = "Caml1999O031" ; cma_magic_number = "Caml1999A031" ; cmx_magic_number = "Caml1999Y031" ; cmxa_magic_number = "Caml1999Z031" ; ast_impl_magic_number = "Caml1999M031" ; ast_intf_magic_number = "Caml1999N031" ; cmxs_magic_number = "Caml1999D031" ; cmt_magic_number = "Caml1999T031" ; natdynlink_supported = true ; supports_shared_libraries = true ; windows_unicode = false } } 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 -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-2.mga10.x86_64 Executing(%doc): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.uFPgnb + 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.ao9fAm + 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) = 606c3212e2cdca58a7413943d1c1f655 ocaml(Psmt2Frontend__Main) = 60842ca3bb592935244eccbbac561a22 ocaml(Psmt2Frontend__Options) = f2a7d3b1791e22532e11aab66897b80e ocaml(Psmt2Frontend__Smtlib_error) = 9db40cf067a5f5dfaee657fa78b512c2 ocaml(Psmt2Frontend__Smtlib_lexer) = 9e85d1060c958e8d001eb03bca8f6a88 ocaml(Psmt2Frontend__Smtlib_parser) = e81464008f8a2258172e55589846de9e ocaml(Psmt2Frontend__Smtlib_printer) = be9f1a8a628fcb7f7a036510514a2463 ocaml(Psmt2Frontend__Smtlib_syntax) = cb4c1e026844f8e78cd5146035b5774a ocaml(Psmt2Frontend__Smtlib_ty) = 8661f17d2610dfba82827494bde6d5dd ocaml(Psmt2Frontend__Smtlib_typed_env) = 990dd6593a57a6587922a1820ed67a83 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 812b13d1c32c68cbda2225da8fe9f724 ocaml(Psmt2Frontend__Smtlib_typing) = ac4488d3b0b57c9b3b554ec5407ec195 ocaml(Psmt2Frontend__Version) = 205181e6576f0c849c151e17320752d3 ocaml-psmt2-frontend = 0.4.0-2.mga10 ocaml-psmt2-frontend(x86-64) = 0.4.0-2.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.3)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.4)(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) = 8f8f634558798ee408df3c50a5539b15 ocaml(Psmt2Frontend) = 606c3212e2cdca58a7413943d1c1f655 ocaml(Psmt2Frontend__Options) = f2a7d3b1791e22532e11aab66897b80e ocaml(Psmt2Frontend__Smtlib_error) = 9db40cf067a5f5dfaee657fa78b512c2 ocaml(Psmt2Frontend__Smtlib_parser) = e81464008f8a2258172e55589846de9e ocaml(Psmt2Frontend__Smtlib_printer) = be9f1a8a628fcb7f7a036510514a2463 ocaml(Psmt2Frontend__Smtlib_syntax) = cb4c1e026844f8e78cd5146035b5774a ocaml(Psmt2Frontend__Smtlib_ty) = 8661f17d2610dfba82827494bde6d5dd ocaml(Psmt2Frontend__Smtlib_typed_env) = 990dd6593a57a6587922a1820ed67a83 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 812b13d1c32c68cbda2225da8fe9f724 ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930 ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822 ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9 ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401 ocaml(Stdlib__Lexing) = c9318c276ac7e383fd682c2dd06be434 ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9 ocaml(Stdlib__Map) = 978f82916b5a172c11d2b72719d85680 ocaml(Stdlib__Printf) = bc8af6214197dc8f40eaa738a4cd6a28 ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962 ocaml(Stdlib__Stack) = 30ae8c258e7fc6fb7e6370a60256d724 ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972 ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57 Processing files: ocaml-psmt2-frontend-devel-0.4.0-2.mga10.x86_64 Provides: ocaml(Psmt2Frontend) = 606c3212e2cdca58a7413943d1c1f655 ocaml(Psmt2Frontend__Main) = 60842ca3bb592935244eccbbac561a22 ocaml(Psmt2Frontend__Options) = f2a7d3b1791e22532e11aab66897b80e ocaml(Psmt2Frontend__Smtlib_error) = 9db40cf067a5f5dfaee657fa78b512c2 ocaml(Psmt2Frontend__Smtlib_lexer) = 9e85d1060c958e8d001eb03bca8f6a88 ocaml(Psmt2Frontend__Smtlib_parser) = e81464008f8a2258172e55589846de9e ocaml(Psmt2Frontend__Smtlib_printer) = be9f1a8a628fcb7f7a036510514a2463 ocaml(Psmt2Frontend__Smtlib_syntax) = cb4c1e026844f8e78cd5146035b5774a ocaml(Psmt2Frontend__Smtlib_ty) = 8661f17d2610dfba82827494bde6d5dd ocaml(Psmt2Frontend__Smtlib_typed_env) = 990dd6593a57a6587922a1820ed67a83 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 812b13d1c32c68cbda2225da8fe9f724 ocaml(Psmt2Frontend__Smtlib_typing) = ac4488d3b0b57c9b3b554ec5407ec195 ocaml(Psmt2Frontend__Version) = 205181e6576f0c849c151e17320752d3 ocaml-psmt2-frontend-devel = 0.4.0-2.mga10 ocaml-psmt2-frontend-devel(x86-64) = 0.4.0-2.mga10 ocamlx(Psmt2Frontend) = 055901d7a0bbe5867904e04dff73e5ec ocamlx(Psmt2Frontend__Main) = 80e6409175f02d8ce82f52ba060c19df ocamlx(Psmt2Frontend__Options) = 513af3a5a93264c1613ac58e9aa28b7e ocamlx(Psmt2Frontend__Smtlib_error) = 012bc5b98a5877c9dd8fcc256ae90d2f ocamlx(Psmt2Frontend__Smtlib_lexer) = 5fd3a84b9ad771389b570acae07557ec ocamlx(Psmt2Frontend__Smtlib_parser) = 77feddaa5233c127823fcae56a63ef90 ocamlx(Psmt2Frontend__Smtlib_printer) = a27a845a8ac0df36ee5c2d227b4f5169 ocamlx(Psmt2Frontend__Smtlib_syntax) = fca3b632fdf78d2f818574c0299eb026 ocamlx(Psmt2Frontend__Smtlib_ty) = 7ab97ef699fb1c8a95bb9c0a6c6ba5b6 ocamlx(Psmt2Frontend__Smtlib_typed_env) = 164952a1071868fc126c13e7efe55db2 ocamlx(Psmt2Frontend__Smtlib_typed_logic) = 73b2b4167f24d244cba531e8f5e0fab8 ocamlx(Psmt2Frontend__Smtlib_typing) = a37dc6a89ef3ad08dba6f52b484b3133 ocamlx(Psmt2Frontend__Version) = 95a1571e7a9d321467e97a32bd209abf Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15 ocaml(Psmt2Frontend) = 606c3212e2cdca58a7413943d1c1f655 ocaml(Psmt2Frontend__Options) = f2a7d3b1791e22532e11aab66897b80e ocaml(Psmt2Frontend__Smtlib_error) = 9db40cf067a5f5dfaee657fa78b512c2 ocaml(Psmt2Frontend__Smtlib_parser) = e81464008f8a2258172e55589846de9e ocaml(Psmt2Frontend__Smtlib_printer) = be9f1a8a628fcb7f7a036510514a2463 ocaml(Psmt2Frontend__Smtlib_syntax) = cb4c1e026844f8e78cd5146035b5774a ocaml(Psmt2Frontend__Smtlib_ty) = 8661f17d2610dfba82827494bde6d5dd ocaml(Psmt2Frontend__Smtlib_typed_env) = 990dd6593a57a6587922a1820ed67a83 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 812b13d1c32c68cbda2225da8fe9f724 ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930 ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822 ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9 ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401 ocaml(Stdlib__Lexing) = c9318c276ac7e383fd682c2dd06be434 ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9 ocaml(Stdlib__Map) = 978f82916b5a172c11d2b72719d85680 ocaml(Stdlib__Printf) = bc8af6214197dc8f40eaa738a4cd6a28 ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962 ocaml(Stdlib__Stack) = 30ae8c258e7fc6fb7e6370a60256d724 ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972 ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57 ocamlx(Psmt2Frontend__Options) = 513af3a5a93264c1613ac58e9aa28b7e ocamlx(Psmt2Frontend__Smtlib_error) = 012bc5b98a5877c9dd8fcc256ae90d2f ocamlx(Psmt2Frontend__Smtlib_printer) = a27a845a8ac0df36ee5c2d227b4f5169 ocamlx(Psmt2Frontend__Smtlib_ty) = 7ab97ef699fb1c8a95bb9c0a6c6ba5b6 ocamlx(Psmt2Frontend__Smtlib_typed_env) = 164952a1071868fc126c13e7efe55db2 ocamlx(Psmt2Frontend__Smtlib_typed_logic) = 73b2b4167f24d244cba531e8f5e0fab8 ocamlx(Stdlib) = 38e227ea48015bcdfb5d9a4f1cb2689a ocamlx(Stdlib__Format) = 252dee0ca8b365189f2ed175e3779e3c ocamlx(Stdlib__Hashtbl) = ffa6c0b4e31fbd58c5b0b7fda03f991f ocamlx(Stdlib__Lexing) = b92bcde89c2e887e267fc7f0ad189ee9 ocamlx(Stdlib__List) = 55527cfeed14dbd1464fa9bc64111883 ocamlx(Stdlib__Map) = f184f9d40bdaddd2e3d8a36b51d5f55f ocamlx(Stdlib__Printf) = b5325f43d38afc618da7b0fb873c7faa ocamlx(Stdlib__Stack) = adbb9467e55324452b66f5e80904fd00 ocamlx(Stdlib__String) = 650b799d3032d2e3c133eae0b21c0f95 Processing files: ocaml-psmt2-frontend-docs-0.4.0-2.mga10.x86_64 Executing(%doc): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.vdZXqD + 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-2.mga10 ocaml-psmt2-frontend-docs(x86-64) = 0.4.0-2.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-2.mga10.x86_64 Provides: ocaml-psmt2-frontend-debugsource = 0.4.0-2.mga10 ocaml-psmt2-frontend-debugsource(x86-64) = 0.4.0-2.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-2.mga10.x86_64 Provides: debuginfo(build-id) = 4b36e26e594ef945b75ee3bd86eb19fb2a0615b0 debuginfo(build-id) = b20106de3c551388d7945e9220ae91833b9330b9 ocaml-psmt2-frontend-debuginfo = 0.4.0-2.mga10 ocaml-psmt2-frontend-debuginfo(x86-64) = 0.4.0-2.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-2.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-2.mga10.x86_64.rpm Wrote: /home/pterjan/rpmbuild/RPMS/x86_64/ocaml-psmt2-frontend-debuginfo-0.4.0-2.mga10.x86_64.rpm Wrote: /home/pterjan/rpmbuild/RPMS/x86_64/ocaml-psmt2-frontend-docs-0.4.0-2.mga10.x86_64.rpm Wrote: /home/pterjan/rpmbuild/RPMS/x86_64/ocaml-psmt2-frontend-0.4.0-2.mga10.x86_64.rpm Wrote: /home/pterjan/rpmbuild/RPMS/x86_64/ocaml-psmt2-frontend-devel-0.4.0-2.mga10.x86_64.rpm Executing(rmbuild): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.47few5 + 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!