Mock Version: 3.5 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/python-certora-cli.spec'], chrootPath='/var/lib/mock/openeuler-22.03-x86_64-1683341414.653545/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=0uid=1000gid=135user='mockbuild'nspawn_args=[]unshare_net=FalseprintOutput=True) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/python-certora-cli.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False /etc/profile.d/system-info.sh: line 55: ps: command not found Building target platforms: x86_64 Building for target x86_64 Wrote: /builddir/build/SRPMS/python-certora-cli-3.6.8-1.src.rpm Child return code was: 0 Mock Version: 3.5 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/python-certora-cli.spec'], chrootPath='/var/lib/mock/openeuler-22.03-x86_64-1683341414.653545/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=0uid=1000gid=135user='mockbuild'nspawn_args=[]unshare_net=FalseprintOutput=True) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/python-certora-cli.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False /etc/profile.d/system-info.sh: line 55: ps: command not found Building target platforms: x86_64 Building for target x86_64 Wrote: /builddir/build/SRPMS/python-certora-cli-3.6.8-1.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/python-certora-cli.spec'], chrootPath='/var/lib/mock/openeuler-22.03-x86_64-1683341414.653545/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=0uid=1000gid=135user='mockbuild'nspawn_args=[]unshare_net=FalseprintOutput=True) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/python-certora-cli.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False /etc/profile.d/system-info.sh: line 55: ps: command not found Building target platforms: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.zdq8Rx + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf certora-cli-3.6.8 + /usr/bin/gzip -dc /builddir/build/SOURCES/certora-cli-3.6.8.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd certora-cli-3.6.8 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.J3gjui + umask 022 + cd /builddir/build/BUILD + cd certora-cli-3.6.8 + CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/generic-hardened-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection ' + LDFLAGS='-Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/generic-hardened-ld' + /usr/bin/python3 setup.py build '--executable=/usr/bin/python3 -s' running build running build_py creating build creating build/lib creating build/lib/certora_cli copying certora_cli/__init__.py -> build/lib/certora_cli copying certora_cli/certoraRun.py -> build/lib/certora_cli copying certora_cli/certoraMutate.py -> build/lib/certora_cli creating build/lib/certora_jars copying certora_jars/__init__.py -> build/lib/certora_jars creating build/lib/certora_cli/EVMVerifier copying certora_cli/EVMVerifier/certoraContextClass.py -> build/lib/certora_cli/EVMVerifier copying certora_cli/EVMVerifier/__init__.py -> build/lib/certora_cli/EVMVerifier copying certora_cli/EVMVerifier/certoraJobList.py -> build/lib/certora_cli/EVMVerifier copying certora_cli/EVMVerifier/certoraBuild.py -> build/lib/certora_cli/EVMVerifier copying certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> build/lib/certora_cli/EVMVerifier copying certora_cli/EVMVerifier/certoraContextValidator.py -> build/lib/certora_cli/EVMVerifier copying certora_cli/EVMVerifier/certoraValidateFuncs.py -> build/lib/certora_cli/EVMVerifier copying certora_cli/EVMVerifier/certoraContextAttribute.py -> build/lib/certora_cli/EVMVerifier copying certora_cli/EVMVerifier/certoraContext.py -> build/lib/certora_cli/EVMVerifier copying certora_cli/EVMVerifier/certoraCloudIO.py -> build/lib/certora_cli/EVMVerifier copying certora_cli/EVMVerifier/certoraNodeFilters.py -> build/lib/certora_cli/EVMVerifier copying certora_cli/EVMVerifier/certoraType.py -> build/lib/certora_cli/EVMVerifier copying certora_cli/EVMVerifier/certoraConfigIO.py -> build/lib/certora_cli/EVMVerifier creating build/lib/certora_cli/Shared copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared copying certora_cli/Shared/certoraTester.py -> build/lib/certora_cli/Shared copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared creating build/lib/certora_cli/EVMVerifier/Compiler copying certora_cli/EVMVerifier/Compiler/__init__.py -> build/lib/certora_cli/EVMVerifier/Compiler copying certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/EVMVerifier/Compiler copying certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/EVMVerifier/Compiler copying certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/EVMVerifier/Compiler copying certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> build/lib/certora_cli/EVMVerifier/Compiler running egg_info writing certora_cli.egg-info/PKG-INFO writing dependency_links to certora_cli.egg-info/dependency_links.txt writing entry points to certora_cli.egg-info/entry_points.txt writing requirements to certora_cli.egg-info/requires.txt writing top-level names to certora_cli.egg-info/top_level.txt reading manifest file 'certora_cli.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' adding license file 'LICENSE' writing manifest file 'certora_cli.egg-info/SOURCES.txt' copying certora_jars/MutationTest.jar -> build/lib/certora_jars copying certora_jars/Typechecker.jar -> build/lib/certora_jars copying certora_jars/gambit-linux -> build/lib/certora_jars copying certora_jars/gambit-macos -> build/lib/certora_jars + sleep 1 + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.k4TMtu + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64 ++ dirname /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64 + cd certora-cli-3.6.8 + CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/generic-hardened-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection ' + LDFLAGS='-Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/generic-hardened-ld' + /usr/bin/python3 setup.py install -O1 --skip-build --root /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64 running install /usr/lib/python3.9/site-packages/setuptools/command/install.py:34: SetuptoolsDeprecationWarning: setup.py install is deprecated. Use build and pip and other standards-based tools. warnings.warn( running install_lib creating /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr creating /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib creating /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9 creating /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages creating /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli copying build/lib/certora_cli/__init__.py -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli copying build/lib/certora_cli/certoraRun.py -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli copying build/lib/certora_cli/certoraMutate.py -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli creating /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier copying build/lib/certora_cli/EVMVerifier/certoraContextClass.py -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier copying build/lib/certora_cli/EVMVerifier/__init__.py -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier creating /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier/Compiler copying build/lib/certora_cli/EVMVerifier/Compiler/__init__.py -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier/Compiler copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier/Compiler copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier/Compiler copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier/Compiler copying build/lib/certora_cli/EVMVerifier/Compiler/CompilerCollector.py -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier/Compiler copying build/lib/certora_cli/EVMVerifier/certoraJobList.py -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier copying build/lib/certora_cli/EVMVerifier/certoraBuild.py -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier copying build/lib/certora_cli/EVMVerifier/certoraCollectRunMetadata.py -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier copying build/lib/certora_cli/EVMVerifier/certoraContextValidator.py -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier copying build/lib/certora_cli/EVMVerifier/certoraValidateFuncs.py -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier copying build/lib/certora_cli/EVMVerifier/certoraContextAttribute.py -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier copying build/lib/certora_cli/EVMVerifier/certoraContext.py -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier copying build/lib/certora_cli/EVMVerifier/certoraCloudIO.py -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier copying build/lib/certora_cli/EVMVerifier/certoraNodeFilters.py -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier copying build/lib/certora_cli/EVMVerifier/certoraType.py -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier copying build/lib/certora_cli/EVMVerifier/certoraConfigIO.py -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier creating /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/Shared copying build/lib/certora_cli/Shared/__init__.py -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/Shared copying build/lib/certora_cli/Shared/certoraTester.py -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/Shared copying build/lib/certora_cli/Shared/certoraUtils.py -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/Shared copying build/lib/certora_cli/Shared/certoraLogging.py -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/Shared creating /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_jars copying build/lib/certora_jars/__init__.py -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_jars copying build/lib/certora_jars/MutationTest.jar -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_jars copying build/lib/certora_jars/gambit-linux -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_jars copying build/lib/certora_jars/Typechecker.jar -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_jars copying build/lib/certora_jars/gambit-macos -> /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_jars byte-compiling /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/__init__.py to __init__.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/certoraRun.py to certoraRun.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/certoraMutate.py to certoraMutate.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier/certoraContextClass.py to certoraContextClass.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier/__init__.py to __init__.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier/Compiler/__init__.py to __init__.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier/Compiler/CompilerCollectorFactory.py to CompilerCollectorFactory.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier/Compiler/CompilerCollectorVy.py to CompilerCollectorVy.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier/Compiler/CompilerCollectorSol.py to CompilerCollectorSol.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier/Compiler/CompilerCollector.py to CompilerCollector.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier/certoraJobList.py to certoraJobList.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier/certoraBuild.py to certoraBuild.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier/certoraCollectRunMetadata.py to certoraCollectRunMetadata.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier/certoraContextValidator.py to certoraContextValidator.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier/certoraValidateFuncs.py to certoraValidateFuncs.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier/certoraContextAttribute.py to certoraContextAttribute.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier/certoraContext.py to certoraContext.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier/certoraCloudIO.py to certoraCloudIO.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier/certoraNodeFilters.py to certoraNodeFilters.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier/certoraType.py to certoraType.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/EVMVerifier/certoraConfigIO.py to certoraConfigIO.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/Shared/__init__.py to __init__.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/Shared/certoraTester.py to certoraTester.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/Shared/certoraUtils.py to certoraUtils.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli/Shared/certoraLogging.py to certoraLogging.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_jars/__init__.py to __init__.cpython-39.pyc writing byte-compilation script '/tmp/tmp0kxfu33c.py' /usr/bin/python3 /tmp/tmp0kxfu33c.py removing /tmp/tmp0kxfu33c.py running install_egg_info running egg_info writing certora_cli.egg-info/PKG-INFO writing dependency_links to certora_cli.egg-info/dependency_links.txt writing entry points to certora_cli.egg-info/entry_points.txt writing requirements to certora_cli.egg-info/requires.txt writing top-level names to certora_cli.egg-info/top_level.txt reading manifest file 'certora_cli.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' adding license file 'LICENSE' writing manifest file 'certora_cli.egg-info/SOURCES.txt' Copying certora_cli.egg-info to /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_cli-3.6.8-py3.9.egg-info running install_scripts Installing certoraMutate script to /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/bin Installing certoraRun script to /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/bin + install -d -m755 /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64//usr/share/doc/python-certora-cli + '[' -d doc ']' ~/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64 ~/build/BUILD/certora-cli-3.6.8 + '[' -d docs ']' + '[' -d example ']' + '[' -d examples ']' + pushd /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64 + '[' -d usr/lib ']' + find usr/lib -type f -printf '/%h/%f\n' + '[' -d usr/lib64 ']' + '[' -d usr/bin ']' + find usr/bin -type f -printf '/%h/%f\n' + '[' -d usr/sbin ']' + touch doclist.lst + '[' -d usr/share/man ']' + popd ~/build/BUILD/certora-cli-3.6.8 + mv /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/filelist.lst . + mv /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/doclist.lst . + /usr/bin/find-debuginfo -j4 --strict-build-id -i --build-id-seed 3.6.8-1 --unique-debug-suffix -3.6.8-1.x86_64 --unique-debug-src-base python-certora-cli-3.6.8-1.x86_64 -S debugsourcefiles.list /builddir/build/BUILD/certora-cli-3.6.8 explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_jars/gambit-linux extracting debug info from /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9/site-packages/certora_jars/gambit-linux + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1 1 Bytecompiling .py files below /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/python3.9 using /usr/bin/python3.9 Bytecompiling .py files below /builddir/build/BUILDROOT/python-certora-cli-3.6.8-1.x86_64/usr/lib/debug/usr/lib/python3.9 using /usr/bin/python3.9 + /usr/lib/rpm/brp-python-hardlink Processing files: python3-certora-cli-3.6.8-1.noarch Provides: python-certora-cli python3-certora-cli = 3.6.8-1 python3.9dist(certora-cli) = 3.6.8 python3dist(certora-cli) = 3.6.8 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PartialHardlinkSets) <= 4.0.4-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: /usr/bin/python3 ld-linux-x86-64.so.2()(64bit) ld-linux-x86-64.so.2(GLIBC_2.3)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.15)(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.18)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.25)(64bit) libc.so.6(GLIBC_2.27)(64bit) libc.so.6(GLIBC_2.28)(64bit) libc.so.6(GLIBC_2.29)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.9)(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgcc_s.so.1(GCC_3.3)(64bit) libgcc_s.so.1(GCC_4.2.0)(64bit) python(abi) = 3.9 python3.9dist(argcomplete) python3.9dist(click) python3.9dist(pycryptodome) python3.9dist(requests) python3.9dist(setuptools) python3.9dist(sly) python3.9dist(tabulate) python3.9dist(tqdm) rtld(GNU_HASH) RPM build errors: error: Arch dependent binaries in noarch package Arch dependent binaries in noarch package Child return code was: 1 EXCEPTION: [Error('Command failed: \n # bash --login -c /usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/python-certora-cli.spec\n', 1)] Traceback (most recent call last): File "/usr/lib/python3.11/site-packages/mockbuild/trace_decorator.py", line 93, in trace result = func(*args, **kw) ^^^^^^^^^^^^^^^^^ File "/usr/lib/python3.11/site-packages/mockbuild/util.py", line 598, in do_with_status raise exception.Error("Command failed: \n # %s\n%s" % (command, output), child.returncode) mockbuild.exception.Error: Command failed: # bash --login -c /usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/python-certora-cli.spec