Mock Version: 3.3
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-1668432350.421567/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 0x7f29c89edfc0>timeout=0uid=1000gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.xhzmygdf:/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.xhzmygdf:/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', '708c210cc62347eaa39a45079178cd82', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1668432350.421567/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.xhzmygdf:/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', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1658448000
Wrote: /builddir/build/SRPMS/ocaml-psmt2-frontend-0.4.0-5.fc38.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-1668432350.421567/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 0x7f29c89edfc0>timeout=0uid=1000gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.xhzmygdf:/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.xhzmygdf:/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', '72671aeeba4d421f82ecef89307fc048', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1668432350.421567/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.xhzmygdf:/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', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: x86_64
Building for target x86_64
setting SOURCE_DATE_EPOCH=1658448000
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.qXMNym
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf psmt2-frontend-0.4.0
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/psmt2-frontend-0.4.0.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd psmt2-frontend-0.4.0
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ 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.hmx6kE
+ umask 022
+ cd /builddir/build/BUILD
+ 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
+ VALAFLAGS=-g
+ export VALAFLAGS
+ 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 '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd psmt2-frontend-0.4.0
+ dune build --verbose --release -j2
Shared cache: disabled
Workspace root: /builddir/build/BUILD/psmt2-frontend-0.4.0
Running[0]: /usr/bin/ocamlc.opt -config > /tmp/dune_51469e_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_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"
         ; "-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"
         ; "-Wl,--build-id=sha1"
         ; "-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"
         ; "-Wl,--build-id=sha1"
         ; "-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)
