D: [iurt_root_command] chroot
Building target platforms: x86_64
Building for target x86_64
sh: line 4: [: -j8: integer expression expected
Installing /home/pterjan/rpmbuild/SRPMS/z3-4.13.0-2.mga10.src.rpm
Executing(%mkbuilddir): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.3GnwvW
sh: line 4: [: -j8: integer expression expected
Executing(%prep): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.Vft340
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD/z3-4.13.0-build
+ '[' 1 -eq 1 ']'
+ '[' 1 -eq 1 ']'
+ '[' 1 -eq 1 ']'
+ cd /home/pterjan/rpmbuild/BUILD/z3-4.13.0-build
+ rm -rf z3-z3-4.13.0
+ /usr/lib/rpm/rpmuncompress -x /home/pterjan/rpmbuild/SOURCES/z3-4.13.0.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd z3-z3-4.13.0
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ sed -e 's/@$(CXX)/$(CXX)/' -e /O3/d -e 's/\(['\''"]\)cp\([^[:alnum:]]\)/\1cp -p\2/' -e 's/\(SLIBEXTRAFLAGS = '\''\)'\''/\1-Wl,--no-whole-archive'\''/' -e '/SLIBFLAGS/s|-shared|& -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -Wl,-O1 -Wl,--build-id=sha1 -Wl,--enable-new-dtags -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -Wl,--whole-archive|' -e 's/\(libz3$(SO_EXT)\)\(\\n\)/\1 -Wl,--no-whole-archive\2/' -e 's/OCAML_FLAGS = '\'''\''/OCAML_FLAGS = '\''-g'\''/' -i scripts/mk_util.py
++ cut -d. -f-2
+ majver=4.13
+ sed -e '/libz3java/s,\(System\.load\)Library("\(.*\)"),\1("/usr/lib64/z3/\2.so"),' -e s/@MAJVER@/4.13/ -i scripts/update_api.py
+ sed -i /HTML_TIMESTAMP/s/YES/NO/ doc/z3api.cfg.in doc/z3code.dox
+ RPM_EC=0
++ jobs -p
+ exit 0
sh: line 4: [: -j8: integer expression expected
Executing(%build): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.XyvQts
+ umask 022
+ cd /home/pterjan/rpmbuild/BUILD/z3-4.13.0-build
+ CFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full'
+ export CFLAGS
+ CXXFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full'
+ export CXXFLAGS
+ FFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full '
+ export FFLAGS
+ FCFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,--as-needed -Wl,-z,relro -Wl,-z,now -Wl,-O1 -Wl,--build-id=sha1 -Wl,--enable-new-dtags -specs=/usr/lib/rpm/redhat/redhat-hardened-ld'
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd z3-z3-4.13.0
+ '[' 1 -eq 1 ']'
+ '[' 1 -eq 1 ']'
+ export LANG=C.UTF-8
+ LANG=C.UTF-8
+ export PYTHON=/usr/bin/python3
+ PYTHON=/usr/bin/python3
+ CFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full'
+ export CFLAGS
+ CXXFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full'
+ export CXXFLAGS
+ FFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full '
+ export FFLAGS
+ FCFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,--as-needed -Wl,-z,relro -Wl,-z,now -Wl,-O1 -Wl,--build-id=sha1 -Wl,--enable-new-dtags -specs=/usr/lib/rpm/redhat/redhat-hardened-ld'
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ /usr/bin/cmake -Wno-dev -S . -B build -DCMAKE_CXX_FLAGS_RELWITHDEBINFO:STRING=-DNDEBUG -DCMAKE_C_FLAGS_RELWITHDEBINFO:STRING=-DNDEBUG -DCMAKE_CXX_FLAGS_RELEASE:STRING=-DNDEBUG -DCMAKE_C_FLAGS_RELEASE:STRING=-DNDEBUG -DCMAKE_INSTALL_DO_STRIP:BOOL=OFF -DCMAKE_INSTALL_LIBDIR:PATH=lib64 -DCMAKE_INSTALL_LIBEXECDIR:PATH=libexec -DCMAKE_INSTALL_PREFIX:PATH=/usr -DCMAKE_INSTALL_RUNSTATEDIR:PATH=/run -DCMAKE_INSTALL_SYSCONFDIR:PATH=/etc -DINCLUDE_INSTALL_DIR:PATH=/usr/include -DLIB_INSTALL_DIR:PATH=/usr/lib64 -DSYSCONF_INSTALL_DIR:PATH=/etc -DSHARE_INSTALL_PREFIX:PATH=/usr/share -DCMAKE_BUILD_TYPE=RelWithDebInfo -DLIB_SUFFIX=64 -DCMAKE_VERBOSE_MAKEFILE:BOOL=ON '-DCMAKE_MODULE_LINKER_FLAGS=-Wl,--as-needed -Wl,-z,relro -Wl,-z,now -Wl,-O1 -Wl,--build-id=sha1 -Wl,--enable-new-dtags -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' -DBUILD_SHARED_LIBS:BOOL=ON -DBUILD_STATIC_LIBS:BOOL=OFF -G Ninja -DCMAKE_INSTALL_INCLUDEDIR=/usr/include/z3 -DGMP_CXX_INCLUDES=/usr/include '-DGMP_CXX_LIBRARIES=%{libdir}' '-DCMAKE_JAVA_COMPILE_FLAGS=-source;1.8;-target;1.8' -DZ3_BUILD_DOCUMENTATION:BOOL=ON -DZ3_BUILD_JAVA_BINDINGS:BOOL=ON -DZ3_BUILD_PYTHON_BINDINGS:BOOL=ON -DZ3_INCLUDE_GIT_HASH:BOOL=OFF -DZ3_INCLUDE_GIT_DESCRIBE:BOOL=OFF -DZ3_USE_LIB_GMP:BOOL=ON
-- The CXX compiler identification is GNU 15.1.0
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - failed
-- Check for working CXX compiler: /usr/bin/g++
-- Check for working CXX compiler: /usr/bin/g++ - works
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Z3 version 4.13.0.0
-- Failed to find git directory.
-- CMake generator: Ninja
-- Build type: RelWithDebInfo
-- Found Python3: /usr/bin/python3.13 (found version "3.13.3") found components: Interpreter
-- Python3_EXECUTABLE: /usr/bin/python3.13
-- Detected target architecture: x86_64
CMake Error at /usr/share/cmake/Modules/FindPackageHandleStandardArgs.cmake:233 (message):
  Could NOT find GMP (missing: GMP_C_LIBRARIES)
Call Stack (most recent call first):
  /usr/share/cmake/Modules/FindPackageHandleStandardArgs.cmake:603 (_FPHSA_FAILURE_MESSAGE)
  cmake/modules/FindGMP.cmake:36 (find_package_handle_standard_args)
  CMakeLists.txt:217 (find_package)


-- Configuring incomplete, errors occurred!
error: Bad exit status from /home/pterjan/rpmbuild/tmp/rpm-tmp.XyvQts (%build)

RPM build errors:
    Bad exit status from /home/pterjan/rpmbuild/tmp/rpm-tmp.XyvQts (%build)
I: [iurt_root_command] ERROR: chroot