<86>Jan 20 06:46:04 userdel[1375859]: delete user 'rooter' <86>Jan 20 06:46:04 userdel[1375859]: removed group 'rooter' owned by 'rooter' <86>Jan 20 06:46:04 userdel[1375859]: removed shadow group 'rooter' owned by 'rooter' <86>Jan 20 06:46:04 groupadd[1375904]: group added to /etc/group: name=rooter, GID=1211 <86>Jan 20 06:46:04 groupadd[1375904]: group added to /etc/gshadow: name=rooter <86>Jan 20 06:46:04 groupadd[1375904]: new group: name=rooter, GID=1211 <86>Jan 20 06:46:04 useradd[1375927]: new user: name=rooter, UID=1211, GID=1211, home=/root, shell=/bin/bash, from=none <86>Jan 20 06:46:04 userdel[1375959]: delete user 'builder' <86>Jan 20 06:46:04 userdel[1375959]: removed group 'builder' owned by 'builder' <86>Jan 20 06:46:04 userdel[1375959]: removed shadow group 'builder' owned by 'builder' <86>Jan 20 06:46:04 groupadd[1375979]: group added to /etc/group: name=builder, GID=1212 <86>Jan 20 06:46:04 groupadd[1375979]: group added to /etc/gshadow: name=builder <86>Jan 20 06:46:04 groupadd[1375979]: new group: name=builder, GID=1212 <86>Jan 20 06:46:04 useradd[1375995]: new user: name=builder, UID=1212, GID=1212, home=/usr/src, shell=/bin/bash, from=none <13>Jan 20 06:46:10 rpmi: libmpdec3-2.5.1-alt3 sisyphus+314490.500.5.1 1675432033 installed <13>Jan 20 06:46:10 rpmi: libgdbm-1.8.3-alt10 sisyphus+278100.1600.1.1 1626059138 installed <13>Jan 20 06:46:10 rpmi: libexpat-2.5.0-alt1 sisyphus+309227.100.1.1 1667075766 installed <13>Jan 20 06:46:10 rpmi: libb2-0.98.1-alt1_1 sisyphus+291614.100.1.1 1638962878 installed <13>Jan 20 06:46:10 rpmi: libp11-kit-1:0.25.3-alt2 sisyphus+336533.100.1.1 1702645575 installed <13>Jan 20 06:46:10 rpmi: libtasn1-4.19.0-alt3 sisyphus+327816.100.1.1 1692802618 installed <13>Jan 20 06:46:10 rpmi: rpm-macros-alternatives-0.5.2-alt2 sisyphus+315270.200.2.1 1676457367 installed <13>Jan 20 06:46:10 rpmi: alternatives-0.5.2-alt2 sisyphus+315270.200.2.1 1676457367 installed <13>Jan 20 06:46:10 rpmi: ca-certificates-2023.12.20-alt1 sisyphus+336902.300.1.1 1703105726 installed <13>Jan 20 06:46:10 rpmi: ca-trust-0.1.4-alt1 sisyphus+308690.100.1.1 1666182992 installed <13>Jan 20 06:46:10 rpmi: p11-kit-trust-1:0.25.3-alt2 sisyphus+336533.100.1.1 1702645575 installed <13>Jan 20 06:46:10 rpmi: libcrypto3-3.1.4-alt1 sisyphus+332632.100.2.1 1698241305 installed <13>Jan 20 06:46:10 rpmi: libssl3-3.1.4-alt1 sisyphus+332632.100.2.1 1698241305 installed <13>Jan 20 06:46:10 rpmi: python3-3.12.0-alt1 sisyphus+333513.60.71.1 1704532872 installed <13>Jan 20 06:46:11 rpmi: python3-base-3.12.0-alt1 sisyphus+333513.60.71.1 1704532872 installed <13>Jan 20 06:46:11 rpmi: python3-module-py3dephell-0.1.0-alt2 sisyphus+328191.600.5.1 1693609196 installed <13>Jan 20 06:46:11 rpmi: tests-for-installed-python3-pkgs-0.1.24-alt2 sisyphus+331059.100.4.1 1696870033 installed <13>Jan 20 06:46:11 rpmi: rpm-build-python3-0.1.24-alt2 sisyphus+331059.100.4.1 1696870033 installed <13>Jan 20 06:46:11 rpmi: rpm-macros-make-0.1-alt1 1299442795 installed warning: Macro %cmake not found warning: Macro %cmake_build not found warning: Macro %cmakeinstall_std not found <13>Jan 20 06:46:16 rpmi: libpng16-1.6.40-alt1 sisyphus+323732.100.1.1 1687771859 installed <13>Jan 20 06:46:17 rpmi: libjpeg-2:2.1.5.1-alt2 sisyphus+334304.100.1.1 1699893684 installed <13>Jan 20 06:46:17 rpmi: libidn2-2.3.4-alt1 sisyphus+309023.100.1.1 1666791089 installed <13>Jan 20 06:46:17 rpmi: libnettle8-3.9.1-alt1 sisyphus+322548.100.1.2 1686176897 installed <13>Jan 20 06:46:17 rpmi: libatk-2.50.1-alt1.1 sisyphus+333513.115100.84.1 1705495732 installed <13>Jan 20 06:46:17 rpmi: libICE-1.1.1-alt1 sisyphus+311428.500.1.1 1670577559 installed <13>Jan 20 06:46:17 rpmi: libwebp7-1.3.2-alt1 sisyphus+329541.100.1.1 1694676226 installed <13>Jan 20 06:46:17 rpmi: xml-utils-1:2.12.3-alt1 sisyphus+333513.3440.71.1 1704535643 installed <13>Jan 20 06:46:17 rpmi: libSM-1.2.4-alt1 sisyphus+312057.200.1.1 1671526918 installed <13>Jan 20 06:46:17 rpmi: libhogweed6-3.9.1-alt1 sisyphus+322548.100.1.2 1686176897 installed <13>Jan 20 06:46:17 rpmi: libgnutls30-3.8.3-alt1 sisyphus+338392.100.2.1 1705655794 installed <13>Jan 20 06:46:17 rpmi: libngtcp2.16-1.0.1-alt1 sisyphus+332583.200.2.1 1698669156 installed <13>Jan 20 06:46:17 rpmi: libngtcp2_crypto_gnutls8-1.0.1-alt1 sisyphus+332583.200.2.1 1698669156 installed <13>Jan 20 06:46:17 rpmi: libpython3-3.12.0-alt1 sisyphus+333513.60.71.1 1704532872 installed <13>Jan 20 06:46:17 rpmi: libncurses6-6.3.20220618-alt4 sisyphus+328055.40.2.1 1693213017 installed <13>Jan 20 06:46:17 rpmi: libtinfo-devel-6.3.20220618-alt4 sisyphus+328055.40.2.1 1693213017 installed <13>Jan 20 06:46:17 rpmi: libncurses-devel-6.3.20220618-alt4 sisyphus+328055.40.2.1 1693213017 installed <13>Jan 20 06:46:17 rpmi: libltdl7-2.4.7-alt4 sisyphus+336930.1700.1.1 1703107036 installed <13>Jan 20 06:46:17 rpmi: libgts-0.7.6-alt2.drc20130205.1 sisyphus+275722.100.1.1 1624749871 installed <13>Jan 20 06:46:17 rpmi: libpaper2-2:2.1.2-alt1 sisyphus+333727.100.1.1 1699322843 installed <13>Jan 20 06:46:17 rpmi: libopenjpeg2.0-2.5.0-alt1 sisyphus+299926.300.3.1 1652478844 installed <13>Jan 20 06:46:17 rpmi: libgtk+2-locales-2.24.33-alt1 sisyphus+278555.100.1.2 1626252653 installed <13>Jan 20 06:46:17 rpmi: libgmpxx4-6.3.0-alt1 sisyphus+328118.100.2.1 1693294140 installed <13>Jan 20 06:46:17 rpmi: libgmp-devel-6.3.0-alt1 sisyphus+328118.100.2.1 1693294140 installed <13>Jan 20 06:46:17 rpmi: libnuma-2.0.14-alt2 sisyphus+278485.100.1.1 1626104243 installed <13>Jan 20 06:46:17 rpmi: libx265-199-3.5-alt1.1 sisyphus+277560.100.1.1 1625696944 installed <13>Jan 20 06:46:17 rpmi: libfribidi-1.0.13-alt1 sisyphus+320646.100.1.1 1684307083 installed <13>Jan 20 06:46:17 rpmi: libde265-1.0.15-alt1 sisyphus+337190.100.1.1 1703502097 installed <13>Jan 20 06:46:17 rpmi: libdatrie-0.2.13-alt1_7 sisyphus+328221.100.1.1 1693336967 installed <13>Jan 20 06:46:17 rpmi: libthai-0.1.29-alt1_6 sisyphus+328230.100.1.2 1693348044 installed <13>Jan 20 06:46:17 rpmi: libpixman-3:0.43.0-alt1 sisyphus+338010.100.1.2 1705650526 installed <13>Jan 20 06:46:17 rpmi: liblz4-1:1.9.4-alt1 sisyphus+309416.100.1.1 1667413000 installed <13>Jan 20 06:46:17 rpmi: libsystemd-1:254.7-alt1 sisyphus+336047.100.1.1 1701962805 installed <13>Jan 20 06:46:18 rpmi: libdbus-1.14.10-alt1 sisyphus+328676.100.1.1 1693833782 installed <13>Jan 20 06:46:18 rpmi: libavahi-0.8-alt2 sisyphus+321176.300.10.2 1684803998 installed <13>Jan 20 06:46:18 rpmi: libaom3-3.5.0-alt2 sisyphus+335780.100.1.1 1701761523 installed <13>Jan 20 06:46:18 rpmi: libglvnd-7:1.7.0-alt1 sisyphus+330949.100.1.1 1696424894 installed <13>Jan 20 06:46:18 rpmi: libxshmfence-1.3.2-alt1 sisyphus+311428.400.1.1 1670577529 installed <13>Jan 20 06:46:18 rpmi: libpciaccess-1:0.17-alt1 sisyphus+308663.300.1.1 1666168262 installed <13>Jan 20 06:46:18 rpmi: libdrm-1:2.4.120-alt1 sisyphus+338137.100.1.2 1705653180 installed <13>Jan 20 06:46:18 rpmi: libX11-locales-3:1.8.7-alt1 sisyphus+330921.200.1.1 1696400315 installed <13>Jan 20 06:46:18 rpmi: libXdmcp-1.1.4-alt1 sisyphus+311188.1000.1.1 1670233860 installed <13>Jan 20 06:46:18 rpmi: libXau-1.0.11-alt1 sisyphus+311428.100.1.1 1670577440 installed <13>Jan 20 06:46:18 rpmi: libxcb-1.16-alt1 sisyphus+327325.200.1.1 1692276267 installed <13>Jan 20 06:46:18 rpmi: libX11-3:1.8.7-alt1 sisyphus+330921.200.1.1 1696400319 installed <13>Jan 20 06:46:18 rpmi: libXext-1.3.5-alt1 sisyphus+309285.100.1.1 1667212413 installed <13>Jan 20 06:46:18 rpmi: libXrender-0.9.11-alt1 sisyphus+308841.100.1.1 1666436131 installed <13>Jan 20 06:46:18 rpmi: libXfixes-6.0.1-alt1 sisyphus+331490.300.1.1 1697023235 installed <13>Jan 20 06:46:18 rpmi: libXrandr-1.5.4-alt1 sisyphus+330992.100.1.1 1696485401 installed <13>Jan 20 06:46:18 rpmi: libXxf86vm-1.1.5-alt1 sisyphus+308663.1400.1.1 1666168534 installed <13>Jan 20 06:46:18 rpmi: libXi-1.8-alt1 sisyphus+285490.200.1.1 1632124180 installed <13>Jan 20 06:46:18 rpmi: libXt-1.3.0-alt1 sisyphus+331490.500.1.1 1697023316 installed <13>Jan 20 06:46:18 rpmi: libXmu-1.1.4-alt1 sisyphus+308663.1000.1.1 1666168416 installed <13>Jan 20 06:46:18 rpmi: libXpm-3.5.17-alt1 sisyphus+330921.100.1.1 1696400258 installed <13>Jan 20 06:46:18 rpmi: libGLX-mesa-4:23.3.3-alt1 sisyphus+338007.200.2.2 1705645753 installed <13>Jan 20 06:46:18 rpmi: libGLX-7:1.7.0-alt1 sisyphus+330949.100.1.1 1696424894 installed <13>Jan 20 06:46:18 rpmi: libGL-7:1.7.0-alt1 sisyphus+330949.100.1.1 1696424894 installed <13>Jan 20 06:46:18 rpmi: libGLU-4:9.0.1-alt1 sisyphus+278350.100.1.2 1626174378 installed <13>Jan 20 06:46:18 rpmi: libfreeglut-3.4.0-alt1 sisyphus+308137.100.1.1 1665325474 installed <13>Jan 20 06:46:18 rpmi: libXcursor-1.2.1-alt1 sisyphus+297765.200.1.1 1649053934 installed <13>Jan 20 06:46:18 rpmi: libXinerama-1.1.5-alt1 sisyphus+309287.100.1.1 1667213209 installed <13>Jan 20 06:46:18 rpmi: libXcomposite-0.4.6-alt1 sisyphus+311188.200.1.1 1670233684 installed <13>Jan 20 06:46:18 rpmi: libXdamage-1.1.6-alt1 sisyphus+311188.300.1.1 1670233713 installed <13>Jan 20 06:46:18 rpmi: icon-theme-hicolor-0.17-alt2 sisyphus+248343.100.1.1 1584979043 installed <13>Jan 20 06:46:18 rpmi: libdeflate-1.19-alt1 sisyphus+329822.100.2.2 1695269332 installed <13>Jan 20 06:46:18 rpmi: libtiff5-4.4.0-alt4 sisyphus+322581.100.1.2 1686180093 installed <13>Jan 20 06:46:18 rpmi: desktop-file-utils-0.26-alt6 sisyphus+331944.100.1.3 1697550035 installed <13>Jan 20 06:46:18 rpmi: shared-mime-info-2.4-alt1 sisyphus+334259.100.1.1 1699787317 installed <13>Jan 20 06:46:18 rpmi: libgdk-pixbuf-locales-2.42.10-alt1 sisyphus+308991.100.1.1 1666721198 installed <13>Jan 20 06:46:18 rpmi: gsettings-desktop-schemas-data-45.0-alt1 sisyphus+325066.400.6.2 1695203930 installed <13>Jan 20 06:46:18 rpmi: libgio-2.78.3-alt1 sisyphus+333513.53020.73.1 1704647462 installed <13>Jan 20 06:46:18 rpmi: gsettings-desktop-schemas-45.0-alt1 sisyphus+325066.400.6.2 1695203930 installed <13>Jan 20 06:46:18 rpmi: libgdk-pixbuf-2.42.10-alt1 sisyphus+308991.100.1.1 1666721201 installed <13>Jan 20 06:46:18 rpmi: gtk4-update-icon-cache-4.12.5-alt1 sisyphus+338236.300.2.3 1705674887 installed <13>Jan 20 06:46:18 rpmi: libheif-1.17.6-alt1 sisyphus+337190.200.1.1 1703502143 installed <13>Jan 20 06:46:18 rpmi: gcc-c++-common-1.4.27-alt1 sisyphus+278099.1300.1.1 1626028636 installed <13>Jan 20 06:46:19 rpmi: libstdc++13-devel-13.2.1-alt2 sisyphus+327572.100.1.1 1692472364 installed <13>Jan 20 06:46:20 rpmi: gcc13-c++-13.2.1-alt2 sisyphus+327572.100.1.1 1692472364 installed <13>Jan 20 06:46:20 rpmi: libgraphite2-1.3.14-alt2.1 sisyphus+279571.100.1.2 1626605157 installed <13>Jan 20 06:46:20 rpmi: rpm-macros-cmake-3.27.7-alt1 sisyphus+331245.40.2.1 1697877632 installed <13>Jan 20 06:46:20 rpmi: cmake-modules-3.27.7-alt1 sisyphus+331245.40.2.1 1697877617 installed <13>Jan 20 06:46:20 rpmi: libuv-1.47.0-alt1 sisyphus+337159.100.2.1 1703930511 installed <13>Jan 20 06:46:20 rpmi: librhash-1.3.5-alt3 sisyphus+286141.40.2.1 1632982456 installed <13>Jan 20 06:46:20 rpmi: libjsoncpp24-1.9.4-alt2 sisyphus+286441.100.1.1 1633444234 installed <13>Jan 20 06:46:20 rpmi: libssh2-1.11.0-alt1 sisyphus+327652.100.1.1 1692636581 installed <13>Jan 20 06:46:20 rpmi: publicsuffix-list-dafsa-20231026-alt1 sisyphus+332908.100.1.1 1698419299 installed <13>Jan 20 06:46:20 rpmi: libpsl-0.21.2-alt1 sisyphus+312536.100.1.1 1672131180 installed <13>Jan 20 06:46:20 rpmi: libnghttp3.9-1.0.0-alt1 sisyphus+332583.100.2.1 1698669105 installed <13>Jan 20 06:46:20 rpmi: libnghttp2-1.57.0-alt1 sisyphus+331457.200.2.1 1697011708 installed <13>Jan 20 06:46:20 rpmi: openldap-common-2.6.6-alt1 sisyphus+330946.100.2.1 1696432854 installed <13>Jan 20 06:46:20 rpmi: libntlm-1.5-alt1 sisyphus+278100.3300.1.1 1626059663 installed <13>Jan 20 06:46:20 rpmi: libidn-1.37-alt2 sisyphus+300849.100.1.1 1653769693 installed <13>Jan 20 06:46:20 rpmi: libverto-0.3.2-alt1_1 sisyphus+321176.2200.10.2 1684806164 installed <13>Jan 20 06:46:20 rpmi: liblmdb-0.9.31-alt1 sisyphus+330946.40.2.1 1696431544 installed <13>Jan 20 06:46:20 rpmi: libkeyutils-1.6.3-alt1 sisyphus+266061.100.1.1 1612919567 installed <13>Jan 20 06:46:20 rpmi: libcom_err-1.46.4.0.5.4cda-alt1 sisyphus+283826.100.1.1 1629975361 installed <86>Jan 20 06:46:20 groupadd[1400014]: group added to /etc/group: name=_keytab, GID=999 <86>Jan 20 06:46:20 groupadd[1400014]: group added to /etc/gshadow: name=_keytab <86>Jan 20 06:46:20 groupadd[1400014]: new group: name=_keytab, GID=999 <13>Jan 20 06:46:20 rpmi: libkrb5-1.21.2-alt1 sisyphus+327265.100.1.1 1692185512 installed <13>Jan 20 06:46:20 rpmi: libcups-2.4.7-alt2 sisyphus+333092.100.1.1 1698654164 installed <13>Jan 20 06:46:20 rpmi: libgsasl-2.2.0-alt1 sisyphus+333173.100.1.1 1698696961 installed <86>Jan 20 06:46:20 groupadd[1400190]: group added to /etc/group: name=sasl, GID=998 <86>Jan 20 06:46:20 groupadd[1400190]: group added to /etc/gshadow: name=sasl <86>Jan 20 06:46:20 groupadd[1400190]: new group: name=sasl, GID=998 <13>Jan 20 06:46:20 rpmi: libsasl2-3-2.1.27-alt2.2 sisyphus+324359.6000.12.1 1689392231 installed <13>Jan 20 06:46:20 rpmi: libldap2-2.6.6-alt1 sisyphus+330946.100.2.1 1696432858 installed <13>Jan 20 06:46:20 rpmi: libbrotlicommon-1.1.0-alt1 sisyphus+328501.100.1.1 1693598420 installed <13>Jan 20 06:46:20 rpmi: libbrotlidec-1.1.0-alt1 sisyphus+328501.100.1.1 1693598420 installed <13>Jan 20 06:46:20 rpmi: libharfbuzz-8.3.0-alt1 sisyphus+334471.200.2.1 1700075833 installed <13>Jan 20 06:46:20 rpmi: libfreetype-2.13.2-alt1 sisyphus+328677.100.1.1 1693834346 installed <13>Jan 20 06:46:20 rpmi: libfontconfig1-2.14.2-alt8 sisyphus+328444.100.1.1 1693553407 installed <13>Jan 20 06:46:20 rpmi: libcairo-1:1.18.0-alt1 sisyphus+330227.100.1.1 1695539082 installed <13>Jan 20 06:46:20 rpmi: fontconfig-2.14.2-alt8 sisyphus+328444.100.1.1 1693553407 installed Updating fonts cache: <29>Jan 20 06:46:21 fontconfig: Updating fonts cache: succeeded [ DONE ] <13>Jan 20 06:46:21 rpmi: libgd3-2.3.3-alt2 sisyphus+335387.100.1.1 1701278647 installed <13>Jan 20 06:46:22 rpmi: fonts-ttf-dejavu-2.37-alt2 sisyphus+243548.100.1.1 1577296175 installed <13>Jan 20 06:46:22 rpmi: libcairo-gobject-1:1.18.0-alt1 sisyphus+330227.100.1.1 1695539082 installed <13>Jan 20 06:46:22 rpmi: libXft-2.3.8-alt1 sisyphus+331490.400.1.1 1697023273 installed <13>Jan 20 06:46:22 rpmi: libpango-1.51.1-alt1 sisyphus+329828.40.3.1 1695333195 installed <13>Jan 20 06:46:22 rpmi: libgtk+2-2.24.33-alt1 sisyphus+278555.100.1.2 1626252537 installed <13>Jan 20 06:46:22 rpmi: libgtkglext-1.2.0-alt5 sisyphus+278412.100.1.2 1626206880 installed <13>Jan 20 06:46:22 rpmi: libglade-2.6.4-alt6 sisyphus+286822.100.2.1 1633968403 installed <13>Jan 20 06:46:22 rpmi: liblasi-1.1.3-alt3 sisyphus+286812.100.2.1 1633968134 installed <13>Jan 20 06:46:22 rpmi: librsvg-1:2.57.1-alt1 sisyphus+336610.100.1.1 1702737328 installed <13>Jan 20 06:46:24 rpmi: libgs-10.01.1-alt2 sisyphus+337968.300.3.1 1705654987 installed <13>Jan 20 06:46:24 rpmi: libgraphviz-9.0.0-alt2 sisyphus+333513.1540.72.1 1704584273 installed <13>Jan 20 06:46:24 rpmi: libcurl-8.5.0-alt1 sisyphus+335914.200.3.1 1701861019 installed <13>Jan 20 06:46:24 rpmi: libarchive13-3.6.1-alt2 sisyphus+324359.1300.6.1 1689326414 installed <13>Jan 20 06:46:24 rpmi: cmake-3.27.7-alt1 sisyphus+331245.40.2.1 1697877632 installed <13>Jan 20 06:46:25 rpmi: graphviz-9.0.0-alt2 sisyphus+333513.1540.72.1 1704584273 installed <13>Jan 20 06:46:25 rpmi: doxygen-1:1.10.0-alt1 sisyphus+337260.100.1.1 1703582835 installed <13>Jan 20 06:46:25 rpmi: gcc-c++-13-alt1 sisyphus+323337.300.1.1 1687268227 installed <13>Jan 20 06:46:25 rpmi: libgmpxx-devel-6.3.0-alt1 sisyphus+328118.100.2.1 1693294140 installed <13>Jan 20 06:46:26 rpmi: python3-dev-3.12.0-alt1 sisyphus+333513.60.71.1 1704532872 installed <13>Jan 20 06:46:26 rpmi: python3-module-pkg_resources-1:69.0.3-alt1 sisyphus+337272.100.2.1 1703780168 installed Building target platforms: i586 Building for target i586 Wrote: /usr/src/in/nosrpm/z3-4.8.8-alt1.nosrc.rpm (w1.gzdio) Installing z3-4.8.8-alt1.src.rpm Building target platforms: i586 Building for target i586 Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.23363 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + rm -rf z3-4.8.8 + echo 'Source #0 (z3-4.8.8.tar):' Source #0 (z3-4.8.8.tar): + /bin/tar -xf /usr/src/RPM/SOURCES/z3-4.8.8.tar + cd z3-4.8.8 + /bin/chmod -c -Rf u+rwX,go-w . + exit 0 Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.59603 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd z3-4.8.8 + mkdir -p i586-alt-linux ++ which python3 + cmake -DCMAKE_SKIP_INSTALL_RPATH:BOOL=yes '-DCMAKE_C_FLAGS:STRING=-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic' '-DCMAKE_CXX_FLAGS:STRING=-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic' '-DCMAKE_Fortran_FLAGS:STRING=-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic' -DCMAKE_INSTALL_PREFIX=/usr -DINCLUDE_INSTALL_DIR:PATH=/usr/include -DLIB_INSTALL_DIR:PATH=/usr/lib -DSYSCONF_INSTALL_DIR:PATH=/etc -DSHARE_INSTALL_PREFIX:PATH=/usr/share -DLIB_DESTINATION=lib -DLIB_SUFFIX= -S . -B i586-alt-linux -DZ3_INCLUDE_GIT_HASH:BOOL=OFF -DZ3_INCLUDE_GIT_DESCRIBE:BOOL=OFF -DZ3_BUILD_DOCUMENTATION:BOOL=ON -DZ3_ENABLE_EXAMPLE_TARGETS:BOOL=OFF -DPYTHON_EXECUTABLE=/usr/bin/python3 -DZ3_BUILD_PYTHON_BINDINGS:BOOL=ON -DZ3_INSTALL_PYTHON_BINDINGS:BOOL=ON -DZ3_USE_LIB_GMP:BOOL=ON CMake Deprecation Warning at CMakeLists.txt:2 (cmake_minimum_required): Compatibility with CMake < 3.5 will be removed from a future version of CMake. Update the VERSION argument value or use a ... suffix to tell CMake that the project does not need compatibility with older versions. -- The CXX compiler identification is GNU 13.2.1 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Z3 version 4.8.8.0 -- Failed to find git directory. CMake Warning at CMakeLists.txt:60 (message): Disabling Z3_INCLUDE_GIT_DESCRIBE Call Stack (most recent call first): CMakeLists.txt:109 (disable_git_describe) CMake Warning at CMakeLists.txt:64 (message): Disabling Z3_INCLUDE_GIT_HASH Call Stack (most recent call first): CMakeLists.txt:110 (disable_git_hash) -- CMake generator: Unix Makefiles -- CMAKE_BUILD_TYPE is not set. Setting default -- The available build types are: Debug;Release;RelWithDebInfo;MinSizeRel CMake Warning (dev) at CMakeLists.txt:143 (set): implicitly converting 'String' to 'STRING' type. This warning is for project developers. Use -Wno-dev to suppress it. -- Build type: RelWithDebInfo CMake Warning (dev) at CMakeLists.txt:172 (find_package): Policy CMP0148 is not set: The FindPythonInterp and FindPythonLibs modules are removed. Run "cmake --help-policy CMP0148" for policy details. Use the cmake_policy command to set the policy and suppress this warning. This warning is for project developers. Use -Wno-dev to suppress it. -- Found PythonInterp: /usr/bin/python3 (found version "3.12") -- PYTHON_EXECUTABLE: /usr/bin/python3 -- Detected target architecture: i686 -- Platform: Linux -- Found GMP C library: "/usr/lib/libgmp.so" -- Found GMP C++ library: "/usr/lib/libgmpxx.so" -- Found GMP C include path: "/usr/include" -- Found GMP C++ include path: "/usr/include" -- Found GMP -- Found GMP: /usr/include -- Using libgmp -- Not using Z3_API_LOG_SYNC -- Thread-safe build -- Performing Test HAS_SSE2 -- Performing Test HAS_SSE2 - Success -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success -- Found Threads: TRUE -- Performing Test HAS__Wall -- Performing Test HAS__Wall - Success -- C++ compiler supports -Wall -- Treating only serious compiler warnings as errors -- Performing Test HAS__Werror_odr -- Performing Test HAS__Werror_odr - Success -- C++ compiler supports -Werror=odr -- Performing Test HAS__fvisibility_hidden -- Performing Test HAS__fvisibility_hidden - Success -- C++ compiler supports -fvisibility=hidden -- Performing Test HAS__fPIC -- Performing Test HAS__fPIC - Success -- C++ compiler supports -fPIC -- LTO disabled -- CMAKE_CXX_FLAGS: "-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic -Werror=odr " -- CMAKE_EXE_LINKER_FLAGS: "" -- CMAKE_STATIC_LINKER_FLAGS: "" -- CMAKE_SHARED_LINKER_FLAGS: "" -- CMAKE_CXX_FLAGS_RELWITHDEBINFO: "-O2 -g -DNDEBUG" -- CMAKE_EXE_LINKER_FLAGS_RELWITHDEBINFO: "" -- CMAKE_SHARED_LINKER_FLAGS_RELWITHDEBINFO: "" -- CMAKE_STATIC_LINKER_FLAGS_RELWITHDEBINFO: "" -- Z3_COMPONENT_CXX_DEFINES: $<$:Z3DEBUG>;$<$:_EXTERNAL_RELEASE>;$<$:_EXTERNAL_RELEASE>;-D_LINUX_;-D_MP_GMP;$<$:_TRACE> -- Z3_COMPONENT_CXX_FLAGS: -mfpmath=sse;-msse;-msse2;-Wall;-fvisibility=hidden;-fPIC -- Z3_DEPENDENT_LIBS: /usr/lib/libgmp.so -- Z3_COMPONENT_EXTRA_INCLUDE_DIRS: /usr/src/RPM/BUILD/z3-4.8.8/i586-alt-linux/src;/usr/src/RPM/BUILD/z3-4.8.8/src;/usr/include -- Z3_DEPENDENT_EXTRA_CXX_LINK_FLAGS: -- CMAKE_INSTALL_LIBDIR: "lib" -- CMAKE_INSTALL_BINDIR: "bin" -- CMAKE_INSTALL_INCLUDEDIR: "include" -- CMAKE_INSTALL_PKGCONFIGDIR: "lib/pkgconfig" -- CMAKE_INSTALL_Z3_CMAKE_PACKAGE_DIR: "lib/cmake/z3" -- Adding component util -- Adding component polynomial -- Adding rule to generate "algebraic_params.hpp" -- Adding component dd -- Adding component hilbert -- Adding component simplex -- Adding component automata -- Adding component interval -- Adding component realclosure -- Adding rule to generate "rcf_params.hpp" -- Adding component subpaving -- Adding component ast -- Adding rule to generate "pp_params.hpp" -- Adding component rewriter -- Adding rule to generate "arith_rewriter_params.hpp" -- Adding rule to generate "array_rewriter_params.hpp" -- Adding rule to generate "bool_rewriter_params.hpp" -- Adding rule to generate "bv_rewriter_params.hpp" -- Adding rule to generate "fpa_rewriter_params.hpp" -- Adding rule to generate "poly_rewriter_params.hpp" -- Adding rule to generate "rewriter_params.hpp" -- Adding rule to generate "seq_rewriter_params.hpp" -- Adding component normal_forms -- Adding rule to generate "nnf_params.hpp" -- Adding component model -- Adding rule to generate "model_evaluator_params.hpp" -- Adding rule to generate "model_params.hpp" -- Adding component tactic -- Adding rule to generate "tactic_params.hpp" -- Adding component substitution -- Adding component parser_util -- Adding rule to generate "parser_params.hpp" -- Adding component grobner -- Adding component sat -- Adding rule to generate "sat_asymm_branch_params.hpp" -- Adding rule to generate "sat_params.hpp" -- Adding rule to generate "sat_scc_params.hpp" -- Adding rule to generate "sat_simplifier_params.hpp" -- Adding component nlsat -- Adding rule to generate "nlsat_params.hpp" -- Adding component lp -- Adding component core_tactics -- Adding component subpaving_tactic -- Adding component aig_tactic -- Adding component solver -- Adding rule to generate "combined_solver_params.hpp" -- Adding rule to generate "parallel_params.hpp" -- Adding rule to generate "solver_params.hpp" -- Adding component sat_tactic -- Adding component arith_tactics -- Adding component nlsat_tactic -- Adding component ackermannization -- Adding rule to generate "ackermannization_params.hpp" -- Adding rule to generate "ackermannize_bv_tactic_params.hpp" -- Adding component cmd_context -- Adding component extra_cmds -- Adding component smt2parser -- Adding component proofs -- Adding component fpa -- Adding rule to generate "fpa2bv_rewriter_params.hpp" -- Adding component macros -- Adding component pattern -- Adding rule to generate "pattern_inference_params_helper.hpp" -- Adding component bit_blaster -- Adding component smt_params -- Adding rule to generate "smt_params_helper.hpp" -- Adding component proto_model -- Adding component smt -- Adding component bv_tactics -- Adding component smt_tactic -- Adding component sls_tactic -- Adding rule to generate "sls_params.hpp" -- Adding component qe -- Adding component muz -- Adding rule to generate "fp_params.hpp" -- Adding component dataflow -- Adding component transforms -- Adding component rel -- Adding component clp -- Adding component tab -- Adding component bmc -- Adding component ddnf -- Adding component spacer -- Adding component fp -- Adding component ufbv_tactic -- Adding component sat_solver -- Adding component smtlogic_tactics -- Adding rule to generate "qfufbv_tactic_params.hpp" -- Adding component fpa_tactics -- Adding component fd_solver -- Adding component portfolio -- Adding component opt -- Adding rule to generate "opt_params.hpp" -- Adding component api -- Adding component api_dll -- Adding component fuzzing -- Emitting rules to build Z3 python bindings -- Emitting rules to install Z3 python bindings -- CMAKE_INSTALL_PYTHON_PKG_DIR not set. Trying to guess Traceback (most recent call last): File "", line 1, in ModuleNotFoundError: No module named 'distutils' CMake Error at src/api/python/CMakeLists.txt:109 (message): Failed to determine your Python package directory -- Configuring incomplete, errors occurred! error: Bad exit status from /usr/src/tmp/rpm-tmp.59603 (%build) RPM build errors: Bad exit status from /usr/src/tmp/rpm-tmp.59603 (%build) Command exited with non-zero status 1 1.48user 0.54system 0:02.07elapsed 98%CPU (0avgtext+0avgdata 22704maxresident)k 0inputs+0outputs (0major+154016minor)pagefaults 0swaps hsh-rebuild: rebuild of `z3-4.8.8-alt1.src.rpm' failed. Command exited with non-zero status 1 7.03user 2.54system 0:31.44elapsed 30%CPU (0avgtext+0avgdata 124500maxresident)k 0inputs+0outputs (0major+305681minor)pagefaults 0swaps