Output[2]:
Note: the nonterminal symbol option (from src/lib/smtlib_parser.mly) is renamed src_lib_smtlib_parser_option.
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/ocamldep.opt -modules -impl src/lib/smtlib_parser__mock.ml.mock) > _build/default/src/lib/.psmt2Frontend.objs/smtlib_parser__mock.ml.mock.d
Running[6]: (cd _build/default && /usr/bin/ocamldep.opt -modules -impl src/lib/main.ml) > _build/default/src/lib/.psmt2Frontend.objs/main.ml.d
Running[7]: (cd _build/default && /usr/bin/ocamldep.opt -modules -intf src/lib/options.mli) > _build/default/src/lib/.psmt2Frontend.objs/options.mli.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_lexer.ml) > _build/default/src/lib/.psmt2Frontend.objs/smtlib_lexer.ml.d
Running[11]: (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[12]: (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[13]: (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[14]: (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[15]: (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[16]: (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[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/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[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__Main.cmo -c -impl src/lib/main.ml)
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/.sandbox/14ce5cfb8bde80bb49e99fa064d0cb18/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/14ce5cfb8bde80bb49e99fa064d0cb18/default/src/lib/smtlib_parser__mock.mli.inferred
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/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_syntax.cmx -c -impl src/lib/smtlib_syntax.ml)
Running[35]: (cd _build/default && /usr/bin/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[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_typed_logic.cmo -c -impl src/lib/smtlib_typed_logic.ml)
Running[37]: (cd _build/default && /usr/bin/menhir src/lib/smtlib_parser.mly --base src/lib/smtlib_parser --infer-read-reply src/lib/smtlib_parser__mock.mli.inferred)
Running[38]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_env.cmx -c -impl src/lib/smtlib_typed_env.ml)
Output[37]:
Note: the nonterminal symbol option (from src/lib/smtlib_parser.mly) is renamed src_lib_smtlib_parser_option.
Warning: 22 end-of-stream conflicts were arbitrarily resolved.
File "<standard.mly>", line 206, characters 16-16:
Warning: production list(term) -> is never reduced.
Warning: in total, 1 production is never reduced.
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/ocamldep.opt -modules -impl src/lib/smtlib_parser.ml) > _build/default/src/lib/.psmt2Frontend.objs/smtlib_parser.ml.d
Running[41]: (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[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_printer.cmx -c -impl src/lib/smtlib_printer.ml)
Running[43]: (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[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 -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/byte/psmt2Frontend__Smtlib_parser.cmo -c -impl src/lib/smtlib_parser.ml)
Running[46]: (cd _build/default && /usr/bin/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[47]: (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[48]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typing.cmx -c -impl src/lib/smtlib_typing.ml)
Running[49]: (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[50]: (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[51]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -open Psmt2Frontend -o src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_lexer.cmx -c -impl src/lib/smtlib_lexer.ml)
Running[52]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -I src/bin/.main.eobjs/byte -I src/bin/.main.eobjs/native -I src/lib/.psmt2Frontend.objs/byte -I src/lib/.psmt2Frontend.objs/native -intf-suffix .ml -no-alias-deps -o src/bin/.main.eobjs/native/dune__exe__Main.cmx -c -impl src/bin/main.ml)
Running[53]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -a -o src/lib/psmt2Frontend.cmxa src/lib/.psmt2Frontend.objs/native/psmt2Frontend.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Version.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Options.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_error.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_ty.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_syntax.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_env.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_printer.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typed_logic.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_typing.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_parser.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Smtlib_lexer.cmx src/lib/.psmt2Frontend.objs/native/psmt2Frontend__Main.cmx)
Running[54]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -shared -linkall -I src/lib -o src/lib/psmt2Frontend.cmxs src/lib/psmt2Frontend.cmxa)
Running[55]: (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -g -o src/bin/main.exe src/lib/psmt2Frontend.cmxa src/bin/.main.eobjs/native/dune__exe__Main.cmx)
Promoting "_build/default/psmt2-frontend.install" to "psmt2-frontend.install"
Promoting "_build/default/psmt2-frontend_bin.install" to
"psmt2-frontend_bin.install"
+ make sphinx
sphinx-build sphinx docs/sphinx
Running Sphinx v5.1.1
WARNING: Invalid configuration value found: 'language = None'. Update your configuration to a valid language code. Falling back to 'en' (English).
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, 3 warnings.
The HTML pages are in docs/sphinx.
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.AnJ7Wm
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64
++ dirname /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.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
+ VALAFLAGS=-g
+ export VALAFLAGS
+ 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 '
+ 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-5.fc38.x86_64 --verbose --release -j2
Shared cache: disabled
Workspace root: /builddir/build/BUILD/psmt2-frontend-0.4.0
Running[0]: /usr/bin/ocamlc.opt -config > /tmp/dune_2b7597_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_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"
         ; "-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"
         ; "-Wl,--build-id=sha1"
         ; "-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"
         ; "-Wl,--build-id=sha1"
         ; "-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 /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/META
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/dune-package
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/main.ml
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/opam
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/options.ml
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/options.mli
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.a
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cma
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmi
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmt
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmx
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxa
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.ml
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmi
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmt
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmx
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmi
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmt
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmti
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmx
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmx
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmx
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmx
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmx
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmx
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmx
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmx
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmx
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmx
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmi
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmt
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmti
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmx
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_error.ml
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_lexer.ml
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.ml
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.mli
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_printer.ml
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_syntax.ml
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_ty.ml
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_typed_env.ml
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_typed_logic.ml
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_typing.ml
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/version.ml
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/version.mli
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxs
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/doc/psmt2-frontend/CHANGES.md
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/doc/psmt2-frontend/LICENSE
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/doc/psmt2-frontend/LICENSE.md
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/doc/psmt2-frontend/README.md
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/doc/psmt2-frontend/odoc-pages/index.mld
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend_bin/META
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend_bin/dune-package
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend_bin/opam
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/bin/psmt2-frontend_bin
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/doc/psmt2-frontend_bin/CHANGES.md
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/doc/psmt2-frontend_bin/LICENSE
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/doc/psmt2-frontend_bin/LICENSE.md
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/doc/psmt2-frontend_bin/README.md
Installing /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/doc/psmt2-frontend_bin/odoc-pages/index.mld
+ '[' -d _build/default/_doc/_html ']'
+ rm -rf /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/doc
++ find /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml -name '*.mli'
+ mlis='/builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/version.mli
/builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.mli
/builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/options.mli'
+ rm -f /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/version.ml /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.ml /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/options.ml
+ /usr/bin/python3 /usr/lib/rpm/redhat/ocaml_files.py /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64 /usr/lib64/ocaml
+ /usr/bin/find-debuginfo -j2 --strict-build-id -m -i --build-id-seed 0.4.0-5.fc38 --unique-debug-suffix -0.4.0-5.fc38.x86_64 --unique-debug-src-base ocaml-psmt2-frontend-0.4.0-5.fc38.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-5.fc38.x86_64/usr/bin/psmt2-frontend_bin
extracting debug info from /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxs
original debug info size: 1120kB, size after compression: 1116kB
/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
1999 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/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/check-rpaths
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
+ /usr/lib/rpm/brp-remove-la-files
+ /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.5XJzws
+ umask 022
+ cd /builddir/build/BUILD
+ 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
+ VALAFLAGS=-g
+ export VALAFLAGS
+ 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 '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd psmt2-frontend-0.4.0
+ dune runtest --verbose --release -j2
Shared cache: disabled
Workspace root: /builddir/build/BUILD/psmt2-frontend-0.4.0
Running[0]: /usr/bin/ocamlc.opt -config > /tmp/dune_99a192_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_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"
         ; "-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"
         ; "-Wl,--build-id=sha1"
         ; "-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"
         ; "-Wl,--build-id=sha1"
         ; "-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-5.fc38.x86_64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.PkEQCm
+ umask 022
+ cd /builddir/build/BUILD
+ cd psmt2-frontend-0.4.0
+ DOCDIR=/builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.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-5.fc38.x86_64/usr/share/doc/ocaml-psmt2-frontend
+ cp -pr CHANGES.md /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/share/doc/ocaml-psmt2-frontend
+ cp -pr README.md /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/share/doc/ocaml-psmt2-frontend
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.nuixqg
+ umask 022
+ cd /builddir/build/BUILD
+ cd psmt2-frontend-0.4.0
+ LICENSEDIR=/builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.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-5.fc38.x86_64/usr/share/licenses/ocaml-psmt2-frontend
+ cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/share/licenses/ocaml-psmt2-frontend
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ocaml(Psmt2Frontend) = 3acb5fff4139ae05e0a9decb7f14b441 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-5.fc38 ocaml-psmt2-frontend(x86-64) = 0.4.0-5.fc38 ocaml-psmt2-frontend-doc = 0.4.0-5.fc38
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) ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15 ocaml(Psmt2Frontend) = 3acb5fff4139ae05e0a9decb7f14b441 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 rtld(GNU_HASH)
Obsoletes: ocaml-psmt2-frontend-doc < 0.4.0-5
Processing files: ocaml-psmt2-frontend-devel-0.4.0-5.fc38.x86_64
Provides: ocaml(Psmt2Frontend) = 3acb5fff4139ae05e0a9decb7f14b441 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-5.fc38 ocaml-psmt2-frontend-devel(x86-64) = 0.4.0-5.fc38 ocamlx(Psmt2Frontend) = f7bdea29b73607fa8f96cca0a3c206a0 ocamlx(Psmt2Frontend__Main) = acd138434b8cf7b8e9f561eba43d06b4 ocamlx(Psmt2Frontend__Options) = efb4f50898db3b2961dc532450e166ca ocamlx(Psmt2Frontend__Smtlib_error) = a0f254132c14b1a3868655d2d1bb320b ocamlx(Psmt2Frontend__Smtlib_lexer) = 816e69013f81bcc390e98c969528d91e ocamlx(Psmt2Frontend__Smtlib_parser) = a7ca40d734c4856cdcf4e441e4271179 ocamlx(Psmt2Frontend__Smtlib_printer) = f61641f79ba80524eb066cd6d8a0e92e ocamlx(Psmt2Frontend__Smtlib_syntax) = 77d812842896351cf6c58ba08202f532 ocamlx(Psmt2Frontend__Smtlib_ty) = e859805edd6c19ea48d7d609a62947e4 ocamlx(Psmt2Frontend__Smtlib_typed_env) = dc6bca05bd11a9ff6e0e87fe8bd742c8 ocamlx(Psmt2Frontend__Smtlib_typed_logic) = de103d954f795b169d13b93561501f68 ocamlx(Psmt2Frontend__Smtlib_typing) = b4bd46ab670286bc8d3e24218c4a56fc ocamlx(Psmt2Frontend__Version) = 8c2fe3a1daa0b7c464a80c546e85ac92
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) = 3acb5fff4139ae05e0a9decb7f14b441 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) = efb4f50898db3b2961dc532450e166ca ocamlx(Psmt2Frontend__Smtlib_error) = a0f254132c14b1a3868655d2d1bb320b ocamlx(Psmt2Frontend__Smtlib_printer) = f61641f79ba80524eb066cd6d8a0e92e ocamlx(Psmt2Frontend__Smtlib_ty) = e859805edd6c19ea48d7d609a62947e4 ocamlx(Psmt2Frontend__Smtlib_typed_env) = dc6bca05bd11a9ff6e0e87fe8bd742c8 ocamlx(Psmt2Frontend__Smtlib_typed_logic) = de103d954f795b169d13b93561501f68 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-5.fc38.x86_64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.IIEj7b
+ umask 022
+ cd /builddir/build/BUILD
+ cd psmt2-frontend-0.4.0
+ DOCDIR=/builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/share/doc/ocaml-psmt2-frontend-docs
+ export LC_ALL=C
+ LC_ALL=C
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/share/doc/ocaml-psmt2-frontend-docs
+ cp -pr docs/sphinx /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64/usr/share/doc/ocaml-psmt2-frontend-docs
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ocaml-psmt2-frontend-docs = 0.4.0-5.fc38 ocaml-psmt2-frontend-docs(x86-64) = 0.4.0-5.fc38
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-5.fc38.x86_64
Provides: ocaml-psmt2-frontend-debugsource = 0.4.0-5.fc38 ocaml-psmt2-frontend-debugsource(x86-64) = 0.4.0-5.fc38
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-5.fc38.x86_64
Provides: debuginfo(build-id) = 644c6f8edd21d255d77aba8d05dfe4c89d108338 debuginfo(build-id) = decc48b30762d3673618d0d91275f2bc416903c3 ocaml-psmt2-frontend-debuginfo = 0.4.0-5.fc38 ocaml-psmt2-frontend-debuginfo(x86-64) = 0.4.0-5.fc38
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-5.fc38
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64
Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-0.4.0-5.fc38.x86_64.rpm
Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-devel-0.4.0-5.fc38.x86_64.rpm
Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-debuginfo-0.4.0-5.fc38.x86_64.rpm
Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-debugsource-0.4.0-5.fc38.x86_64.rpm
Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-docs-0.4.0-5.fc38.x86_64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.DzkmWI
+ 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-5.fc38.x86_64
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.iWFyQs
+ umask 022
+ cd /builddir/build/BUILD
+ rm -rf psmt2-frontend-0.4.0 psmt2-frontend-0.4.0.gemspec
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0