Mock Version: 2.9
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-34-x86_64-1614020507.556807/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 0x7f78fc1e09a0>timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.6wpf5fg1:/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.6wpf5fg1:/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', '07f82c35a3ae4214af7498a100e8add2', '-D', '/var/lib/mock/fedora-34-x86_64-1614020507.556807/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.6wpf5fg1:/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=1611619200
Wrote: /builddir/build/SRPMS/ocaml-psmt2-frontend-0.1-7.fc34.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-34-x86_64-1614020507.556807/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 0x7f78fc1e09a0>timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.6wpf5fg1:/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.6wpf5fg1:/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', 'f6ef29d5e4f6457782ad2b35dd7eb1f5', '-D', '/var/lib/mock/fedora-34-x86_64-1614020507.556807/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.6wpf5fg1:/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=1611619200
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.Ut1YPA
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf psmt2-frontend-0.1
+ /usr/bin/gzip -dc /builddir/build/SOURCES/psmt2-frontend-0.1.tar.gz
+ /usr/bin/tar -xof -
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd psmt2-frontend-0.1
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ sed -i 's/^\(LIBDIR=\).*/\1@libdir@/' Makefile.in
+ autoconf -f
configure.in:161: warning: AC_OUTPUT should be used without arguments.
configure.in:161: You should run autoupdate.
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.FgFhQB
+ umask 022
+ cd /builddir/build/BUILD
+ cd psmt2-frontend-0.1
+ 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 '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ '[' '-flto=auto -ffat-lto-objectsx' '!=' x ']'
++ find . -type f -name configure -print
+ for file in $(find . -type f -name configure -print)
+ /usr/bin/sed -r --in-place=.backup 's/^char \(\*f\) \(\) = /__attribute__ ((used)) char (*f) () = /g' ./configure
+ diff -u ./configure.backup ./configure
+ mv ./configure.backup ./configure
+ /usr/bin/sed -r --in-place=.backup 's/^char \(\*f\) \(\);/__attribute__ ((used)) char (*f) ();/g' ./configure
+ diff -u ./configure.backup ./configure
+ mv ./configure.backup ./configure
+ /usr/bin/sed -r --in-place=.backup 's/^char \$2 \(\);/__attribute__ ((used)) char \$2 ();/g' ./configure
+ diff -u ./configure.backup ./configure
+ mv ./configure.backup ./configure
+ /usr/bin/sed --in-place=.backup '1{$!N;$!N};$!N;s/int x = 1;\nint y = 0;\nint z;\nint nan;/volatile int x = 1; volatile int y = 0; volatile int z, nan;/;P;D' ./configure
+ diff -u ./configure.backup ./configure
+ mv ./configure.backup ./configure
+ /usr/bin/sed --in-place=.backup 's#^lt_cv_sys_global_symbol_to_cdecl=.*#lt_cv_sys_global_symbol_to_cdecl="sed -n -e '\''s/^T .* \\(.*\\)$/extern int \\1();/p'\'' -e '\''s/^$symcode* .* \\(.*\\)$/extern char \\1;/p'\''"#' ./configure
+ diff -u ./configure.backup ./configure
+ mv ./configure.backup ./configure
+ '[' 1 = 1 ']'
+++ dirname ./configure
++ find . -name config.guess -o -name config.sub
+ '[' 1 = 1 ']'
+ '[' x '!=' 'x-Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' ']'
++ find . -name ltmain.sh
+ ./configure --build=x86_64-redhat-linux-gnu --host=x86_64-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --libdir=/usr/lib64/ocaml
configure: WARNING: unrecognized options: --disable-dependency-tracking
checking for ocamlc... ocamlc
ocaml version is 4.11.1
ocaml library path is /usr/lib64/ocaml
checking for ocamlfind... yes
checking for ocamlopt... ocamlopt
checking ocamlopt version... ok
checking for ocamlc.opt... ocamlc.opt
checking ocamlc.opt version... ok
checking for ocamlopt.opt... ocamlopt.opt
checking ocamlopt.opt version... ok
checking for ocamldep... ocamldep
checking platform... checking for ocamllex... ocamllex
checking for ocamllex.opt... ocamllex.opt
checking for menhir... menhir
configure: creating ./config.status
config.status: creating Makefile
config.status: WARNING:  'Makefile.in' seems to ignore the --datarootdir setting
configure: WARNING: unrecognized options: --disable-dependency-tracking
+ /usr/bin/make -O -j2 V=1 VERBOSE=1
menhir -v src/smtlib_parser.mly
Note: the nonterminal symbol option (from src/smtlib_parser.mly) is renamed src_smtlib_parser_option.
Warning: 22 end-of-stream conflicts were arbitrarily resolved.
File "<standard.mly>", line 209, characters 16-16:
Warning: production list(term) -> is never reduced.
Warning: in total, 1 production is never reduced.
menhir -v src/smtlib_parser.mly
Note: the nonterminal symbol option (from src/smtlib_parser.mly) is renamed src_smtlib_parser_option.
Warning: 22 end-of-stream conflicts were arbitrarily resolved.
File "<standard.mly>", line 209, characters 16-16:
Warning: production list(term) -> is never reduced.
Warning: in total, 1 production is never reduced.
ocamllex.opt src/smtlib_lexer.mll > /dev/null
ocamldep -I src src/*.ml* > .depend
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/version.mli
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/options.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/version.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_error.ml
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/options.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/version.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/options.ml
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_error.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_ty.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_syntax.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_printer.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_parser.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_ty.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_typed_env.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_lexer.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_typed_logic.ml
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_syntax.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_typing.ml
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_printer.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_parser.ml
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_typed_env.ml
ocamlc.opt   -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -pack -o src/psmt2Frontend.cmo src/version.cmo src/options.cmo src/smtlib_error.cmo src/smtlib_ty.cmo src/smtlib_syntax.cmo src/smtlib_printer.cmo src/smtlib_parser.cmo src/smtlib_lexer.cmo src/smtlib_typed_env.cmo src/smtlib_typed_logic.cmo src/smtlib_typing.cmo
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_typed_logic.ml
ocamlc.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -o src/psmt2Frontend.cma src/psmt2Frontend.cmo
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_typing.ml
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_parser.ml
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_lexer.ml
ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -pack -o src/psmt2Frontend.cmx src/version.cmx src/options.cmx src/smtlib_error.cmx src/smtlib_ty.cmx src/smtlib_syntax.cmx src/smtlib_printer.cmx src/smtlib_parser.cmx src/smtlib_lexer.cmx src/smtlib_typed_env.cmx src/smtlib_typed_logic.cmx src/smtlib_typing.cmx
ocamlopt.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -o src/psmt2Frontend.cmxa src/psmt2Frontend.cmx
ocamlopt.opt -shared -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -o src/psmt2Frontend.cmxs src/psmt2Frontend.cmx
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.mNTlyx
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.x86_64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.x86_64
++ dirname /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.x86_64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.x86_64
+ cd psmt2-frontend-0.1
+ mkdir -p /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.x86_64/usr/lib64/ocaml
+ make install LIBDIR=/builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.x86_64/usr/lib64/ocaml
OCAMLFIND_DESTDIR=/builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.x86_64/usr/lib64/ocaml \
  ocamlfind install psmt2-frontend src/psmt2Frontend.* src/*.mli META
Installed /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.x86_64/usr/lib64/ocaml/psmt2-frontend/version.mli
Installed /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.x86_64/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.mli
Installed /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.x86_64/usr/lib64/ocaml/psmt2-frontend/options.mli
Installed /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.o
Installed /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxs
Installed /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxa
Installed /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmx
Installed /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmt
Installed /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmo
Installed /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmi
Installed /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cma
Installed /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.a
Installed /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.x86_64/usr/lib64/ocaml/psmt2-frontend/META
+ cp -p opam /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.x86_64/usr/lib64/ocaml/psmt2-frontend
+ /usr/lib/rpm/find-debuginfo.sh -j2 --strict-build-id -m -i --build-id-seed 0.1-7.fc34 --unique-debug-suffix -0.1-7.fc34.x86_64 --unique-debug-src-base ocaml-psmt2-frontend-0.1-7.fc34.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -S debugsourcefiles.list /builddir/build/BUILD/psmt2-frontend-0.1
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxs
extracting debug info from /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.x86_64/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxs
original debug info size: 232kB, size after compression: 232kB
/usr/lib/rpm/sepdebugcrcfix: Updated 1 CRC32s, 0 CRC32s did match.
cpio: <standard.mly>: Cannot stat: No such file or directory
cpio: bytes.ml: Cannot stat: No such file or directory
cpio: hashtbl.ml: Cannot stat: No such file or directory
cpio: lexing.ml: Cannot stat: No such file or directory
cpio: list.ml: Cannot stat: No such file or directory
cpio: printf.ml: Cannot stat: No such file or directory
cpio: string.ml: Cannot stat: No such file or directory
1966 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/redhat/brp-python-bytecompile '' 1 0
+ /usr/lib/rpm/brp-python-hardlink
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
Processing files: ocaml-psmt2-frontend-0.1-7.fc34.x86_64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.ZwgPEx
+ umask 022
+ cd /builddir/build/BUILD
+ cd psmt2-frontend-0.1
+ DOCDIR=/builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.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.1-7.fc34.x86_64/usr/share/doc/ocaml-psmt2-frontend
+ cp -pr CHANGES.md /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.x86_64/usr/share/doc/ocaml-psmt2-frontend
+ cp -pr README.md /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.x86_64/usr/share/doc/ocaml-psmt2-frontend
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.di0frf
+ umask 022
+ cd /builddir/build/BUILD
+ cd psmt2-frontend-0.1
+ LICENSEDIR=/builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.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.1-7.fc34.x86_64/usr/share/licenses/ocaml-psmt2-frontend
+ cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.x86_64/usr/share/licenses/ocaml-psmt2-frontend
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ocaml(Psmt2Frontend) = 98ea211c3db8c35471cbdc4cf3473f8a ocaml-psmt2-frontend = 0.1-7.fc34 ocaml-psmt2-frontend(x86-64) = 0.1-7.fc34 ocamlx(Psmt2Frontend) = 5950e834cc04ffe7090d7f8b7b10efc6
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.2.5)(64bit) ocaml(CamlinternalFormatBasics) = 3a3ca1838627f7762f49679ce0278ad1 ocaml(Stdlib) = c21c5d26416461b543321872a551ea0d ocaml(Stdlib__buffer) = 234b61fa3906003822205287eb65a481 ocaml(Stdlib__format) = de2a0cc4d0ca0cc218de7447f48aaa41 ocaml(Stdlib__hashtbl) = b762db4e3b71657dfcfd14539af9611a ocaml(Stdlib__int32) = 2e6c00c32474b3f4f0ca069a3eceab68 ocaml(Stdlib__lexing) = c57f9c5debbcb9d656c70b1e7385c4f9 ocaml(Stdlib__list) = 15cef02558cc6576c616c84f09d5b0ea ocaml(Stdlib__map) = 9d421c1da8aa330b734c69f7a2083439 ocaml(Stdlib__obj) = 387c3c41dccbee81a28b3728d6386b48 ocaml(Stdlib__printf) = 5cec2efa6f5a2459d17f2788deb783f2 ocaml(Stdlib__seq) = d6a8de25c9eecf5ae9420a9f3f8b2e88 ocaml(Stdlib__string) = 9d02da014acaf1dfdd63872e707eaed9 ocaml(Stdlib__uchar) = ab6f1df93abf9e800a3e0d1543523c96 ocamlx(Stdlib) = 5b1118fc938423037933e63643e9f671 ocamlx(Stdlib__format) = 85e26627e3e590997aa4b74d34d397ef ocamlx(Stdlib__hashtbl) = 3a70d43892d6822a86672d0da0646fa3 ocamlx(Stdlib__lexing) = 9e7aedf0363f47c6cd9aa60c674f1166 ocamlx(Stdlib__list) = 1f9660a314f1e6cb5f40359d9d3b2f29 ocamlx(Stdlib__map) = c699e5cde8326fd8cd09a489d07a608c ocamlx(Stdlib__printf) = ed32309c6fdb9909e2ec1cda5118b14c ocamlx(Stdlib__string) = 9693062f8b4045a04e0d3ae8d45a36af rtld(GNU_HASH)
Processing files: ocaml-psmt2-frontend-devel-0.1-7.fc34.x86_64
Provides: ocaml(Psmt2Frontend) = 98ea211c3db8c35471cbdc4cf3473f8a ocaml-psmt2-frontend-devel = 0.1-7.fc34 ocaml-psmt2-frontend-devel(x86-64) = 0.1-7.fc34 ocamlx(Psmt2Frontend) = 5950e834cc04ffe7090d7f8b7b10efc6
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(CamlinternalFormatBasics) = 3a3ca1838627f7762f49679ce0278ad1 ocaml(Stdlib) = c21c5d26416461b543321872a551ea0d ocaml(Stdlib__buffer) = 234b61fa3906003822205287eb65a481 ocaml(Stdlib__format) = de2a0cc4d0ca0cc218de7447f48aaa41 ocaml(Stdlib__hashtbl) = b762db4e3b71657dfcfd14539af9611a ocaml(Stdlib__int32) = 2e6c00c32474b3f4f0ca069a3eceab68 ocaml(Stdlib__lexing) = c57f9c5debbcb9d656c70b1e7385c4f9 ocaml(Stdlib__list) = 15cef02558cc6576c616c84f09d5b0ea ocaml(Stdlib__map) = 9d421c1da8aa330b734c69f7a2083439 ocaml(Stdlib__obj) = 387c3c41dccbee81a28b3728d6386b48 ocaml(Stdlib__printf) = 5cec2efa6f5a2459d17f2788deb783f2 ocaml(Stdlib__seq) = d6a8de25c9eecf5ae9420a9f3f8b2e88 ocaml(Stdlib__string) = 9d02da014acaf1dfdd63872e707eaed9 ocaml(Stdlib__uchar) = ab6f1df93abf9e800a3e0d1543523c96 ocamlx(Stdlib) = 5b1118fc938423037933e63643e9f671 ocamlx(Stdlib__format) = 85e26627e3e590997aa4b74d34d397ef ocamlx(Stdlib__hashtbl) = 3a70d43892d6822a86672d0da0646fa3 ocamlx(Stdlib__lexing) = 9e7aedf0363f47c6cd9aa60c674f1166 ocamlx(Stdlib__list) = 1f9660a314f1e6cb5f40359d9d3b2f29 ocamlx(Stdlib__map) = c699e5cde8326fd8cd09a489d07a608c ocamlx(Stdlib__printf) = ed32309c6fdb9909e2ec1cda5118b14c ocamlx(Stdlib__string) = 9693062f8b4045a04e0d3ae8d45a36af
Processing files: ocaml-psmt2-frontend-debugsource-0.1-7.fc34.x86_64
Provides: ocaml-psmt2-frontend-debugsource = 0.1-7.fc34 ocaml-psmt2-frontend-debugsource(x86-64) = 0.1-7.fc34
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.1-7.fc34.x86_64
Provides: debuginfo(build-id) = 35ff6c2d7dc250e048d6f5a01179d1b25c90beb1 ocaml-psmt2-frontend-debuginfo = 0.1-7.fc34 ocaml-psmt2-frontend-debuginfo(x86-64) = 0.1-7.fc34
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.1-7.fc34
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.x86_64
Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-0.1-7.fc34.x86_64.rpm
Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-debugsource-0.1-7.fc34.x86_64.rpm
Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-devel-0.1-7.fc34.x86_64.rpm
Wrote: /builddir/build/RPMS/ocaml-psmt2-frontend-debuginfo-0.1-7.fc34.x86_64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.5UFn8f
+ umask 022
+ cd /builddir/build/BUILD
+ cd psmt2-frontend-0.1
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/ocaml-psmt2-frontend-0.1-7.fc34.x86_64
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0