Mock Version: 2.15 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/ocaml-psmt2-frontend.spec'], chrootPath='/var/lib/mock/fedora-rawhide-x86_64-1642734457.129459/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x7fcd11f065e0>timeout=0uid=1000gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.cxq9s8wv:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=True) Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.cxq9s8wv:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'] Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '5b2909541bc24f7c90c110d7a427cdcd', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1642734457.129459/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.cxq9s8wv:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/ocaml-psmt2-frontend.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0'} and shell False Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1642636800 Wrote: /builddir/build/SRPMS/ocaml-psmt2-frontend-0.4.0-2.fc36.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/ocaml-psmt2-frontend.spec'], chrootPath='/var/lib/mock/fedora-rawhide-x86_64-1642734457.129459/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x7fcd11f065e0>timeout=0uid=1000gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.cxq9s8wv:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=True) Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.cxq9s8wv:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'] Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '501a639e94924066bfb5f0a8b3673445', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1642734457.129459/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.cxq9s8wv:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/ocaml-psmt2-frontend.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0'} and shell False Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1642636800 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.zM1qak + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf psmt2-frontend-0.4.0 + /usr/bin/gzip -dc /builddir/build/SOURCES/psmt2-frontend-0.4.0.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd psmt2-frontend-0.4.0 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + sed -i '/^git =/d;/^branch=/d;s/^\(version = \).*/\1"0.4.0"/' sphinx/conf.py + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.6L8WRn + umask 022 + cd /builddir/build/BUILD + '[' -f /builddir/build/BUILD/.package_note-ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64.ld ']' + '[' -f /usr/lib/rpm/generate-rpm-note.sh ']' + /usr/lib/rpm/generate-rpm-note.sh ocaml-psmt2-frontend 0.4.0-2.fc36 x86_64 + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -Wl,-dT,/builddir/build/BUILD/.package_note-ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64.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 + dune build -j2 --verbose --profile release Workspace root: /builddir/build/BUILD/psmt2-frontend-0.4.0 disable binary cache Running[0]: /usr/bin/ocamlc.opt -config > /tmp/dunebfd885.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" : "/builddir/build/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" : "/builddir/build/BUILD/psmt2-frontend-0.4.0" ; "INSIDE_DUNE" : "/builddir/build/BUILD/psmt2-frontend-0.4.0/_build/default" ; "MANPATH" : "/builddir/build/BUILD/psmt2-frontend-0.4.0/_build/install/default/bin" ; "OCAMLFIND_IGNORE_DUPS_IN" : "/builddir/build/BUILD/psmt2-frontend-0.4.0/_build/install/default/lib" ; "OCAMLPATH" : "/builddir/build/BUILD/psmt2-frontend-0.4.0/_build/install/default/lib" ; "OCAMLTOP_INCLUDE_PATH" : "/builddir/build/BUILD/psmt2-frontend-0.4.0/_build/install/default/lib/toplevel" } ; findlib_path = [ External "/usr/lib64/ocaml" ] ; arch_sixtyfour = true ; natdynlink_supported = true ; supports_shared_libraries = true ; ocaml_config = { version = "4.13.1" ; 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" ; "-flto=auto" ; "-ffat-lto-objects" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-Wp,-D_GLIBCXX_ASSERTIONS" ; "-specs=/usr/lib/rpm/redhat/redhat-hardened-cc1" ; "-fstack-protector-strong" ; "-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1" ; "-m64" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-pthread" ; "-fPIC" ; "-O2" ; "-flto=auto" ; "-ffat-lto-objects" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-Wp,-D_GLIBCXX_ASSERTIONS" ; "-specs=/usr/lib/rpm/redhat/redhat-hardened-cc1" ; "-fstack-protector-strong" ; "-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1" ; "-m64" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ] ; ocamlc_cppflags = [ "-D_FILE_OFFSET_BITS=64" ] ; ocamlopt_cflags = [ "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-flto=auto" ; "-ffat-lto-objects" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-Wp,-D_GLIBCXX_ASSERTIONS" ; "-specs=/usr/lib/rpm/redhat/redhat-hardened-cc1" ; "-fstack-protector-strong" ; "-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1" ; "-m64" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-pthread" ; "-fPIC" ; "-O2" ; "-flto=auto" ; "-ffat-lto-objects" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-Wp,-D_GLIBCXX_ASSERTIONS" ; "-specs=/usr/lib/rpm/redhat/redhat-hardened-cc1" ; "-fstack-protector-strong" ; "-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1" ; "-m64" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ] ; ocamlopt_cppflags = [ "-D_FILE_OFFSET_BITS=64" ] ; bytecomp_c_compiler = [ "gcc" ; "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-flto=auto" ; "-ffat-lto-objects" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-Wp,-D_GLIBCXX_ASSERTIONS" ; "-specs=/usr/lib/rpm/redhat/redhat-hardened-cc1" ; "-fstack-protector-strong" ; "-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1" ; "-m64" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-pthread" ; "-fPIC" ; "-O2" ; "-flto=auto" ; "-ffat-lto-objects" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-Wp,-D_GLIBCXX_ASSERTIONS" ; "-specs=/usr/lib/rpm/redhat/redhat-hardened-cc1" ; "-fstack-protector-strong" ; "-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1" ; "-m64" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-D_FILE_OFFSET_BITS=64" ] ; bytecomp_c_libraries = [ "-Wl,-z,relro" ; "-Wl,--as-needed" ; "-Wl,-z,now" ; "-specs=/usr/lib/rpm/redhat/redhat-hardened-ld" ; "-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1" ; "-lm" ; "-lpthread" ] ; native_c_compiler = [ "gcc" ; "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-flto=auto" ; "-ffat-lto-objects" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-Wp,-D_GLIBCXX_ASSERTIONS" ; "-specs=/usr/lib/rpm/redhat/redhat-hardened-cc1" ; "-fstack-protector-strong" ; "-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1" ; "-m64" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-pthread" ; "-fPIC" ; "-O2" ; "-flto=auto" ; "-ffat-lto-objects" ; "-fexceptions" ; "-g" ; "-grecord-gcc-switches" ; "-pipe" ; "-Wall" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-Wp,-D_GLIBCXX_ASSERTIONS" ; "-specs=/usr/lib/rpm/redhat/redhat-hardened-cc1" ; "-fstack-protector-strong" ; "-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1" ; "-m64" ; "-mtune=generic" ; "-fasynchronous-unwind-tables" ; "-fstack-clash-protection" ; "-fcf-protection" ; "-D_FILE_OFFSET_BITS=64" ] ; native_c_libraries = [ "-Wl,-z,relro" ; "-Wl,--as-needed" ; "-Wl,-z,now" ; "-specs=/usr/lib/rpm/redhat/redhat-hardened-ld" ; "-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1" ; "-lm" ] ; 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 = "Caml1999X030" ; cmi_magic_number = "Caml1999I030" ; cmo_magic_number = "Caml1999O030" ; cma_magic_number = "Caml1999A030" ; cmx_magic_number = "Caml1999Y030" ; cmxa_magic_number = "Caml1999Z030" ; ast_impl_magic_number = "Caml1999M030" ; ast_intf_magic_number = "Caml1999N030" ; cmxs_magic_number = "Caml1999D030" ; cmt_magic_number = "Caml1999T030" ; natdynlink_supported = true ; supports_shared_libraries = true ; windows_unicode = false } } Actual targets: - alias @@default Running[1]: (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[2]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/main.ml) > _build/default/src/lib/.psmt2Frontend.objs/main.ml.d Running[3]: (cd _build/default && /usr/bin/ocamldep.opt -modules -intf src/lib/options.mli) > _build/default/src/lib/.psmt2Frontend.objs/options.mli.d Running[4]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/options.ml) > _build/default/src/lib/.psmt2Frontend.objs/options.ml.d Running[5]: (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[6]: (cd _build/default && /usr/bin/ocamllex -q -o src/lib/smtlib_lexer.ml src/lib/smtlib_lexer.mll) Running[7]: (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) Output[7]: Note: the nonterminal symbol option (from src/lib/smtlib_parser.mly) is renamed src_lib_smtlib_parser_option. Running[8]: (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[9]: (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[10]: (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[11]: (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[12]: (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[13]: (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[14]: (cd _build/default && /usr/bin/ocamldep.opt -modules -intf src/lib/version.mli) > _build/default/src/lib/.psmt2Frontend.objs/version.mli.d Running[15]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/version.ml) > _build/default/src/lib/.psmt2Frontend.objs/version.ml.d Running[16]: (cd _build/default/test/output-tests && /usr/bin/cat test1.expected) > _build/default/test/output-tests/test1.output Running[17]: (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[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/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[20]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/smtlib_parser__mock.ml.mock) > _build/default/src/lib/.psmt2Frontend.objs/smtlib_parser__mock.ml.mock.d Running[21]: (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[22]: (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[23]: (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[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 -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 -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/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 -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Version.cmo -c -impl src/lib/version.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_ty.cmo -c -impl src/lib/smtlib_ty.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_syntax.cmo -c -impl src/lib/smtlib_syntax.ml) Running[33]: (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[34]: (cd _build/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/default/src/lib/smtlib_parser__mock.mli.inferred 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_syntax.cmx -c -impl src/lib/smtlib_syntax.ml) Running[36]: (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[37]: (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[38]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_env.cmx -c -impl src/lib/smtlib_typed_env.ml) Running[39]: (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[40]: (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[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_printer.cmx -c -impl src/lib/smtlib_printer.ml) Output[40]: 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 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/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_logic.cmx -c -impl src/lib/smtlib_typed_logic.ml) Running[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/ocamldep.opt -modules -impl src/lib/smtlib_parser.ml) > _build/default/src/lib/.psmt2Frontend.objs/smtlib_parser.ml.d 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_parser.cmi -c -intf src/lib/smtlib_parser.mli) 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 -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 -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[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 -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[53]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -shared -linkall -I src/lib -o src/lib/psmt2Frontend.cmxs src/lib/psmt2Frontend.cmxa) Running[54]: (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[55]: (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[56]: (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[57]: (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[58]: (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[59]: (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[60]: (cd _build/default/test/output-tests && ./test2.exe min.smt2) > _build/default/test/output-tests/test2.output + dune build -j2 @doc File "../../src/lib/.psmt2Frontend.objs/byte/psmt2Frontend.odoc": Warning: Couldn't find the following modules: Stdlib File "../../src/lib/.psmt2Frontend.objs/byte/psmt2Frontend.odoc": Warning: Failed to lookup type unresolvedroot(Stdlib__Map).Make(unresolvedroot(Stdlib).String).t Parent_module: Unresolved apply File "../../src/lib/.psmt2Frontend.objs/byte/psmt2Frontend.odoc": Warning: Failed to lookup type unresolvedroot(Stdlib__Map).Make(unresolvedroot(Stdlib).String).t Parent_module: Unresolved apply + make sphinx sphinx-build sphinx docs/sphinx Running Sphinx v4.3.1 making output directory... done WARNING: while setting up extension conf.py: The app.add_stylesheet() is deprecated. Please use app.add_css_file() instead. building [mo]: targets for 0 po files that are out of date 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 /builddir/build/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 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 copying static files... done copying extra files... 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 /var/tmp/rpm-tmp.EyQ4GP + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64 ++ dirname /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64 + '[' -f /builddir/build/BUILD/.package_note-ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64.ld ']' + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -Wl,-dT,/builddir/build/BUILD/.package_note-ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64.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 + dune install --destdir=/builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64 Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/META Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/dune-package Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/main.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/opam Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/options.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/options.mli Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.a Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cma Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxa Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmti Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmi Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmt Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmti Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmx Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_error.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_lexer.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.mli Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_printer.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_syntax.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_ty.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_typed_env.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_typed_logic.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_typing.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/version.ml Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/version.mli Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxs Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/doc/psmt2-frontend/CHANGES.md Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/doc/psmt2-frontend/LICENSE Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/doc/psmt2-frontend/LICENSE.md Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/doc/psmt2-frontend/README.md Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/doc/psmt2-frontend/odoc-pages/index.mld Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend_bin/META Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend_bin/dune-package Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend_bin/opam Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/bin/psmt2-frontend_bin Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/doc/psmt2-frontend_bin/CHANGES.md Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/doc/psmt2-frontend_bin/LICENSE Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/doc/psmt2-frontend_bin/LICENSE.md Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/doc/psmt2-frontend_bin/README.md Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/doc/psmt2-frontend_bin/odoc-pages/index.mld + find _build/default/_doc/_html -name .dune-keep -delete + find /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml -name '*.ml' -delete + rm -fr /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/doc + /usr/bin/find-debuginfo -j2 --strict-build-id -m -i --build-id-seed 0.4.0-2.fc36 --unique-debug-suffix -0.4.0-2.fc36.x86_64 --unique-debug-src-base ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -S debugsourcefiles.list /builddir/build/BUILD/psmt2-frontend-0.4.0 extracting debug info from /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/bin/psmt2-frontend_bin extracting debug info from /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxs original debug info size: 904kB, size after compression: 904kB /usr/bin/sepdebugcrcfix: Updated 2 CRC32s, 0 CRC32s did match. 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 1986 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip /usr/bin/strip: /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/stAlkVwx/psmt2Frontend.o: cannot set time: Invalid argument /usr/bin/strip: /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/stAlkVwx/psmt2Frontend__Version.o: cannot set time: Invalid argument /usr/bin/strip: /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/stAlkVwx/psmt2Frontend__Options.o: cannot set time: Invalid argument /usr/bin/strip: /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/stAlkVwx/psmt2Frontend__Smtlib_error.o: cannot set time: Invalid argument /usr/bin/strip: /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/stAlkVwx/psmt2Frontend__Smtlib_ty.o: cannot set time: Invalid argument /usr/bin/strip: /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/stAlkVwx/psmt2Frontend__Smtlib_syntax.o: cannot set time: Invalid argument /usr/bin/strip: /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/stAlkVwx/psmt2Frontend__Smtlib_typed_env.o: cannot set time: Invalid argument /usr/bin/strip: /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/stAlkVwx/psmt2Frontend__Smtlib_printer.o: cannot set time: Invalid argument /usr/bin/strip: /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/stAlkVwx/psmt2Frontend__Smtlib_typed_logic.o: cannot set time: Invalid argument /usr/bin/strip: /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/stAlkVwx/psmt2Frontend__Smtlib_typing.o: cannot set time: Invalid argument /usr/bin/strip: /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/stAlkVwx/psmt2Frontend__Smtlib_parser.o: cannot set time: Invalid argument /usr/bin/strip: /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/stAlkVwx/psmt2Frontend__Smtlib_lexer.o: cannot set time: Invalid argument /usr/bin/strip: /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/lib64/ocaml/psmt2-frontend/stAlkVwx/psmt2Frontend__Main.o: cannot set time: Invalid argument + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/redhat/brp-mangle-shebangs + /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 + /usr/lib/rpm/redhat/brp-python-hardlink Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.hjsbWw + umask 022 + cd /builddir/build/BUILD + '[' -f /builddir/build/BUILD/.package_note-ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64.ld ']' + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -Wl,-dT,/builddir/build/BUILD/.package_note-ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64.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 + dune runtest --profile release + RPM_EC=0 ++ jobs -p + exit 0 Processing files: ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.n7PyT4 + umask 022 + cd /builddir/build/BUILD + cd psmt2-frontend-0.4.0 + DOCDIR=/builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/share/doc/ocaml-psmt2-frontend + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/share/doc/ocaml-psmt2-frontend + cp -pr CHANGES.md /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/share/doc/ocaml-psmt2-frontend + cp -pr README.md /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/share/doc/ocaml-psmt2-frontend + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.LjlTGf + umask 022 + cd /builddir/build/BUILD + cd psmt2-frontend-0.4.0 + LICENSEDIR=/builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/share/licenses/ocaml-psmt2-frontend + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/share/licenses/ocaml-psmt2-frontend + cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/share/licenses/ocaml-psmt2-frontend + RPM_EC=0 ++ jobs -p + exit 0 Provides: ocaml(Psmt2Frontend) = eb576e27a2ee94146c01caa17d30ab0f ocaml(Psmt2Frontend__Main) = b0c126365c0976e1f606b63d1e8230fb ocaml(Psmt2Frontend__Options) = 5842cd84bd854c14025fd39a2c3d7361 ocaml(Psmt2Frontend__Smtlib_error) = ee3a690aa77a2127ce7a290dd7ffe43c ocaml(Psmt2Frontend__Smtlib_lexer) = d3147be8f2087de7662c290a0b702f95 ocaml(Psmt2Frontend__Smtlib_parser) = a6c637e5ab8f463df21fa1987c02f958 ocaml(Psmt2Frontend__Smtlib_printer) = 969bd2c2aba5b2c71720e6bdbe6cc021 ocaml(Psmt2Frontend__Smtlib_syntax) = 2f162f02770f561c075625158d0f47dc ocaml(Psmt2Frontend__Smtlib_ty) = 171726162fafa1b5414378838d676214 ocaml(Psmt2Frontend__Smtlib_typed_env) = 7b2d44ba31a3af563c3c25feef4959a4 ocaml(Psmt2Frontend__Smtlib_typed_logic) = dda1a7f841eb39cbd347b0e371db2bc1 ocaml(Psmt2Frontend__Smtlib_typing) = e2913a7992c47c196d95906a132155e9 ocaml(Psmt2Frontend__Version) = 300136a4dabacaa4c7e5531845127715 ocaml-psmt2-frontend = 0.4.0-2.fc36 ocaml-psmt2-frontend(x86-64) = 0.4.0-2.fc36 ocamlx(Psmt2Frontend) = 7f67486d05d71c2934229a3389859501 ocamlx(Psmt2Frontend__Main) = db82c5b3abeb148e5b68fb8f6a3b34e2 ocamlx(Psmt2Frontend__Options) = d64ecd2193cd7a4589d9ef00be77b255 ocamlx(Psmt2Frontend__Smtlib_error) = 04e4c8a0aaf56f82c0c79a2a0d42dc49 ocamlx(Psmt2Frontend__Smtlib_lexer) = dd8e86129bc5619b7b95c47f830d6e30 ocamlx(Psmt2Frontend__Smtlib_parser) = 3df955e3c32ec0d90fe23724fa82c055 ocamlx(Psmt2Frontend__Smtlib_printer) = a3da8b6758b3a917467b8152520411ec ocamlx(Psmt2Frontend__Smtlib_syntax) = a399085fac78db604990dcbf5a12814f ocamlx(Psmt2Frontend__Smtlib_ty) = 4526c6ec9b68ce9df6680a9640f12e6f ocamlx(Psmt2Frontend__Smtlib_typed_env) = f04693b8d64ef343b7c5188f91eb6029 ocamlx(Psmt2Frontend__Smtlib_typed_logic) = c3629aefd1b3d0a9598ea3d345ff9bef ocamlx(Psmt2Frontend__Smtlib_typing) = 67200c81cb3539e9d0df32b7c9cca83b ocamlx(Psmt2Frontend__Version) = 8fc4944a12fd1f93751a4e2184226c87 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: glibc >= 2.34.9000-36.fc36 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) ocaml(CamlinternalFormatBasics) = c4b583a727ec28f5bc9ba36adc64cfc7 ocaml(Psmt2Frontend) = eb576e27a2ee94146c01caa17d30ab0f ocaml(Psmt2Frontend__Options) = 5842cd84bd854c14025fd39a2c3d7361 ocaml(Psmt2Frontend__Smtlib_error) = ee3a690aa77a2127ce7a290dd7ffe43c ocaml(Psmt2Frontend__Smtlib_parser) = a6c637e5ab8f463df21fa1987c02f958 ocaml(Psmt2Frontend__Smtlib_printer) = 969bd2c2aba5b2c71720e6bdbe6cc021 ocaml(Psmt2Frontend__Smtlib_syntax) = 2f162f02770f561c075625158d0f47dc ocaml(Psmt2Frontend__Smtlib_ty) = 171726162fafa1b5414378838d676214 ocaml(Psmt2Frontend__Smtlib_typed_env) = 7b2d44ba31a3af563c3c25feef4959a4 ocaml(Psmt2Frontend__Smtlib_typed_logic) = dda1a7f841eb39cbd347b0e371db2bc1 ocaml(Stdlib) = 2d082666be7fc2ba916e7233397491df ocaml(Stdlib__Buffer) = ae6f92ba6bb2f608ab1494d80d56dc6a ocaml(Stdlib__Either) = 24a5d315a7028b5fabcaa9f6b3def93c ocaml(Stdlib__Format) = 7ec40152121873f806ea6f674af87963 ocaml(Stdlib__Hashtbl) = f8a1618a0afdf7b51a7efc58d3ada50b ocaml(Stdlib__Lexing) = 58f88856435bd604950e119384ea45a3 ocaml(Stdlib__List) = a655ec23bee4d972dcda1182a3264cf3 ocaml(Stdlib__Map) = 406d1bc59860d17292fd07fc9e6e19e0 ocaml(Stdlib__Printf) = 0e709b4af7558eb0589bebb98388ce8e ocaml(Stdlib__Seq) = 4a64380180d45f6d850ce24ab1076b18 ocaml(Stdlib__Stack) = 19a2dfcd16d8615b049bb08728d442df ocaml(Stdlib__String) = 2e8342c86495af4a502e4634e35933ed ocaml(Stdlib__Uchar) = 6f39f075b573943ab932cfc8fc5bfd5d ocamlx(Psmt2Frontend__Options) = d64ecd2193cd7a4589d9ef00be77b255 ocamlx(Psmt2Frontend__Smtlib_error) = 04e4c8a0aaf56f82c0c79a2a0d42dc49 ocamlx(Psmt2Frontend__Smtlib_printer) = a3da8b6758b3a917467b8152520411ec ocamlx(Psmt2Frontend__Smtlib_ty) = 4526c6ec9b68ce9df6680a9640f12e6f ocamlx(Psmt2Frontend__Smtlib_typed_env) = f04693b8d64ef343b7c5188f91eb6029 ocamlx(Psmt2Frontend__Smtlib_typed_logic) = c3629aefd1b3d0a9598ea3d345ff9bef ocamlx(Stdlib) = f8b8b4ee0b917ebd74ad56082a6500fe ocamlx(Stdlib__Format) = f0b02a997e83d9117ebfeb35c9fa61c6 ocamlx(Stdlib__Hashtbl) = 04f772f8913c4d9f535a6c6c2d722fb4 ocamlx(Stdlib__Lexing) = a8853a0486f377dcf67be29041f89b58 ocamlx(Stdlib__List) = 21b8c13f8a244aae814f6acdfce31ac4 ocamlx(Stdlib__Map) = 09312960f2079da7f07cad281186eb70 ocamlx(Stdlib__Printf) = 54da4609e17a1893e7a0c08168b8726a ocamlx(Stdlib__Stack) = 2847dfe61eaa3801d5f6e39207191314 ocamlx(Stdlib__String) = e3d157a8c85cee272249a1c492e502f5 rtld(GNU_HASH) Processing files: ocaml-psmt2-frontend-devel-0.4.0-2.fc36.x86_64 Provides: ocaml(Psmt2Frontend) = eb576e27a2ee94146c01caa17d30ab0f ocaml(Psmt2Frontend__Main) = b0c126365c0976e1f606b63d1e8230fb ocaml(Psmt2Frontend__Options) = 5842cd84bd854c14025fd39a2c3d7361 ocaml(Psmt2Frontend__Smtlib_error) = ee3a690aa77a2127ce7a290dd7ffe43c ocaml(Psmt2Frontend__Smtlib_lexer) = d3147be8f2087de7662c290a0b702f95 ocaml(Psmt2Frontend__Smtlib_parser) = a6c637e5ab8f463df21fa1987c02f958 ocaml(Psmt2Frontend__Smtlib_printer) = 969bd2c2aba5b2c71720e6bdbe6cc021 ocaml(Psmt2Frontend__Smtlib_syntax) = 2f162f02770f561c075625158d0f47dc ocaml(Psmt2Frontend__Smtlib_ty) = 171726162fafa1b5414378838d676214 ocaml(Psmt2Frontend__Smtlib_typed_env) = 7b2d44ba31a3af563c3c25feef4959a4 ocaml(Psmt2Frontend__Smtlib_typed_logic) = dda1a7f841eb39cbd347b0e371db2bc1 ocaml(Psmt2Frontend__Smtlib_typing) = e2913a7992c47c196d95906a132155e9 ocaml(Psmt2Frontend__Version) = 300136a4dabacaa4c7e5531845127715 ocaml-psmt2-frontend-devel = 0.4.0-2.fc36 ocaml-psmt2-frontend-devel(x86-64) = 0.4.0-2.fc36 ocamlx(Psmt2Frontend) = 7f67486d05d71c2934229a3389859501 ocamlx(Psmt2Frontend__Main) = db82c5b3abeb148e5b68fb8f6a3b34e2 ocamlx(Psmt2Frontend__Options) = d64ecd2193cd7a4589d9ef00be77b255 ocamlx(Psmt2Frontend__Smtlib_error) = 04e4c8a0aaf56f82c0c79a2a0d42dc49 ocamlx(Psmt2Frontend__Smtlib_lexer) = dd8e86129bc5619b7b95c47f830d6e30 ocamlx(Psmt2Frontend__Smtlib_parser) = 3df955e3c32ec0d90fe23724fa82c055 ocamlx(Psmt2Frontend__Smtlib_printer) = a3da8b6758b3a917467b8152520411ec ocamlx(Psmt2Frontend__Smtlib_syntax) = a399085fac78db604990dcbf5a12814f ocamlx(Psmt2Frontend__Smtlib_ty) = 4526c6ec9b68ce9df6680a9640f12e6f ocamlx(Psmt2Frontend__Smtlib_typed_env) = f04693b8d64ef343b7c5188f91eb6029 ocamlx(Psmt2Frontend__Smtlib_typed_logic) = c3629aefd1b3d0a9598ea3d345ff9bef ocamlx(Psmt2Frontend__Smtlib_typing) = 67200c81cb3539e9d0df32b7c9cca83b ocamlx(Psmt2Frontend__Version) = 8fc4944a12fd1f93751a4e2184226c87 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(CamlinternalFormatBasics) = c4b583a727ec28f5bc9ba36adc64cfc7 ocaml(Psmt2Frontend) = eb576e27a2ee94146c01caa17d30ab0f ocaml(Psmt2Frontend__Options) = 5842cd84bd854c14025fd39a2c3d7361 ocaml(Psmt2Frontend__Smtlib_error) = ee3a690aa77a2127ce7a290dd7ffe43c ocaml(Psmt2Frontend__Smtlib_parser) = a6c637e5ab8f463df21fa1987c02f958 ocaml(Psmt2Frontend__Smtlib_printer) = 969bd2c2aba5b2c71720e6bdbe6cc021 ocaml(Psmt2Frontend__Smtlib_syntax) = 2f162f02770f561c075625158d0f47dc ocaml(Psmt2Frontend__Smtlib_ty) = 171726162fafa1b5414378838d676214 ocaml(Psmt2Frontend__Smtlib_typed_env) = 7b2d44ba31a3af563c3c25feef4959a4 ocaml(Psmt2Frontend__Smtlib_typed_logic) = dda1a7f841eb39cbd347b0e371db2bc1 ocaml(Stdlib) = 2d082666be7fc2ba916e7233397491df ocaml(Stdlib__Buffer) = ae6f92ba6bb2f608ab1494d80d56dc6a ocaml(Stdlib__Either) = 24a5d315a7028b5fabcaa9f6b3def93c ocaml(Stdlib__Format) = 7ec40152121873f806ea6f674af87963 ocaml(Stdlib__Hashtbl) = f8a1618a0afdf7b51a7efc58d3ada50b ocaml(Stdlib__Lexing) = 58f88856435bd604950e119384ea45a3 ocaml(Stdlib__List) = a655ec23bee4d972dcda1182a3264cf3 ocaml(Stdlib__Map) = 406d1bc59860d17292fd07fc9e6e19e0 ocaml(Stdlib__Printf) = 0e709b4af7558eb0589bebb98388ce8e ocaml(Stdlib__Seq) = 4a64380180d45f6d850ce24ab1076b18 ocaml(Stdlib__Stack) = 19a2dfcd16d8615b049bb08728d442df ocaml(Stdlib__String) = 2e8342c86495af4a502e4634e35933ed ocaml(Stdlib__Uchar) = 6f39f075b573943ab932cfc8fc5bfd5d ocamlx(Psmt2Frontend__Options) = d64ecd2193cd7a4589d9ef00be77b255 ocamlx(Psmt2Frontend__Smtlib_error) = 04e4c8a0aaf56f82c0c79a2a0d42dc49 ocamlx(Psmt2Frontend__Smtlib_printer) = a3da8b6758b3a917467b8152520411ec ocamlx(Psmt2Frontend__Smtlib_ty) = 4526c6ec9b68ce9df6680a9640f12e6f ocamlx(Psmt2Frontend__Smtlib_typed_env) = f04693b8d64ef343b7c5188f91eb6029 ocamlx(Psmt2Frontend__Smtlib_typed_logic) = c3629aefd1b3d0a9598ea3d345ff9bef ocamlx(Stdlib) = f8b8b4ee0b917ebd74ad56082a6500fe ocamlx(Stdlib__Format) = f0b02a997e83d9117ebfeb35c9fa61c6 ocamlx(Stdlib__Hashtbl) = 04f772f8913c4d9f535a6c6c2d722fb4 ocamlx(Stdlib__Lexing) = a8853a0486f377dcf67be29041f89b58 ocamlx(Stdlib__List) = 21b8c13f8a244aae814f6acdfce31ac4 ocamlx(Stdlib__Map) = 09312960f2079da7f07cad281186eb70 ocamlx(Stdlib__Printf) = 54da4609e17a1893e7a0c08168b8726a ocamlx(Stdlib__Stack) = 2847dfe61eaa3801d5f6e39207191314 ocamlx(Stdlib__String) = e3d157a8c85cee272249a1c492e502f5 Processing files: ocaml-psmt2-frontend-docs-0.4.0-2.fc36.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.XiJgez + umask 022 + cd /builddir/build/BUILD + cd psmt2-frontend-0.4.0 + DOCDIR=/builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/share/doc/ocaml-psmt2-frontend + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/share/doc/ocaml-psmt2-frontend + cp -pr docs/sphinx /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/share/doc/ocaml-psmt2-frontend + cp -pr _build/default/_doc/_html /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64/usr/share/doc/ocaml-psmt2-frontend + RPM_EC=0 ++ jobs -p + exit 0 Provides: ocaml-psmt2-frontend-docs = 0.4.0-2.fc36 ocaml-psmt2-frontend-docs(x86-64) = 0.4.0-2.fc36 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.fc36.x86_64 Provides: ocaml-psmt2-frontend-debugsource = 0.4.0-2.fc36 ocaml-psmt2-frontend-debugsource(x86-64) = 0.4.0-2.fc36 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.fc36.x86_64 Provides: debuginfo(build-id) = 13d091545a7923e5bca147846a1d72a423507658 debuginfo(build-id) = a0f8e468239d6a49eeefa58d1f7720da18582f96 ocaml-psmt2-frontend-debuginfo = 0.4.0-2.fc36 ocaml-psmt2-frontend-debuginfo(x86-64) = 0.4.0-2.fc36 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.fc36 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64 Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64.rpm Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-devel-0.4.0-2.fc36.x86_64.rpm Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-docs-0.4.0-2.fc36.x86_64.rpm Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-debugsource-0.4.0-2.fc36.x86_64.rpm Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-debuginfo-0.4.0-2.fc36.x86_64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.5vZ1yR + umask 022 + cd /builddir/build/BUILD + cd psmt2-frontend-0.4.0 + /usr/bin/rm -rf /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-2.fc36.x86_64 + RPM_EC=0 ++ jobs -p + exit 0 Child return code was: 0