Mock Version: 5.0 Mock Version: 5.0 Mock Version: 5.0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/cvc5.spec'], chrootPath='/var/lib/mock/f40-build-2661473-66919/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=864000uid=996gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/cvc5.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 Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1711843200 Wrote: /builddir/build/SRPMS/cvc5-1.1.2-1.fc40.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -br --noclean --target riscv64 --nodeps /builddir/build/SPECS/cvc5.spec'], chrootPath='/var/lib/mock/f40-build-2661473-66919/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=864000uid=996gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueraiseExc=FalseprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -br --noclean --target riscv64 --nodeps /builddir/build/SPECS/cvc5.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 Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1711843200 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.5rTuZg + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf cvc5-cvc5-1.1.2 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/cvc5-1.1.2.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd cvc5-cvc5-1.1.2 + rm -rf /builddir/build/BUILD/cvc5-cvc5-1.1.2-SPECPARTS + /usr/bin/mkdir -p /builddir/build/BUILD/cvc5-cvc5-1.1.2-SPECPARTS + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/cvc5-flags.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/cvc5-do-not-use-gold.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/cvc5-rpath.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/cvc5-skip-himem-tests.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/cvc5-cocoalib.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + mkdir -p redhat-linux-build/deps/src/CVC5PythonicAPI + cp -p /builddir/build/SOURCES/1582d36944310a96cc8e2dfc01e3682745866812.zip redhat-linux-build/deps/src + sed -i 's/ bsd//' cmake/FindEditline.cmake + sed -i 's,#include ,#include ,' src/prop/kissat.h + sed -i 's,kissat/kissat\.h,kissat.h,' cmake/FindKissat.cmake + sed -i 's/\${Java_JAVAC_EXECUTABLE}/& -source 1.8 -target 1.8/' src/api/java/CMakeLists.txt + sed -i /VISIBILITY/s/hidden/default/ CMakeLists.txt + sed -i 's/\(VISIBILITY_INLINES_HIDDEN \)1/\10/' CMakeLists.txt + RPM_EC=0 ++ jobs -p + exit 0 Executing(%generate_buildrequires): /bin/sh -e /var/tmp/rpm-tmp.QNYH36 + umask 022 + cd /builddir/build/BUILD + cd cvc5-cvc5-1.1.2 + ln -s . src/api/python/cvc5 + ln -s . src/api/python/pythonic + cd src/api/python + sed -e 's/\${CVC5_VERSION}/1.1.2/' -e 's,${CMAKE_CURRENT_BINARY_DIR},/builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python,' setup.py.in + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + 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 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + echo pyproject-rpm-macros + echo python3-devel + echo 'python3dist(pip) >= 19' + echo 'python3dist(packaging)' + '[' -f pyproject.toml ']' + '[' -f setup.py ']' + echo 'python3dist(setuptools) >= 40.8' + echo 'python3dist(wheel)' + rm -rfv '*.dist-info/' + '[' -f /usr/bin/python3 ']' + mkdir -p /builddir/build/BUILD/cvc5-cvc5-1.1.2/.pyproject-builddir + echo -n + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer ' + 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 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + TMPDIR=/builddir/build/BUILD/cvc5-cvc5-1.1.2/.pyproject-builddir + RPM_TOXENV=py312 + HOSTNAME=rpmbuild + /usr/bin/python3 -Bs /usr/lib/rpm/redhat/pyproject_buildrequires.py --generate-extras --python3_pkgversion 3 --wheeldir /builddir/build/BUILD/cvc5-cvc5-1.1.2/pyproject-wheeldir --output /builddir/build/BUILD/cvc5-1.1.2-1.fc40.riscv64-pyproject-buildrequires Handling setuptools >= 40.8 from default build backend Requirement satisfied: setuptools >= 40.8 (installed: setuptools 69.0.3) Handling wheel from default build backend Requirement satisfied: wheel (installed: wheel 0.41.2) running egg_info creating /builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python/cvc5.egg-info writing /builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python/cvc5.egg-info/PKG-INFO writing dependency_links to /builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python/cvc5.egg-info/dependency_links.txt writing requirements to /builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python/cvc5.egg-info/requires.txt writing top-level names to /builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python/cvc5.egg-info/top_level.txt writing manifest file '/builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python/cvc5.egg-info/SOURCES.txt' reading manifest file '/builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python/cvc5.egg-info/SOURCES.txt' writing manifest file '/builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python/cvc5.egg-info/SOURCES.txt' Handling wheel from get_requires_for_build_wheel Requirement satisfied: wheel (installed: wheel 0.41.2) running dist_info writing cvc5.egg-info/PKG-INFO writing dependency_links to cvc5.egg-info/dependency_links.txt writing requirements to cvc5.egg-info/requires.txt writing top-level names to cvc5.egg-info/top_level.txt reading manifest file 'cvc5.egg-info/SOURCES.txt' writing manifest file 'cvc5.egg-info/SOURCES.txt' creating '/builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python/cvc5-1.1.2.dist-info' Handling pytest ; extra == 'test' from hook generated metadata: Requires-Dist (cvc5) Ignoring alien requirement: pytest ; extra == 'test' + cat /builddir/build/BUILD/cvc5-1.1.2-1.fc40.riscv64-pyproject-buildrequires + rm -rfv cvc5-1.1.2.dist-info/ removed 'cvc5-1.1.2.dist-info/top_level.txt' removed 'cvc5-1.1.2.dist-info/METADATA' removed directory 'cvc5-1.1.2.dist-info/' + rm -fr cvc5 cvc5.egg-info pythonic setup.py + RPM_EC=0 ++ jobs -p + exit 0 Wrote: /builddir/build/SRPMS/cvc5-1.1.2-1.fc40.buildreqs.nosrc.rpm Child return code was: 11 Dynamic buildrequires detected Going to install missing buildrequires. See root.log for details. ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -br --noclean --target riscv64 --nodeps /builddir/build/SPECS/cvc5.spec'], chrootPath='/var/lib/mock/f40-build-2661473-66919/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=864000uid=996gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueraiseExc=FalseprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -br --noclean --target riscv64 --nodeps /builddir/build/SPECS/cvc5.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 Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1711843200 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.CitUSq + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf cvc5-cvc5-1.1.2 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/cvc5-1.1.2.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd cvc5-cvc5-1.1.2 + rm -rf /builddir/build/BUILD/cvc5-cvc5-1.1.2-SPECPARTS + /usr/bin/mkdir -p /builddir/build/BUILD/cvc5-cvc5-1.1.2-SPECPARTS + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/cvc5-flags.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/cvc5-do-not-use-gold.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/cvc5-rpath.patch + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/cvc5-skip-himem-tests.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/cvc5-cocoalib.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + mkdir -p redhat-linux-build/deps/src/CVC5PythonicAPI + cp -p /builddir/build/SOURCES/1582d36944310a96cc8e2dfc01e3682745866812.zip redhat-linux-build/deps/src + sed -i 's/ bsd//' cmake/FindEditline.cmake + sed -i 's,#include ,#include ,' src/prop/kissat.h + sed -i 's,kissat/kissat\.h,kissat.h,' cmake/FindKissat.cmake + sed -i 's/\${Java_JAVAC_EXECUTABLE}/& -source 1.8 -target 1.8/' src/api/java/CMakeLists.txt + sed -i /VISIBILITY/s/hidden/default/ CMakeLists.txt + sed -i 's/\(VISIBILITY_INLINES_HIDDEN \)1/\10/' CMakeLists.txt + RPM_EC=0 ++ jobs -p + exit 0 Executing(%generate_buildrequires): /bin/sh -e /var/tmp/rpm-tmp.qzRtbw + umask 022 + cd /builddir/build/BUILD + cd cvc5-cvc5-1.1.2 + ln -s . src/api/python/cvc5 + ln -s . src/api/python/pythonic + cd src/api/python + sed -e 's/\${CVC5_VERSION}/1.1.2/' -e 's,${CMAKE_CURRENT_BINARY_DIR},/builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python,' setup.py.in + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + 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 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + echo pyproject-rpm-macros + echo python3-devel + echo 'python3dist(pip) >= 19' + echo 'python3dist(packaging)' + '[' -f pyproject.toml ']' + '[' -f setup.py ']' + echo 'python3dist(setuptools) >= 40.8' + echo 'python3dist(wheel)' + rm -rfv '*.dist-info/' + '[' -f /usr/bin/python3 ']' + mkdir -p /builddir/build/BUILD/cvc5-cvc5-1.1.2/.pyproject-builddir + echo -n + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer ' + 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 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + TMPDIR=/builddir/build/BUILD/cvc5-cvc5-1.1.2/.pyproject-builddir + RPM_TOXENV=py312 + HOSTNAME=rpmbuild + /usr/bin/python3 -Bs /usr/lib/rpm/redhat/pyproject_buildrequires.py --generate-extras --python3_pkgversion 3 --wheeldir /builddir/build/BUILD/cvc5-cvc5-1.1.2/pyproject-wheeldir --output /builddir/build/BUILD/cvc5-1.1.2-1.fc40.riscv64-pyproject-buildrequires Handling setuptools >= 40.8 from default build backend Requirement satisfied: setuptools >= 40.8 (installed: setuptools 69.0.3) Handling wheel from default build backend Requirement satisfied: wheel (installed: wheel 0.41.2) running egg_info creating /builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python/cvc5.egg-info writing /builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python/cvc5.egg-info/PKG-INFO writing dependency_links to /builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python/cvc5.egg-info/dependency_links.txt writing requirements to /builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python/cvc5.egg-info/requires.txt writing top-level names to /builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python/cvc5.egg-info/top_level.txt writing manifest file '/builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python/cvc5.egg-info/SOURCES.txt' reading manifest file '/builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python/cvc5.egg-info/SOURCES.txt' writing manifest file '/builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python/cvc5.egg-info/SOURCES.txt' Handling wheel from get_requires_for_build_wheel Requirement satisfied: wheel (installed: wheel 0.41.2) running dist_info writing cvc5.egg-info/PKG-INFO writing dependency_links to cvc5.egg-info/dependency_links.txt writing requirements to cvc5.egg-info/requires.txt writing top-level names to cvc5.egg-info/top_level.txt reading manifest file 'cvc5.egg-info/SOURCES.txt' writing manifest file 'cvc5.egg-info/SOURCES.txt' creating '/builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python/cvc5-1.1.2.dist-info' Handling pytest ; extra == 'test' from hook generated metadata: Requires-Dist (cvc5) Ignoring alien requirement: pytest ; extra == 'test' + cat /builddir/build/BUILD/cvc5-1.1.2-1.fc40.riscv64-pyproject-buildrequires + rm -rfv cvc5-1.1.2.dist-info/ removed 'cvc5-1.1.2.dist-info/top_level.txt' removed 'cvc5-1.1.2.dist-info/METADATA' removed directory 'cvc5-1.1.2.dist-info/' + rm -fr cvc5 cvc5.egg-info pythonic setup.py + RPM_EC=0 ++ jobs -p + exit 0 Wrote: /builddir/build/SRPMS/cvc5-1.1.2-1.fc40.buildreqs.nosrc.rpm Child return code was: 11 Dynamic buildrequires detected Going to install missing buildrequires. See root.log for details. ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -ba --noprep --noclean --target riscv64 --nodeps /builddir/build/SPECS/cvc5.spec'], chrootPath='/var/lib/mock/f40-build-2661473-66919/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=864000uid=996gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -ba --noprep --noclean --target riscv64 --nodeps /builddir/build/SPECS/cvc5.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 Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1711843200 Executing(%generate_buildrequires): /bin/sh -e /var/tmp/rpm-tmp.lxAhYk + umask 022 + cd /builddir/build/BUILD + cd cvc5-cvc5-1.1.2 + ln -s . src/api/python/cvc5 + ln -s . src/api/python/pythonic + cd src/api/python + sed -e 's/\${CVC5_VERSION}/1.1.2/' -e 's,${CMAKE_CURRENT_BINARY_DIR},/builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python,' setup.py.in + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + 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 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + echo pyproject-rpm-macros + echo python3-devel + echo 'python3dist(pip) >= 19' + echo 'python3dist(packaging)' + '[' -f pyproject.toml ']' + '[' -f setup.py ']' + echo 'python3dist(setuptools) >= 40.8' + echo 'python3dist(wheel)' + rm -rfv '*.dist-info/' + '[' -f /usr/bin/python3 ']' + mkdir -p /builddir/build/BUILD/cvc5-cvc5-1.1.2/.pyproject-builddir + echo -n + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer ' + 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 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + TMPDIR=/builddir/build/BUILD/cvc5-cvc5-1.1.2/.pyproject-builddir + RPM_TOXENV=py312 + HOSTNAME=rpmbuild + /usr/bin/python3 -Bs /usr/lib/rpm/redhat/pyproject_buildrequires.py --generate-extras --python3_pkgversion 3 --wheeldir /builddir/build/BUILD/cvc5-cvc5-1.1.2/pyproject-wheeldir --output /builddir/build/BUILD/cvc5-1.1.2-1.fc40.riscv64-pyproject-buildrequires Handling setuptools >= 40.8 from default build backend Requirement satisfied: setuptools >= 40.8 (installed: setuptools 69.0.3) Handling wheel from default build backend Requirement satisfied: wheel (installed: wheel 0.41.2) running egg_info creating /builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python/cvc5.egg-info writing /builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python/cvc5.egg-info/PKG-INFO writing dependency_links to /builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python/cvc5.egg-info/dependency_links.txt writing requirements to /builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python/cvc5.egg-info/requires.txt writing top-level names to /builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python/cvc5.egg-info/top_level.txt writing manifest file '/builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python/cvc5.egg-info/SOURCES.txt' reading manifest file '/builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python/cvc5.egg-info/SOURCES.txt' writing manifest file '/builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python/cvc5.egg-info/SOURCES.txt' Handling wheel from get_requires_for_build_wheel Requirement satisfied: wheel (installed: wheel 0.41.2) running dist_info writing cvc5.egg-info/PKG-INFO writing dependency_links to cvc5.egg-info/dependency_links.txt writing requirements to cvc5.egg-info/requires.txt writing top-level names to cvc5.egg-info/top_level.txt reading manifest file 'cvc5.egg-info/SOURCES.txt' writing manifest file 'cvc5.egg-info/SOURCES.txt' creating '/builddir/build/BUILD/cvc5-cvc5-1.1.2/src/api/python/cvc5-1.1.2.dist-info' Handling pytest ; extra == 'test' from hook generated metadata: Requires-Dist (cvc5) Ignoring alien requirement: pytest ; extra == 'test' + cat /builddir/build/BUILD/cvc5-1.1.2-1.fc40.riscv64-pyproject-buildrequires + rm -rfv cvc5-1.1.2.dist-info/ removed 'cvc5-1.1.2.dist-info/top_level.txt' removed 'cvc5-1.1.2.dist-info/METADATA' removed directory 'cvc5-1.1.2.dist-info/' + rm -fr cvc5 cvc5.egg-info pythonic setup.py + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.INiFoz + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + 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 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd cvc5-cvc5-1.1.2 + export 'BUILDFLAGS=-DABC_USE_STDINT_H -I/usr/lib/jvm/java/include -I/usr/lib/jvm/java/include/linux -I/usr/include/abc -I/usr/include/cryptominisat5' + BUILDFLAGS='-DABC_USE_STDINT_H -I/usr/lib/jvm/java/include -I/usr/lib/jvm/java/include/linux -I/usr/include/abc -I/usr/include/cryptominisat5' + export 'CFLAGS=-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -DABC_USE_STDINT_H -I/usr/lib/jvm/java/include -I/usr/lib/jvm/java/include/linux -I/usr/include/abc -I/usr/include/cryptominisat5' + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -DABC_USE_STDINT_H -I/usr/lib/jvm/java/include -I/usr/lib/jvm/java/include/linux -I/usr/include/abc -I/usr/include/cryptominisat5' + export 'CXXFLAGS=-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -DABC_USE_STDINT_H -I/usr/lib/jvm/java/include -I/usr/lib/jvm/java/include/linux -I/usr/include/abc -I/usr/include/cryptominisat5' + CXXFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -DABC_USE_STDINT_H -I/usr/lib/jvm/java/include -I/usr/lib/jvm/java/include/linux -I/usr/include/abc -I/usr/include/cryptominisat5' + CFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -DABC_USE_STDINT_H -I/usr/lib/jvm/java/include -I/usr/lib/jvm/java/include/linux -I/usr/include/abc -I/usr/include/cryptominisat5' + export CFLAGS + CXXFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -DABC_USE_STDINT_H -I/usr/lib/jvm/java/include -I/usr/lib/jvm/java/include/linux -I/usr/include/abc -I/usr/include/cryptominisat5' + export CXXFLAGS + FFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + 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 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + /usr/bin/cmake -S . -B redhat-linux-build -DCMAKE_C_FLAGS_RELEASE:STRING=-DNDEBUG -DCMAKE_CXX_FLAGS_RELEASE:STRING=-DNDEBUG -DCMAKE_Fortran_FLAGS_RELEASE:STRING=-DNDEBUG -DCMAKE_VERBOSE_MAKEFILE:BOOL=ON -DCMAKE_INSTALL_DO_STRIP:BOOL=OFF -DCMAKE_INSTALL_PREFIX:PATH=/usr -DINCLUDE_INSTALL_DIR:PATH=/usr/include -DLIB_INSTALL_DIR:PATH=/usr/lib64 -DSYSCONF_INSTALL_DIR:PATH=/etc -DSHARE_INSTALL_PREFIX:PATH=/usr/share -DLIB_SUFFIX=64 -DBUILD_SHARED_LIBS:BOOL=ON --debug-find -DBUILD_BINDINGS_JAVA:BOOL=ON -DBUILD_BINDINGS_PYTHON:BOOL=ON -DBUILD_DOCS:BOOL=OFF -DBUILD_SHARED_LIBS:BOOL=ON -DENABLE_GPL:BOOL=ON -DENABLE_IPO:BOOL=ON -DUSE_COCOA:BOOL=ON -DUSE_CRYPTOMINISAT:BOOL=ON -DUSE_EDITLINE:BOOL=ON -DUSE_KISSAT:BOOL=ON -DUSE_POLY:BOOL=ON CMake Debug Log at /usr/share/cmake/Modules/CMakeDetermineSystem.cmake:36 (find_program): find_program called with the following settings: VAR: CMAKE_UNAME NAMES: "uname" Documentation: Path to a program. Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 1 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_program considered the following locations: The item was found at /usr/bin/uname Call Stack (most recent call first): CMakeLists.txt:21 (project) Running with debug output on for the `find` commands. CMake Debug Log at /usr/share/cmake/Modules/CMakeUnixFindMake.cmake:5 (find_program): find_program called with the following settings: VAR: CMAKE_MAKE_PROGRAM NAMES: "gmake" "make" "smake" Documentation: Path to a program. Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 1 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_program considered the following locations: The item was found at /usr/bin/gmake Call Stack (most recent call first): CMakeLists.txt:21 (project) CMake Debug Log at /usr/share/cmake/Modules/CMakeDetermineCompiler.cmake:69 (find_program): find_program called with the following settings: VAR: CMAKE_C_COMPILER NAMES: "/usr/bin/gcc" Documentation: C compiler Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 1 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_program considered the following locations: The item was found at /usr/bin/gcc Call Stack (most recent call first): /usr/share/cmake/Modules/CMakeDetermineCCompiler.cmake:65 (_cmake_find_compiler) CMakeLists.txt:21 (project) CMake Debug Log at /usr/share/cmake/Modules/CMakeDetermineCompilerId.cmake:311 (find_file): find_file called with the following settings: VAR: src_in NAMES: "CMakeCCompilerId.c.in" Documentation: Path to a file. Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 NO_DEFAULT_PATH Enabled find_file considered the following locations: The item was found at /usr/share/cmake/Modules/CMakeCCompilerId.c.in Call Stack (most recent call first): /usr/share/cmake/Modules/CMakeDetermineCompilerId.cmake:333 (CMAKE_DETERMINE_COMPILER_ID_WRITE) /usr/share/cmake/Modules/CMakeDetermineCompilerId.cmake:8 (CMAKE_DETERMINE_COMPILER_ID_BUILD) /usr/share/cmake/Modules/CMakeDetermineCompilerId.cmake:64 (__determine_compiler_id_test) /usr/share/cmake/Modules/CMakeDetermineCCompiler.cmake:123 (CMAKE_DETERMINE_COMPILER_ID) CMakeLists.txt:21 (project) -- The C compiler identification is GNU 13.2.1 CMake Debug Log at /usr/share/cmake/Modules/CMakeFindBinUtils.cmake:224 (find_program): find_program called with the following settings: VAR: CMAKE_AR NAMES: "ar" Documentation: Path to a program. Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 0 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 0 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_program considered the following locations: The item was found at /usr/bin/ar Call Stack (most recent call first): /usr/share/cmake/Modules/CMakeDetermineCCompiler.cmake:196 (include) CMakeLists.txt:21 (project) CMake Debug Log at /usr/share/cmake/Modules/CMakeFindBinUtils.cmake:224 (find_program): find_program called with the following settings: VAR: CMAKE_RANLIB NAMES: "ranlib" Documentation: Path to a program. Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 0 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 0 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_program considered the following locations: The item was found at /usr/bin/ranlib Call Stack (most recent call first): /usr/share/cmake/Modules/CMakeDetermineCCompiler.cmake:196 (include) CMakeLists.txt:21 (project) CMake Debug Log at /usr/share/cmake/Modules/CMakeFindBinUtils.cmake:224 (find_program): find_program called with the following settings: VAR: CMAKE_STRIP NAMES: "strip" Documentation: Path to a program. Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 0 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 0 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_program considered the following locations: The item was found at /usr/bin/strip Call Stack (most recent call first): /usr/share/cmake/Modules/CMakeDetermineCCompiler.cmake:196 (include) CMakeLists.txt:21 (project) CMake Debug Log at /usr/share/cmake/Modules/CMakeFindBinUtils.cmake:224 (find_program): find_program called with the following settings: VAR: CMAKE_LINKER NAMES: "ld" Documentation: Path to a program. Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 0 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 0 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_program considered the following locations: The item was found at /usr/bin/ld Call Stack (most recent call first): /usr/share/cmake/Modules/CMakeDetermineCCompiler.cmake:196 (include) CMakeLists.txt:21 (project) CMake Debug Log at /usr/share/cmake/Modules/CMakeFindBinUtils.cmake:224 (find_program): find_program called with the following settings: VAR: CMAKE_NM NAMES: "nm" Documentation: Path to a program. Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 0 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 0 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_program considered the following locations: The item was found at /usr/bin/nm Call Stack (most recent call first): /usr/share/cmake/Modules/CMakeDetermineCCompiler.cmake:196 (include) CMakeLists.txt:21 (project) CMake Debug Log at /usr/share/cmake/Modules/CMakeFindBinUtils.cmake:224 (find_program): find_program called with the following settings: VAR: CMAKE_OBJDUMP NAMES: "objdump" Documentation: Path to a program. Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 0 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 0 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_program considered the following locations: The item was found at /usr/bin/objdump Call Stack (most recent call first): /usr/share/cmake/Modules/CMakeDetermineCCompiler.cmake:196 (include) CMakeLists.txt:21 (project) CMake Debug Log at /usr/share/cmake/Modules/CMakeFindBinUtils.cmake:224 (find_program): find_program called with the following settings: VAR: CMAKE_OBJCOPY NAMES: "objcopy" Documentation: Path to a program. Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 0 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 0 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_program considered the following locations: The item was found at /usr/bin/objcopy Call Stack (most recent call first): /usr/share/cmake/Modules/CMakeDetermineCCompiler.cmake:196 (include) CMakeLists.txt:21 (project) CMake Debug Log at /usr/share/cmake/Modules/CMakeFindBinUtils.cmake:224 (find_program): find_program called with the following settings: VAR: CMAKE_READELF NAMES: "readelf" Documentation: Path to a program. Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 0 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 0 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_program considered the following locations: The item was found at /usr/bin/readelf Call Stack (most recent call first): /usr/share/cmake/Modules/CMakeDetermineCCompiler.cmake:196 (include) CMakeLists.txt:21 (project) CMake Debug Log at /usr/share/cmake/Modules/CMakeFindBinUtils.cmake:224 (find_program): find_program called with the following settings: VAR: CMAKE_DLLTOOL NAMES: "dlltool" Documentation: Path to a program. Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 0 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 0 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_program considered the following locations: /usr/bin/dlltool /bin/dlltool /usr/sbin/dlltool /sbin/dlltool /usr/local/sbin/dlltool The item was not found. Call Stack (most recent call first): /usr/share/cmake/Modules/CMakeDetermineCCompiler.cmake:196 (include) CMakeLists.txt:21 (project) CMake Debug Log at /usr/share/cmake/Modules/CMakeFindBinUtils.cmake:224 (find_program): find_program called with the following settings: VAR: CMAKE_ADDR2LINE NAMES: "addr2line" Documentation: Path to a program. Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 0 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 0 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_program considered the following locations: The item was found at /usr/bin/addr2line Call Stack (most recent call first): /usr/share/cmake/Modules/CMakeDetermineCCompiler.cmake:196 (include) CMakeLists.txt:21 (project) CMake Debug Log at /usr/share/cmake/Modules/CMakeFindBinUtils.cmake:224 (find_program): find_program called with the following settings: VAR: CMAKE_TAPI NAMES: "tapi" Documentation: Path to a program. Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 0 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 0 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_program considered the following locations: /usr/bin/tapi /bin/tapi /usr/sbin/tapi /sbin/tapi /usr/local/sbin/tapi The item was not found. Call Stack (most recent call first): /usr/share/cmake/Modules/CMakeDetermineCCompiler.cmake:196 (include) CMakeLists.txt:21 (project) CMake Debug Log at /usr/share/cmake/Modules/Compiler/GNU-FindBinUtils.cmake:18 (find_program): find_program called with the following settings: VAR: CMAKE_C_COMPILER_AR NAMES: "gcc-ar-13.2" "gcc-ar-13" "gcc-ar13" "gcc-ar" Documentation: A wrapper around 'ar' adding the appropriate '--plugin' option for the GCC compiler Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 0 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 0 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_program considered the following locations: /usr/bin/gcc-ar-13.2 /bin/gcc-ar-13.2 /usr/sbin/gcc-ar-13.2 /sbin/gcc-ar-13.2 /usr/local/sbin/gcc-ar-13.2 /usr/bin/gcc-ar-13 /bin/gcc-ar-13 /usr/sbin/gcc-ar-13 /sbin/gcc-ar-13 /usr/local/sbin/gcc-ar-13 /usr/bin/gcc-ar13 /bin/gcc-ar13 /usr/sbin/gcc-ar13 /sbin/gcc-ar13 /usr/local/sbin/gcc-ar13 The item was found at /usr/bin/gcc-ar Call Stack (most recent call first): /usr/share/cmake/Modules/CMakeDetermineCCompiler.cmake:197 (include) CMakeLists.txt:21 (project) CMake Debug Log at /usr/share/cmake/Modules/Compiler/GNU-FindBinUtils.cmake:30 (find_program): find_program called with the following settings: VAR: CMAKE_C_COMPILER_RANLIB NAMES: "gcc-ranlib-13.2" "gcc-ranlib-13" "gcc-ranlib13" "gcc-ranlib" Documentation: A wrapper around 'ranlib' adding the appropriate '--plugin' option for the GCC compiler Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 0 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 0 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_program considered the following locations: /usr/bin/gcc-ranlib-13.2 /bin/gcc-ranlib-13.2 /usr/sbin/gcc-ranlib-13.2 /sbin/gcc-ranlib-13.2 /usr/local/sbin/gcc-ranlib-13.2 /usr/bin/gcc-ranlib-13 /bin/gcc-ranlib-13 /usr/sbin/gcc-ranlib-13 /sbin/gcc-ranlib-13 /usr/local/sbin/gcc-ranlib-13 /usr/bin/gcc-ranlib13 /bin/gcc-ranlib13 /usr/sbin/gcc-ranlib13 /sbin/gcc-ranlib13 /usr/local/sbin/gcc-ranlib13 The item was found at /usr/bin/gcc-ranlib Call Stack (most recent call first): /usr/share/cmake/Modules/CMakeDetermineCCompiler.cmake:197 (include) CMakeLists.txt:21 (project) CMake Debug Log at /usr/share/cmake/Modules/CMakeDetermineCompiler.cmake:50 (find_program): find_program called with the following settings: VAR: CMAKE_CXX_COMPILER NAMES: "/usr/bin/g++" Documentation: CXX compiler Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 NO_DEFAULT_PATH Enabled find_program considered the following locations: The item was found at /usr/bin/g++ Call Stack (most recent call first): /usr/share/cmake/Modules/CMakeDetermineCXXCompiler.cmake:70 (_cmake_find_compiler) CMakeLists.txt:21 (project) CMake Debug Log at /usr/share/cmake/Modules/CMakeDetermineCompilerId.cmake:311 (find_file): find_file called with the following settings: VAR: src_in NAMES: "CMakeCXXCompilerId.cpp.in" Documentation: Path to a file. Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 NO_DEFAULT_PATH Enabled find_file considered the following locations: The item was found at /usr/share/cmake/Modules/CMakeCXXCompilerId.cpp.in Call Stack (most recent call first): /usr/share/cmake/Modules/CMakeDetermineCompilerId.cmake:333 (CMAKE_DETERMINE_COMPILER_ID_WRITE) /usr/share/cmake/Modules/CMakeDetermineCompilerId.cmake:8 (CMAKE_DETERMINE_COMPILER_ID_BUILD) /usr/share/cmake/Modules/CMakeDetermineCompilerId.cmake:64 (__determine_compiler_id_test) /usr/share/cmake/Modules/CMakeDetermineCXXCompiler.cmake:126 (CMAKE_DETERMINE_COMPILER_ID) CMakeLists.txt:21 (project) -- The CXX compiler identification is GNU 13.2.1 CMake Debug Log at /usr/share/cmake/Modules/CMakeFindBinUtils.cmake:224 (find_program): find_program called with the following settings: VAR: CMAKE_DLLTOOL NAMES: "dlltool" Documentation: Path to a program. Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 0 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 0 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_program considered the following locations: /usr/bin/dlltool /bin/dlltool /usr/sbin/dlltool /sbin/dlltool /usr/local/sbin/dlltool The item was not found. Call Stack (most recent call first): /usr/share/cmake/Modules/CMakeDetermineCXXCompiler.cmake:202 (include) CMakeLists.txt:21 (project) CMake Debug Log at /usr/share/cmake/Modules/CMakeFindBinUtils.cmake:224 (find_program): find_program called with the following settings: VAR: CMAKE_TAPI NAMES: "tapi" Documentation: Path to a program. Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 0 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 0 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_program considered the following locations: /usr/bin/tapi /bin/tapi /usr/sbin/tapi /sbin/tapi /usr/local/sbin/tapi The item was not found. Call Stack (most recent call first): /usr/share/cmake/Modules/CMakeDetermineCXXCompiler.cmake:202 (include) CMakeLists.txt:21 (project) CMake Debug Log at /usr/share/cmake/Modules/Compiler/GNU-FindBinUtils.cmake:18 (find_program): find_program called with the following settings: VAR: CMAKE_CXX_COMPILER_AR NAMES: "gcc-ar-13.2" "gcc-ar-13" "gcc-ar13" "gcc-ar" Documentation: A wrapper around 'ar' adding the appropriate '--plugin' option for the GCC compiler Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 0 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 0 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_program considered the following locations: /usr/bin/gcc-ar-13.2 /bin/gcc-ar-13.2 /usr/sbin/gcc-ar-13.2 /sbin/gcc-ar-13.2 /usr/local/sbin/gcc-ar-13.2 /usr/bin/gcc-ar-13 /bin/gcc-ar-13 /usr/sbin/gcc-ar-13 /sbin/gcc-ar-13 /usr/local/sbin/gcc-ar-13 /usr/bin/gcc-ar13 /bin/gcc-ar13 /usr/sbin/gcc-ar13 /sbin/gcc-ar13 /usr/local/sbin/gcc-ar13 The item was found at /usr/bin/gcc-ar Call Stack (most recent call first): /usr/share/cmake/Modules/CMakeDetermineCXXCompiler.cmake:203 (include) CMakeLists.txt:21 (project) CMake Debug Log at /usr/share/cmake/Modules/Compiler/GNU-FindBinUtils.cmake:30 (find_program): find_program called with the following settings: VAR: CMAKE_CXX_COMPILER_RANLIB NAMES: "gcc-ranlib-13.2" "gcc-ranlib-13" "gcc-ranlib13" "gcc-ranlib" Documentation: A wrapper around 'ranlib' adding the appropriate '--plugin' option for the GCC compiler Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 0 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 0 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_program considered the following locations: /usr/bin/gcc-ranlib-13.2 /bin/gcc-ranlib-13.2 /usr/sbin/gcc-ranlib-13.2 /sbin/gcc-ranlib-13.2 /usr/local/sbin/gcc-ranlib-13.2 /usr/bin/gcc-ranlib-13 /bin/gcc-ranlib-13 /usr/sbin/gcc-ranlib-13 /sbin/gcc-ranlib-13 /usr/local/sbin/gcc-ranlib-13 /usr/bin/gcc-ranlib13 /bin/gcc-ranlib13 /usr/sbin/gcc-ranlib13 /sbin/gcc-ranlib13 /usr/local/sbin/gcc-ranlib13 The item was found at /usr/bin/gcc-ranlib Call Stack (most recent call first): /usr/share/cmake/Modules/CMakeDetermineCXXCompiler.cmake:203 (include) CMakeLists.txt:21 (project) -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/gcc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/g++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done CMake Debug Log at /usr/share/cmake/Modules/FindGit.cmake:55 (find_program): find_program called with the following settings: VAR: GIT_EXECUTABLE NAMES: "git" Documentation: Git command line client Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 1 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_program considered the following locations: The item was found at /usr/bin/git Call Stack (most recent call first): cmake/version.cmake:40 (find_package) CMakeLists.txt:27 (include) -- Found Git: /usr/bin/git (found version "2.44.0") CMake Debug Log at cmake/version.cmake:40 (find_package): find_package considered the following paths for FindGit.cmake: /builddir/build/BUILD/cvc5-cvc5-1.1.2/cmake/FindGit.cmake The file was found at /usr/share/cmake/Modules/FindGit.cmake Call Stack (most recent call first): CMakeLists.txt:27 (include) fatal: not a git repository (or any of the parent directories): .git CMake Debug Log at /usr/share/cmake/Modules/ProcessorCount.cmake:69 (find_program): find_program called with the following settings: VAR: ProcessorCount_cmd_sysctl NAMES: "sysctl" Documentation: Path to a program. Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 1 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_program considered the following locations: /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/sysctl /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/sysctl /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sysctl /usr/bin/sysctl /bin/sysctl The item was found at /usr/sbin/sysctl Call Stack (most recent call first): CMakeLists.txt:177 (ProcessorCount) CMake Debug Log at /usr/share/cmake/Modules/ProcessorCount.cmake:84 (find_program): find_program called with the following settings: VAR: ProcessorCount_cmd_nproc NAMES: "nproc" Documentation: Path to a program. Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 1 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_program considered the following locations: /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/nproc /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/nproc /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/nproc The item was found at /usr/bin/nproc Call Stack (most recent call first): CMakeLists.txt:177 (ProcessorCount) -- Building Production build -- Performing Test HAVE_C_FLAG_O2 -- Performing Test HAVE_C_FLAG_O2 - Success -- Configuring with C flag '-O2' -- Performing Test HAVE_CXX_FLAG_O2 -- Performing Test HAVE_CXX_FLAG_O2 - Success -- Configuring with CXX flag '-O2' -- Performing Test HAVE_C_FLAG_Wall -- Performing Test HAVE_C_FLAG_Wall - Success -- Configuring with C flag '-Wall' -- Performing Test HAVE_CXX_FLAG_Wall -- Performing Test HAVE_CXX_FLAG_Wall - Success -- Configuring with CXX flag '-Wall' -- Performing Test HAVE_C_FLAG_Wunused_private_field -- Performing Test HAVE_C_FLAG_Wunused_private_field - Failed -- Performing Test HAVE_CXX_FLAG_Wunused_private_field -- Performing Test HAVE_CXX_FLAG_Wunused_private_field - Failed -- Performing Test HAVE_C_FLAG_fexceptions -- Performing Test HAVE_C_FLAG_fexceptions - Success -- Configuring with C flag '-fexceptions' -- Performing Test HAVE_CXX_FLAG_Wsuggest_override -- Performing Test HAVE_CXX_FLAG_Wsuggest_override - Success -- Configuring with CXX flag '-Wsuggest-override' -- Performing Test HAVE_CXX_FLAG_Wnon_virtual_dtor -- Performing Test HAVE_CXX_FLAG_Wnon_virtual_dtor - Success -- Configuring with CXX flag '-Wnon-virtual-dtor' -- Performing Test HAVE_C_FLAG_Wimplicit_fallthrough -- Performing Test HAVE_C_FLAG_Wimplicit_fallthrough - Success -- Configuring with C flag '-Wimplicit-fallthrough' -- Performing Test HAVE_CXX_FLAG_Wimplicit_fallthrough -- Performing Test HAVE_CXX_FLAG_Wimplicit_fallthrough - Success -- Configuring with CXX flag '-Wimplicit-fallthrough' -- Performing Test HAVE_C_FLAG_Wshadow -- Performing Test HAVE_C_FLAG_Wshadow - Success -- Configuring with C flag '-Wshadow' -- Performing Test HAVE_CXX_FLAG_Wshadow -- Performing Test HAVE_CXX_FLAG_Wshadow - Success -- Configuring with CXX flag '-Wshadow' -- Performing Test HAVE_CXX_FLAG_fno_extern_tls_init -- Performing Test HAVE_CXX_FLAG_fno_extern_tls_init - Success -- Configuring with CXX flag '-fno-extern-tls-init' -- Performing Test HAVE_CXX_FLAG_Wclass_memaccess -- Performing Test HAVE_CXX_FLAG_Wclass_memaccess - Success -- Configuring with CXX flag '-Wno-class-memaccess' -- Disabling unit tests since assertions are disabled. CMake Debug Log at /usr/share/cmake/Modules/FindPython/Support.cmake:1991 (find_program): find_program called with the following settings: VAR: _Python_EXECUTABLE NAMES: "python3.13" "python3" "python" Documentation: Path to a program. Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 1 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 0 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 0 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_program considered the following locations: /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/bin/python3.13 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/bin/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/bin/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/Scripts/python3.13 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/Scripts/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/Scripts/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/python3.13 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/bin/python3.13 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/bin/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/bin/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/Scripts/python3.13 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/Scripts/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/Scripts/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/python3.13 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/python3.13 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/Scripts/python3.13 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/Scripts/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/Scripts/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/python3.13 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/python The item was not found. Call Stack (most recent call first): /usr/share/cmake/Modules/FindPython.cmake:595 (include) CMakeLists.txt:329 (find_package) CMake Debug Log at /usr/share/cmake/Modules/FindPython/Support.cmake:2004 (find_program): find_program called with the following settings: VAR: _Python_EXECUTABLE NAMES: "python3.13" "python3" "python" Documentation: Path to a program. Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 1 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_program considered the following locations: /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/bin/python3.13 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/bin/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/bin/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/Scripts/python3.13 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/Scripts/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/Scripts/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/python3.13 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/bin/python3.13 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/bin/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/bin/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/Scripts/python3.13 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/Scripts/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/Scripts/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/python3.13 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/python3.13 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/Scripts/python3.13 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/Scripts/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/Scripts/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/python3.13 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/python /usr/bin/bin/python3.13 /usr/bin/bin/python3 /usr/bin/bin/python /usr/bin/Scripts/python3.13 /usr/bin/Scripts/python3 /usr/bin/Scripts/python /usr/bin/python3.13 /usr/bin/python3 /usr/bin/python /bin/bin/python3.13 /bin/bin/python3 /bin/bin/python /bin/Scripts/python3.13 /bin/Scripts/python3 /bin/Scripts/python /bin/python3.13 /bin/python3 /bin/python /usr/sbin/bin/python3.13 /usr/sbin/bin/python3 /usr/sbin/bin/python /usr/sbin/Scripts/python3.13 /usr/sbin/Scripts/python3 /usr/sbin/Scripts/python /usr/sbin/python3.13 /usr/sbin/python3 /usr/sbin/python /sbin/bin/python3.13 /sbin/bin/python3 /sbin/bin/python /sbin/Scripts/python3.13 /sbin/Scripts/python3 /sbin/Scripts/python /sbin/python3.13 /sbin/python3 /sbin/python /usr/local/sbin/bin/python3.13 /usr/local/sbin/bin/python3 /usr/local/sbin/bin/python /usr/local/sbin/Scripts/python3.13 /usr/local/sbin/Scripts/python3 /usr/local/sbin/Scripts/python /usr/local/sbin/python3.13 /usr/local/sbin/python3 /usr/local/sbin/python /usr/local/bin/bin/python3.13 /usr/local/bin/bin/python3 /usr/local/bin/bin/python /usr/local/bin/Scripts/python3.13 /usr/local/bin/Scripts/python3 /usr/local/bin/Scripts/python /usr/local/bin/python3.13 /usr/local/bin/python3 /usr/local/bin/python /usr/local/sbin/bin/python3.13 /usr/local/sbin/bin/python3 /usr/local/sbin/bin/python /usr/local/sbin/Scripts/python3.13 /usr/local/sbin/Scripts/python3 /usr/local/sbin/Scripts/python /usr/local/sbin/python3.13 /usr/local/sbin/python3 /usr/local/sbin/python /usr/local/bin/python3.13 /usr/local/bin/python3 /usr/local/bin/python /usr/local/Scripts/python3.13 /usr/local/Scripts/python3 /usr/local/Scripts/python /usr/local/python3.13 /usr/local/python3 /usr/local/python /usr/bin/bin/python3.13 /usr/bin/bin/python3 /usr/bin/bin/python /usr/bin/Scripts/python3.13 /usr/bin/Scripts/python3 /usr/bin/Scripts/python /usr/bin/python3.13 /usr/bin/python3 /usr/bin/python /usr/sbin/bin/python3.13 /usr/sbin/bin/python3 /usr/sbin/bin/python /usr/sbin/Scripts/python3.13 /usr/sbin/Scripts/python3 /usr/sbin/Scripts/python /usr/sbin/python3.13 /usr/sbin/python3 /usr/sbin/python /usr/bin/python3.13 /usr/bin/python3 /usr/bin/python /usr/Scripts/python3.13 /usr/Scripts/python3 /usr/Scripts/python /usr/python3.13 /usr/python3 /usr/python /bin/bin/python3.13 /bin/bin/python3 /bin/bin/python /bin/Scripts/python3.13 /bin/Scripts/python3 /bin/Scripts/python /bin/python3.13 /bin/python3 /bin/python /sbin/bin/python3.13 /sbin/bin/python3 /sbin/bin/python /sbin/Scripts/python3.13 /sbin/Scripts/python3 /sbin/Scripts/python /sbin/python3.13 /sbin/python3 /sbin/python /usr/X11R6/bin/bin/python3.13 /usr/X11R6/bin/bin/python3 /usr/X11R6/bin/bin/python /usr/X11R6/bin/Scripts/python3.13 /usr/X11R6/bin/Scripts/python3 /usr/X11R6/bin/Scripts/python /usr/X11R6/bin/python3.13 /usr/X11R6/bin/python3 /usr/X11R6/bin/python /usr/X11R6/sbin/bin/python3.13 /usr/X11R6/sbin/bin/python3 /usr/X11R6/sbin/bin/python /usr/X11R6/sbin/Scripts/python3.13 /usr/X11R6/sbin/Scripts/python3 /usr/X11R6/sbin/Scripts/python /usr/X11R6/sbin/python3.13 /usr/X11R6/sbin/python3 /usr/X11R6/sbin/python /usr/X11R6/bin/python3.13 /usr/X11R6/bin/python3 /usr/X11R6/bin/python /usr/X11R6/Scripts/python3.13 /usr/X11R6/Scripts/python3 /usr/X11R6/Scripts/python /usr/X11R6/python3.13 /usr/X11R6/python3 /usr/X11R6/python /usr/pkg/bin/bin/python3.13 /usr/pkg/bin/bin/python3 /usr/pkg/bin/bin/python /usr/pkg/bin/Scripts/python3.13 /usr/pkg/bin/Scripts/python3 /usr/pkg/bin/Scripts/python /usr/pkg/bin/python3.13 /usr/pkg/bin/python3 /usr/pkg/bin/python /usr/pkg/sbin/bin/python3.13 /usr/pkg/sbin/bin/python3 /usr/pkg/sbin/bin/python /usr/pkg/sbin/Scripts/python3.13 /usr/pkg/sbin/Scripts/python3 /usr/pkg/sbin/Scripts/python /usr/pkg/sbin/python3.13 /usr/pkg/sbin/python3 /usr/pkg/sbin/python /usr/pkg/bin/python3.13 /usr/pkg/bin/python3 /usr/pkg/bin/python /usr/pkg/Scripts/python3.13 /usr/pkg/Scripts/python3 /usr/pkg/Scripts/python /usr/pkg/python3.13 /usr/pkg/python3 /usr/pkg/python /opt/bin/bin/python3.13 /opt/bin/bin/python3 /opt/bin/bin/python /opt/bin/Scripts/python3.13 /opt/bin/Scripts/python3 /opt/bin/Scripts/python /opt/bin/python3.13 /opt/bin/python3 /opt/bin/python /opt/sbin/bin/python3.13 /opt/sbin/bin/python3 /opt/sbin/bin/python /opt/sbin/Scripts/python3.13 /opt/sbin/Scripts/python3 /opt/sbin/Scripts/python /opt/sbin/python3.13 /opt/sbin/python3 /opt/sbin/python /opt/bin/python3.13 /opt/bin/python3 /opt/bin/python /opt/Scripts/python3.13 /opt/Scripts/python3 /opt/Scripts/python /opt/python3.13 /opt/python3 /opt/python The item was not found. Call Stack (most recent call first): /usr/share/cmake/Modules/FindPython.cmake:595 (include) CMakeLists.txt:329 (find_package) CMake Debug Log at /usr/share/cmake/Modules/FindPython/Support.cmake:1991 (find_program): find_program called with the following settings: VAR: _Python_EXECUTABLE NAMES: "python3.12" "python3" "python" Documentation: Path to a program. Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 1 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 0 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 0 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_program considered the following locations: /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/bin/python3.12 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/bin/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/bin/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/Scripts/python3.12 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/Scripts/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/Scripts/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/python3.12 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/bin/python3.12 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/bin/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/bin/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/Scripts/python3.12 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/Scripts/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/Scripts/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/python3.12 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/python3.12 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/Scripts/python3.12 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/Scripts/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/Scripts/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/python3.12 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/python The item was not found. Call Stack (most recent call first): /usr/share/cmake/Modules/FindPython.cmake:595 (include) CMakeLists.txt:329 (find_package) CMake Debug Log at /usr/share/cmake/Modules/FindPython/Support.cmake:2004 (find_program): find_program called with the following settings: VAR: _Python_EXECUTABLE NAMES: "python3.12" "python3" "python" Documentation: Path to a program. Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 1 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_program considered the following locations: /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/bin/python3.12 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/bin/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/bin/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/Scripts/python3.12 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/Scripts/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/Scripts/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/python3.12 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/bin/python3.12 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/bin/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/bin/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/Scripts/python3.12 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/Scripts/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/Scripts/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/python3.12 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/sbin/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/python3.12 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/bin/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/Scripts/python3.12 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/Scripts/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/Scripts/python /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/python3.12 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/python3 /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/python /usr/bin/bin/python3.12 /usr/bin/bin/python3 /usr/bin/bin/python /usr/bin/Scripts/python3.12 /usr/bin/Scripts/python3 /usr/bin/Scripts/python The item was found at /usr/bin/python3.12 Call Stack (most recent call first): /usr/share/cmake/Modules/FindPython.cmake:595 (include) CMakeLists.txt:329 (find_package) -- Found Python: /usr/bin/python3.12 (found version "3.12.0") found components: Interpreter CMake Debug Log at CMakeLists.txt:329 (find_package): find_package considered the following paths for FindPython.cmake: /builddir/build/BUILD/cvc5-cvc5-1.1.2/cmake/FindPython.cmake The file was found at /usr/share/cmake/Modules/FindPython.cmake CMake Debug Log at cmake/FindGMP.cmake:20 (find_path): find_path called with the following settings: VAR: GMP_INCLUDE_DIR NAMES: "gmp.h" Documentation: Path to a file. Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 1 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_path considered the following locations: /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/include/gmp.h /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/gmp.h /usr/bin/gmp.h /bin/gmp.h /usr/sbin/gmp.h /sbin/gmp.h /usr/local/sbin/gmp.h /usr/local/include/gmp.h /usr/local/gmp.h The item was found at /usr/include/gmp.h Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:21 (find_path): find_path called with the following settings: VAR: GMPXX_INCLUDE_DIR NAMES: "gmpxx.h" Documentation: Path to a file. Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 1 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_path considered the following locations: /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/include/gmpxx.h /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/gmpxx.h /usr/bin/gmpxx.h /bin/gmpxx.h /usr/sbin/gmpxx.h /sbin/gmpxx.h /usr/local/sbin/gmpxx.h /usr/local/include/gmpxx.h /usr/local/gmpxx.h The item was found at /usr/include/gmpxx.h Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) removed original suffix /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/lib/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) removed original suffix /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) added replacement path /usr/bin/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) removed original suffix /usr/bin/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) added replacement path /bin/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) removed original suffix /bin/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) added replacement path /usr/sbin/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) removed original suffix /usr/sbin/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) added replacement path /sbin/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) removed original suffix /sbin/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) added replacement path /usr/local/sbin/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) removed original suffix /usr/local/sbin/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) added replacement path /usr/local/lib64/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) added replacement path /usr/local/lib/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) removed original suffix /usr/local/lib/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) added replacement path /usr/local/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) removed original suffix /usr/local/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) added replacement path /usr/lib64/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) added replacement path /usr/lib/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) removed original suffix /usr/lib/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) added replacement path /usr/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) removed original suffix /usr/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) added replacement path /lib64/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) added replacement path /lib/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) removed original suffix /lib/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) removed original suffix /usr/X11R6/lib/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) removed original suffix /usr/X11R6/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) removed original suffix /usr/pkg/lib/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) removed original suffix /usr/pkg/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) removed original suffix /opt/lib/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) added replacement path /opt/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) removed original suffix /opt/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) added replacement path /usr/lib64/X11/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library(GMP_LIBRARIES) removed original suffix /usr/lib/X11/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:22 (find_library): find_library called with the following settings: VAR: GMP_LIBRARIES NAMES: "gmp" Documentation: Path to a library. Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 1 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_library considered the following locations: /usr/bin/(lib)gmp(\.so|\.dylib|\.a) /bin/(lib)gmp(\.so|\.dylib|\.a) /usr/sbin/(lib)gmp(\.so|\.dylib|\.a) /sbin/(lib)gmp(\.so|\.dylib|\.a) /usr/local/sbin/(lib)gmp(\.so|\.dylib|\.a) /usr/local/lib64/(lib)gmp(\.so|\.dylib|\.a) /usr/local/lib/(lib)gmp(\.so|\.dylib|\.a) /usr/local/(lib)gmp(\.so|\.dylib|\.a) The item was found at /usr/lib64/libgmp.so Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) removed original suffix /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/lib/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) removed original suffix /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) added replacement path /usr/bin/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) removed original suffix /usr/bin/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) added replacement path /bin/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) removed original suffix /bin/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) added replacement path /usr/sbin/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) removed original suffix /usr/sbin/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) added replacement path /sbin/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) removed original suffix /sbin/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) added replacement path /usr/local/sbin/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) removed original suffix /usr/local/sbin/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) added replacement path /usr/local/lib64/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) added replacement path /usr/local/lib/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) removed original suffix /usr/local/lib/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) added replacement path /usr/local/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) removed original suffix /usr/local/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) added replacement path /usr/lib64/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) added replacement path /usr/lib/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) removed original suffix /usr/lib/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) added replacement path /usr/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) removed original suffix /usr/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) added replacement path /lib64/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) added replacement path /lib/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) removed original suffix /lib/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) removed original suffix /usr/X11R6/lib/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) removed original suffix /usr/X11R6/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) removed original suffix /usr/pkg/lib/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) removed original suffix /usr/pkg/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) removed original suffix /opt/lib/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) added replacement path /opt/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) removed original suffix /opt/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) added replacement path /usr/lib64/X11/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library(GMPXX_LIBRARIES) removed original suffix /usr/lib/X11/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:340 (find_package) CMake Debug Log at cmake/FindGMP.cmake:23 (find_library): find_library called with the following settings: VAR: GMPXX_LIBRARIES NAMES: "gmpxx" Documentation: Path to a library. Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 1 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_library considered the following locations: /usr/bin/(lib)gmpxx(\.so|\.dylib|\.a) /bin/(lib)gmpxx(\.so|\.dylib|\.a) /usr/sbin/(lib)gmpxx(\.so|\.dylib|\.a) /sbin/(lib)gmpxx(\.so|\.dylib|\.a) /usr/local/sbin/(lib)gmpxx(\.so|\.dylib|\.a) /usr/local/lib64/(lib)gmpxx(\.so|\.dylib|\.a) /usr/local/lib/(lib)gmpxx(\.so|\.dylib|\.a) /usr/local/(lib)gmpxx(\.so|\.dylib|\.a) The item was found at /usr/lib64/libgmpxx.so Call Stack (most recent call first): CMakeLists.txt:340 (find_package) -- Found GMP (unknown version): /usr/lib64/libgmp.so CMake Debug Log at CMakeLists.txt:340 (find_package): find_package considered the following paths for FindGMP.cmake: /usr/share/cmake/Modules/FindGMP.cmake The file was found at /builddir/build/BUILD/cvc5-cvc5-1.1.2/cmake/FindGMP.cmake CMake Debug Log at cmake/FindCaDiCaL.cmake:21 (find_path): find_path called with the following settings: VAR: CaDiCaL_INCLUDE_DIR NAMES: "cadical.hpp" Documentation: Path to a file. Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 1 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_path considered the following locations: /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/include/cadical.hpp /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/cadical.hpp /usr/bin/cadical.hpp /bin/cadical.hpp /usr/sbin/cadical.hpp /sbin/cadical.hpp /usr/local/sbin/cadical.hpp /usr/local/include/cadical.hpp /usr/local/cadical.hpp The item was found at /usr/include/cadical.hpp Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) removed original suffix /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/lib/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) removed original suffix /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) added replacement path /usr/bin/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) removed original suffix /usr/bin/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) added replacement path /bin/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) removed original suffix /bin/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) added replacement path /usr/sbin/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) removed original suffix /usr/sbin/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) added replacement path /sbin/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) removed original suffix /sbin/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) added replacement path /usr/local/sbin/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) removed original suffix /usr/local/sbin/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) added replacement path /usr/local/lib64/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) added replacement path /usr/local/lib/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) removed original suffix /usr/local/lib/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) added replacement path /usr/local/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) removed original suffix /usr/local/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) added replacement path /usr/lib64/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) added replacement path /usr/lib/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) removed original suffix /usr/lib/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) added replacement path /usr/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) removed original suffix /usr/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) added replacement path /lib64/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) added replacement path /lib/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) removed original suffix /lib/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) removed original suffix /usr/X11R6/lib/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) removed original suffix /usr/X11R6/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) removed original suffix /usr/pkg/lib/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) removed original suffix /usr/pkg/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) removed original suffix /opt/lib/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) added replacement path /opt/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) removed original suffix /opt/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) added replacement path /usr/lib64/X11/ to PATH_SUFFIXES for architecture suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library(CaDiCaL_LIBRARIES) removed original suffix /usr/lib/X11/ from PATH_SUFFIXES while adding architecture paths for suffix '64' Call Stack (most recent call first): CMakeLists.txt:418 (find_package) CMake Debug Log at cmake/FindCaDiCaL.cmake:22 (find_library): find_library called with the following settings: VAR: CaDiCaL_LIBRARIES NAMES: "cadical" Documentation: Path to a library. Framework Only Search Frameworks: 0 Search Frameworks Last: 0 Search Frameworks First: 0 AppBundle Only Search AppBundle: 0 Search AppBundle Last: 0 Search AppBundle First: 0 CMAKE_FIND_USE_CMAKE_PATH: 1 CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH: 1 CMAKE_FIND_USE_CMAKE_SYSTEM_PATH: 1 CMAKE_FIND_USE_INSTALL_PREFIX: 1 find_library considered the following locations: /usr/bin/(lib)cadical(\.so|\.dylib|\.a) /bin/(lib)cadical(\.so|\.dylib|\.a) /usr/sbin/(lib)cadical(\.so|\.dylib|\.a) /sbin/(lib)cadical(\.so|\.dylib|\.a) /usr/local/sbin/(lib)cadical(\.so|\.dylib|\.a) /usr/local/lib64/(lib)cadical(\.so|\.dylib|\.a) /usr/local/lib/(lib)cadical(\.so|\.dylib|\.a) /usr/local/(lib)cadical(\.so|\.dylib|\.a) The item was found at /usr/lib64/libcadical.so Call Stack (most recent call first): CMakeLists.txt:418 (find_package) -- Found CaDiCaL 1.9.5 : /usr/lib64/libcadical.so CMake Debug Log at CMakeLists.txt:418 (find_package): find_package considered the following paths for FindCaDiCaL.cmake: /usr/share/cmake/Modules/FindCaDiCaL.cmake The file was found at /builddir/build/BUILD/cvc5-cvc5-1.1.2/cmake/FindCaDiCaL.cmake -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success -- Found Threads: TRUE CMake Debug Log at CMakeLists.txt:433 (find_package): find_package considered the following paths for FindThreads.cmake: /builddir/build/BUILD/cvc5-cvc5-1.1.2/cmake/FindThreads.cmake The file was found at /usr/share/cmake/Modules/FindThreads.cmake CMake Debug Log at cmake/FindCryptoMiniSat.cmake:21 (find_package): find_package considered the following paths for Findcryptominisat5.cmake: /builddir/build/BUILD/cvc5-cvc5-1.1.2/cmake/Findcryptominisat5.cmake /usr/share/cmake/Modules/Findcryptominisat5.cmake The file was not found. The internally managed CMAKE_FIND_PACKAGE_REDIRECTS_DIR. /builddir/build/BUILD/cvc5-cvc5-1.1.2/redhat-linux-build/CMakeFiles/pkgRedirects _ROOT CMake variable [CMAKE_FIND_USE_PACKAGE_ROOT_PATH]. none CMAKE_PREFIX_PATH variable [CMAKE_FIND_USE_CMAKE_PATH]. /builddir/build/BUILD/cvc5-cvc5-1.1.2/deps/install CMAKE_FRAMEWORK_PATH and CMAKE_APPBUNDLE_PATH variables [CMAKE_FIND_USE_CMAKE_PATH]. Env variable cryptominisat5_DIR [CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH]. none CMAKE_PREFIX_PATH env variable [CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH]. none CMAKE_FRAMEWORK_PATH and CMAKE_APPBUNDLE_PATH env variables [CMAKE_FIND_USE_CMAKE_ENVIRONMENT_PATH]. none Paths specified by the find_package HINTS option. none Standard system environment variables [CMAKE_FIND_USE_SYSTEM_ENVIRONMENT_PATH]. /usr / /usr/local CMake User Package Registry [CMAKE_FIND_USE_PACKAGE_REGISTRY]. none CMake variables defined in the Platform file [CMAKE_FIND_USE_CMAKE_SYSTEM_PATH]. /usr/X11R6 /usr/pkg /opt CMake System Package Registry [CMAKE_FIND_PACKAGE_NO_SYSTEM_PACKAGE_REGISTRY]. none Paths specified by the find_package PATHS option. none find_package considered the following locations for cryptominisat5's Config module: /builddir/build/BUILD/cvc5-cvc5-1.1.2/redhat-linux-build/CMakeFiles/pkgRedirects/cryptominisat5Config.cmake /builddir/build/BUILD/cvc5-cvc5-1.1.2/redhat-linux-build/CMakeFiles/pkgRedirects/cryptominisat5-config.cmake /usr/cryptominisat5Config.cmake /usr/cryptominisat5-config.cmake /usr/lib64/cmake/cryptominisat5/cryptominisat5Config.cmake /usr/lib64/cmake/cryptominisat5/cryptominisat5-config.cmake /cryptominisat5Config.cmake /cryptominisat5-config.cmake /lib64/cmake/cryptominisat5/cryptominisat5Config.cmake /lib64/cmake/cryptominisat5/cryptominisat5-config.cmake /usr/local/cryptominisat5Config.cmake /usr/local/cryptominisat5-config.cmake /opt/cryptominisat5Config.cmake /opt/cryptominisat5-config.cmake The file was not found. Call Stack (most recent call first): CMakeLists.txt:437 (find_package) -- Configuring incomplete, errors occurred! CMake Error at cmake/deps-helper.cmake:78 (message): Could not find the optional dependency CryptoMiniSat (>= 5.8) in the system. You can disable this dependency with --no-cryptominisat, install it yourself or use --auto-download to let us download and build it for you. Call Stack (most recent call first): cmake/FindCryptoMiniSat.cmake:42 (check_auto_download) CMakeLists.txt:437 (find_package) CMake Debug Log at CMakeLists.txt:437 (find_package): find_package considered the following paths for FindCryptoMiniSat.cmake: /usr/share/cmake/Modules/FindCryptoMiniSat.cmake The file was found at /builddir/build/BUILD/cvc5-cvc5-1.1.2/cmake/FindCryptoMiniSat.cmake error: Bad exit status from /var/tmp/rpm-tmp.INiFoz (%build) RPM build errors: Bad exit status from /var/tmp/rpm-tmp.INiFoz (%build) Child return code was: 1 EXCEPTION: [Error('Command failed: \n # bash --login -c /usr/bin/rpmbuild -ba --noprep --noclean --target riscv64 --nodeps /builddir/build/SPECS/cvc5.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 597, 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 -ba --noprep --noclean --target riscv64 --nodeps /builddir/build/SPECS/cvc5.spec