Warning: Permanently added '54.172.208.212' (ED25519) to the list of known hosts. You can reproduce this build on your computer by running: sudo dnf install copr-rpmbuild /usr/bin/copr-rpmbuild --verbose --drop-resultdir --task-url https://copr.fedorainfracloud.org/backend/get-build-task/7347996-epel-8-aarch64 --chroot epel-8-aarch64 Version: 0.72 PID: 6606 Logging PID: 6607 Task: {'allow_user_ssh': False, 'appstream': False, 'background': False, 'build_id': 7347996, 'buildroot_pkgs': [], 'chroot': 'epel-8-aarch64', 'enable_net': True, 'fedora_review': False, 'git_hash': '784d1bce3c8456da0239c45dfbea929a0d69dbf1', 'git_repo': 'https://copr-dist-git.fedorainfracloud.org/git/rezso/HDL/pysat', 'isolation': 'default', 'memory_reqs': 2048, 'package_name': 'pysat', 'package_version': '0.1.7-20240418.0.git97505cb7', 'project_dirname': 'HDL', 'project_name': 'HDL', 'project_owner': 'rezso', 'repo_priority': None, 'repos': [{'baseurl': 'https://download.copr.fedorainfracloud.org/results/rezso/HDL/epel-8-aarch64/', 'id': 'copr_base', 'name': 'Copr repository', 'priority': None}, {'baseurl': 'https://download.copr.fedorainfracloud.org/results/rezso/ML/epel-8-aarch64/', 'id': 'copr_rezso_ML', 'name': 'Additional repo copr_rezso_ML'}, {'baseurl': 'https://download.copr.fedorainfracloud.org/results/rezso/CUDA/epel-8-aarch64/', 'id': 'copr_rezso_CUDA', 'name': 'Additional repo copr_rezso_CUDA'}, {'baseurl': 'http://developer.download.nvidia.com/compute/cuda/repos/rhel8/x86_64', 'id': 'http_developer_download_nvidia_com_compute_cuda_repos_rhel8_x86_64', 'name': 'Additional repo http_developer_download_nvidia_com_compute_cuda_repos_rhel8_x86_64'}, {'baseurl': 'http://developer.download.nvidia.com/compute/cuda/repos/rhel8/sbsa', 'id': 'http_developer_download_nvidia_com_compute_cuda_repos_rhel8_sbsa', 'name': 'Additional repo http_developer_download_nvidia_com_compute_cuda_repos_rhel8_sbsa'}, {'baseurl': 'http://developer.download.nvidia.com/compute/cuda/repos/rhel8/ppc64le', 'id': 'http_developer_download_nvidia_com_compute_cuda_repos_rhel8_ppc64le', 'name': 'Additional repo http_developer_download_nvidia_com_compute_cuda_repos_rhel8_ppc64le'}], 'sandbox': 'rezso/HDL--rezso', 'source_json': {}, 'source_type': None, 'ssh_public_keys': None, 'submitter': 'rezso', 'tags': [], 'task_id': '7347996-epel-8-aarch64', 'timeout': 172800, 'uses_devel_repo': False, 'with_opts': [], 'without_opts': []} Running: git clone https://copr-dist-git.fedorainfracloud.org/git/rezso/HDL/pysat /var/lib/copr-rpmbuild/workspace/workdir-bo4mbsks/pysat --depth 500 --no-single-branch --recursive cmd: ['git', 'clone', 'https://copr-dist-git.fedorainfracloud.org/git/rezso/HDL/pysat', '/var/lib/copr-rpmbuild/workspace/workdir-bo4mbsks/pysat', '--depth', '500', '--no-single-branch', '--recursive'] cwd: . rc: 0 stdout: stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-bo4mbsks/pysat'... Running: git checkout 784d1bce3c8456da0239c45dfbea929a0d69dbf1 -- cmd: ['git', 'checkout', '784d1bce3c8456da0239c45dfbea929a0d69dbf1', '--'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-bo4mbsks/pysat rc: 0 stdout: stderr: Note: switching to '784d1bce3c8456da0239c45dfbea929a0d69dbf1'. You are in 'detached HEAD' state. You can look around, make experimental changes and commit them, and you can discard any commits you make in this state without impacting any branches by switching back to a branch. If you want to create a new branch to retain commits you create, you may do so (now or later) by using -c with the switch command. Example: git switch -c Or undo this operation with: git switch - Turn off this advice by setting config variable advice.detachedHead to false HEAD is now at 784d1bc automatic import of pysat Running: copr-distgit-client sources cmd: ['copr-distgit-client', 'sources'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-bo4mbsks/pysat rc: 0 stdout: stderr: INFO: Reading stdout from command: git rev-parse --abbrev-ref HEAD INFO: Reading stdout from command: git rev-parse HEAD INFO: Reading sources specification file: sources /usr/bin/tail: /var/lib/copr-rpmbuild/main.log: file truncated Running (timeout=172800): unbuffer mock --spec /var/lib/copr-rpmbuild/workspace/workdir-bo4mbsks/pysat/pysat.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-bo4mbsks/pysat --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1714006879.613669 -r /var/lib/copr-rpmbuild/results/configs/child.cfg INFO: mock.py version 5.5 starting (python version = 3.12.1, NVR = mock-5.5-1.fc39), args: /usr/libexec/mock/mock --spec /var/lib/copr-rpmbuild/workspace/workdir-bo4mbsks/pysat/pysat.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-bo4mbsks/pysat --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1714006879.613669 -r /var/lib/copr-rpmbuild/results/configs/child.cfg Start(bootstrap): init plugins INFO: tmpfs initialized INFO: selinux enabled INFO: chroot_scan: initialized INFO: compress_logs: initialized Finish(bootstrap): init plugins Start: init plugins INFO: tmpfs initialized INFO: selinux enabled INFO: chroot_scan: initialized INFO: compress_logs: initialized Finish: init plugins INFO: Signal handler active Start: run INFO: Start(/var/lib/copr-rpmbuild/workspace/workdir-bo4mbsks/pysat/pysat.spec) Config(rhel+epel-8-aarch64) Start: clean chroot Finish: clean chroot Mock Version: 5.5 INFO: Mock Version: 5.5 Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/rhel+epel-8-aarch64-bootstrap-1714006879.613669/root. INFO: calling preinit hooks INFO: enabled root cache INFO: enabled package manager cache Start(bootstrap): cleaning package manager metadata Finish(bootstrap): cleaning package manager metadata INFO: Guessed host environment type: unknown INFO: Using bootstrap image: registry.access.redhat.com/ubi8/ubi INFO: Pulling image: registry.access.redhat.com/ubi8/ubi INFO: Copy content of container registry.access.redhat.com/ubi8/ubi to /var/lib/mock/rhel+epel-8-aarch64-bootstrap-1714006879.613669/root INFO: Checking that registry.access.redhat.com/ubi8/ubi image matches host's architecture INFO: mounting registry.access.redhat.com/ubi8/ubi with podman image mount INFO: image registry.access.redhat.com/ubi8/ubi as /var/lib/containers/storage/overlay/7a2b39246d28ad6bab256f11e346ac22a58bb61a7e4b4293c3875c8fcb1ec2fe/merged INFO: umounting image registry.access.redhat.com/ubi8/ubi (/var/lib/containers/storage/overlay/7a2b39246d28ad6bab256f11e346ac22a58bb61a7e4b4293c3875c8fcb1ec2fe/merged) with podman image umount INFO: Package manager dnf detected and used (fallback) INFO: Not updating bootstrap chroot, bootstrap_image_ready=True Start(bootstrap): creating root cache Finish(bootstrap): creating root cache Finish(bootstrap): chroot init Start: chroot init INFO: mounting tmpfs at /var/lib/mock/rhel+epel-8-aarch64-1714006879.613669/root. INFO: calling preinit hooks INFO: enabled root cache INFO: enabled package manager cache Start: cleaning package manager metadata Finish: cleaning package manager metadata INFO: enabled HW Info plugin INFO: Package manager dnf detected and used (direct choice) INFO: Buildroot is handled by package management downloaded with a bootstrap image: rpm-4.14.3-28.el8_9.aarch64 python3-dnf-4.7.0-19.el8.noarch python3-dnf-plugins-core-4.0.21-23.el8.noarch yum-4.7.0-19.el8.noarch Start: installing minimal buildroot with dnf No matches found for the following disable plugin patterns: local, spacewalk, versionlock Updating Subscription Management repositories. Unable to read consumer identity This system is not registered with an entitlement server. You can use subscription-manager to register. Copr repository 13 MB/s | 1.2 MB 00:00 Additional repo copr_rezso_ML 15 MB/s | 995 kB 00:00 Additional repo copr_rezso_CUDA 1.0 MB/s | 60 kB 00:00 Additional repo http_developer_download_nvidia_ 145 MB/s | 3.3 MB 00:00 Additional repo http_developer_download_nvidia_ 132 MB/s | 2.0 MB 00:00 Additional repo http_developer_download_nvidia_ 138 MB/s | 1.8 MB 00:00 Red Hat Enterprise Linux - BaseOS 47 MB/s | 53 MB 00:01 Red Hat Enterprise Linux - AppStream 70 MB/s | 52 MB 00:00 Red Hat Enterprise Linux - CodeReady Linux Buil 6.5 MB/s | 5.6 MB 00:00 Extra Packages for Enterprise Linux 8 - aarch64 2.9 MB/s | 16 MB 00:05 Modular dependency problems: Problem 1: nothing provides requested module(nvidia-driver:latest-dkms:20240424120842) Problem 2: nothing provides requested module(nvidia-driver:latest-dkms:20240416084208) Dependencies resolved. ============================================================================================ Package Arch Version Repository Size ============================================================================================ Installing: bash aarch64 4.4.20-4.el8_6 rhel-baseos 1.5 M bzip2 aarch64 1.0.6-26.el8 rhel-baseos 60 k coreutils aarch64 8.30-15.el8 rhel-baseos 1.2 M cpio aarch64 2.12-11.el8 rhel-baseos 260 k diffutils aarch64 3.6-6.el8 rhel-baseos 352 k epel-rpm-macros noarch 8-41 epel 27 k findutils aarch64 1:4.6.0-21.el8 rhel-baseos 524 k gawk aarch64 4.2.1-4.el8 rhel-baseos 1.1 M gcc aarch64 8.5.0-20.el8 rhel-appstream 19 M gcc-c++ aarch64 8.5.0-20.el8 rhel-appstream 11 M grep aarch64 3.1-6.el8 rhel-baseos 268 k gzip aarch64 1.9-13.el8_5 rhel-baseos 165 k info aarch64 6.5-7.el8 rhel-baseos 191 k make aarch64 1:4.2.1-11.el8 rhel-baseos 490 k patch aarch64 2.7.6-11.el8 rhel-baseos 134 k redhat-release aarch64 8.9-0.1.el8 rhel-baseos 45 k redhat-rpm-config noarch 131-1.el8 rhel-appstream 91 k rpm-build aarch64 4.14.3-28.el8_9 rhel-appstream 173 k sed aarch64 4.5-5.el8 rhel-baseos 295 k tar aarch64 2:1.30-9.el8 rhel-baseos 830 k unzip aarch64 6.0-46.el8 rhel-baseos 190 k util-linux aarch64 2.32.1-44.el8_9.1 rhel-baseos 2.5 M which aarch64 2.21-20.el8 rhel-baseos 49 k xz aarch64 5.2.4-4.el8_6 rhel-baseos 153 k Installing dependencies: annobin aarch64 11.13-2.el8 rhel-appstream 971 k ansible-srpm-macros noarch 1-12.el8 epel 21 k audit-libs aarch64 3.0.7-5.el8 rhel-baseos 119 k basesystem noarch 11-5.el8 rhel-baseos 11 k binutils aarch64 2.30-123.el8 rhel-baseos 6.1 M brotli aarch64 1.0.6-3.el8 rhel-baseos 314 k bzip2-libs aarch64 1.0.6-26.el8 rhel-baseos 48 k ca-certificates noarch 2023.2.60_v7.0.306-80.0.el8_8 rhel-baseos 935 k chkconfig aarch64 1.19.2-1.el8 rhel-baseos 197 k coreutils-common aarch64 8.30-15.el8 rhel-baseos 2.0 M cpp aarch64 8.5.0-20.el8 rhel-appstream 9.0 M cracklib aarch64 2.9.6-15.el8 rhel-baseos 93 k cracklib-dicts aarch64 2.9.6-15.el8 rhel-baseos 4.0 M crypto-policies noarch 20230731-1.git3177e06.el8 rhel-baseos 64 k curl aarch64 7.61.1-33.el8_9.5 rhel-baseos 350 k cyrus-sasl-lib aarch64 2.1.27-6.el8_5 rhel-baseos 122 k dwz aarch64 0.12-10.el8 rhel-appstream 103 k efi-srpm-macros noarch 3-3.el8 rhel-appstream 22 k elfutils aarch64 0.189-3.el8 rhel-baseos 537 k elfutils-default-yama-scope noarch 0.189-3.el8 rhel-baseos 52 k elfutils-libelf aarch64 0.189-3.el8 rhel-baseos 231 k elfutils-libs aarch64 0.189-3.el8 rhel-baseos 292 k expat aarch64 2.2.5-11.el8_9.1 rhel-baseos 104 k file aarch64 5.33-25.el8 rhel-baseos 78 k file-libs aarch64 5.33-25.el8 rhel-baseos 541 k filesystem aarch64 3.8-6.el8 rhel-baseos 1.1 M fpc-srpm-macros noarch 1.3-1.el8 epel 8.2 k gc aarch64 7.6.4-3.el8 rhel-appstream 99 k gcc-plugin-annobin aarch64 8.5.0-20.el8 rhel-appstream 34 k gdb-headless aarch64 8.2-20.el8 rhel-appstream 3.1 M gdbm aarch64 1:1.18-2.el8 rhel-baseos 128 k gdbm-libs aarch64 1:1.18-2.el8 rhel-baseos 59 k ghc-srpm-macros noarch 1.4.2-7.el8 rhel-appstream 9.4 k glib2 aarch64 2.56.4-161.el8 rhel-baseos 2.4 M glibc aarch64 2.28-236.el8_9.12 rhel-baseos 1.8 M glibc-all-langpacks aarch64 2.28-236.el8_9.12 rhel-baseos 25 M glibc-common aarch64 2.28-236.el8_9.12 rhel-baseos 1.0 M glibc-devel aarch64 2.28-236.el8_9.12 rhel-baseos 84 k glibc-gconv-extra aarch64 2.28-236.el8_9.12 rhel-baseos 1.8 M glibc-headers aarch64 2.28-236.el8_9.12 rhel-baseos 482 k gmp aarch64 1:6.1.2-10.el8 rhel-baseos 270 k gnupg2 aarch64 2.2.20-3.el8_6 rhel-baseos 2.4 M gnutls aarch64 3.6.16-8.el8_9.3 rhel-baseos 940 k go-srpm-macros noarch 2-17.el8 rhel-appstream 13 k guile aarch64 5:2.0.14-7.el8 rhel-appstream 3.5 M ima-evm-utils aarch64 1.3.2-12.el8 rhel-baseos 63 k isl aarch64 0.16.1-6.el8 rhel-appstream 778 k kernel-headers aarch64 4.18.0-513.24.1.el8_9 rhel-baseos 11 M keyutils-libs aarch64 1.5.10-9.el8 rhel-baseos 34 k krb5-libs aarch64 1.18.2-26.el8_9 rhel-baseos 818 k libacl aarch64 2.2.53-1.el8 rhel-baseos 34 k libarchive aarch64 3.3.3-5.el8 rhel-baseos 340 k libasan aarch64 8.5.0-20.el8 rhel-baseos 387 k libassuan aarch64 2.5.1-3.el8 rhel-baseos 81 k libatomic aarch64 8.5.0-20.el8 rhel-baseos 26 k libatomic_ops aarch64 7.6.2-3.el8 rhel-appstream 38 k libattr aarch64 2.4.48-3.el8 rhel-baseos 27 k libbabeltrace aarch64 1.5.4-4.el8 rhel-baseos 189 k libblkid aarch64 2.32.1-44.el8_9.1 rhel-baseos 215 k libcap aarch64 2.48-6.el8_9 rhel-baseos 74 k libcap-ng aarch64 0.7.11-1.el8 rhel-baseos 33 k libcom_err aarch64 1.45.6-5.el8 rhel-baseos 49 k libcurl aarch64 7.61.1-33.el8_9.5 rhel-baseos 286 k libdb aarch64 5.3.28-42.el8_4 rhel-baseos 687 k libdb-utils aarch64 5.3.28-42.el8_4 rhel-baseos 148 k libfdisk aarch64 2.32.1-44.el8_9.1 rhel-baseos 244 k libffi aarch64 3.1-24.el8 rhel-baseos 37 k libgcc aarch64 8.5.0-20.el8 rhel-baseos 75 k libgcrypt aarch64 1.8.5-7.el8_6 rhel-baseos 391 k libgomp aarch64 8.5.0-20.el8 rhel-baseos 200 k libgpg-error aarch64 1.31-1.el8 rhel-baseos 240 k libidn2 aarch64 2.2.0-1.el8 rhel-baseos 93 k libksba aarch64 1.3.5-9.el8_7 rhel-baseos 130 k libmount aarch64 2.32.1-44.el8_9.1 rhel-baseos 230 k libmpc aarch64 1.1.0-9.1.el8 rhel-appstream 60 k libnghttp2 aarch64 1.33.0-5.el8_9 rhel-baseos 75 k libnsl2 aarch64 1.2.0-2.20180605git4a062cf.el8 rhel-baseos 55 k libpkgconf aarch64 1.4.2-1.el8 rhel-baseos 34 k libpsl aarch64 0.20.2-6.el8 rhel-baseos 61 k libpwquality aarch64 1.4.4-6.el8 rhel-baseos 106 k libselinux aarch64 2.9-8.el8 rhel-baseos 162 k libsemanage aarch64 2.9-9.el8_6 rhel-baseos 164 k libsepol aarch64 2.9-3.el8 rhel-baseos 321 k libsigsegv aarch64 2.11-5.el8 rhel-baseos 30 k libsmartcols aarch64 2.32.1-44.el8_9.1 rhel-baseos 175 k libssh aarch64 0.9.6-13.el8_9 rhel-baseos 210 k libssh-config noarch 0.9.6-13.el8_9 rhel-baseos 21 k libstdc++ aarch64 8.5.0-20.el8 rhel-baseos 425 k libstdc++-devel aarch64 8.5.0-20.el8 rhel-appstream 2.1 M libtasn1 aarch64 4.13-4.el8_7 rhel-baseos 75 k libtirpc aarch64 1.1.4-8.el8 rhel-baseos 109 k libtool-ltdl aarch64 2.4.6-25.el8 rhel-baseos 57 k libubsan aarch64 8.5.0-20.el8 rhel-baseos 145 k libunistring aarch64 0.9.9-3.el8 rhel-baseos 411 k libusbx aarch64 1.0.23-4.el8 rhel-baseos 73 k libutempter aarch64 1.1.6-14.el8 rhel-baseos 32 k libuuid aarch64 2.32.1-44.el8_9.1 rhel-baseos 98 k libverto aarch64 0.3.2-2.el8 rhel-baseos 24 k libxcrypt aarch64 4.1.1-6.el8 rhel-baseos 73 k libxcrypt-devel aarch64 4.1.1-6.el8 rhel-baseos 25 k libxml2 aarch64 2.9.7-18.el8_9 rhel-baseos 653 k libzstd aarch64 1.4.4-1.el8 rhel-baseos 240 k lua-libs aarch64 5.3.4-12.el8 rhel-baseos 112 k lua-srpm-macros noarch 1-13.el8 epel 9.2 k lz4-libs aarch64 1.8.3-3.el8_4 rhel-baseos 63 k mpfr aarch64 3.1.6-1.el8 rhel-baseos 214 k ncurses aarch64 6.1-10.20180224.el8 rhel-baseos 383 k ncurses-base noarch 6.1-10.20180224.el8 rhel-baseos 81 k ncurses-libs aarch64 6.1-10.20180224.el8 rhel-baseos 310 k nettle aarch64 3.4.1-7.el8 rhel-baseos 307 k npth aarch64 1.5-4.el8 rhel-baseos 26 k ocaml-srpm-macros noarch 5-4.el8 rhel-appstream 9.5 k openblas-srpm-macros noarch 2-2.el8 rhel-appstream 8.0 k openldap aarch64 2.4.46-18.el8 rhel-baseos 339 k openssl-libs aarch64 1:1.1.1k-12.el8_9 rhel-baseos 1.3 M p11-kit aarch64 0.23.22-1.el8 rhel-baseos 306 k p11-kit-trust aarch64 0.23.22-1.el8 rhel-baseos 134 k pam aarch64 1.3.1-27.el8 rhel-baseos 740 k pcre aarch64 8.42-6.el8 rhel-baseos 187 k pcre2 aarch64 10.32-3.el8_6 rhel-baseos 219 k perl-srpm-macros noarch 1-25.el8 rhel-appstream 11 k pkgconf aarch64 1.4.2-1.el8 rhel-baseos 37 k pkgconf-m4 noarch 1.4.2-1.el8 rhel-baseos 17 k pkgconf-pkg-config aarch64 1.4.2-1.el8 rhel-baseos 15 k platform-python aarch64 3.6.8-56.el8_9.3 rhel-baseos 87 k platform-python-setuptools noarch 39.2.0-7.el8 rhel-baseos 632 k popt aarch64 1.18-1.el8 rhel-baseos 60 k publicsuffix-list-dafsa noarch 20180723-1.el8 rhel-baseos 56 k python-rpm-macros noarch 3-45.el8 rhel-appstream 16 k python-srpm-macros noarch 3-45.el8 rhel-appstream 16 k python3-libs aarch64 3.6.8-56.el8_9.3 rhel-baseos 7.7 M python3-pip-wheel noarch 9.0.3-23.el8_9.1 rhel-baseos 866 k python3-rpm-macros noarch 3-45.el8 rhel-appstream 15 k python3-setuptools-wheel noarch 39.2.0-7.el8 rhel-baseos 289 k qt5-srpm-macros noarch 5.15.3-1.el8 rhel-appstream 11 k readline aarch64 7.0-10.el8 rhel-baseos 193 k rpm aarch64 4.14.3-28.el8_9 rhel-baseos 544 k rpm-build-libs aarch64 4.14.3-28.el8_9 rhel-baseos 151 k rpm-libs aarch64 4.14.3-28.el8_9 rhel-baseos 330 k rust-srpm-macros noarch 5-2.el8 rhel-appstream 9.3 k setup noarch 2.12.2-9.el8 rhel-baseos 181 k shadow-utils aarch64 2:4.6-19.el8 rhel-baseos 1.2 M sqlite-libs aarch64 3.26.0-19.el8_9 rhel-baseos 551 k systemd-libs aarch64 239-78.el8 rhel-baseos 1.0 M tpm2-tss aarch64 2.3.2-5.el8 rhel-baseos 240 k tzdata noarch 2024a-1.el8 rhel-baseos 475 k xz-libs aarch64 5.2.4-4.el8_6 rhel-baseos 91 k zip aarch64 3.0-23.el8 rhel-baseos 265 k zlib aarch64 1.2.11-25.el8 rhel-baseos 101 k zstd aarch64 1.4.4-1.el8 rhel-appstream 303 k Transaction Summary ============================================================================================ Install 174 Packages Total download size: 155 M Installed size: 825 M Downloading Packages: (1/174): cracklib-2.9.6-15.el8.aarch64.rpm 564 kB/s | 93 kB 00:00 (2/174): bzip2-1.0.6-26.el8.aarch64.rpm 327 kB/s | 60 kB 00:00 (3/174): grep-3.1-6.el8.aarch64.rpm 1.4 MB/s | 268 kB 00:00 (4/174): bzip2-libs-1.0.6-26.el8.aarch64.rpm 111 kB/s | 48 kB 00:00 (5/174): libacl-2.2.53-1.el8.aarch64.rpm 418 kB/s | 34 kB 00:00 (6/174): libattr-2.4.48-3.el8.aarch64.rpm 389 kB/s | 27 kB 00:00 (7/174): cracklib-dicts-2.9.6-15.el8.aarch64.rp 10 MB/s | 4.0 MB 00:00 (8/174): libassuan-2.5.1-3.el8.aarch64.rpm 571 kB/s | 81 kB 00:00 (9/174): libgpg-error-1.31-1.el8.aarch64.rpm 2.3 MB/s | 240 kB 00:00 (10/174): libnsl2-1.2.0-2.20180605git4a062cf.el 869 kB/s | 55 kB 00:00 (11/174): libpkgconf-1.4.2-1.el8.aarch64.rpm 493 kB/s | 34 kB 00:00 (12/174): libsigsegv-2.11-5.el8.aarch64.rpm 416 kB/s | 30 kB 00:00 (13/174): libtool-ltdl-2.4.6-25.el8.aarch64.rpm 794 kB/s | 57 kB 00:00 (14/174): libunistring-0.9.9-3.el8.aarch64.rpm 2.9 MB/s | 411 kB 00:00 (15/174): libutempter-1.1.6-14.el8.aarch64.rpm 324 kB/s | 32 kB 00:00 (16/174): mpfr-3.1.6-1.el8.aarch64.rpm 2.0 MB/s | 214 kB 00:00 (17/174): pkgconf-1.4.2-1.el8.aarch64.rpm 627 kB/s | 37 kB 00:00 (18/174): npth-1.5-4.el8.aarch64.rpm 242 kB/s | 26 kB 00:00 (19/174): pkgconf-pkg-config-1.4.2-1.el8.aarch6 170 kB/s | 15 kB 00:00 (20/174): readline-7.0-10.el8.aarch64.rpm 2.4 MB/s | 193 kB 00:00 (21/174): zip-3.0-23.el8.aarch64.rpm 2.8 MB/s | 265 kB 00:00 (22/174): pkgconf-m4-1.4.2-1.el8.noarch.rpm 296 kB/s | 17 kB 00:00 (23/174): publicsuffix-list-dafsa-20180723-1.el 585 kB/s | 56 kB 00:00 (24/174): gmp-6.1.2-10.el8.aarch64.rpm 2.8 MB/s | 270 kB 00:00 (25/174): basesystem-11-5.el8.noarch.rpm 45 kB/s | 11 kB 00:00 (26/174): libidn2-2.2.0-1.el8.aarch64.rpm 1.6 MB/s | 93 kB 00:00 (27/174): diffutils-3.6-6.el8.aarch64.rpm 4.2 MB/s | 352 kB 00:00 (28/174): libpsl-0.20.2-6.el8.aarch64.rpm 643 kB/s | 61 kB 00:00 (29/174): patch-2.7.6-11.el8.aarch64.rpm 1.0 MB/s | 134 kB 00:00 (30/174): libusbx-1.0.23-4.el8.aarch64.rpm 664 kB/s | 73 kB 00:00 (31/174): brotli-1.0.6-3.el8.aarch64.rpm 4.3 MB/s | 314 kB 00:00 (32/174): libzstd-1.4.4-1.el8.aarch64.rpm 2.4 MB/s | 240 kB 00:00 (33/174): ima-evm-utils-1.3.2-12.el8.aarch64.rp 859 kB/s | 63 kB 00:00 (34/174): p11-kit-trust-0.23.22-1.el8.aarch64.r 1.3 MB/s | 134 kB 00:00 (35/174): popt-1.18-1.el8.aarch64.rpm 613 kB/s | 60 kB 00:00 (36/174): libdb-5.3.28-42.el8_4.aarch64.rpm 6.4 MB/s | 687 kB 00:00 (37/174): libdb-utils-5.3.28-42.el8_4.aarch64.r 1.9 MB/s | 148 kB 00:00 (38/174): libsepol-2.9-3.el8.aarch64.rpm 3.8 MB/s | 321 kB 00:00 (39/174): lz4-libs-1.8.3-3.el8_4.aarch64.rpm 1.0 MB/s | 63 kB 00:00 (40/174): openldap-2.4.46-18.el8.aarch64.rpm 4.3 MB/s | 339 kB 00:00 (41/174): nettle-3.4.1-7.el8.aarch64.rpm 3.3 MB/s | 307 kB 00:00 (42/174): pcre-8.42-6.el8.aarch64.rpm 3.1 MB/s | 187 kB 00:00 (43/174): cyrus-sasl-lib-2.1.27-6.el8_5.aarch64 2.0 MB/s | 122 kB 00:00 (44/174): p11-kit-0.23.22-1.el8.aarch64.rpm 1.9 MB/s | 306 kB 00:00 (45/174): filesystem-3.8-6.el8.aarch64.rpm 13 MB/s | 1.1 MB 00:00 (46/174): gzip-1.9-13.el8_5.aarch64.rpm 1.5 MB/s | 165 kB 00:00 (47/174): keyutils-libs-1.5.10-9.el8.aarch64.rp 349 kB/s | 34 kB 00:00 (48/174): libcap-ng-0.7.11-1.el8.aarch64.rpm 465 kB/s | 33 kB 00:00 (49/174): libxcrypt-4.1.1-6.el8.aarch64.rpm 1.2 MB/s | 73 kB 00:00 (50/174): libxcrypt-devel-4.1.1-6.el8.aarch64.r 450 kB/s | 25 kB 00:00 (51/174): lua-libs-5.3.4-12.el8.aarch64.rpm 1.1 MB/s | 112 kB 00:00 (52/174): cpio-2.12-11.el8.aarch64.rpm 3.3 MB/s | 260 kB 00:00 (53/174): make-4.2.1-11.el8.aarch64.rpm 3.6 MB/s | 490 kB 00:00 (54/174): info-6.5-7.el8.aarch64.rpm 3.1 MB/s | 191 kB 00:00 (55/174): gawk-4.2.1-4.el8.aarch64.rpm 14 MB/s | 1.1 MB 00:00 (56/174): sed-4.5-5.el8.aarch64.rpm 4.5 MB/s | 295 kB 00:00 (57/174): unzip-6.0-46.el8.aarch64.rpm 3.1 MB/s | 190 kB 00:00 (58/174): xz-5.2.4-4.el8_6.aarch64.rpm 2.3 MB/s | 153 kB 00:00 (59/174): xz-libs-5.2.4-4.el8_6.aarch64.rpm 1.1 MB/s | 91 kB 00:00 (60/174): gdbm-1.18-2.el8.aarch64.rpm 2.2 MB/s | 128 kB 00:00 (61/174): bash-4.4.20-4.el8_6.aarch64.rpm 18 MB/s | 1.5 MB 00:00 (62/174): libbabeltrace-1.5.4-4.el8.aarch64.rpm 3.3 MB/s | 189 kB 00:00 (63/174): gnupg2-2.2.20-3.el8_6.aarch64.rpm 20 MB/s | 2.4 MB 00:00 (64/174): gdbm-libs-1.18-2.el8.aarch64.rpm 474 kB/s | 59 kB 00:00 (65/174): libcom_err-1.45.6-5.el8.aarch64.rpm 818 kB/s | 49 kB 00:00 (66/174): libtirpc-1.1.4-8.el8.aarch64.rpm 1.5 MB/s | 109 kB 00:00 (67/174): libsemanage-2.9-9.el8_6.aarch64.rpm 1.9 MB/s | 164 kB 00:00 (68/174): libgcrypt-1.8.5-7.el8_6.aarch64.rpm 4.2 MB/s | 391 kB 00:00 (69/174): pcre2-10.32-3.el8_6.aarch64.rpm 3.5 MB/s | 219 kB 00:00 (70/174): libverto-0.3.2-2.el8.aarch64.rpm 284 kB/s | 24 kB 00:00 (71/174): coreutils-8.30-15.el8.aarch64.rpm 15 MB/s | 1.2 MB 00:00 (72/174): libffi-3.1-24.el8.aarch64.rpm 405 kB/s | 37 kB 00:00 (73/174): coreutils-common-8.30-15.el8.aarch64. 16 MB/s | 2.0 MB 00:00 (74/174): glib2-2.56.4-161.el8.aarch64.rpm 17 MB/s | 2.4 MB 00:00 (75/174): libselinux-2.9-8.el8.aarch64.rpm 1.9 MB/s | 162 kB 00:00 (76/174): libksba-1.3.5-9.el8_7.aarch64.rpm 988 kB/s | 130 kB 00:00 (77/174): libtasn1-4.13-4.el8_7.aarch64.rpm 1.3 MB/s | 75 kB 00:00 (78/174): libpwquality-1.4.4-6.el8.aarch64.rpm 595 kB/s | 106 kB 00:00 (79/174): python3-setuptools-wheel-39.2.0-7.el8 5.1 MB/s | 289 kB 00:00 (80/174): setup-2.12.2-9.el8.noarch.rpm 2.6 MB/s | 181 kB 00:00 (81/174): platform-python-setuptools-39.2.0-7.e 4.1 MB/s | 632 kB 00:00 (82/174): audit-libs-3.0.7-5.el8.aarch64.rpm 1.9 MB/s | 119 kB 00:00 (83/174): tar-1.30-9.el8.aarch64.rpm 9.5 MB/s | 830 kB 00:00 (84/174): chkconfig-1.19.2-1.el8.aarch64.rpm 3.0 MB/s | 197 kB 00:00 (85/174): ca-certificates-2023.2.60_v7.0.306-80 8.6 MB/s | 935 kB 00:00 (86/174): crypto-policies-20230731-1.git3177e06 580 kB/s | 64 kB 00:00 (87/174): elfutils-0.189-3.el8.aarch64.rpm 8.7 MB/s | 537 kB 00:00 (88/174): elfutils-libs-0.189-3.el8.aarch64.rpm 4.3 MB/s | 292 kB 00:00 (89/174): file-5.33-25.el8.aarch64.rpm 1.3 MB/s | 78 kB 00:00 (90/174): file-libs-5.33-25.el8.aarch64.rpm 7.3 MB/s | 541 kB 00:00 (91/174): libarchive-3.3.3-5.el8.aarch64.rpm 4.3 MB/s | 340 kB 00:00 (92/174): libgomp-8.5.0-20.el8.aarch64.rpm 2.7 MB/s | 200 kB 00:00 (93/174): libnghttp2-1.33.0-5.el8_9.aarch64.rpm 1.2 MB/s | 75 kB 00:00 (94/174): ncurses-6.1-10.20180224.el8.aarch64.r 6.3 MB/s | 383 kB 00:00 (95/174): ncurses-libs-6.1-10.20180224.el8.aarc 5.3 MB/s | 310 kB 00:00 (96/174): tpm2-tss-2.3.2-5.el8.aarch64.rpm 3.9 MB/s | 240 kB 00:00 (97/174): which-2.21-20.el8.aarch64.rpm 866 kB/s | 49 kB 00:00 (98/174): zlib-1.2.11-25.el8.aarch64.rpm 1.3 MB/s | 101 kB 00:00 (99/174): binutils-2.30-123.el8.aarch64.rpm 60 MB/s | 6.1 MB 00:00 (100/174): elfutils-default-yama-scope-0.189-3. 611 kB/s | 52 kB 00:00 (101/174): elfutils-libelf-0.189-3.el8.aarch64. 2.6 MB/s | 231 kB 00:00 (102/174): krb5-libs-1.18.2-26.el8_9.aarch64.rp 13 MB/s | 818 kB 00:00 (103/174): findutils-4.6.0-21.el8.aarch64.rpm 6.2 MB/s | 524 kB 00:00 (104/174): libatomic-8.5.0-20.el8.aarch64.rpm 448 kB/s | 26 kB 00:00 (105/174): libasan-8.5.0-20.el8.aarch64.rpm 5.3 MB/s | 387 kB 00:00 (106/174): libcap-2.48-6.el8_9.aarch64.rpm 997 kB/s | 74 kB 00:00 (107/174): libgcc-8.5.0-20.el8.aarch64.rpm 921 kB/s | 75 kB 00:00 (108/174): libubsan-8.5.0-20.el8.aarch64.rpm 2.4 MB/s | 145 kB 00:00 (109/174): libxml2-2.9.7-18.el8_9.aarch64.rpm 10 MB/s | 653 kB 00:00 (110/174): ncurses-base-6.1-10.20180224.el8.noa 1.4 MB/s | 81 kB 00:00 (111/174): libstdc++-8.5.0-20.el8.aarch64.rpm 2.3 MB/s | 425 kB 00:00 (112/174): pam-1.3.1-27.el8.aarch64.rpm 9.4 MB/s | 740 kB 00:00 (113/174): platform-python-3.6.8-56.el8_9.3.aar 1.2 MB/s | 87 kB 00:00 (114/174): openssl-libs-1.1.1k-12.el8_9.aarch64 11 MB/s | 1.3 MB 00:00 (115/174): shadow-utils-4.6-19.el8.aarch64.rpm 20 MB/s | 1.2 MB 00:00 (116/174): python3-libs-3.6.8-56.el8_9.3.aarch6 68 MB/s | 7.7 MB 00:00 (117/174): redhat-release-8.9-0.1.el8.aarch64.r 367 kB/s | 45 kB 00:00 (118/174): sqlite-libs-3.26.0-19.el8_9.aarch64. 9.5 MB/s | 551 kB 00:00 (119/174): systemd-libs-239-78.el8.aarch64.rpm 17 MB/s | 1.0 MB 00:00 (120/174): libssh-config-0.9.6-13.el8_9.noarch. 372 kB/s | 21 kB 00:00 (121/174): libssh-0.9.6-13.el8_9.aarch64.rpm 2.5 MB/s | 210 kB 00:00 (122/174): rpm-4.14.3-28.el8_9.aarch64.rpm 7.2 MB/s | 544 kB 00:00 (123/174): rpm-build-libs-4.14.3-28.el8_9.aarch 1.9 MB/s | 151 kB 00:00 (124/174): tzdata-2024a-1.el8.noarch.rpm 7.7 MB/s | 475 kB 00:00 (125/174): glibc-2.28-236.el8_9.12.aarch64.rpm 27 MB/s | 1.8 MB 00:00 (126/174): rpm-libs-4.14.3-28.el8_9.aarch64.rpm 1.9 MB/s | 330 kB 00:00 (127/174): glibc-devel-2.28-236.el8_9.12.aarch6 984 kB/s | 84 kB 00:00 (128/174): glibc-common-2.28-236.el8_9.12.aarch 4.9 MB/s | 1.0 MB 00:00 (129/174): glibc-all-langpacks-2.28-236.el8_9.1 95 MB/s | 25 MB 00:00 (130/174): glibc-gconv-extra-2.28-236.el8_9.12. 16 MB/s | 1.8 MB 00:00 (131/174): glibc-headers-2.28-236.el8_9.12.aarc 7.7 MB/s | 482 kB 00:00 (132/174): libblkid-2.32.1-44.el8_9.1.aarch64.r 3.5 MB/s | 215 kB 00:00 (133/174): curl-7.61.1-33.el8_9.5.aarch64.rpm 3.1 MB/s | 350 kB 00:00 (134/174): libcurl-7.61.1-33.el8_9.5.aarch64.rp 4.3 MB/s | 286 kB 00:00 (135/174): libfdisk-2.32.1-44.el8_9.1.aarch64.r 3.6 MB/s | 244 kB 00:00 (136/174): kernel-headers-4.18.0-513.24.1.el8_9 58 MB/s | 11 MB 00:00 (137/174): libmount-2.32.1-44.el8_9.1.aarch64.r 3.8 MB/s | 230 kB 00:00 (138/174): libsmartcols-2.32.1-44.el8_9.1.aarch 3.0 MB/s | 175 kB 00:00 (139/174): libuuid-2.32.1-44.el8_9.1.aarch64.rp 1.7 MB/s | 98 kB 00:00 (140/174): python3-pip-wheel-9.0.3-23.el8_9.1.n 13 MB/s | 866 kB 00:00 (141/174): gnutls-3.6.16-8.el8_9.3.aarch64.rpm 15 MB/s | 940 kB 00:00 (142/174): expat-2.2.5-11.el8_9.1.aarch64.rpm 1.3 MB/s | 104 kB 00:00 (143/174): util-linux-2.32.1-44.el8_9.1.aarch64 16 MB/s | 2.5 MB 00:00 (144/174): isl-0.16.1-6.el8.aarch64.rpm 11 MB/s | 778 kB 00:00 (145/174): libatomic_ops-7.6.2-3.el8.aarch64.rp 550 kB/s | 38 kB 00:00 (146/174): guile-2.0.14-7.el8.aarch64.rpm 28 MB/s | 3.5 MB 00:00 (147/174): ghc-srpm-macros-1.4.2-7.el8.noarch.r 145 kB/s | 9.4 kB 00:00 (148/174): rust-srpm-macros-5-2.el8.noarch.rpm 101 kB/s | 9.3 kB 00:00 (149/174): gc-7.6.4-3.el8.aarch64.rpm 685 kB/s | 99 kB 00:00 (150/174): ocaml-srpm-macros-5-4.el8.noarch.rpm 169 kB/s | 9.5 kB 00:00 (151/174): openblas-srpm-macros-2-2.el8.noarch. 136 kB/s | 8.0 kB 00:00 (152/174): perl-srpm-macros-1-25.el8.noarch.rpm 136 kB/s | 11 kB 00:00 (153/174): efi-srpm-macros-3-3.el8.noarch.rpm 352 kB/s | 22 kB 00:00 (154/174): go-srpm-macros-2-17.el8.noarch.rpm 184 kB/s | 13 kB 00:00 (155/174): libmpc-1.1.0-9.1.el8.aarch64.rpm 564 kB/s | 60 kB 00:00 (156/174): zstd-1.4.4-1.el8.aarch64.rpm 1.8 MB/s | 303 kB 00:00 (157/174): dwz-0.12-10.el8.aarch64.rpm 1.8 MB/s | 103 kB 00:00 (158/174): qt5-srpm-macros-5.15.3-1.el8.noarch. 92 kB/s | 11 kB 00:00 (159/174): redhat-rpm-config-131-1.el8.noarch.r 1.1 MB/s | 91 kB 00:00 (160/174): python-srpm-macros-3-45.el8.noarch.r 246 kB/s | 16 kB 00:00 (161/174): python3-rpm-macros-3-45.el8.noarch.r 255 kB/s | 15 kB 00:00 (162/174): python-rpm-macros-3-45.el8.noarch.rp 83 kB/s | 16 kB 00:00 (163/174): annobin-11.13-2.el8.aarch64.rpm 14 MB/s | 971 kB 00:00 (164/174): gcc-plugin-annobin-8.5.0-20.el8.aarc 460 kB/s | 34 kB 00:00 (165/174): cpp-8.5.0-20.el8.aarch64.rpm 51 MB/s | 9.0 MB 00:00 (166/174): gcc-8.5.0-20.el8.aarch64.rpm 94 MB/s | 19 MB 00:00 (167/174): libstdc++-devel-8.5.0-20.el8.aarch64 19 MB/s | 2.1 MB 00:00 (168/174): gdb-headless-8.2-20.el8.aarch64.rpm 41 MB/s | 3.1 MB 00:00 (169/174): ansible-srpm-macros-1-12.el8.noarch. 1.7 MB/s | 21 kB 00:00 (170/174): epel-rpm-macros-8-41.noarch.rpm 6.0 MB/s | 27 kB 00:00 (171/174): fpc-srpm-macros-1.3-1.el8.noarch.rpm 2.5 MB/s | 8.2 kB 00:00 (172/174): rpm-build-4.14.3-28.el8_9.aarch64.rp 2.3 MB/s | 173 kB 00:00 (173/174): lua-srpm-macros-1-13.el8.noarch.rpm 3.6 MB/s | 9.2 kB 00:00 (174/174): gcc-c++-8.5.0-20.el8.aarch64.rpm 68 MB/s | 11 MB 00:00 -------------------------------------------------------------------------------- Total 23 MB/s | 155 MB 00:06 Red Hat Enterprise Linux - BaseOS 3.1 MB/s | 3.1 kB 00:00 Importing GPG key 0xFD431D51: Userid : "Red Hat, Inc. (release key 2) " Fingerprint: 567E 347A D004 4ADE 55BA 8A5F 199E 2F91 FD43 1D51 From : /usr/share/distribution-gpg-keys/redhat/RPM-GPG-KEY-redhat8-release Key imported successfully Importing GPG key 0x2FA658E0: Userid : "Red Hat, Inc. (auxiliary key) " Fingerprint: 43A6 E49C 4A38 F4BE 9ABF 2A53 4568 9C88 2FA6 58E0 From : /usr/share/distribution-gpg-keys/redhat/RPM-GPG-KEY-redhat8-release Key imported successfully Extra Packages for Enterprise Linux 8 - aarch64 1.6 MB/s | 1.6 kB 00:00 Importing GPG key 0x2F86D6A1: Userid : "Fedora EPEL (8) " Fingerprint: 94E2 79EB 8D8F 25B2 1810 ADF1 21EA 45AB 2F86 D6A1 From : /usr/share/distribution-gpg-keys/epel/RPM-GPG-KEY-EPEL-8 Key imported successfully Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Running scriptlet: filesystem-3.8-6.el8.aarch64 1/1 Preparing : 1/1 Installing : libgcc-8.5.0-20.el8.aarch64 1/174 Running scriptlet: libgcc-8.5.0-20.el8.aarch64 1/174 Installing : python-srpm-macros-3-45.el8.noarch 2/174 Installing : crypto-policies-20230731-1.git3177e06.el8.noarch 3/174 Running scriptlet: crypto-policies-20230731-1.git3177e06.el8.noarch 3/174 Installing : python-rpm-macros-3-45.el8.noarch 4/174 Installing : python3-pip-wheel-9.0.3-23.el8_9.1.noarch 5/174 Installing : redhat-release-8.9-0.1.el8.aarch64 6/174 Installing : setup-2.12.2-9.el8.noarch 7/174 warning: /etc/hosts created as /etc/hosts.rpmnew Running scriptlet: setup-2.12.2-9.el8.noarch 7/174 Installing : filesystem-3.8-6.el8.aarch64 8/174 Installing : python3-setuptools-wheel-39.2.0-7.el8.noarch 9/174 Installing : basesystem-11-5.el8.noarch 10/174 Installing : python3-rpm-macros-3-45.el8.noarch 11/174 Installing : fpc-srpm-macros-1.3-1.el8.noarch 12/174 Installing : ansible-srpm-macros-1-12.el8.noarch 13/174 Installing : qt5-srpm-macros-5.15.3-1.el8.noarch 14/174 Installing : go-srpm-macros-2-17.el8.noarch 15/174 Installing : perl-srpm-macros-1-25.el8.noarch 16/174 Installing : openblas-srpm-macros-2-2.el8.noarch 17/174 Installing : ocaml-srpm-macros-5-4.el8.noarch 18/174 Installing : ghc-srpm-macros-1.4.2-7.el8.noarch 19/174 Installing : rust-srpm-macros-5-2.el8.noarch 20/174 Installing : kernel-headers-4.18.0-513.24.1.el8_9.aarch64 21/174 Installing : tzdata-2024a-1.el8.noarch 22/174 Installing : libssh-config-0.9.6-13.el8_9.noarch 23/174 Installing : ncurses-base-6.1-10.20180224.el8.noarch 24/174 Installing : pcre2-10.32-3.el8_6.aarch64 25/174 Installing : libselinux-2.9-8.el8.aarch64 26/174 Installing : ncurses-libs-6.1-10.20180224.el8.aarch64 27/174 Installing : glibc-all-langpacks-2.28-236.el8_9.12.aarch64 28/174 Installing : glibc-common-2.28-236.el8_9.12.aarch64 29/174 Installing : glibc-gconv-extra-2.28-236.el8_9.12.aarch64 30/174 Running scriptlet: glibc-gconv-extra-2.28-236.el8_9.12.aarch64 30/174 Running scriptlet: glibc-2.28-236.el8_9.12.aarch64 31/174 Installing : glibc-2.28-236.el8_9.12.aarch64 31/174 Running scriptlet: glibc-2.28-236.el8_9.12.aarch64 31/174 Installing : bash-4.4.20-4.el8_6.aarch64 32/174 Running scriptlet: bash-4.4.20-4.el8_6.aarch64 32/174 Installing : libsepol-2.9-3.el8.aarch64 33/174 Running scriptlet: libsepol-2.9-3.el8.aarch64 33/174 Installing : zlib-1.2.11-25.el8.aarch64 34/174 Installing : info-6.5-7.el8.aarch64 35/174 Installing : bzip2-libs-1.0.6-26.el8.aarch64 36/174 Installing : xz-libs-5.2.4-4.el8_6.aarch64 37/174 Installing : gmp-1:6.1.2-10.el8.aarch64 38/174 Running scriptlet: gmp-1:6.1.2-10.el8.aarch64 38/174 Installing : libstdc++-8.5.0-20.el8.aarch64 39/174 Running scriptlet: libstdc++-8.5.0-20.el8.aarch64 39/174 Installing : libzstd-1.4.4-1.el8.aarch64 40/174 Installing : elfutils-libelf-0.189-3.el8.aarch64 41/174 Installing : libxcrypt-4.1.1-6.el8.aarch64 42/174 Installing : mpfr-3.1.6-1.el8.aarch64 43/174 Running scriptlet: mpfr-3.1.6-1.el8.aarch64 43/174 Installing : readline-7.0-10.el8.aarch64 44/174 Running scriptlet: readline-7.0-10.el8.aarch64 44/174 Installing : sqlite-libs-3.26.0-19.el8_9.aarch64 45/174 Installing : popt-1.18-1.el8.aarch64 46/174 Installing : libcap-2.48-6.el8_9.aarch64 47/174 Installing : libcom_err-1.45.6-5.el8.aarch64 48/174 Running scriptlet: libcom_err-1.45.6-5.el8.aarch64 48/174 Installing : libuuid-2.32.1-44.el8_9.1.aarch64 49/174 Running scriptlet: libuuid-2.32.1-44.el8_9.1.aarch64 49/174 Installing : chkconfig-1.19.2-1.el8.aarch64 50/174 Installing : libunistring-0.9.9-3.el8.aarch64 51/174 Installing : libattr-2.4.48-3.el8.aarch64 52/174 Installing : libacl-2.2.53-1.el8.aarch64 53/174 Installing : sed-4.5-5.el8.aarch64 54/174 Running scriptlet: sed-4.5-5.el8.aarch64 54/174 Installing : libgpg-error-1.31-1.el8.aarch64 55/174 Installing : lua-libs-5.3.4-12.el8.aarch64 56/174 Installing : libffi-3.1-24.el8.aarch64 57/174 Installing : p11-kit-0.23.22-1.el8.aarch64 58/174 Installing : libidn2-2.2.0-1.el8.aarch64 59/174 Installing : libmpc-1.1.0-9.1.el8.aarch64 60/174 Installing : file-libs-5.33-25.el8.aarch64 61/174 Installing : file-5.33-25.el8.aarch64 62/174 Installing : libgcrypt-1.8.5-7.el8_6.aarch64 63/174 Running scriptlet: libgcrypt-1.8.5-7.el8_6.aarch64 63/174 Installing : unzip-6.0-46.el8.aarch64 64/174 Installing : findutils-1:4.6.0-21.el8.aarch64 65/174 Running scriptlet: findutils-1:4.6.0-21.el8.aarch64 65/174 Installing : elfutils-default-yama-scope-0.189-3.el8.noarch 66/174 Running scriptlet: elfutils-default-yama-scope-0.189-3.el8.noarch 66/174 Installing : elfutils-libs-0.189-3.el8.aarch64 67/174 Running scriptlet: glibc-headers-2.28-236.el8_9.12.aarch64 68/174 Installing : glibc-headers-2.28-236.el8_9.12.aarch64 68/174 Installing : lz4-libs-1.8.3-3.el8_4.aarch64 69/174 Installing : pcre-8.42-6.el8.aarch64 70/174 Installing : grep-3.1-6.el8.aarch64 71/174 Running scriptlet: grep-3.1-6.el8.aarch64 71/174 Installing : keyutils-libs-1.5.10-9.el8.aarch64 72/174 Installing : libcap-ng-0.7.11-1.el8.aarch64 73/174 Installing : audit-libs-3.0.7-5.el8.aarch64 74/174 Installing : gdbm-libs-1:1.18-2.el8.aarch64 75/174 Installing : libtasn1-4.13-4.el8_7.aarch64 76/174 Running scriptlet: libtasn1-4.13-4.el8_7.aarch64 76/174 Installing : p11-kit-trust-0.23.22-1.el8.aarch64 77/174 Running scriptlet: p11-kit-trust-0.23.22-1.el8.aarch64 77/174 Installing : expat-2.2.5-11.el8_9.1.aarch64 78/174 Installing : gdbm-1:1.18-2.el8.aarch64 79/174 Installing : libsemanage-2.9-9.el8_6.aarch64 80/174 Installing : xz-5.2.4-4.el8_6.aarch64 81/174 Installing : elfutils-0.189-3.el8.aarch64 82/174 Installing : zip-3.0-23.el8.aarch64 83/174 Installing : cpp-8.5.0-20.el8.aarch64 84/174 Running scriptlet: cpp-8.5.0-20.el8.aarch64 84/174 Installing : libassuan-2.5.1-3.el8.aarch64 85/174 Installing : libksba-1.3.5-9.el8_7.aarch64 86/174 Installing : tar-2:1.30-9.el8.aarch64 87/174 Running scriptlet: tar-2:1.30-9.el8.aarch64 87/174 Installing : patch-2.7.6-11.el8.aarch64 88/174 Installing : dwz-0.12-10.el8.aarch64 89/174 Installing : libasan-8.5.0-20.el8.aarch64 90/174 Running scriptlet: libasan-8.5.0-20.el8.aarch64 90/174 Installing : libubsan-8.5.0-20.el8.aarch64 91/174 Running scriptlet: libubsan-8.5.0-20.el8.aarch64 91/174 Installing : libstdc++-devel-8.5.0-20.el8.aarch64 92/174 Installing : nettle-3.4.1-7.el8.aarch64 93/174 Running scriptlet: nettle-3.4.1-7.el8.aarch64 93/174 Installing : gnutls-3.6.16-8.el8_9.3.aarch64 94/174 Installing : isl-0.16.1-6.el8.aarch64 95/174 Running scriptlet: isl-0.16.1-6.el8.aarch64 95/174 Installing : libxml2-2.9.7-18.el8_9.aarch64 96/174 Installing : bzip2-1.0.6-26.el8.aarch64 97/174 Installing : diffutils-3.6-6.el8.aarch64 98/174 Running scriptlet: diffutils-3.6-6.el8.aarch64 98/174 Installing : coreutils-common-8.30-15.el8.aarch64 99/174 Running scriptlet: coreutils-common-8.30-15.el8.aarch64 99/174 Installing : libgomp-8.5.0-20.el8.aarch64 100/174 Running scriptlet: libgomp-8.5.0-20.el8.aarch64 100/174 Installing : libatomic-8.5.0-20.el8.aarch64 101/174 Running scriptlet: libatomic-8.5.0-20.el8.aarch64 101/174 Installing : zstd-1.4.4-1.el8.aarch64 102/174 Installing : libpkgconf-1.4.2-1.el8.aarch64 103/174 Installing : pkgconf-1.4.2-1.el8.aarch64 104/174 Installing : libsigsegv-2.11-5.el8.aarch64 105/174 Installing : gawk-4.2.1-4.el8.aarch64 106/174 Installing : libtool-ltdl-2.4.6-25.el8.aarch64 107/174 Running scriptlet: libtool-ltdl-2.4.6-25.el8.aarch64 107/174 Installing : npth-1.5-4.el8.aarch64 108/174 Installing : brotli-1.0.6-3.el8.aarch64 109/174 Installing : cpio-2.12-11.el8.aarch64 110/174 Installing : libverto-0.3.2-2.el8.aarch64 111/174 Installing : libnghttp2-1.33.0-5.el8_9.aarch64 112/174 Installing : ncurses-6.1-10.20180224.el8.aarch64 113/174 Installing : openssl-libs-1:1.1.1k-12.el8_9.aarch64 114/174 Running scriptlet: openssl-libs-1:1.1.1k-12.el8_9.aarch64 114/174 Installing : coreutils-8.30-15.el8.aarch64 115/174 Running scriptlet: ca-certificates-2023.2.60_v7.0.306-80.0.el8_8.no 116/174 Installing : ca-certificates-2023.2.60_v7.0.306-80.0.el8_8.no 116/174 Running scriptlet: ca-certificates-2023.2.60_v7.0.306-80.0.el8_8.no 116/174 Installing : libdb-5.3.28-42.el8_4.aarch64 117/174 Running scriptlet: libdb-5.3.28-42.el8_4.aarch64 117/174 Installing : krb5-libs-1.18.2-26.el8_9.aarch64 118/174 Installing : libtirpc-1.1.4-8.el8.aarch64 119/174 Running scriptlet: libtirpc-1.1.4-8.el8.aarch64 119/174 Installing : libblkid-2.32.1-44.el8_9.1.aarch64 120/174 Running scriptlet: libblkid-2.32.1-44.el8_9.1.aarch64 120/174 Installing : libmount-2.32.1-44.el8_9.1.aarch64 121/174 Running scriptlet: libmount-2.32.1-44.el8_9.1.aarch64 121/174 Installing : systemd-libs-239-78.el8.aarch64 122/174 Running scriptlet: systemd-libs-239-78.el8.aarch64 122/174 Installing : libnsl2-1.2.0-2.20180605git4a062cf.el8.aarch64 123/174 Running scriptlet: libnsl2-1.2.0-2.20180605git4a062cf.el8.aarch64 123/174 Installing : platform-python-setuptools-39.2.0-7.el8.noarch 124/174 Installing : platform-python-3.6.8-56.el8_9.3.aarch64 125/174 Running scriptlet: platform-python-3.6.8-56.el8_9.3.aarch64 125/174 Installing : python3-libs-3.6.8-56.el8_9.3.aarch64 126/174 Installing : gzip-1.9-13.el8_5.aarch64 127/174 Running scriptlet: gzip-1.9-13.el8_5.aarch64 127/174 Installing : cracklib-2.9.6-15.el8.aarch64 128/174 Installing : cracklib-dicts-2.9.6-15.el8.aarch64 129/174 Installing : binutils-2.30-123.el8.aarch64 130/174 Running scriptlet: binutils-2.30-123.el8.aarch64 130/174 Installing : shadow-utils-2:4.6-19.el8.aarch64 131/174 Running scriptlet: libutempter-1.1.6-14.el8.aarch64 132/174 Installing : libutempter-1.1.6-14.el8.aarch64 132/174 Running scriptlet: tpm2-tss-2.3.2-5.el8.aarch64 133/174 Installing : tpm2-tss-2.3.2-5.el8.aarch64 133/174 Running scriptlet: tpm2-tss-2.3.2-5.el8.aarch64 133/174 Installing : ima-evm-utils-1.3.2-12.el8.aarch64 134/174 Installing : libpwquality-1.4.4-6.el8.aarch64 135/174 Installing : pam-1.3.1-27.el8.aarch64 136/174 Running scriptlet: pam-1.3.1-27.el8.aarch64 136/174 Installing : libusbx-1.0.23-4.el8.aarch64 137/174 Installing : glib2-2.56.4-161.el8.aarch64 138/174 Installing : libbabeltrace-1.5.4-4.el8.aarch64 139/174 Running scriptlet: libbabeltrace-1.5.4-4.el8.aarch64 139/174 Installing : libfdisk-2.32.1-44.el8_9.1.aarch64 140/174 Running scriptlet: libfdisk-2.32.1-44.el8_9.1.aarch64 140/174 Installing : cyrus-sasl-lib-2.1.27-6.el8_5.aarch64 141/174 Running scriptlet: cyrus-sasl-lib-2.1.27-6.el8_5.aarch64 141/174 Installing : openldap-2.4.46-18.el8.aarch64 142/174 Installing : gnupg2-2.2.20-3.el8_6.aarch64 143/174 Installing : libssh-0.9.6-13.el8_9.aarch64 144/174 Installing : libdb-utils-5.3.28-42.el8_4.aarch64 145/174 Installing : libarchive-3.3.3-5.el8.aarch64 146/174 Installing : libsmartcols-2.32.1-44.el8_9.1.aarch64 147/174 Running scriptlet: libsmartcols-2.32.1-44.el8_9.1.aarch64 147/174 Installing : libatomic_ops-7.6.2-3.el8.aarch64 148/174 Installing : gc-7.6.4-3.el8.aarch64 149/174 Installing : guile-5:2.0.14-7.el8.aarch64 150/174 Running scriptlet: guile-5:2.0.14-7.el8.aarch64 150/174 Installing : publicsuffix-list-dafsa-20180723-1.el8.noarch 151/174 Installing : libpsl-0.20.2-6.el8.aarch64 152/174 Installing : libcurl-7.61.1-33.el8_9.5.aarch64 153/174 Installing : curl-7.61.1-33.el8_9.5.aarch64 154/174 Installing : rpm-4.14.3-28.el8_9.aarch64 155/174 Installing : rpm-libs-4.14.3-28.el8_9.aarch64 156/174 Running scriptlet: rpm-libs-4.14.3-28.el8_9.aarch64 156/174 Installing : rpm-build-libs-4.14.3-28.el8_9.aarch64 157/174 Running scriptlet: rpm-build-libs-4.14.3-28.el8_9.aarch64 157/174 Installing : gdb-headless-8.2-20.el8.aarch64 158/174 Installing : efi-srpm-macros-3-3.el8.noarch 159/174 Installing : lua-srpm-macros-1-13.el8.noarch 160/174 Installing : pkgconf-m4-1.4.2-1.el8.noarch 161/174 Installing : pkgconf-pkg-config-1.4.2-1.el8.aarch64 162/174 Installing : glibc-devel-2.28-236.el8_9.12.aarch64 163/174 Running scriptlet: glibc-devel-2.28-236.el8_9.12.aarch64 163/174 Installing : libxcrypt-devel-4.1.1-6.el8.aarch64 164/174 Installing : gcc-8.5.0-20.el8.aarch64 165/174 Running scriptlet: gcc-8.5.0-20.el8.aarch64 165/174 Installing : annobin-11.13-2.el8.aarch64 166/174 Installing : gcc-plugin-annobin-8.5.0-20.el8.aarch64 167/174 Installing : redhat-rpm-config-131-1.el8.noarch 168/174 Running scriptlet: redhat-rpm-config-131-1.el8.noarch 168/174 Installing : rpm-build-4.14.3-28.el8_9.aarch64 169/174 Installing : gcc-c++-8.5.0-20.el8.aarch64 170/174 Installing : epel-rpm-macros-8-41.noarch 171/174 Installing : util-linux-2.32.1-44.el8_9.1.aarch64 172/174 Running scriptlet: util-linux-2.32.1-44.el8_9.1.aarch64 172/174 Installing : which-2.21-20.el8.aarch64 173/174 Installing : make-1:4.2.1-11.el8.aarch64 174/174 Running scriptlet: make-1:4.2.1-11.el8.aarch64 174/174 Running scriptlet: filesystem-3.8-6.el8.aarch64 174/174 Running scriptlet: glibc-all-langpacks-2.28-236.el8_9.12.aarch64 174/174 Running scriptlet: ca-certificates-2023.2.60_v7.0.306-80.0.el8_8.no 174/174 Running scriptlet: guile-5:2.0.14-7.el8.aarch64 174/174 Running scriptlet: glibc-common-2.28-236.el8_9.12.aarch64 174/174 Running scriptlet: info-6.5-7.el8.aarch64 174/174 Running scriptlet: glib2-2.56.4-161.el8.aarch64 174/174 Verifying : bzip2-1.0.6-26.el8.aarch64 1/174 Verifying : bzip2-libs-1.0.6-26.el8.aarch64 2/174 Verifying : cracklib-2.9.6-15.el8.aarch64 3/174 Verifying : cracklib-dicts-2.9.6-15.el8.aarch64 4/174 Verifying : grep-3.1-6.el8.aarch64 5/174 Verifying : libacl-2.2.53-1.el8.aarch64 6/174 Verifying : libassuan-2.5.1-3.el8.aarch64 7/174 Verifying : libattr-2.4.48-3.el8.aarch64 8/174 Verifying : libgpg-error-1.31-1.el8.aarch64 9/174 Verifying : libnsl2-1.2.0-2.20180605git4a062cf.el8.aarch64 10/174 Verifying : libpkgconf-1.4.2-1.el8.aarch64 11/174 Verifying : libsigsegv-2.11-5.el8.aarch64 12/174 Verifying : libtool-ltdl-2.4.6-25.el8.aarch64 13/174 Verifying : libunistring-0.9.9-3.el8.aarch64 14/174 Verifying : libutempter-1.1.6-14.el8.aarch64 15/174 Verifying : mpfr-3.1.6-1.el8.aarch64 16/174 Verifying : npth-1.5-4.el8.aarch64 17/174 Verifying : pkgconf-1.4.2-1.el8.aarch64 18/174 Verifying : pkgconf-pkg-config-1.4.2-1.el8.aarch64 19/174 Verifying : readline-7.0-10.el8.aarch64 20/174 Verifying : zip-3.0-23.el8.aarch64 21/174 Verifying : basesystem-11-5.el8.noarch 22/174 Verifying : pkgconf-m4-1.4.2-1.el8.noarch 23/174 Verifying : publicsuffix-list-dafsa-20180723-1.el8.noarch 24/174 Verifying : gmp-1:6.1.2-10.el8.aarch64 25/174 Verifying : libidn2-2.2.0-1.el8.aarch64 26/174 Verifying : diffutils-3.6-6.el8.aarch64 27/174 Verifying : patch-2.7.6-11.el8.aarch64 28/174 Verifying : libpsl-0.20.2-6.el8.aarch64 29/174 Verifying : libusbx-1.0.23-4.el8.aarch64 30/174 Verifying : libzstd-1.4.4-1.el8.aarch64 31/174 Verifying : brotli-1.0.6-3.el8.aarch64 32/174 Verifying : ima-evm-utils-1.3.2-12.el8.aarch64 33/174 Verifying : p11-kit-trust-0.23.22-1.el8.aarch64 34/174 Verifying : popt-1.18-1.el8.aarch64 35/174 Verifying : libdb-5.3.28-42.el8_4.aarch64 36/174 Verifying : libdb-utils-5.3.28-42.el8_4.aarch64 37/174 Verifying : libsepol-2.9-3.el8.aarch64 38/174 Verifying : lz4-libs-1.8.3-3.el8_4.aarch64 39/174 Verifying : nettle-3.4.1-7.el8.aarch64 40/174 Verifying : openldap-2.4.46-18.el8.aarch64 41/174 Verifying : p11-kit-0.23.22-1.el8.aarch64 42/174 Verifying : pcre-8.42-6.el8.aarch64 43/174 Verifying : cyrus-sasl-lib-2.1.27-6.el8_5.aarch64 44/174 Verifying : filesystem-3.8-6.el8.aarch64 45/174 Verifying : gzip-1.9-13.el8_5.aarch64 46/174 Verifying : keyutils-libs-1.5.10-9.el8.aarch64 47/174 Verifying : libcap-ng-0.7.11-1.el8.aarch64 48/174 Verifying : libxcrypt-4.1.1-6.el8.aarch64 49/174 Verifying : libxcrypt-devel-4.1.1-6.el8.aarch64 50/174 Verifying : lua-libs-5.3.4-12.el8.aarch64 51/174 Verifying : make-1:4.2.1-11.el8.aarch64 52/174 Verifying : cpio-2.12-11.el8.aarch64 53/174 Verifying : gawk-4.2.1-4.el8.aarch64 54/174 Verifying : info-6.5-7.el8.aarch64 55/174 Verifying : sed-4.5-5.el8.aarch64 56/174 Verifying : unzip-6.0-46.el8.aarch64 57/174 Verifying : xz-5.2.4-4.el8_6.aarch64 58/174 Verifying : xz-libs-5.2.4-4.el8_6.aarch64 59/174 Verifying : bash-4.4.20-4.el8_6.aarch64 60/174 Verifying : gdbm-1:1.18-2.el8.aarch64 61/174 Verifying : gdbm-libs-1:1.18-2.el8.aarch64 62/174 Verifying : gnupg2-2.2.20-3.el8_6.aarch64 63/174 Verifying : libbabeltrace-1.5.4-4.el8.aarch64 64/174 Verifying : libcom_err-1.45.6-5.el8.aarch64 65/174 Verifying : libgcrypt-1.8.5-7.el8_6.aarch64 66/174 Verifying : libsemanage-2.9-9.el8_6.aarch64 67/174 Verifying : libtirpc-1.1.4-8.el8.aarch64 68/174 Verifying : libverto-0.3.2-2.el8.aarch64 69/174 Verifying : pcre2-10.32-3.el8_6.aarch64 70/174 Verifying : coreutils-8.30-15.el8.aarch64 71/174 Verifying : coreutils-common-8.30-15.el8.aarch64 72/174 Verifying : glib2-2.56.4-161.el8.aarch64 73/174 Verifying : libffi-3.1-24.el8.aarch64 74/174 Verifying : libksba-1.3.5-9.el8_7.aarch64 75/174 Verifying : libpwquality-1.4.4-6.el8.aarch64 76/174 Verifying : libselinux-2.9-8.el8.aarch64 77/174 Verifying : libtasn1-4.13-4.el8_7.aarch64 78/174 Verifying : platform-python-setuptools-39.2.0-7.el8.noarch 79/174 Verifying : python3-setuptools-wheel-39.2.0-7.el8.noarch 80/174 Verifying : setup-2.12.2-9.el8.noarch 81/174 Verifying : tar-2:1.30-9.el8.aarch64 82/174 Verifying : audit-libs-3.0.7-5.el8.aarch64 83/174 Verifying : ca-certificates-2023.2.60_v7.0.306-80.0.el8_8.no 84/174 Verifying : chkconfig-1.19.2-1.el8.aarch64 85/174 Verifying : crypto-policies-20230731-1.git3177e06.el8.noarch 86/174 Verifying : elfutils-0.189-3.el8.aarch64 87/174 Verifying : elfutils-libs-0.189-3.el8.aarch64 88/174 Verifying : file-5.33-25.el8.aarch64 89/174 Verifying : file-libs-5.33-25.el8.aarch64 90/174 Verifying : libarchive-3.3.3-5.el8.aarch64 91/174 Verifying : libgomp-8.5.0-20.el8.aarch64 92/174 Verifying : libnghttp2-1.33.0-5.el8_9.aarch64 93/174 Verifying : ncurses-6.1-10.20180224.el8.aarch64 94/174 Verifying : ncurses-libs-6.1-10.20180224.el8.aarch64 95/174 Verifying : tpm2-tss-2.3.2-5.el8.aarch64 96/174 Verifying : which-2.21-20.el8.aarch64 97/174 Verifying : zlib-1.2.11-25.el8.aarch64 98/174 Verifying : binutils-2.30-123.el8.aarch64 99/174 Verifying : elfutils-default-yama-scope-0.189-3.el8.noarch 100/174 Verifying : elfutils-libelf-0.189-3.el8.aarch64 101/174 Verifying : findutils-1:4.6.0-21.el8.aarch64 102/174 Verifying : krb5-libs-1.18.2-26.el8_9.aarch64 103/174 Verifying : libasan-8.5.0-20.el8.aarch64 104/174 Verifying : libatomic-8.5.0-20.el8.aarch64 105/174 Verifying : libcap-2.48-6.el8_9.aarch64 106/174 Verifying : libgcc-8.5.0-20.el8.aarch64 107/174 Verifying : libstdc++-8.5.0-20.el8.aarch64 108/174 Verifying : libubsan-8.5.0-20.el8.aarch64 109/174 Verifying : libxml2-2.9.7-18.el8_9.aarch64 110/174 Verifying : ncurses-base-6.1-10.20180224.el8.noarch 111/174 Verifying : openssl-libs-1:1.1.1k-12.el8_9.aarch64 112/174 Verifying : pam-1.3.1-27.el8.aarch64 113/174 Verifying : platform-python-3.6.8-56.el8_9.3.aarch64 114/174 Verifying : python3-libs-3.6.8-56.el8_9.3.aarch64 115/174 Verifying : redhat-release-8.9-0.1.el8.aarch64 116/174 Verifying : shadow-utils-2:4.6-19.el8.aarch64 117/174 Verifying : sqlite-libs-3.26.0-19.el8_9.aarch64 118/174 Verifying : systemd-libs-239-78.el8.aarch64 119/174 Verifying : libssh-0.9.6-13.el8_9.aarch64 120/174 Verifying : libssh-config-0.9.6-13.el8_9.noarch 121/174 Verifying : rpm-4.14.3-28.el8_9.aarch64 122/174 Verifying : rpm-build-libs-4.14.3-28.el8_9.aarch64 123/174 Verifying : rpm-libs-4.14.3-28.el8_9.aarch64 124/174 Verifying : tzdata-2024a-1.el8.noarch 125/174 Verifying : glibc-2.28-236.el8_9.12.aarch64 126/174 Verifying : glibc-all-langpacks-2.28-236.el8_9.12.aarch64 127/174 Verifying : glibc-common-2.28-236.el8_9.12.aarch64 128/174 Verifying : glibc-devel-2.28-236.el8_9.12.aarch64 129/174 Verifying : glibc-gconv-extra-2.28-236.el8_9.12.aarch64 130/174 Verifying : glibc-headers-2.28-236.el8_9.12.aarch64 131/174 Verifying : curl-7.61.1-33.el8_9.5.aarch64 132/174 Verifying : kernel-headers-4.18.0-513.24.1.el8_9.aarch64 133/174 Verifying : libblkid-2.32.1-44.el8_9.1.aarch64 134/174 Verifying : libcurl-7.61.1-33.el8_9.5.aarch64 135/174 Verifying : libfdisk-2.32.1-44.el8_9.1.aarch64 136/174 Verifying : libmount-2.32.1-44.el8_9.1.aarch64 137/174 Verifying : libsmartcols-2.32.1-44.el8_9.1.aarch64 138/174 Verifying : libuuid-2.32.1-44.el8_9.1.aarch64 139/174 Verifying : python3-pip-wheel-9.0.3-23.el8_9.1.noarch 140/174 Verifying : util-linux-2.32.1-44.el8_9.1.aarch64 141/174 Verifying : expat-2.2.5-11.el8_9.1.aarch64 142/174 Verifying : gnutls-3.6.16-8.el8_9.3.aarch64 143/174 Verifying : guile-5:2.0.14-7.el8.aarch64 144/174 Verifying : isl-0.16.1-6.el8.aarch64 145/174 Verifying : libatomic_ops-7.6.2-3.el8.aarch64 146/174 Verifying : gc-7.6.4-3.el8.aarch64 147/174 Verifying : rust-srpm-macros-5-2.el8.noarch 148/174 Verifying : ghc-srpm-macros-1.4.2-7.el8.noarch 149/174 Verifying : ocaml-srpm-macros-5-4.el8.noarch 150/174 Verifying : openblas-srpm-macros-2-2.el8.noarch 151/174 Verifying : perl-srpm-macros-1-25.el8.noarch 152/174 Verifying : zstd-1.4.4-1.el8.aarch64 153/174 Verifying : efi-srpm-macros-3-3.el8.noarch 154/174 Verifying : libmpc-1.1.0-9.1.el8.aarch64 155/174 Verifying : go-srpm-macros-2-17.el8.noarch 156/174 Verifying : dwz-0.12-10.el8.aarch64 157/174 Verifying : qt5-srpm-macros-5.15.3-1.el8.noarch 158/174 Verifying : python-rpm-macros-3-45.el8.noarch 159/174 Verifying : redhat-rpm-config-131-1.el8.noarch 160/174 Verifying : python-srpm-macros-3-45.el8.noarch 161/174 Verifying : python3-rpm-macros-3-45.el8.noarch 162/174 Verifying : annobin-11.13-2.el8.aarch64 163/174 Verifying : cpp-8.5.0-20.el8.aarch64 164/174 Verifying : gcc-8.5.0-20.el8.aarch64 165/174 Verifying : gcc-plugin-annobin-8.5.0-20.el8.aarch64 166/174 Verifying : libstdc++-devel-8.5.0-20.el8.aarch64 167/174 Verifying : gcc-c++-8.5.0-20.el8.aarch64 168/174 Verifying : gdb-headless-8.2-20.el8.aarch64 169/174 Verifying : rpm-build-4.14.3-28.el8_9.aarch64 170/174 Verifying : ansible-srpm-macros-1-12.el8.noarch 171/174 Verifying : epel-rpm-macros-8-41.noarch 172/174 Verifying : fpc-srpm-macros-1.3-1.el8.noarch 173/174 Verifying : lua-srpm-macros-1-13.el8.noarch 174/174 Installed products updated. Installed: annobin-11.13-2.el8.aarch64 ansible-srpm-macros-1-12.el8.noarch audit-libs-3.0.7-5.el8.aarch64 basesystem-11-5.el8.noarch bash-4.4.20-4.el8_6.aarch64 binutils-2.30-123.el8.aarch64 brotli-1.0.6-3.el8.aarch64 bzip2-1.0.6-26.el8.aarch64 bzip2-libs-1.0.6-26.el8.aarch64 ca-certificates-2023.2.60_v7.0.306-80.0.el8_8.noarch chkconfig-1.19.2-1.el8.aarch64 coreutils-8.30-15.el8.aarch64 coreutils-common-8.30-15.el8.aarch64 cpio-2.12-11.el8.aarch64 cpp-8.5.0-20.el8.aarch64 cracklib-2.9.6-15.el8.aarch64 cracklib-dicts-2.9.6-15.el8.aarch64 crypto-policies-20230731-1.git3177e06.el8.noarch curl-7.61.1-33.el8_9.5.aarch64 cyrus-sasl-lib-2.1.27-6.el8_5.aarch64 diffutils-3.6-6.el8.aarch64 dwz-0.12-10.el8.aarch64 efi-srpm-macros-3-3.el8.noarch elfutils-0.189-3.el8.aarch64 elfutils-default-yama-scope-0.189-3.el8.noarch elfutils-libelf-0.189-3.el8.aarch64 elfutils-libs-0.189-3.el8.aarch64 epel-rpm-macros-8-41.noarch expat-2.2.5-11.el8_9.1.aarch64 file-5.33-25.el8.aarch64 file-libs-5.33-25.el8.aarch64 filesystem-3.8-6.el8.aarch64 findutils-1:4.6.0-21.el8.aarch64 fpc-srpm-macros-1.3-1.el8.noarch gawk-4.2.1-4.el8.aarch64 gc-7.6.4-3.el8.aarch64 gcc-8.5.0-20.el8.aarch64 gcc-c++-8.5.0-20.el8.aarch64 gcc-plugin-annobin-8.5.0-20.el8.aarch64 gdb-headless-8.2-20.el8.aarch64 gdbm-1:1.18-2.el8.aarch64 gdbm-libs-1:1.18-2.el8.aarch64 ghc-srpm-macros-1.4.2-7.el8.noarch glib2-2.56.4-161.el8.aarch64 glibc-2.28-236.el8_9.12.aarch64 glibc-all-langpacks-2.28-236.el8_9.12.aarch64 glibc-common-2.28-236.el8_9.12.aarch64 glibc-devel-2.28-236.el8_9.12.aarch64 glibc-gconv-extra-2.28-236.el8_9.12.aarch64 glibc-headers-2.28-236.el8_9.12.aarch64 gmp-1:6.1.2-10.el8.aarch64 gnupg2-2.2.20-3.el8_6.aarch64 gnutls-3.6.16-8.el8_9.3.aarch64 go-srpm-macros-2-17.el8.noarch grep-3.1-6.el8.aarch64 guile-5:2.0.14-7.el8.aarch64 gzip-1.9-13.el8_5.aarch64 ima-evm-utils-1.3.2-12.el8.aarch64 info-6.5-7.el8.aarch64 isl-0.16.1-6.el8.aarch64 kernel-headers-4.18.0-513.24.1.el8_9.aarch64 keyutils-libs-1.5.10-9.el8.aarch64 krb5-libs-1.18.2-26.el8_9.aarch64 libacl-2.2.53-1.el8.aarch64 libarchive-3.3.3-5.el8.aarch64 libasan-8.5.0-20.el8.aarch64 libassuan-2.5.1-3.el8.aarch64 libatomic-8.5.0-20.el8.aarch64 libatomic_ops-7.6.2-3.el8.aarch64 libattr-2.4.48-3.el8.aarch64 libbabeltrace-1.5.4-4.el8.aarch64 libblkid-2.32.1-44.el8_9.1.aarch64 libcap-2.48-6.el8_9.aarch64 libcap-ng-0.7.11-1.el8.aarch64 libcom_err-1.45.6-5.el8.aarch64 libcurl-7.61.1-33.el8_9.5.aarch64 libdb-5.3.28-42.el8_4.aarch64 libdb-utils-5.3.28-42.el8_4.aarch64 libfdisk-2.32.1-44.el8_9.1.aarch64 libffi-3.1-24.el8.aarch64 libgcc-8.5.0-20.el8.aarch64 libgcrypt-1.8.5-7.el8_6.aarch64 libgomp-8.5.0-20.el8.aarch64 libgpg-error-1.31-1.el8.aarch64 libidn2-2.2.0-1.el8.aarch64 libksba-1.3.5-9.el8_7.aarch64 libmount-2.32.1-44.el8_9.1.aarch64 libmpc-1.1.0-9.1.el8.aarch64 libnghttp2-1.33.0-5.el8_9.aarch64 libnsl2-1.2.0-2.20180605git4a062cf.el8.aarch64 libpkgconf-1.4.2-1.el8.aarch64 libpsl-0.20.2-6.el8.aarch64 libpwquality-1.4.4-6.el8.aarch64 libselinux-2.9-8.el8.aarch64 libsemanage-2.9-9.el8_6.aarch64 libsepol-2.9-3.el8.aarch64 libsigsegv-2.11-5.el8.aarch64 libsmartcols-2.32.1-44.el8_9.1.aarch64 libssh-0.9.6-13.el8_9.aarch64 libssh-config-0.9.6-13.el8_9.noarch libstdc++-8.5.0-20.el8.aarch64 libstdc++-devel-8.5.0-20.el8.aarch64 libtasn1-4.13-4.el8_7.aarch64 libtirpc-1.1.4-8.el8.aarch64 libtool-ltdl-2.4.6-25.el8.aarch64 libubsan-8.5.0-20.el8.aarch64 libunistring-0.9.9-3.el8.aarch64 libusbx-1.0.23-4.el8.aarch64 libutempter-1.1.6-14.el8.aarch64 libuuid-2.32.1-44.el8_9.1.aarch64 libverto-0.3.2-2.el8.aarch64 libxcrypt-4.1.1-6.el8.aarch64 libxcrypt-devel-4.1.1-6.el8.aarch64 libxml2-2.9.7-18.el8_9.aarch64 libzstd-1.4.4-1.el8.aarch64 lua-libs-5.3.4-12.el8.aarch64 lua-srpm-macros-1-13.el8.noarch lz4-libs-1.8.3-3.el8_4.aarch64 make-1:4.2.1-11.el8.aarch64 mpfr-3.1.6-1.el8.aarch64 ncurses-6.1-10.20180224.el8.aarch64 ncurses-base-6.1-10.20180224.el8.noarch ncurses-libs-6.1-10.20180224.el8.aarch64 nettle-3.4.1-7.el8.aarch64 npth-1.5-4.el8.aarch64 ocaml-srpm-macros-5-4.el8.noarch openblas-srpm-macros-2-2.el8.noarch openldap-2.4.46-18.el8.aarch64 openssl-libs-1:1.1.1k-12.el8_9.aarch64 p11-kit-0.23.22-1.el8.aarch64 p11-kit-trust-0.23.22-1.el8.aarch64 pam-1.3.1-27.el8.aarch64 patch-2.7.6-11.el8.aarch64 pcre-8.42-6.el8.aarch64 pcre2-10.32-3.el8_6.aarch64 perl-srpm-macros-1-25.el8.noarch pkgconf-1.4.2-1.el8.aarch64 pkgconf-m4-1.4.2-1.el8.noarch pkgconf-pkg-config-1.4.2-1.el8.aarch64 platform-python-3.6.8-56.el8_9.3.aarch64 platform-python-setuptools-39.2.0-7.el8.noarch popt-1.18-1.el8.aarch64 publicsuffix-list-dafsa-20180723-1.el8.noarch python-rpm-macros-3-45.el8.noarch python-srpm-macros-3-45.el8.noarch python3-libs-3.6.8-56.el8_9.3.aarch64 python3-pip-wheel-9.0.3-23.el8_9.1.noarch python3-rpm-macros-3-45.el8.noarch python3-setuptools-wheel-39.2.0-7.el8.noarch qt5-srpm-macros-5.15.3-1.el8.noarch readline-7.0-10.el8.aarch64 redhat-release-8.9-0.1.el8.aarch64 redhat-rpm-config-131-1.el8.noarch rpm-4.14.3-28.el8_9.aarch64 rpm-build-4.14.3-28.el8_9.aarch64 rpm-build-libs-4.14.3-28.el8_9.aarch64 rpm-libs-4.14.3-28.el8_9.aarch64 rust-srpm-macros-5-2.el8.noarch sed-4.5-5.el8.aarch64 setup-2.12.2-9.el8.noarch shadow-utils-2:4.6-19.el8.aarch64 sqlite-libs-3.26.0-19.el8_9.aarch64 systemd-libs-239-78.el8.aarch64 tar-2:1.30-9.el8.aarch64 tpm2-tss-2.3.2-5.el8.aarch64 tzdata-2024a-1.el8.noarch unzip-6.0-46.el8.aarch64 util-linux-2.32.1-44.el8_9.1.aarch64 which-2.21-20.el8.aarch64 xz-5.2.4-4.el8_6.aarch64 xz-libs-5.2.4-4.el8_6.aarch64 zip-3.0-23.el8.aarch64 zlib-1.2.11-25.el8.aarch64 zstd-1.4.4-1.el8.aarch64 Complete! Finish: installing minimal buildroot with dnf Start: creating root cache Finish: creating root cache Finish: chroot init INFO: Installed packages: INFO: annobin-11.13-2.el8.aarch64 ansible-srpm-macros-1-12.el8.noarch audit-libs-3.0.7-5.el8.aarch64 basesystem-11-5.el8.noarch bash-4.4.20-4.el8_6.aarch64 binutils-2.30-123.el8.aarch64 brotli-1.0.6-3.el8.aarch64 bzip2-1.0.6-26.el8.aarch64 bzip2-libs-1.0.6-26.el8.aarch64 ca-certificates-2023.2.60_v7.0.306-80.0.el8_8.noarch chkconfig-1.19.2-1.el8.aarch64 coreutils-8.30-15.el8.aarch64 coreutils-common-8.30-15.el8.aarch64 cpio-2.12-11.el8.aarch64 cpp-8.5.0-20.el8.aarch64 cracklib-2.9.6-15.el8.aarch64 cracklib-dicts-2.9.6-15.el8.aarch64 crypto-policies-20230731-1.git3177e06.el8.noarch curl-7.61.1-33.el8_9.5.aarch64 cyrus-sasl-lib-2.1.27-6.el8_5.aarch64 diffutils-3.6-6.el8.aarch64 dwz-0.12-10.el8.aarch64 efi-srpm-macros-3-3.el8.noarch elfutils-0.189-3.el8.aarch64 elfutils-default-yama-scope-0.189-3.el8.noarch elfutils-libelf-0.189-3.el8.aarch64 elfutils-libs-0.189-3.el8.aarch64 epel-rpm-macros-8-41.noarch expat-2.2.5-11.el8_9.1.aarch64 file-5.33-25.el8.aarch64 file-libs-5.33-25.el8.aarch64 filesystem-3.8-6.el8.aarch64 findutils-4.6.0-21.el8.aarch64 fpc-srpm-macros-1.3-1.el8.noarch gawk-4.2.1-4.el8.aarch64 gc-7.6.4-3.el8.aarch64 gcc-8.5.0-20.el8.aarch64 gcc-c++-8.5.0-20.el8.aarch64 gcc-plugin-annobin-8.5.0-20.el8.aarch64 gdb-headless-8.2-20.el8.aarch64 gdbm-1.18-2.el8.aarch64 gdbm-libs-1.18-2.el8.aarch64 ghc-srpm-macros-1.4.2-7.el8.noarch glib2-2.56.4-161.el8.aarch64 glibc-2.28-236.el8_9.12.aarch64 glibc-all-langpacks-2.28-236.el8_9.12.aarch64 glibc-common-2.28-236.el8_9.12.aarch64 glibc-devel-2.28-236.el8_9.12.aarch64 glibc-gconv-extra-2.28-236.el8_9.12.aarch64 glibc-headers-2.28-236.el8_9.12.aarch64 gmp-6.1.2-10.el8.aarch64 gnupg2-2.2.20-3.el8_6.aarch64 gnutls-3.6.16-8.el8_9.3.aarch64 go-srpm-macros-2-17.el8.noarch gpg-pubkey-2f86d6a1-5cf7cefb gpg-pubkey-2fa658e0-45700c69 gpg-pubkey-fd431d51-4ae0493b grep-3.1-6.el8.aarch64 guile-2.0.14-7.el8.aarch64 gzip-1.9-13.el8_5.aarch64 ima-evm-utils-1.3.2-12.el8.aarch64 info-6.5-7.el8.aarch64 isl-0.16.1-6.el8.aarch64 kernel-headers-4.18.0-513.24.1.el8_9.aarch64 keyutils-libs-1.5.10-9.el8.aarch64 krb5-libs-1.18.2-26.el8_9.aarch64 libacl-2.2.53-1.el8.aarch64 libarchive-3.3.3-5.el8.aarch64 libasan-8.5.0-20.el8.aarch64 libassuan-2.5.1-3.el8.aarch64 libatomic-8.5.0-20.el8.aarch64 libatomic_ops-7.6.2-3.el8.aarch64 libattr-2.4.48-3.el8.aarch64 libbabeltrace-1.5.4-4.el8.aarch64 libblkid-2.32.1-44.el8_9.1.aarch64 libcap-2.48-6.el8_9.aarch64 libcap-ng-0.7.11-1.el8.aarch64 libcom_err-1.45.6-5.el8.aarch64 libcurl-7.61.1-33.el8_9.5.aarch64 libdb-5.3.28-42.el8_4.aarch64 libdb-utils-5.3.28-42.el8_4.aarch64 libfdisk-2.32.1-44.el8_9.1.aarch64 libffi-3.1-24.el8.aarch64 libgcc-8.5.0-20.el8.aarch64 libgcrypt-1.8.5-7.el8_6.aarch64 libgomp-8.5.0-20.el8.aarch64 libgpg-error-1.31-1.el8.aarch64 libidn2-2.2.0-1.el8.aarch64 libksba-1.3.5-9.el8_7.aarch64 libmount-2.32.1-44.el8_9.1.aarch64 libmpc-1.1.0-9.1.el8.aarch64 libnghttp2-1.33.0-5.el8_9.aarch64 libnsl2-1.2.0-2.20180605git4a062cf.el8.aarch64 libpkgconf-1.4.2-1.el8.aarch64 libpsl-0.20.2-6.el8.aarch64 libpwquality-1.4.4-6.el8.aarch64 libselinux-2.9-8.el8.aarch64 libsemanage-2.9-9.el8_6.aarch64 libsepol-2.9-3.el8.aarch64 libsigsegv-2.11-5.el8.aarch64 libsmartcols-2.32.1-44.el8_9.1.aarch64 libssh-0.9.6-13.el8_9.aarch64 libssh-config-0.9.6-13.el8_9.noarch libstdc++-8.5.0-20.el8.aarch64 libstdc++-devel-8.5.0-20.el8.aarch64 libtasn1-4.13-4.el8_7.aarch64 libtirpc-1.1.4-8.el8.aarch64 libtool-ltdl-2.4.6-25.el8.aarch64 libubsan-8.5.0-20.el8.aarch64 libunistring-0.9.9-3.el8.aarch64 libusbx-1.0.23-4.el8.aarch64 libutempter-1.1.6-14.el8.aarch64 libuuid-2.32.1-44.el8_9.1.aarch64 libverto-0.3.2-2.el8.aarch64 libxcrypt-4.1.1-6.el8.aarch64 libxcrypt-devel-4.1.1-6.el8.aarch64 libxml2-2.9.7-18.el8_9.aarch64 libzstd-1.4.4-1.el8.aarch64 lua-libs-5.3.4-12.el8.aarch64 lua-srpm-macros-1-13.el8.noarch lz4-libs-1.8.3-3.el8_4.aarch64 make-4.2.1-11.el8.aarch64 mpfr-3.1.6-1.el8.aarch64 ncurses-6.1-10.20180224.el8.aarch64 ncurses-base-6.1-10.20180224.el8.noarch ncurses-libs-6.1-10.20180224.el8.aarch64 nettle-3.4.1-7.el8.aarch64 npth-1.5-4.el8.aarch64 ocaml-srpm-macros-5-4.el8.noarch openblas-srpm-macros-2-2.el8.noarch openldap-2.4.46-18.el8.aarch64 openssl-libs-1.1.1k-12.el8_9.aarch64 p11-kit-0.23.22-1.el8.aarch64 p11-kit-trust-0.23.22-1.el8.aarch64 pam-1.3.1-27.el8.aarch64 patch-2.7.6-11.el8.aarch64 pcre-8.42-6.el8.aarch64 pcre2-10.32-3.el8_6.aarch64 perl-srpm-macros-1-25.el8.noarch pkgconf-1.4.2-1.el8.aarch64 pkgconf-m4-1.4.2-1.el8.noarch pkgconf-pkg-config-1.4.2-1.el8.aarch64 platform-python-3.6.8-56.el8_9.3.aarch64 platform-python-setuptools-39.2.0-7.el8.noarch popt-1.18-1.el8.aarch64 publicsuffix-list-dafsa-20180723-1.el8.noarch python-rpm-macros-3-45.el8.noarch python-srpm-macros-3-45.el8.noarch python3-libs-3.6.8-56.el8_9.3.aarch64 python3-pip-wheel-9.0.3-23.el8_9.1.noarch python3-rpm-macros-3-45.el8.noarch python3-setuptools-wheel-39.2.0-7.el8.noarch qt5-srpm-macros-5.15.3-1.el8.noarch readline-7.0-10.el8.aarch64 redhat-release-8.9-0.1.el8.aarch64 redhat-rpm-config-131-1.el8.noarch rpm-4.14.3-28.el8_9.aarch64 rpm-build-4.14.3-28.el8_9.aarch64 rpm-build-libs-4.14.3-28.el8_9.aarch64 rpm-libs-4.14.3-28.el8_9.aarch64 rust-srpm-macros-5-2.el8.noarch sed-4.5-5.el8.aarch64 setup-2.12.2-9.el8.noarch shadow-utils-4.6-19.el8.aarch64 sqlite-libs-3.26.0-19.el8_9.aarch64 systemd-libs-239-78.el8.aarch64 tar-1.30-9.el8.aarch64 tpm2-tss-2.3.2-5.el8.aarch64 tzdata-2024a-1.el8.noarch unzip-6.0-46.el8.aarch64 util-linux-2.32.1-44.el8_9.1.aarch64 which-2.21-20.el8.aarch64 xz-5.2.4-4.el8_6.aarch64 xz-libs-5.2.4-4.el8_6.aarch64 zip-3.0-23.el8.aarch64 zlib-1.2.11-25.el8.aarch64 zstd-1.4.4-1.el8.aarch64 Start: buildsrpm Start: rpmbuild -bs sh: /usr/bin/python3.6: No such file or directory Building target platforms: aarch64 Building for target aarch64 Wrote: /builddir/build/SRPMS/pysat-0.1.7-20240418.0.git97505cb7.el8.src.rpm Finish: rpmbuild -bs cp: preserving permissions for ‘/var/lib/copr-rpmbuild/results/chroot_scan/var/lib/mock/rhel+epel-8-aarch64-1714006879.613669/root/var/log’: No such file or directory INFO: chroot_scan: 3 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/rhel+epel-8-aarch64-1714006879.613669/root/var/log/dnf.rpm.log /var/lib/mock/rhel+epel-8-aarch64-1714006879.613669/root/var/log/dnf.librepo.log /var/lib/mock/rhel+epel-8-aarch64-1714006879.613669/root/var/log/dnf.log Finish: buildsrpm INFO: Done(/var/lib/copr-rpmbuild/workspace/workdir-bo4mbsks/pysat/pysat.spec) Config(child) 1 minutes 28 seconds INFO: Results and/or logs in: /var/lib/copr-rpmbuild/results INFO: Cleaning up build root ('cleanup_on_success=True') Start: clean chroot INFO: unmounting tmpfs. Finish: clean chroot INFO: Start(/var/lib/copr-rpmbuild/results/pysat-0.1.7-20240418.0.git97505cb7.el8.src.rpm) Config(rhel+epel-8-aarch64) Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/rhel+epel-8-aarch64-bootstrap-1714006879.613669/root. INFO: reusing tmpfs at /var/lib/mock/rhel+epel-8-aarch64-bootstrap-1714006879.613669/root. INFO: calling preinit hooks INFO: enabled root cache INFO: enabled package manager cache Start(bootstrap): cleaning package manager metadata Finish(bootstrap): cleaning package manager metadata Finish(bootstrap): chroot init Start: chroot init INFO: mounting tmpfs at /var/lib/mock/rhel+epel-8-aarch64-1714006879.613669/root. INFO: calling preinit hooks INFO: enabled root cache Start: unpacking root cache Finish: unpacking root cache INFO: enabled package manager cache Start: cleaning package manager metadata Finish: cleaning package manager metadata INFO: enabled HW Info plugin INFO: Buildroot is handled by package management downloaded with a bootstrap image: rpm-4.14.3-28.el8_9.aarch64 python3-dnf-4.7.0-19.el8.noarch python3-dnf-plugins-core-4.0.21-23.el8.noarch yum-4.7.0-19.el8.noarch Finish: chroot init Start: build phase for pysat-0.1.7-20240418.0.git97505cb7.el8.src.rpm Start: build setup for pysat-0.1.7-20240418.0.git97505cb7.el8.src.rpm sh: /usr/bin/python3.6: No such file or directory Building target platforms: aarch64 Building for target aarch64 Wrote: /builddir/build/SRPMS/pysat-0.1.7-20240418.0.git97505cb7.el8.src.rpm No matches found for the following disable plugin patterns: local, spacewalk, versionlock Updating Subscription Management repositories. Unable to read consumer identity This system is not registered with an entitlement server. You can use subscription-manager to register. Copr repository 110 kB/s | 2.1 kB 00:00 Additional repo copr_rezso_ML 136 kB/s | 1.8 kB 00:00 Additional repo copr_rezso_CUDA 128 kB/s | 1.8 kB 00:00 Additional repo http_developer_download_nvidia_ 1.3 MB/s | 3.5 kB 00:00 Additional repo http_developer_download_nvidia_ 893 kB/s | 3.5 kB 00:00 Additional repo http_developer_download_nvidia_ 748 kB/s | 3.5 kB 00:00 Red Hat Enterprise Linux - BaseOS 36 kB/s | 4.1 kB 00:00 Red Hat Enterprise Linux - AppStream 29 kB/s | 4.5 kB 00:00 Red Hat Enterprise Linux - CodeReady Linux Buil 31 kB/s | 4.5 kB 00:00 Extra Packages for Enterprise Linux 8 - aarch64 11 kB/s | 17 kB 00:01 Modular dependency problems: Problem 1: nothing provides requested module(nvidia-driver:latest-dkms:20240424120842) Problem 2: nothing provides requested module(nvidia-driver:latest-dkms:20240416084208) Package gcc-c++-8.5.0-20.el8.aarch64 is already installed. Package make-1:4.2.1-11.el8.aarch64 is already installed. Dependencies resolved. ================================================================================================ Package Arch Version Repository Size ================================================================================================ Installing: git aarch64 2.39.3-1.el8_8 rhel-appstream 104 k python3-setuptools noarch 39.2.0-7.el8 rhel-baseos 163 k python36-devel aarch64 3.6.8-38.module+el8.9.0+20976+d3c38525 rhel-appstream 17 k Installing dependencies: emacs-filesystem noarch 1:26.1-11.el8 rhel-baseos 70 k git-core aarch64 2.39.3-1.el8_8 rhel-appstream 10 M git-core-doc noarch 2.39.3-1.el8_8 rhel-appstream 3.0 M groff-base aarch64 1.22.3-18.el8 rhel-baseos 994 k less aarch64 530-2.el8_9 rhel-baseos 161 k libedit aarch64 3.1-23.20170329cvs.el8 rhel-baseos 99 k openssh aarch64 8.0p1-19.el8_9.2 rhel-baseos 490 k openssh-clients aarch64 8.0p1-19.el8_9.2 rhel-baseos 627 k openssl aarch64 1:1.1.1k-12.el8_9 rhel-baseos 692 k perl-Carp noarch 1.42-396.el8 rhel-baseos 30 k perl-Data-Dumper aarch64 2.167-399.el8 rhel-baseos 57 k perl-Digest noarch 1.17-395.el8 rhel-baseos 27 k perl-Digest-MD5 aarch64 2.55-396.el8 rhel-baseos 37 k perl-Encode aarch64 4:2.97-3.el8 rhel-baseos 1.5 M perl-Errno aarch64 1.28-422.el8 rhel-baseos 76 k perl-Error noarch 1:0.17025-2.el8 rhel-appstream 46 k perl-Exporter noarch 5.72-396.el8 rhel-baseos 34 k perl-File-Path noarch 2.15-2.el8 rhel-baseos 38 k perl-File-Temp noarch 0.230.600-1.el8 rhel-baseos 63 k perl-Getopt-Long noarch 1:2.50-4.el8 rhel-baseos 63 k perl-Git noarch 2.39.3-1.el8_8 rhel-appstream 79 k perl-HTTP-Tiny noarch 0.074-2.el8_9.1 rhel-baseos 59 k perl-IO aarch64 1.38-422.el8 rhel-baseos 142 k perl-IO-Socket-IP noarch 0.39-5.el8 rhel-baseos 47 k perl-IO-Socket-SSL noarch 2.066-4.module+el8.3.0+6446+594cad75 rhel-appstream 298 k perl-MIME-Base64 aarch64 3.15-396.el8 rhel-baseos 31 k perl-Mozilla-CA noarch 20160104-7.module+el8.3.0+6498+9eecfe51 rhel-appstream 15 k perl-Net-SSLeay aarch64 1.88-2.module+el8.6.0+13392+f0897f98 rhel-appstream 373 k perl-PathTools aarch64 3.74-1.el8 rhel-baseos 90 k perl-Pod-Escapes noarch 1:1.07-395.el8 rhel-baseos 20 k perl-Pod-Perldoc noarch 3.28-396.el8 rhel-baseos 88 k perl-Pod-Simple noarch 1:3.35-395.el8 rhel-baseos 213 k perl-Pod-Usage noarch 4:1.69-395.el8 rhel-baseos 34 k perl-Scalar-List-Utils aarch64 3:1.49-2.el8 rhel-baseos 67 k perl-Socket aarch64 4:2.027-3.el8 rhel-baseos 59 k perl-Storable aarch64 1:3.11-3.el8 rhel-baseos 95 k perl-Term-ANSIColor noarch 4.06-396.el8 rhel-baseos 46 k perl-Term-Cap noarch 1.17-395.el8 rhel-baseos 23 k perl-TermReadKey aarch64 2.37-7.el8 rhel-appstream 40 k perl-Text-ParseWords noarch 3.30-395.el8 rhel-baseos 18 k perl-Text-Tabs+Wrap noarch 2013.0523-395.el8 rhel-baseos 24 k perl-Time-Local noarch 1:1.280-1.el8 rhel-baseos 34 k perl-URI noarch 1.73-3.el8 rhel-baseos 116 k perl-Unicode-Normalize aarch64 1.25-396.el8 rhel-baseos 78 k perl-constant noarch 1.33-396.el8 rhel-baseos 25 k perl-interpreter aarch64 4:5.26.3-422.el8 rhel-baseos 6.3 M perl-libnet noarch 3.11-3.el8 rhel-baseos 121 k perl-libs aarch64 4:5.26.3-422.el8 rhel-baseos 1.5 M perl-macros aarch64 4:5.26.3-422.el8 rhel-baseos 73 k perl-parent noarch 1:0.237-1.el8 rhel-baseos 20 k perl-podlators noarch 4.11-1.el8 rhel-baseos 118 k perl-threads aarch64 1:2.21-2.el8 rhel-baseos 60 k perl-threads-shared aarch64 1.58-2.el8 rhel-baseos 47 k platform-python-devel aarch64 3.6.8-56.el8_9.3 rhel-appstream 240 k platform-python-pip noarch 9.0.3-23.el8_9.1 rhel-baseos 1.6 M python3-pip noarch 9.0.3-23.el8_9.1 rhel-appstream 20 k python3-rpm-generators noarch 5-8.el8 rhel-appstream 25 k python36 aarch64 3.6.8-38.module+el8.9.0+20976+d3c38525 rhel-appstream 19 k python36-rpm-macros noarch 3.6.8-38.module+el8.9.0+20976+d3c38525 rhel-appstream 16 k Enabling module streams: perl 5.26 perl-IO-Socket-SSL 2.066 perl-libwww-perl 6.34 python36 3.6 Transaction Summary ================================================================================================ Install 62 Packages Total download size: 31 M Installed size: 100 M Downloading Packages: (1/62): libedit-3.1-23.20170329cvs.el8.aarch64. 494 kB/s | 99 kB 00:00 (2/62): perl-Data-Dumper-2.167-399.el8.aarch64. 231 kB/s | 57 kB 00:00 (3/62): groff-base-1.22.3-18.el8.aarch64.rpm 3.2 MB/s | 994 kB 00:00 (4/62): perl-Encode-2.97-3.el8.aarch64.rpm 11 MB/s | 1.5 MB 00:00 (5/62): perl-MIME-Base64-3.15-396.el8.aarch64.r 132 kB/s | 31 kB 00:00 (6/62): perl-PathTools-3.74-1.el8.aarch64.rpm 488 kB/s | 90 kB 00:00 (7/62): perl-Scalar-List-Utils-1.49-2.el8.aarch 421 kB/s | 67 kB 00:00 (8/62): perl-threads-2.21-2.el8.aarch64.rpm 895 kB/s | 60 kB 00:00 (9/62): perl-Storable-3.11-3.el8.aarch64.rpm 833 kB/s | 95 kB 00:00 (10/62): perl-Unicode-Normalize-1.25-396.el8.aa 642 kB/s | 78 kB 00:00 (11/62): perl-Exporter-5.72-396.el8.noarch.rpm 591 kB/s | 34 kB 00:00 (12/62): perl-Carp-1.42-396.el8.noarch.rpm 406 kB/s | 30 kB 00:00 (13/62): perl-threads-shared-1.58-2.el8.aarch64 350 kB/s | 47 kB 00:00 (14/62): perl-File-Temp-0.230.600-1.el8.noarch. 895 kB/s | 63 kB 00:00 (15/62): perl-File-Path-2.15-2.el8.noarch.rpm 531 kB/s | 38 kB 00:00 (16/62): perl-Getopt-Long-2.50-4.el8.noarch.rpm 590 kB/s | 63 kB 00:00 (17/62): perl-Pod-Perldoc-3.28-396.el8.noarch.r 771 kB/s | 88 kB 00:00 (18/62): perl-Pod-Simple-3.35-395.el8.noarch.rp 3.2 MB/s | 213 kB 00:00 (19/62): perl-Pod-Usage-1.69-395.el8.noarch.rpm 426 kB/s | 34 kB 00:00 (20/62): perl-Pod-Escapes-1.07-395.el8.noarch.r 76 kB/s | 20 kB 00:00 (21/62): perl-Term-ANSIColor-4.06-396.el8.noarc 369 kB/s | 46 kB 00:00 (22/62): perl-Socket-2.027-3.el8.aarch64.rpm 306 kB/s | 59 kB 00:00 (23/62): perl-Term-Cap-1.17-395.el8.noarch.rpm 260 kB/s | 23 kB 00:00 (24/62): perl-Text-ParseWords-3.30-395.el8.noar 340 kB/s | 18 kB 00:00 (25/62): perl-Text-Tabs+Wrap-2013.0523-395.el8. 353 kB/s | 24 kB 00:00 (26/62): perl-Time-Local-1.280-1.el8.noarch.rpm 575 kB/s | 34 kB 00:00 (27/62): perl-constant-1.33-396.el8.noarch.rpm 471 kB/s | 25 kB 00:00 (28/62): perl-parent-0.237-1.el8.noarch.rpm 233 kB/s | 20 kB 00:00 (29/62): perl-Errno-1.28-422.el8.aarch64.rpm 1.3 MB/s | 76 kB 00:00 (30/62): perl-podlators-4.11-1.el8.noarch.rpm 1.4 MB/s | 118 kB 00:00 (31/62): perl-IO-1.38-422.el8.aarch64.rpm 2.4 MB/s | 142 kB 00:00 (32/62): perl-interpreter-5.26.3-422.el8.aarch6 51 MB/s | 6.3 MB 00:00 (33/62): perl-macros-5.26.3-422.el8.aarch64.rpm 930 kB/s | 73 kB 00:00 (34/62): perl-libs-5.26.3-422.el8.aarch64.rpm 13 MB/s | 1.5 MB 00:00 (35/62): python3-setuptools-39.2.0-7.el8.noarch 1.7 MB/s | 163 kB 00:00 (36/62): perl-Digest-1.17-395.el8.noarch.rpm 302 kB/s | 27 kB 00:00 (37/62): emacs-filesystem-26.1-11.el8.noarch.rp 716 kB/s | 70 kB 00:00 (38/62): perl-URI-1.73-3.el8.noarch.rpm 2.0 MB/s | 116 kB 00:00 (39/62): perl-libnet-3.11-3.el8.noarch.rpm 2.1 MB/s | 121 kB 00:00 (40/62): openssl-1.1.1k-12.el8_9.aarch64.rpm 9.5 MB/s | 692 kB 00:00 (41/62): perl-IO-Socket-IP-0.39-5.el8.noarch.rp 696 kB/s | 47 kB 00:00 (42/62): perl-Digest-MD5-2.55-396.el8.aarch64.r 534 kB/s | 37 kB 00:00 (43/62): openssh-8.0p1-19.el8_9.2.aarch64.rpm 2.0 MB/s | 490 kB 00:00 (44/62): less-530-2.el8_9.aarch64.rpm 599 kB/s | 161 kB 00:00 (45/62): openssh-clients-8.0p1-19.el8_9.2.aarch 2.0 MB/s | 627 kB 00:00 (46/62): perl-TermReadKey-2.37-7.el8.aarch64.rp 651 kB/s | 40 kB 00:00 (47/62): platform-python-pip-9.0.3-23.el8_9.1.n 16 MB/s | 1.6 MB 00:00 (48/62): perl-HTTP-Tiny-0.074-2.el8_9.1.noarch. 293 kB/s | 59 kB 00:00 (49/62): perl-Error-0.17025-2.el8.noarch.rpm 894 kB/s | 46 kB 00:00 (50/62): perl-Net-SSLeay-1.88-2.module+el8.6.0+ 3.9 MB/s | 373 kB 00:00 (51/62): perl-IO-Socket-SSL-2.066-4.module+el8. 2.0 MB/s | 298 kB 00:00 (52/62): perl-Mozilla-CA-20160104-7.module+el8. 121 kB/s | 15 kB 00:00 (53/62): git-2.39.3-1.el8_8.aarch64.rpm 1.8 MB/s | 104 kB 00:00 (54/62): git-core-doc-2.39.3-1.el8_8.noarch.rpm 28 MB/s | 3.0 MB 00:00 (55/62): perl-Git-2.39.3-1.el8_8.noarch.rpm 1.0 MB/s | 79 kB 00:00 (56/62): git-core-2.39.3-1.el8_8.aarch64.rpm 63 MB/s | 10 MB 00:00 (57/62): python3-rpm-generators-5-8.el8.noarch. 349 kB/s | 25 kB 00:00 (58/62): platform-python-devel-3.6.8-56.el8_9.3 4.0 MB/s | 240 kB 00:00 (59/62): python36-3.6.8-38.module+el8.9.0+20976 346 kB/s | 19 kB 00:00 (60/62): python36-rpm-macros-3.6.8-38.module+el 292 kB/s | 16 kB 00:00 (61/62): python36-devel-3.6.8-38.module+el8.9.0 256 kB/s | 17 kB 00:00 (62/62): python3-pip-9.0.3-23.el8_9.1.noarch.rp 361 kB/s | 20 kB 00:00 -------------------------------------------------------------------------------- Total 13 MB/s | 31 MB 00:02 Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Preparing : 1/1 Installing : python3-rpm-generators-5-8.el8.noarch 1/62 Installing : platform-python-devel-3.6.8-56.el8_9.3.aarch64 2/62 Installing : platform-python-pip-9.0.3-23.el8_9.1.noarch 3/62 Installing : less-530-2.el8_9.aarch64 4/62 Running scriptlet: openssh-8.0p1-19.el8_9.2.aarch64 5/62 Installing : openssh-8.0p1-19.el8_9.2.aarch64 5/62 Installing : openssl-1:1.1.1k-12.el8_9.aarch64 6/62 Installing : emacs-filesystem-1:26.1-11.el8.noarch 7/62 Installing : python3-setuptools-39.2.0-7.el8.noarch 8/62 Installing : python3-pip-9.0.3-23.el8_9.1.noarch 9/62 Installing : python36-3.6.8-38.module+el8.9.0+20976+d3c38525.aa 10/62 Running scriptlet: python36-3.6.8-38.module+el8.9.0+20976+d3c38525.aa 10/62 Installing : libedit-3.1-23.20170329cvs.el8.aarch64 11/62 Installing : openssh-clients-8.0p1-19.el8_9.2.aarch64 12/62 Installing : git-core-2.39.3-1.el8_8.aarch64 13/62 Installing : git-core-doc-2.39.3-1.el8_8.noarch 14/62 Installing : groff-base-1.22.3-18.el8.aarch64 15/62 Installing : perl-Digest-1.17-395.el8.noarch 16/62 Installing : perl-Digest-MD5-2.55-396.el8.aarch64 17/62 Installing : perl-Data-Dumper-2.167-399.el8.aarch64 18/62 Installing : perl-libnet-3.11-3.el8.noarch 19/62 Installing : perl-URI-1.73-3.el8.noarch 20/62 Installing : perl-Pod-Escapes-1:1.07-395.el8.noarch 21/62 Installing : perl-Time-Local-1:1.280-1.el8.noarch 22/62 Installing : perl-IO-Socket-IP-0.39-5.el8.noarch 23/62 Installing : perl-Mozilla-CA-20160104-7.module+el8.3.0+6498+9ee 24/62 Installing : perl-Net-SSLeay-1.88-2.module+el8.6.0+13392+f0897f 25/62 Installing : perl-IO-Socket-SSL-2.066-4.module+el8.3.0+6446+594 26/62 Installing : perl-Term-ANSIColor-4.06-396.el8.noarch 27/62 Installing : perl-Term-Cap-1.17-395.el8.noarch 28/62 Installing : perl-File-Temp-0.230.600-1.el8.noarch 29/62 Installing : perl-HTTP-Tiny-0.074-2.el8_9.1.noarch 30/62 Installing : perl-Pod-Simple-1:3.35-395.el8.noarch 31/62 Installing : perl-podlators-4.11-1.el8.noarch 32/62 Installing : perl-Pod-Perldoc-3.28-396.el8.noarch 33/62 Installing : perl-Text-ParseWords-3.30-395.el8.noarch 34/62 Installing : perl-Pod-Usage-4:1.69-395.el8.noarch 35/62 Installing : perl-MIME-Base64-3.15-396.el8.aarch64 36/62 Installing : perl-Storable-1:3.11-3.el8.aarch64 37/62 Installing : perl-Getopt-Long-1:2.50-4.el8.noarch 38/62 Installing : perl-Socket-4:2.027-3.el8.aarch64 39/62 Installing : perl-Errno-1.28-422.el8.aarch64 40/62 Installing : perl-Encode-4:2.97-3.el8.aarch64 41/62 Installing : perl-Scalar-List-Utils-3:1.49-2.el8.aarch64 42/62 Installing : perl-Carp-1.42-396.el8.noarch 43/62 Installing : perl-Exporter-5.72-396.el8.noarch 44/62 Installing : perl-libs-4:5.26.3-422.el8.aarch64 45/62 Installing : perl-parent-1:0.237-1.el8.noarch 46/62 Installing : perl-macros-4:5.26.3-422.el8.aarch64 47/62 Installing : perl-Unicode-Normalize-1.25-396.el8.aarch64 48/62 Installing : perl-threads-shared-1.58-2.el8.aarch64 49/62 Installing : perl-threads-1:2.21-2.el8.aarch64 50/62 Installing : perl-Text-Tabs+Wrap-2013.0523-395.el8.noarch 51/62 Installing : perl-constant-1.33-396.el8.noarch 52/62 Installing : perl-PathTools-3.74-1.el8.aarch64 53/62 Installing : perl-File-Path-2.15-2.el8.noarch 54/62 Installing : perl-IO-1.38-422.el8.aarch64 55/62 Installing : perl-interpreter-4:5.26.3-422.el8.aarch64 56/62 Installing : perl-TermReadKey-2.37-7.el8.aarch64 57/62 Installing : perl-Error-1:0.17025-2.el8.noarch 58/62 Installing : perl-Git-2.39.3-1.el8_8.noarch 59/62 Installing : git-2.39.3-1.el8_8.aarch64 60/62 Installing : python36-devel-3.6.8-38.module+el8.9.0+20976+d3c38 61/62 Running scriptlet: python36-devel-3.6.8-38.module+el8.9.0+20976+d3c38 61/62 Installing : python36-rpm-macros-3.6.8-38.module+el8.9.0+20976+ 62/62 Running scriptlet: python36-rpm-macros-3.6.8-38.module+el8.9.0+20976+ 62/62 Verifying : groff-base-1.22.3-18.el8.aarch64 1/62 Verifying : libedit-3.1-23.20170329cvs.el8.aarch64 2/62 Verifying : perl-Data-Dumper-2.167-399.el8.aarch64 3/62 Verifying : perl-Encode-4:2.97-3.el8.aarch64 4/62 Verifying : perl-MIME-Base64-3.15-396.el8.aarch64 5/62 Verifying : perl-PathTools-3.74-1.el8.aarch64 6/62 Verifying : perl-Scalar-List-Utils-3:1.49-2.el8.aarch64 7/62 Verifying : perl-Storable-1:3.11-3.el8.aarch64 8/62 Verifying : perl-Unicode-Normalize-1.25-396.el8.aarch64 9/62 Verifying : perl-threads-1:2.21-2.el8.aarch64 10/62 Verifying : perl-threads-shared-1.58-2.el8.aarch64 11/62 Verifying : perl-Carp-1.42-396.el8.noarch 12/62 Verifying : perl-Exporter-5.72-396.el8.noarch 13/62 Verifying : perl-File-Path-2.15-2.el8.noarch 14/62 Verifying : perl-File-Temp-0.230.600-1.el8.noarch 15/62 Verifying : perl-Getopt-Long-1:2.50-4.el8.noarch 16/62 Verifying : perl-Pod-Escapes-1:1.07-395.el8.noarch 17/62 Verifying : perl-Pod-Perldoc-3.28-396.el8.noarch 18/62 Verifying : perl-Pod-Simple-1:3.35-395.el8.noarch 19/62 Verifying : perl-Pod-Usage-4:1.69-395.el8.noarch 20/62 Verifying : perl-Socket-4:2.027-3.el8.aarch64 21/62 Verifying : perl-Term-ANSIColor-4.06-396.el8.noarch 22/62 Verifying : perl-Term-Cap-1.17-395.el8.noarch 23/62 Verifying : perl-Text-ParseWords-3.30-395.el8.noarch 24/62 Verifying : perl-Text-Tabs+Wrap-2013.0523-395.el8.noarch 25/62 Verifying : perl-Time-Local-1:1.280-1.el8.noarch 26/62 Verifying : perl-constant-1.33-396.el8.noarch 27/62 Verifying : perl-parent-1:0.237-1.el8.noarch 28/62 Verifying : perl-podlators-4.11-1.el8.noarch 29/62 Verifying : perl-Errno-1.28-422.el8.aarch64 30/62 Verifying : perl-IO-1.38-422.el8.aarch64 31/62 Verifying : perl-interpreter-4:5.26.3-422.el8.aarch64 32/62 Verifying : perl-libs-4:5.26.3-422.el8.aarch64 33/62 Verifying : perl-macros-4:5.26.3-422.el8.aarch64 34/62 Verifying : python3-setuptools-39.2.0-7.el8.noarch 35/62 Verifying : emacs-filesystem-1:26.1-11.el8.noarch 36/62 Verifying : perl-Digest-1.17-395.el8.noarch 37/62 Verifying : perl-URI-1.73-3.el8.noarch 38/62 Verifying : perl-libnet-3.11-3.el8.noarch 39/62 Verifying : openssl-1:1.1.1k-12.el8_9.aarch64 40/62 Verifying : perl-Digest-MD5-2.55-396.el8.aarch64 41/62 Verifying : perl-IO-Socket-IP-0.39-5.el8.noarch 42/62 Verifying : openssh-8.0p1-19.el8_9.2.aarch64 43/62 Verifying : openssh-clients-8.0p1-19.el8_9.2.aarch64 44/62 Verifying : less-530-2.el8_9.aarch64 45/62 Verifying : perl-HTTP-Tiny-0.074-2.el8_9.1.noarch 46/62 Verifying : platform-python-pip-9.0.3-23.el8_9.1.noarch 47/62 Verifying : perl-TermReadKey-2.37-7.el8.aarch64 48/62 Verifying : perl-Error-1:0.17025-2.el8.noarch 49/62 Verifying : perl-IO-Socket-SSL-2.066-4.module+el8.3.0+6446+594 50/62 Verifying : perl-Mozilla-CA-20160104-7.module+el8.3.0+6498+9ee 51/62 Verifying : perl-Net-SSLeay-1.88-2.module+el8.6.0+13392+f0897f 52/62 Verifying : git-2.39.3-1.el8_8.aarch64 53/62 Verifying : git-core-2.39.3-1.el8_8.aarch64 54/62 Verifying : git-core-doc-2.39.3-1.el8_8.noarch 55/62 Verifying : perl-Git-2.39.3-1.el8_8.noarch 56/62 Verifying : python3-rpm-generators-5-8.el8.noarch 57/62 Verifying : platform-python-devel-3.6.8-56.el8_9.3.aarch64 58/62 Verifying : python36-3.6.8-38.module+el8.9.0+20976+d3c38525.aa 59/62 Verifying : python36-devel-3.6.8-38.module+el8.9.0+20976+d3c38 60/62 Verifying : python36-rpm-macros-3.6.8-38.module+el8.9.0+20976+ 61/62 Verifying : python3-pip-9.0.3-23.el8_9.1.noarch 62/62 Installed products updated. Installed: emacs-filesystem-1:26.1-11.el8.noarch git-2.39.3-1.el8_8.aarch64 git-core-2.39.3-1.el8_8.aarch64 git-core-doc-2.39.3-1.el8_8.noarch groff-base-1.22.3-18.el8.aarch64 less-530-2.el8_9.aarch64 libedit-3.1-23.20170329cvs.el8.aarch64 openssh-8.0p1-19.el8_9.2.aarch64 openssh-clients-8.0p1-19.el8_9.2.aarch64 openssl-1:1.1.1k-12.el8_9.aarch64 perl-Carp-1.42-396.el8.noarch perl-Data-Dumper-2.167-399.el8.aarch64 perl-Digest-1.17-395.el8.noarch perl-Digest-MD5-2.55-396.el8.aarch64 perl-Encode-4:2.97-3.el8.aarch64 perl-Errno-1.28-422.el8.aarch64 perl-Error-1:0.17025-2.el8.noarch perl-Exporter-5.72-396.el8.noarch perl-File-Path-2.15-2.el8.noarch perl-File-Temp-0.230.600-1.el8.noarch perl-Getopt-Long-1:2.50-4.el8.noarch perl-Git-2.39.3-1.el8_8.noarch perl-HTTP-Tiny-0.074-2.el8_9.1.noarch perl-IO-1.38-422.el8.aarch64 perl-IO-Socket-IP-0.39-5.el8.noarch perl-IO-Socket-SSL-2.066-4.module+el8.3.0+6446+594cad75.noarch perl-MIME-Base64-3.15-396.el8.aarch64 perl-Mozilla-CA-20160104-7.module+el8.3.0+6498+9eecfe51.noarch perl-Net-SSLeay-1.88-2.module+el8.6.0+13392+f0897f98.aarch64 perl-PathTools-3.74-1.el8.aarch64 perl-Pod-Escapes-1:1.07-395.el8.noarch perl-Pod-Perldoc-3.28-396.el8.noarch perl-Pod-Simple-1:3.35-395.el8.noarch perl-Pod-Usage-4:1.69-395.el8.noarch perl-Scalar-List-Utils-3:1.49-2.el8.aarch64 perl-Socket-4:2.027-3.el8.aarch64 perl-Storable-1:3.11-3.el8.aarch64 perl-Term-ANSIColor-4.06-396.el8.noarch perl-Term-Cap-1.17-395.el8.noarch perl-TermReadKey-2.37-7.el8.aarch64 perl-Text-ParseWords-3.30-395.el8.noarch perl-Text-Tabs+Wrap-2013.0523-395.el8.noarch perl-Time-Local-1:1.280-1.el8.noarch perl-URI-1.73-3.el8.noarch perl-Unicode-Normalize-1.25-396.el8.aarch64 perl-constant-1.33-396.el8.noarch perl-interpreter-4:5.26.3-422.el8.aarch64 perl-libnet-3.11-3.el8.noarch perl-libs-4:5.26.3-422.el8.aarch64 perl-macros-4:5.26.3-422.el8.aarch64 perl-parent-1:0.237-1.el8.noarch perl-podlators-4.11-1.el8.noarch perl-threads-1:2.21-2.el8.aarch64 perl-threads-shared-1.58-2.el8.aarch64 platform-python-devel-3.6.8-56.el8_9.3.aarch64 platform-python-pip-9.0.3-23.el8_9.1.noarch python3-pip-9.0.3-23.el8_9.1.noarch python3-rpm-generators-5-8.el8.noarch python3-setuptools-39.2.0-7.el8.noarch python36-3.6.8-38.module+el8.9.0+20976+d3c38525.aarch64 python36-devel-3.6.8-38.module+el8.9.0+20976+d3c38525.aarch64 python36-rpm-macros-3.6.8-38.module+el8.9.0+20976+d3c38525.noarch Complete! Finish: build setup for pysat-0.1.7-20240418.0.git97505cb7.el8.src.rpm Start: rpmbuild pysat-0.1.7-20240418.0.git97505cb7.el8.src.rpm Building target platforms: aarch64 Building for target aarch64 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.GK4Xrg + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf pysat + /usr/bin/mkdir -p pysat + cd pysat + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + git clone --depth 1 -n -b master https://github.com/pysathq/pysat.git . Cloning into '.'... + git fetch --depth 1 origin 97505cb7c3368b0d9d5ccfc508db2146406ef1a8 From https://github.com/pysathq/pysat * branch 97505cb7c3368b0d9d5ccfc508db2146406ef1a8 -> FETCH_HEAD + git reset --hard 97505cb7c3368b0d9d5ccfc508db2146406ef1a8 HEAD is now at 97505cb Minor tweaks in CNF formula updating. + git log --format=fuller commit 97505cb7c3368b0d9d5ccfc508db2146406ef1a8 Author: Alexey Ignatiev AuthorDate: Thu Apr 18 20:25:16 2024 +1000 Commit: Alexey Ignatiev CommitDate: Thu Apr 18 20:25:16 2024 +1000 Minor tweaks in CNF formula updating. + sed -i 's|some_other_arguments||g' ./allies/approxmc.py + sed -i 's|self.counter...|self.counter|g' ./allies/approxmc.py + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.mUVTVv + umask 022 + cd /builddir/build/BUILD + cd pysat + CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection' + LDFLAGS='-Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' + /usr/bin/python3.6 setup.py build '--executable=/usr/bin/python3.6 -s' running build patching file Makefile patching file analyze.cpp patching file arena.cpp patching file arena.hpp patching file assume.cpp patching file averages.cpp patching file averages.hpp patching file backtrack.cpp patching file backward.cpp patching file bins.cpp patching file bins.hpp patching file block.cpp patching file block.hpp patching file build.hpp patching file cadical.hpp patching file ccadical.cpp patching file checker.cpp patching file checker.hpp patching file clause.cpp patching file clause.hpp patching file collect.cpp patching file compact.cpp patching file config.cpp patching file config.hpp patching file contract.hpp patching file cover.cpp patching file decide.cpp patching file decompose.cpp patching file deduplicate.cpp patching file elim.cpp patching file elim.hpp patching file ema.cpp patching file ema.hpp patching file extend.cpp patching file external.cpp patching file external.hpp patching file file.hpp patching file file0.cpp patching file flags.cpp patching file flags.hpp patching file format.cpp patching file format.hpp patching file gates.cpp patching file heap.hpp patching file instantiate.cpp patching file instantiate.hpp patching file internal.cpp patching file internal.hpp patching file level.hpp patching file limit.cpp patching file limit.hpp patching file logging.cpp patching file logging.hpp patching file lucky.cpp patching file make-build-header.sh patching file message.cpp patching file minimize.cpp patching file observer.hpp patching file occs.cpp patching file occs.hpp patching file options.cpp patching file options.hpp patching file parse.cpp patching file parse.hpp patching file phases.cpp patching file phases.hpp patching file probe.cpp patching file profile.cpp patching file profile.hpp patching file proof.cpp patching file proof.hpp patching file propagate.cpp patching file queue.cpp patching file queue.hpp patching file radix.hpp patching file random.cpp patching file random.hpp patching file reduce.cpp patching file reluctant.hpp patching file rephase.cpp patching file report.cpp patching file resources.cpp patching file resources.hpp patching file restart.cpp patching file restore.cpp patching file score.cpp patching file score.hpp patching file signal.cpp patching file signal.hpp patching file solution.cpp patching file solver.cpp patching file stats.cpp patching file stats.hpp patching file subsume.cpp patching file terminal.cpp patching file terminal.hpp patching file ternary.cpp patching file tracer.cpp patching file tracer.hpp patching file transred.cpp patching file util.cpp patching file util.hpp patching file var.cpp patching file var.hpp patching file version.cpp patching file version.hpp patching file vivify.cpp patching file vivify.hpp patching file walk.cpp patching file watch.cpp patching file watch.hpp c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c analyze.cpp -o analyze.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c arena.cpp -o arena.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c assume.cpp -o assume.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c averages.cpp -o averages.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c backtrack.cpp -o backtrack.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c backward.cpp -o backward.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c bins.cpp -o bins.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c block.cpp -o block.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c ccadical.cpp -o ccadical.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c checker.cpp -o checker.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c clause.cpp -o clause.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c collect.cpp -o collect.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c compact.cpp -o compact.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c config.cpp -o config.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c cover.cpp -o cover.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c decide.cpp -o decide.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c decompose.cpp -o decompose.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c deduplicate.cpp -o deduplicate.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c elim.cpp -o elim.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c ema.cpp -o ema.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c extend.cpp -o extend.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c external.cpp -o external.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c file0.cpp -o file0.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c flags.cpp -o flags.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c format.cpp -o format.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c gates.cpp -o gates.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c instantiate.cpp -o instantiate.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c internal.cpp -o internal.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c ipasir.cpp -o ipasir.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c limit.cpp -o limit.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c logging.cpp -o logging.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c lucky.cpp -o lucky.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c message.cpp -o message.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c minimize.cpp -o minimize.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c occs.cpp -o occs.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c options.cpp -o options.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c parse.cpp -o parse.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c phases.cpp -o phases.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c probe.cpp -o probe.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c profile.cpp -o profile.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c proof.cpp -o proof.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c propagate.cpp -o propagate.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c queue.cpp -o queue.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c random.cpp -o random.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c reduce.cpp -o reduce.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c rephase.cpp -o rephase.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c report.cpp -o report.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c resources.cpp -o resources.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c restart.cpp -o restart.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c restore.cpp -o restore.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c score.cpp -o score.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c signal.cpp -o signal.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c solution.cpp -o solution.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c solver.cpp -o solver.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c stats.cpp -o stats.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c subsume.cpp -o subsume.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c terminal.cpp -o terminal.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c ternary.cpp -o ternary.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c tracer.cpp -o tracer.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c transred.cpp -o transred.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c util.cpp -o util.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c var.cpp -o var.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c version.cpp -o version.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c vivify.cpp -o vivify.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c walk.cpp -o walk.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c watch.cpp -o watch.o patching file Makefile patching file NEWS.md.orig patching file analyze.cpp patching file arena.cpp patching file arena.hpp patching file assume.cpp patching file averages.cpp patching file averages.hpp patching file backtrack.cpp patching file backward.cpp patching file bins.cpp patching file bins.hpp patching file block.cpp patching file block.hpp patching file build.hpp patching file cadical.hpp patching file checker.cpp patching file checker.hpp patching file clause.cpp patching file clause.hpp patching file collect.cpp patching file compact.cpp patching file condition.cpp patching file config.cpp patching file config.hpp patching file constrain.cpp patching file contract.cpp patching file contract.hpp patching file cover.cpp patching file cover.hpp patching file decide.cpp patching file decompose.cpp patching file deduplicate.cpp patching file elim.cpp patching file elim.hpp patching file ema.cpp patching file ema.hpp patching file extend.cpp patching file external.cpp patching file external.hpp patching file file.hpp patching file file0.cpp patching file flags.cpp patching file flags.hpp patching file format.cpp patching file format.hpp patching file gates.cpp patching file heap.hpp patching file instantiate.cpp patching file instantiate.hpp patching file internal.cpp patching file internal.hpp patching file inttypes.hpp patching file level.hpp patching file limit.cpp patching file limit.hpp patching file logging.cpp patching file logging.hpp patching file lookahead.cpp patching file lucky.cpp patching file make-build-header.sh patching file message.cpp patching file message.hpp patching file minimize.cpp patching file observer.hpp patching file occs.cpp patching file occs.hpp patching file options.cpp patching file options.hpp patching file parse.cpp patching file parse.hpp patching file phases.cpp patching file phases.hpp patching file probe.cpp patching file profile.cpp patching file profile.hpp patching file proof.cpp patching file proof.hpp patching file propagate.cpp patching file queue.cpp patching file queue.hpp patching file radix.hpp patching file random.cpp patching file random.hpp patching file range.hpp patching file reap.cpp patching file reap.hpp patching file reduce.cpp patching file reluctant.hpp patching file rephase.cpp patching file report.cpp patching file resources.cpp patching file resources.hpp patching file restart.cpp patching file restore.cpp patching file score.cpp patching file score.hpp patching file shrink.cpp patching file signal.cpp patching file signal.hpp patching file solution.cpp patching file solver.cpp patching file stats.cpp patching file stats.hpp patching file subsume.cpp patching file terminal.cpp patching file terminal.hpp patching file ternary.cpp patching file tracer.cpp patching file tracer.hpp patching file transred.cpp patching file util.cpp patching file util.hpp patching file var.cpp patching file var.hpp patching file version.cpp patching file version.hpp patching file vivify.cpp patching file vivify.hpp patching file walk.cpp patching file watch.cpp patching file watch.hpp c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c analyze.cpp -o analyze.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c arena.cpp -o arena.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c assume.cpp -o assume.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c averages.cpp -o averages.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c backtrack.cpp -o backtrack.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c backward.cpp -o backward.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c bins.cpp -o bins.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c block.cpp -o block.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c checker.cpp -o checker.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c clause.cpp -o clause.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c collect.cpp -o collect.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c compact.cpp -o compact.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c condition.cpp -o condition.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c config.cpp -o config.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c constrain.cpp -o constrain.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c contract.cpp -o contract.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c cover.cpp -o cover.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c decide.cpp -o decide.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c decompose.cpp -o decompose.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c deduplicate.cpp -o deduplicate.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c elim.cpp -o elim.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c ema.cpp -o ema.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c extend.cpp -o extend.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c external.cpp -o external.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c file0.cpp -o file0.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c flags.cpp -o flags.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c format.cpp -o format.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c gates.cpp -o gates.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c instantiate.cpp -o instantiate.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c internal.cpp -o internal.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c limit.cpp -o limit.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c logging.cpp -o logging.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c lookahead.cpp -o lookahead.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c lucky.cpp -o lucky.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c message.cpp -o message.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c minimize.cpp -o minimize.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c occs.cpp -o occs.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c options.cpp -o options.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c parse.cpp -o parse.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c phases.cpp -o phases.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c probe.cpp -o probe.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c profile.cpp -o profile.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c proof.cpp -o proof.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c propagate.cpp -o propagate.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c queue.cpp -o queue.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c random.cpp -o random.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c reap.cpp -o reap.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c reduce.cpp -o reduce.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c rephase.cpp -o rephase.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c report.cpp -o report.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c resources.cpp -o resources.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c restart.cpp -o restart.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c restore.cpp -o restore.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c score.cpp -o score.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c shrink.cpp -o shrink.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c signal.cpp -o signal.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c solution.cpp -o solution.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c solver.cpp -o solver.o solver.cpp: In member function ‘std::vector CaDiCaL153::Solver::extend(std::vector&)’: solver.cpp:655:21: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] for (int i = 1; i <= solution.size(); i++) { ~~^~~~~~~~~~~~~~~~~~ c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c stats.cpp -o stats.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c subsume.cpp -o subsume.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c terminal.cpp -o terminal.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c ternary.cpp -o ternary.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c tracer.cpp -o tracer.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c transred.cpp -o transred.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c util.cpp -o util.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c var.cpp -o var.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c version.cpp -o version.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c vivify.cpp -o vivify.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c walk.cpp -o walk.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c watch.cpp -o watch.o patching file Makefile patching file analyze.cpp patching file arena.cpp patching file arena.hpp patching file assume.cpp patching file averages.cpp patching file averages.hpp patching file backtrack.cpp patching file backward.cpp patching file bins.cpp patching file bins.hpp patching file block.cpp patching file block.hpp patching file cadical.hpp patching file checker.cpp patching file checker.hpp patching file clause.cpp patching file clause.hpp patching file collect.cpp patching file compact.cpp patching file condition.cpp patching file config.cpp patching file config.hpp patching file constrain.cpp patching file contract.cpp patching file contract.hpp patching file cover.cpp patching file cover.hpp patching file decide.cpp patching file decompose.cpp patching file decompose.hpp patching file deduplicate.cpp patching file drattracer.cpp patching file drattracer.hpp patching file elim.cpp patching file elim.hpp patching file ema.cpp patching file ema.hpp patching file extend.cpp patching file external.cpp patching file external.hpp patching file external_propagate.cpp patching file file.hpp patching file file0.cpp patching file flags.cpp patching file flags.hpp patching file flip.cpp patching file format.cpp patching file format.hpp patching file frattracer.cpp patching file frattracer.hpp patching file gates.cpp patching file heap.hpp patching file idruptracer.cpp patching file idruptracer.hpp patching file instantiate.cpp patching file instantiate.hpp patching file internal.cpp patching file internal.hpp patching file inttypes.hpp patching file level.hpp patching file limit.cpp patching file limit.hpp patching file logging.cpp patching file logging.hpp patching file lookahead.cpp patching file lratbuilder.cpp patching file lratbuilder.hpp patching file lratchecker.cpp patching file lratchecker.hpp patching file lrattracer.cpp patching file lrattracer.hpp patching file lucky.cpp patching file make-build-header.sh patching file message.cpp patching file message.hpp patching file minimize.cpp patching file occs.cpp patching file occs.hpp patching file options.cpp patching file options.hpp patching file parse.cpp patching file parse.hpp patching file phases.cpp patching file phases.hpp patching file probe.cpp patching file profile.cpp patching file profile.hpp patching file proof.cpp patching file proof.hpp patching file propagate.cpp patching file queue.cpp patching file queue.hpp patching file radix.hpp patching file random.cpp patching file random.hpp patching file range.hpp patching file reap.cpp patching file reap.hpp patching file reduce.cpp patching file reluctant.hpp patching file rephase.cpp patching file report.cpp patching file resources.cpp patching file resources.hpp patching file restart.cpp patching file restore.cpp patching file score.cpp patching file score.hpp patching file shrink.cpp patching file signal.cpp patching file signal.hpp patching file solution.cpp patching file solver.cpp patching file stats.cpp patching file stats.hpp patching file subsume.cpp patching file terminal.cpp patching file terminal.hpp patching file ternary.cpp patching file tracer.hpp patching file transred.cpp patching file util.cpp patching file util.hpp patching file var.cpp patching file var.hpp patching file veripbtracer.cpp patching file veripbtracer.hpp patching file version.cpp patching file version.hpp patching file vivify.cpp patching file vivify.hpp patching file walk.cpp patching file watch.cpp patching file watch.hpp ./make-build-header.sh > build.hpp make-build-header.sh: warning: could not determine 'COMPILER' ('CXX') make-build-header.sh: warning: could not determine 'FLAGS' ('CXXFLAGS') c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c analyze.cpp -o analyze.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c arena.cpp -o arena.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c assume.cpp -o assume.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c averages.cpp -o averages.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c backtrack.cpp -o backtrack.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c backward.cpp -o backward.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c bins.cpp -o bins.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c block.cpp -o block.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c checker.cpp -o checker.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c clause.cpp -o clause.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c collect.cpp -o collect.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c compact.cpp -o compact.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c condition.cpp -o condition.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c config.cpp -o config.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c constrain.cpp -o constrain.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c contract.cpp -o contract.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c cover.cpp -o cover.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c decide.cpp -o decide.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c decompose.cpp -o decompose.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c deduplicate.cpp -o deduplicate.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c drattracer.cpp -o drattracer.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c elim.cpp -o elim.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c ema.cpp -o ema.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c extend.cpp -o extend.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c external.cpp -o external.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c external_propagate.cpp -o external_propagate.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c file0.cpp -o file0.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c flags.cpp -o flags.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c flip.cpp -o flip.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c format.cpp -o format.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c frattracer.cpp -o frattracer.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c gates.cpp -o gates.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c idruptracer.cpp -o idruptracer.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c instantiate.cpp -o instantiate.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c internal.cpp -o internal.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c limit.cpp -o limit.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c logging.cpp -o logging.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c lookahead.cpp -o lookahead.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c lratbuilder.cpp -o lratbuilder.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c lratchecker.cpp -o lratchecker.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c lrattracer.cpp -o lrattracer.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c lucky.cpp -o lucky.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c message.cpp -o message.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c minimize.cpp -o minimize.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c occs.cpp -o occs.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c options.cpp -o options.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c parse.cpp -o parse.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c phases.cpp -o phases.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c probe.cpp -o probe.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c profile.cpp -o profile.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c proof.cpp -o proof.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c propagate.cpp -o propagate.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c queue.cpp -o queue.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c random.cpp -o random.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c reap.cpp -o reap.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c reduce.cpp -o reduce.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c rephase.cpp -o rephase.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c report.cpp -o report.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c resources.cpp -o resources.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c restart.cpp -o restart.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c restore.cpp -o restore.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c score.cpp -o score.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c shrink.cpp -o shrink.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c signal.cpp -o signal.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c solution.cpp -o solution.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c solver.cpp -o solver.o solver.cpp: In member function ‘std::vector CaDiCaL195::Solver::extend(std::vector&)’: solver.cpp:732:21: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] for (int i = 1; i <= solution.size(); i++) { ~~^~~~~~~~~~~~~~~~~~ c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c stats.cpp -o stats.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c subsume.cpp -o subsume.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c terminal.cpp -o terminal.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c ternary.cpp -o ternary.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c transred.cpp -o transred.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c util.cpp -o util.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c var.cpp -o var.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c veripbtracer.cpp -o veripbtracer.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c version.cpp -o version.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c vivify.cpp -o vivify.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c walk.cpp -o walk.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DQUIET -I. -O3 -DNDEBUG -c watch.cpp -o watch.o patching file Makefile patching file core/BoundedQueue.h patching file core/Solver.cc patching file core/Solver.h patching file core/SolverTypes.h patching file mtl/Alg.h patching file mtl/Alloc.h patching file mtl/Heap.h patching file mtl/IntTypes.h patching file mtl/Map.h patching file mtl/Queue.h patching file mtl/Sort.h patching file mtl/Vec.h patching file mtl/XAlloc.h patching file utils/Options.cc patching file utils/Options.h patching file utils/ParseUtils.h patching file utils/System.cc patching file utils/System.h c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c core/Solver.cc -o core/Solver.o In file included from ../gluecard30/mtl/Sort.h:24, from core/Solver.cc:32: ../gluecard30/mtl/Vec.h: In instantiation of ‘void Gluecard30::vec::capacity(int) [with T = Gluecard30::vec]’: ../gluecard30/mtl/Vec.h:115:5: required from ‘void Gluecard30::vec::growTo(int) [with T = Gluecard30::vec]’ ../gluecard30/core/SolverTypes.h:305:39: required from ‘void Gluecard30::OccLists::init(const Idx&) [with Idx = Gluecard30::Lit; Vec = Gluecard30::vec; Deleted = Gluecard30::Solver::WatcherDeleted]’ core/Solver.cc:202:35: required from here ../gluecard30/mtl/Vec.h:99:54: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Gluecard30::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ../gluecard30/mtl/Sort.h:24, from core/Solver.cc:32: ../gluecard30/mtl/Vec.h:38:7: note: ‘class Gluecard30::vec’ declared here class vec { ^~~ c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c utils/Options.cc -o utils/Options.o utils/Options.cc: In function ‘void Gluecard30::parseOptions(int&, char**, bool)’: utils/Options.cc:45:16: warning: suggest explicit braces to avoid ambiguous ‘else’ [-Wdangling-else] if (!parsed_ok) ^ utils/Options.cc: In function ‘void Gluecard30::printUsageAndExit(int, char**, bool)’: utils/Options.cc:62:5: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] if (usage != NULL) ^~ utils/Options.cc:65:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ sort(Option::getOptionList(), Option::OptionLt()); ^~~~ c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c utils/System.cc -o utils/System.o patching file Makefile patching file core/BoundedQueue.h patching file core/Solver.cc patching file core/Solver.h patching file core/SolverStats.h patching file core/SolverTypes.h patching file mtl/Alg.h patching file mtl/Alloc.h patching file mtl/Clone.h patching file mtl/Heap.h patching file mtl/IntTypes.h patching file mtl/Map.h patching file mtl/Queue.h patching file mtl/Sort.h patching file mtl/Vec.h patching file mtl/VecThreads.h patching file mtl/XAlloc.h patching file utils/Options.cc patching file utils/Options.h patching file utils/ParseUtils.h patching file utils/System.cc patching file utils/System.h c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DINCREMENTAL -I.. -O3 -DNDEBUG -c core/Solver.cc -o core/Solver.o core/Solver.cc: In member function ‘void Gluecard41::Solver::analyze(Gluecard41::CRef, Gluecard41::vec&, Gluecard41::vec&, int&, unsigned int&, unsigned int&)’: core/Solver.cc:1016:53: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] if(chanseokStrategy && nblevels <= coLBDBound) { ~~~~~~~~~^~~~~~~~~~~~~ core/Solver.cc: In member function ‘void Gluecard41::Solver::adaptSolver()’: core/Solver.cc:1860:24: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] if(c.lbd() <= coLBDBound) { ~~~~~~~~^~~~~~~~~~~~~ core/Solver.cc: In member function ‘Gluecard41::lbool Gluecard41::Solver::search(int)’: core/Solver.cc:2006:49: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] if(chanseokStrategy && nblevels <= coLBDBound) { ~~~~~~~~~^~~~~~~~~~~~~ core/Solver.cc: In member function ‘bool Gluecard41::Solver::resolveConflicts(Gluecard41::CRef)’: core/Solver.cc:2446:45: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] if(chanseokStrategy && nblevels <= coLBDBound) { ~~~~~~~~~^~~~~~~~~~~~~ In file included from ../gluecard41/mtl/Sort.h:24, from core/Solver.cc:53: ../gluecard41/mtl/Vec.h: In instantiation of ‘void Gluecard41::vec::capacity(int) [with T = Gluecard41::vec]’: ../gluecard41/mtl/Vec.h:137:5: required from ‘void Gluecard41::vec::growTo(int) [with T = Gluecard41::vec]’ ../gluecard41/core/SolverTypes.h:392:2: required from ‘void Gluecard41::OccLists::copyTo(Gluecard41::OccLists&) const [with Idx = Gluecard41::Lit; Vec = Gluecard41::vec; Deleted = Gluecard41::Solver::WatcherDeleted]’ core/Solver.cc:296:29: required from here ../gluecard41/mtl/Vec.h:121:55: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Gluecard41::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ../gluecard41/mtl/Sort.h:24, from core/Solver.cc:53: ../gluecard41/mtl/Vec.h:39:7: note: ‘class Gluecard41::vec’ declared here class vec { ^~~ In file included from ../gluecard41/mtl/Sort.h:24, from core/Solver.cc:53: ../gluecard41/mtl/Vec.h: In instantiation of ‘void Gluecard41::vec::capacity(int) [with T = Gluecard41::Map, long unsigned int>::Pair]’: ../gluecard41/mtl/Vec.h:74:57: required from ‘void Gluecard41::vec::push() [with T = Gluecard41::Map, long unsigned int>::Pair]’ ../gluecard41/mtl/Map.h:81:9: required from ‘void Gluecard41::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Gluecard41::Hash >; E = Gluecard41::Equal >]’ ../gluecard41/mtl/Map.h:140:76: required from ‘void Gluecard41::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Gluecard41::Hash >; E = Gluecard41::Equal >]’ ../gluecard41/core/SolverStats.h:73:31: required from here ../gluecard41/mtl/Vec.h:121:55: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘struct Gluecard41::Map, long unsigned int>::Pair’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ../gluecard41/core/SolverTypes.h:66, from ../gluecard41/core/Solver.h:56, from core/Solver.cc:54: ../gluecard41/mtl/Map.h:62:12: note: ‘struct Gluecard41::Map, long unsigned int>::Pair’ declared here struct Pair { K key; D data; }; ^~~~ c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DINCREMENTAL -I.. -O3 -DNDEBUG -c utils/Options.cc -o utils/Options.o utils/Options.cc: In function ‘void Gluecard41::printUsageAndExit(int, char**, bool)’: utils/Options.cc:63:5: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] if (usage != NULL) ^~ utils/Options.cc:66:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ sort(Option::getOptionList(), Option::OptionLt()); ^~~~ c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DINCREMENTAL -I.. -O3 -DNDEBUG -c utils/System.cc -o utils/System.o patching file Makefile patching file core/BoundedQueue.h patching file core/Solver.cc patching file core/Solver.h patching file core/SolverTypes.h patching file mtl/Alg.h patching file mtl/Alloc.h patching file mtl/Heap.h patching file mtl/IntTypes.h patching file mtl/Map.h patching file mtl/Queue.h patching file mtl/Sort.h patching file mtl/Vec.h patching file mtl/XAlloc.h patching file utils/Options.cc patching file utils/Options.h patching file utils/ParseUtils.h patching file utils/System.cc patching file utils/System.h c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c core/Solver.cc -o core/Solver.o In file included from ../glucose30/mtl/Sort.h:24, from core/Solver.cc:32: ../glucose30/mtl/Vec.h: In instantiation of ‘void Glucose30::vec::capacity(int) [with T = Glucose30::vec]’: ../glucose30/mtl/Vec.h:115:5: required from ‘void Glucose30::vec::growTo(int) [with T = Glucose30::vec]’ ../glucose30/core/SolverTypes.h:295:39: required from ‘void Glucose30::OccLists::init(const Idx&) [with Idx = Glucose30::Lit; Vec = Glucose30::vec; Deleted = Glucose30::Solver::WatcherDeleted]’ core/Solver.cc:200:35: required from here ../glucose30/mtl/Vec.h:99:54: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Glucose30::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ../glucose30/mtl/Sort.h:24, from core/Solver.cc:32: ../glucose30/mtl/Vec.h:38:7: note: ‘class Glucose30::vec’ declared here class vec { ^~~ c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c utils/Options.cc -o utils/Options.o utils/Options.cc: In function ‘void Glucose30::parseOptions(int&, char**, bool)’: utils/Options.cc:45:16: warning: suggest explicit braces to avoid ambiguous ‘else’ [-Wdangling-else] if (!parsed_ok) ^ utils/Options.cc: In function ‘void Glucose30::printUsageAndExit(int, char**, bool)’: utils/Options.cc:62:5: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] if (usage != NULL) ^~ utils/Options.cc:65:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ sort(Option::getOptionList(), Option::OptionLt()); ^~~~ c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c utils/System.cc -o utils/System.o patching file Makefile patching file core/BoundedQueue.h patching file core/Solver.cc patching file core/Solver.h patching file core/SolverStats.h patching file core/SolverTypes.h patching file mtl/Alg.h patching file mtl/Alloc.h patching file mtl/Clone.h patching file mtl/Heap.h patching file mtl/IntTypes.h patching file mtl/Map.h patching file mtl/Queue.h patching file mtl/Sort.h patching file mtl/Vec.h patching file mtl/VecThreads.h patching file mtl/XAlloc.h patching file utils/Options.cc patching file utils/Options.h patching file utils/ParseUtils.h patching file utils/System.cc patching file utils/System.h c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DINCREMENTAL -I.. -O3 -DNDEBUG -c core/Solver.cc -o core/Solver.o core/Solver.cc: In member function ‘void Glucose41::Solver::analyze(Glucose41::CRef, Glucose41::vec&, Glucose41::vec&, int&, unsigned int&, unsigned int&)’: core/Solver.cc:776:49: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] if(chanseokStrategy && nblevels <= coLBDBound) { ~~~~~~~~~^~~~~~~~~~~~~ core/Solver.cc: In member function ‘void Glucose41::Solver::adaptSolver()’: core/Solver.cc:1470:24: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] if(c.lbd() <= coLBDBound) { ~~~~~~~~^~~~~~~~~~~~~ core/Solver.cc: In member function ‘Glucose41::lbool Glucose41::Solver::search(int)’: core/Solver.cc:1616:49: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] if(chanseokStrategy && nblevels <= coLBDBound) { ~~~~~~~~~^~~~~~~~~~~~~ core/Solver.cc: In member function ‘bool Glucose41::Solver::resolveConflicts(Glucose41::CRef)’: core/Solver.cc:2055:45: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] if(chanseokStrategy && nblevels <= coLBDBound) { ~~~~~~~~~^~~~~~~~~~~~~ In file included from ../glucose41/mtl/Sort.h:24, from core/Solver.cc:53: ../glucose41/mtl/Vec.h: In instantiation of ‘void Glucose41::vec::capacity(int) [with T = Glucose41::vec]’: ../glucose41/mtl/Vec.h:137:5: required from ‘void Glucose41::vec::growTo(int) [with T = Glucose41::vec]’ ../glucose41/core/SolverTypes.h:381:2: required from ‘void Glucose41::OccLists::copyTo(Glucose41::OccLists&) const [with Idx = Glucose41::Lit; Vec = Glucose41::vec; Deleted = Glucose41::Solver::WatcherDeleted]’ core/Solver.cc:294:29: required from here ../glucose41/mtl/Vec.h:121:55: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Glucose41::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ../glucose41/mtl/Sort.h:24, from core/Solver.cc:53: ../glucose41/mtl/Vec.h:39:7: note: ‘class Glucose41::vec’ declared here class vec { ^~~ In file included from ../glucose41/mtl/Sort.h:24, from core/Solver.cc:53: ../glucose41/mtl/Vec.h: In instantiation of ‘void Glucose41::vec::capacity(int) [with T = Glucose41::Map, long unsigned int>::Pair]’: ../glucose41/mtl/Vec.h:74:57: required from ‘void Glucose41::vec::push() [with T = Glucose41::Map, long unsigned int>::Pair]’ ../glucose41/mtl/Map.h:81:9: required from ‘void Glucose41::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose41::Hash >; E = Glucose41::Equal >]’ ../glucose41/mtl/Map.h:140:76: required from ‘void Glucose41::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose41::Hash >; E = Glucose41::Equal >]’ ../glucose41/core/SolverStats.h:73:31: required from here ../glucose41/mtl/Vec.h:121:55: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘struct Glucose41::Map, long unsigned int>::Pair’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ../glucose41/core/SolverTypes.h:66, from ../glucose41/core/Solver.h:56, from core/Solver.cc:54: ../glucose41/mtl/Map.h:62:12: note: ‘struct Glucose41::Map, long unsigned int>::Pair’ declared here struct Pair { K key; D data; }; ^~~~ c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DINCREMENTAL -I.. -O3 -DNDEBUG -c utils/Options.cc -o utils/Options.o utils/Options.cc: In function ‘void Glucose41::printUsageAndExit(int, char**, bool)’: utils/Options.cc:63:5: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] if (usage != NULL) ^~ utils/Options.cc:66:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ sort(Option::getOptionList(), Option::OptionLt()); ^~~~ c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DINCREMENTAL -I.. -O3 -DNDEBUG -c utils/System.cc -o utils/System.o patching file core/BoundedQueue.h patching file core/lcm.cc patching file core/Solver.cc patching file core/Solver.h patching file core/SolverStats.h patching file core/SolverTypes.h patching file Makefile patching file Makefile.old patching file mtl/Alg.h patching file mtl/Alloc.h patching file mtl/Clone.h patching file mtl/Heap.h patching file mtl/Map.h patching file mtl/Queue.h patching file mtl/Sort.h patching file mtl/Vec.h patching file mtl/VecThreads.h patching file mtl/XAlloc.h patching file utils/Options.cc patching file utils/Options.h patching file utils/ParseUtils.h patching file utils/System.cc patching file utils/System.h g++ -Wall -Wno-parentheses -std=c++11 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -fPIC -I.. -O3 -DNDEBUG -c core/lcm.cc -o core/lcm.o core/lcm.cc: In member function ‘void Glucose421::Solver::simplifyLearnt(Glucose421::Clause&)’: core/lcm.cc:302:33: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] if (LCMUpdateLBD && c.lbd() > c.size()) c.setLBD(c.size()); ~~~~~~~~^~~~~~~~~~ core/lcm.cc:320:30: warning: comparison of integer expressions of different signedness: ‘int’ and ‘unsigned int’ [-Wsign-compare] if (nblevels < c.lbd()) ~~~~~~~~~^~~~~~~~~ core/lcm.cc:272:9: warning: variable ‘beforeSize’ set but not used [-Wunused-but-set-variable] int beforeSize, afterSize; ^~~~~~~~~~ core/lcm.cc:272:21: warning: variable ‘afterSize’ set but not used [-Wunused-but-set-variable] int beforeSize, afterSize; ^~~~~~~~~ core/lcm.cc: In member function ‘bool Glucose421::Solver::simplifyAll()’: core/lcm.cc:343:18: warning: unused variable ‘nblevels’ [-Wunused-variable] unsigned int nblevels; ^~~~~~~~ In file included from ../glucose421/mtl/Heap.h:24, from ../glucose421/core/Solver.h:53, from core/lcm.cc:1: ../glucose421/mtl/Vec.h: In instantiation of ‘void Glucose421::vec::capacity(int) [with T = Glucose421::Map, long unsigned int>::Pair]’: ../glucose421/mtl/Vec.h:74:57: required from ‘void Glucose421::vec::push() [with T = Glucose421::Map, long unsigned int>::Pair]’ ../glucose421/mtl/Map.h:81:9: required from ‘void Glucose421::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose421::Hash >; E = Glucose421::Equal >]’ ../glucose421/mtl/Map.h:140:76: required from ‘void Glucose421::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose421::Hash >; E = Glucose421::Equal >]’ ../glucose421/core/SolverStats.h:73:31: required from here ../glucose421/mtl/Vec.h:121:55: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘struct Glucose421::Map, long unsigned int>::Pair’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ../glucose421/core/SolverTypes.h:66, from ../glucose421/core/Solver.h:56, from core/lcm.cc:1: ../glucose421/mtl/Map.h:62:12: note: ‘struct Glucose421::Map, long unsigned int>::Pair’ declared here struct Pair { K key; D data; }; ^~~~ g++ -Wall -Wno-parentheses -std=c++11 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -fPIC -I.. -O3 -DNDEBUG -c core/Solver.cc -o core/Solver.o core/Solver.cc: In member function ‘void Glucose421::Solver::analyze(Glucose421::CRef, Glucose421::vec&, Glucose421::vec&, int&, unsigned int&, unsigned int&)’: core/Solver.cc:723:49: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] if(chanseokStrategy && nblevels <= coLBDBound) { ~~~~~~~~~^~~~~~~~~~~~~ core/Solver.cc: In member function ‘void Glucose421::Solver::adaptSolver()’: core/Solver.cc:1434:24: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] if(c.lbd() <= coLBDBound) { ~~~~~~~~^~~~~~~~~~~~~ core/Solver.cc: In member function ‘Glucose421::lbool Glucose421::Solver::search(int)’: core/Solver.cc:1584:49: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] if(chanseokStrategy && nblevels <= coLBDBound) { ~~~~~~~~~^~~~~~~~~~~~~ core/Solver.cc: In member function ‘bool Glucose421::Solver::resolveConflicts(Glucose421::CRef)’: core/Solver.cc:2013:45: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] if(chanseokStrategy && nblevels <= coLBDBound) { ~~~~~~~~~^~~~~~~~~~~~~ In file included from ../glucose421/mtl/Sort.h:24, from core/Solver.cc:53: ../glucose421/mtl/Vec.h: In instantiation of ‘void Glucose421::vec::capacity(int) [with T = Glucose421::vec]’: ../glucose421/mtl/Vec.h:137:5: required from ‘void Glucose421::vec::growTo(int) [with T = Glucose421::vec]’ ../glucose421/core/SolverTypes.h:395:2: required from ‘void Glucose421::OccLists::copyTo(Glucose421::OccLists&) const [with Idx = Glucose421::Lit; Vec = Glucose421::vec; Deleted = Glucose421::Solver::WatcherDeleted]’ core/Solver.cc:302:29: required from here ../glucose421/mtl/Vec.h:121:55: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Glucose421::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ../glucose421/mtl/Sort.h:24, from core/Solver.cc:53: ../glucose421/mtl/Vec.h:39:7: note: ‘class Glucose421::vec’ declared here class vec { ^~~ In file included from ../glucose421/mtl/Sort.h:24, from core/Solver.cc:53: ../glucose421/mtl/Vec.h: In instantiation of ‘void Glucose421::vec::capacity(int) [with T = Glucose421::Map, long unsigned int>::Pair]’: ../glucose421/mtl/Vec.h:74:57: required from ‘void Glucose421::vec::push() [with T = Glucose421::Map, long unsigned int>::Pair]’ ../glucose421/mtl/Map.h:81:9: required from ‘void Glucose421::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose421::Hash >; E = Glucose421::Equal >]’ ../glucose421/mtl/Map.h:140:76: required from ‘void Glucose421::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose421::Hash >; E = Glucose421::Equal >]’ ../glucose421/core/SolverStats.h:73:31: required from here ../glucose421/mtl/Vec.h:121:55: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘struct Glucose421::Map, long unsigned int>::Pair’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ../glucose421/core/SolverTypes.h:66, from ../glucose421/core/Solver.h:56, from core/Solver.cc:54: ../glucose421/mtl/Map.h:62:12: note: ‘struct Glucose421::Map, long unsigned int>::Pair’ declared here struct Pair { K key; D data; }; ^~~~ g++ -Wall -Wno-parentheses -std=c++11 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -fPIC -I.. -O3 -DNDEBUG -c utils/Options.cc -o utils/Options.o g++ -Wall -Wno-parentheses -std=c++11 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -fPIC -I.. -O3 -DNDEBUG -c utils/System.cc -o utils/System.o a - core/lcm.o a - core/Solver.o a - utils/Options.o a - utils/System.o ## @-ar cr libglucose421.a core/lcm.o core/Solver.o utils/Options.o utils/System.o patching file Makefile patching file druplig.c patching file druplig.h patching file lglib.c patching file lglib.h patching file lglopts.h cc -std=gnu11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I. -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -DVERSION=\"PYSAT\" -c lglib.c -o lglib.o lglib.c: In function ‘lglstampall’: lglib.c:19204:2: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation] if (rootsonly) noimpls++; goto CONTINUE; ^~ lglib.c:19204:28: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’ if (rootsonly) noimpls++; goto CONTINUE; ^~~~ lglib.c: In function ‘lglprofsort’: lglib.c:24272:13: warning: unused variable ‘sztns’ [-Wunused-variable] const int sztns = 100; ^~~~~ cc -std=gnu11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I. -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -DVERSION=\"PYSAT\" -c lglopts.c -o lglopts.o cc -std=gnu11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I. -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -DVERSION=\"PYSAT\" -c druplig.c -o druplig.o patching file Makefile patching file core/Solver.cc patching file core/Solver.h patching file core/SolverTypes.h patching file mtl/Alg.h patching file mtl/Alloc.h patching file mtl/Heap.h patching file mtl/IntTypes.h patching file mtl/Map.h patching file mtl/Queue.h patching file mtl/Sort.h patching file mtl/Vec.h patching file mtl/XAlloc.h patching file utils/Options.cc patching file utils/Options.h patching file utils/ParseUtils.h patching file utils/System.cc patching file utils/System.h c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c core/Solver.cc -o core/Solver.o core/Solver.cc: In member function ‘void MapleChrono::Solver::simplifyLearnt(MapleChrono::Clause&)’: core/Solver.cc:395:9: warning: variable ‘beforeSize’ set but not used [-Wunused-but-set-variable] int beforeSize, afterSize; ^~~~~~~~~~ core/Solver.cc:395:21: warning: variable ‘afterSize’ set but not used [-Wunused-but-set-variable] int beforeSize, afterSize; ^~~~~~~~~ core/Solver.cc: In member function ‘bool MapleChrono::Solver::simplifyLearnt_x(MapleChrono::vec&)’: core/Solver.cc:530:34: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] if (nblevels < c.lbd()){ ~~~~~~~~~^~~~~~~~~ core/Solver.cc:454:9: warning: variable ‘beforeSize’ set but not used [-Wunused-but-set-variable] int beforeSize, afterSize; ^~~~~~~~~~ core/Solver.cc:454:21: warning: variable ‘afterSize’ set but not used [-Wunused-but-set-variable] int beforeSize, afterSize; ^~~~~~~~~ core/Solver.cc: In member function ‘bool MapleChrono::Solver::simplifyLearnt_core()’: core/Solver.cc:669:34: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] if (nblevels < c.lbd()){ ~~~~~~~~~^~~~~~~~~ core/Solver.cc:565:9: warning: variable ‘beforeSize’ set but not used [-Wunused-but-set-variable] int beforeSize, afterSize; ^~~~~~~~~~ core/Solver.cc:565:21: warning: variable ‘afterSize’ set but not used [-Wunused-but-set-variable] int beforeSize, afterSize; ^~~~~~~~~ core/Solver.cc: In member function ‘bool MapleChrono::Solver::simplifyLearnt_tier2()’: core/Solver.cc:795:34: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] if (nblevels < c.lbd()){ ~~~~~~~~~^~~~~~~~~ core/Solver.cc:690:9: warning: variable ‘beforeSize’ set but not used [-Wunused-but-set-variable] int beforeSize, afterSize; ^~~~~~~~~~ core/Solver.cc:690:21: warning: variable ‘afterSize’ set but not used [-Wunused-but-set-variable] int beforeSize, afterSize; ^~~~~~~~~ core/Solver.cc: In member function ‘MapleChrono::CRef MapleChrono::Solver::propagate()’: core/Solver.cc:1633:1: warning: label ‘ExitProp’ defined but not used [-Wunused-label] ExitProp:; ^~~~~~~~ core/Solver.cc: In member function ‘MapleChrono::lbool MapleChrono::Solver::search(int&)’: core/Solver.cc:1913:19: warning: comparison of integer expressions of different signedness: ‘uint64_t’ {aka ‘long unsigned int’} and ‘long int’ [-Wsign-compare] if (conflicts >= curSimplify * nbconfbeforesimplify){ ~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ core/Solver.cc:1954:57: warning: comparison of integer expressions of different signedness: ‘int’ and ‘uint64_t’ {aka ‘long unsigned int’} [-Wsign-compare] if ((confl_to_chrono < 0 || confl_to_chrono <= conflicts) && chrono > -1 && (decisionLevel() - backtrack_level) >= chrono) ~~~~~~~~~~~~~~~~^~~~~~~~~~~~ In file included from ../maplechrono/mtl/Sort.h:24, from core/Solver.cc:33: ../maplechrono/mtl/Vec.h: In instantiation of ‘void MapleChrono::vec::capacity(int) [with T = MapleChrono::vec]’: ../maplechrono/mtl/Vec.h:115:5: required from ‘void MapleChrono::vec::growTo(int) [with T = MapleChrono::vec]’ ../maplechrono/core/SolverTypes.h:320:39: required from ‘void MapleChrono::OccLists::init(const Idx&) [with Idx = MapleChrono::Lit; Vec = MapleChrono::vec; Deleted = MapleChrono::Solver::WatcherDeleted]’ core/Solver.cc:855:37: required from here ../maplechrono/mtl/Vec.h:99:55: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class MapleChrono::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ../maplechrono/mtl/Sort.h:24, from core/Solver.cc:33: ../maplechrono/mtl/Vec.h:38:7: note: ‘class MapleChrono::vec’ declared here class vec { ^~~ c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c utils/Options.cc -o utils/Options.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c utils/System.cc -o utils/System.o patching file Makefile patching file core/Solver.cc patching file core/Solver.h patching file core/SolverTypes.h patching file mtl/Alg.h patching file mtl/Alloc.h patching file mtl/Heap.h patching file mtl/IntTypes.h patching file mtl/Map.h patching file mtl/Queue.h patching file mtl/Sort.h patching file mtl/Vec.h patching file mtl/XAlloc.h patching file utils/Options.cc patching file utils/Options.h patching file utils/ParseUtils.h patching file utils/System.cc patching file utils/System.h c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c core/Solver.cc -o core/Solver.o core/Solver.cc: In member function ‘bool MapleCM::Solver::simplifyLearnt_core()’: core/Solver.cc:550:34: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] if (nblevels < c.lbd()){ ~~~~~~~~~^~~~~~~~~ core/Solver.cc: In member function ‘bool MapleCM::Solver::simplifyLearnt_tier2()’: core/Solver.cc:629:34: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] if (nblevels < c.lbd()){ ~~~~~~~~~^~~~~~~~~ core/Solver.cc: In member function ‘bool MapleCM::Solver::simplifyUsedOriginalClauses()’: core/Solver.cc:735:38: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] if (nblevels < c.lbd()){ ~~~~~~~~~^~~~~~~~~ core/Solver.cc:688:12: warning: variable ‘avg’ set but not used [-Wunused-but-set-variable] double avg; ^~~ core/Solver.cc: In member function ‘bool MapleCM::Solver::simplifyOriginalClauses()’: core/Solver.cc:851:12: warning: variable ‘avg’ set but not used [-Wunused-but-set-variable] double avg; ^~~ In file included from ../maplecm/mtl/Sort.h:24, from core/Solver.cc:49: ../maplecm/mtl/Vec.h: In instantiation of ‘void MapleCM::vec::capacity(int) [with T = MapleCM::vec]’: ../maplecm/mtl/Vec.h:115:5: required from ‘void MapleCM::vec::growTo(int) [with T = MapleCM::vec]’ ../maplecm/core/SolverTypes.h:317:39: required from ‘void MapleCM::OccLists::init(const Idx&) [with Idx = MapleCM::Lit; Vec = MapleCM::vec; Deleted = MapleCM::Solver::WatcherDeleted]’ core/Solver.cc:873:37: required from here ../maplecm/mtl/Vec.h:99:55: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class MapleCM::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ../maplecm/mtl/Sort.h:24, from core/Solver.cc:49: ../maplecm/mtl/Vec.h:38:7: note: ‘class MapleCM::vec’ declared here class vec { ^~~ c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c utils/Options.cc -o utils/Options.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c utils/System.cc -o utils/System.o patching file Makefile patching file core/Solver.cc patching file core/Solver.h patching file core/SolverTypes.h patching file mtl/Alg.h patching file mtl/Alloc.h patching file mtl/Heap.h patching file mtl/IntTypes.h patching file mtl/Map.h patching file mtl/Queue.h patching file mtl/Sort.h patching file mtl/Vec.h patching file mtl/XAlloc.h patching file utils/Options.cc patching file utils/Options.h patching file utils/ParseUtils.h patching file utils/System.cc patching file utils/System.h c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c core/Solver.cc -o core/Solver.o In file included from ../maplesat/mtl/Sort.h:24, from core/Solver.cc:25: ../maplesat/mtl/Vec.h: In instantiation of ‘void Maplesat::vec::capacity(int) [with T = Maplesat::vec]’: ../maplesat/mtl/Vec.h:115:5: required from ‘void Maplesat::vec::growTo(int) [with T = Maplesat::vec]’ ../maplesat/core/SolverTypes.h:285:39: required from ‘void Maplesat::OccLists::init(const Idx&) [with Idx = Maplesat::Lit; Vec = Maplesat::vec; Deleted = Maplesat::Solver::WatcherDeleted]’ core/Solver.cc:140:37: required from here ../maplesat/mtl/Vec.h:99:55: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Maplesat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ../maplesat/mtl/Sort.h:24, from core/Solver.cc:25: ../maplesat/mtl/Vec.h:38:7: note: ‘class Maplesat::vec’ declared here class vec { ^~~ c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c utils/Options.cc -o utils/Options.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c utils/System.cc -o utils/System.o patching file Makefile patching file core/BoundedQueue.h patching file core/Constants.h patching file core/Dimacs.h patching file core/OnlineProofChecker.h patching file core/Solver.cc patching file core/Solver.h patching file core/SolverTypes.h patching file mtl/Alg.h patching file mtl/Alloc.h patching file mtl/Heap.h patching file mtl/IntTypes.h patching file mtl/Map.h patching file mtl/Queue.h patching file mtl/Sort.h patching file mtl/Vec.h patching file mtl/XAlloc.h patching file utils/Options.cc patching file utils/Options.h patching file utils/ParseUtils.h patching file utils/System.cc patching file utils/System.h patching file utils/ccnr.cc patching file utils/ccnr.h c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c core/Solver.cc -o core/Solver.o In file included from core/Solver.cc:56: ../mergesat3/utils/Options.h: In member function ‘virtual void Minisat::Int64Option::printOptions(FILE*, int)’: ../mergesat3/utils/Options.h:718:34: warning: format ‘%lld’ expects argument of type ‘long long int’, but argument 3 has type ‘__gnu_cxx::__alloc_traits, long int>::value_type’ {aka ‘long int’} [-Wformat=] fprintf(pcsFile, "%lld", values[i]); ^~~~~~ ../mergesat3/utils/Options.h:720:30: warning: format ‘%lld’ expects argument of type ‘long long int’, but argument 3 has type ‘int64_t’ {aka ‘long int’} [-Wformat=] fprintf(pcsFile, "} [%lld] # %s\n", value, description); ^~~~~~~~~~~~~~~~~~~~ ~~~~~ ../mergesat3/utils/Options.h:725:38: warning: format ‘%lld’ expects argument of type ‘long long int’, but argument 4 has type ‘int64_t’ {aka ‘long int’} [-Wformat=] fprintf(pcsFile, "%s {%lld", name, range.begin); ^~~~~~~~~~~ ~~~~~~~~~~~ ../mergesat3/utils/Options.h:727:42: warning: format ‘%lld’ expects argument of type ‘long long int’, but argument 3 has type ‘int64_t’ {aka ‘long int’} [-Wformat=] fprintf(pcsFile, ",%lld", i); ^~~~~~~ ~ ../mergesat3/utils/Options.h:729:38: warning: format ‘%lld’ expects argument of type ‘long long int’, but argument 3 has type ‘int64_t’ {aka ‘long int’} [-Wformat=] fprintf(pcsFile, "} [%lld] # %s\n", value, description); ^~~~~~~~~~~~~~~~~~~~ ~~~~~ ../mergesat3/utils/Options.h:731:38: warning: format ‘%lld’ expects argument of type ‘long long int’, but argument 4 has type ‘int64_t’ {aka ‘long int’} [-Wformat=] fprintf(pcsFile, "%s [%lld,%lld] [%lld]i # %s\n", name, range.begin, range.end, value, description); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ~~~~~~~~~~~ ../mergesat3/utils/Options.h:731:38: warning: format ‘%lld’ expects argument of type ‘long long int’, but argument 5 has type ‘int64_t’ {aka ‘long int’} [-Wformat=] ../mergesat3/utils/Options.h:731:38: warning: format ‘%lld’ expects argument of type ‘long long int’, but argument 6 has type ‘int64_t’ {aka ‘long int’} [-Wformat=] ../mergesat3/utils/Options.h:734:34: warning: format ‘%lld’ expects argument of type ‘long long int’, but argument 4 has type ‘int64_t’ {aka ‘long int’} [-Wformat=] fprintf(pcsFile, "%s [%lld,%lld] [%lld]il # %s\n", name, range.begin, range.end, value, description); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ~~~~~~~~~~~ ../mergesat3/utils/Options.h:734:34: warning: format ‘%lld’ expects argument of type ‘long long int’, but argument 5 has type ‘int64_t’ {aka ‘long int’} [-Wformat=] ../mergesat3/utils/Options.h:734:34: warning: format ‘%lld’ expects argument of type ‘long long int’, but argument 6 has type ‘int64_t’ {aka ‘long int’} [-Wformat=] ../mergesat3/utils/Options.h: In member function ‘virtual void Minisat::Int64Option::getNonDefaultString(int, char*, size_t)’: ../mergesat3/utils/Options.h:753:40: warning: format ‘%lld’ expects argument of type ‘long long int’, but argument 4 has type ‘__gnu_cxx::__alloc_traits, long int>::value_type’ {aka ‘long int’} [-Wformat=] snprintf(buffer, size, "%lld", values[i]); // convert value ^~~~~~ ../mergesat3/utils/Options.h:767:40: warning: format ‘%lld’ expects argument of type ‘long long int’, but argument 4 has type ‘int64_t’ {aka ‘long int’} [-Wformat=] snprintf(buffer, size, "%lld", i); // convert value ^~~~~~ ~ core/Solver.cc: In member function ‘Minisat::lbool Minisat::Solver::search(int&)’: core/Solver.cc:2658:31: warning: operation on ‘((Minisat::Solver*)this)->Minisat::Solver::state_change_time_inc’ may be undefined [-Wsequence-point] state_change_time_inc = state_change_time_inc *= state_change_time_inc_inc; ~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ core/Solver.cc: In member function ‘bool Minisat::Solver::inprocessing()’: core/Solver.cc:3352:20: warning: format ‘%llu’ expects argument of type ‘long long unsigned int’, but argument 2 has type ‘uint64_t’ {aka ‘long unsigned int’} [-Wformat=] printf("c inprocessing simplify at try %llu, next limit: %llu\n", inprocess_attempts, inprocess_next_lim); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ~~~~~~~~~~~~~~~~~~ core/Solver.cc:3352:20: warning: format ‘%llu’ expects argument of type ‘long long unsigned int’, but argument 3 has type ‘uint64_t’ {aka ‘long unsigned int’} [-Wformat=] In file included from ../mergesat3/mtl/Alg.h:24, from ../mergesat3/core/SolverTypes.h:38, from ../mergesat3/core/Solver.h:61, from core/Solver.cc:53: ../mergesat3/mtl/Vec.h: In instantiation of ‘void Minisat::vec::capacity(int) [with T = Minisat::vec]’: ../mergesat3/mtl/Vec.h:182:5: required from ‘void Minisat::vec::growTo(int) [with T = Minisat::vec]’ ../mergesat3/core/SolverTypes.h:523:9: required from ‘void Minisat::OccLists::init(const Idx&) [with Idx = Minisat::Lit; Vec = Minisat::vec; Deleted = Minisat::WatcherDeleted]’ ../mergesat3/core/OnlineProofChecker.h:137:33: required from here ../mergesat3/mtl/Vec.h:162:32: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Minisat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] T *newdata = (T *)::realloc(data, (cap + add) * sizeof(T)); ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../mergesat3/mtl/Vec.h:38:26: note: ‘class Minisat::vec’ declared here template class vec ^~~ In file included from ../mergesat3/utils/Options.h:31, from core/Solver.cc:56: ../mergesat3/utils/ParseUtils.h: At global scope: ../mergesat3/utils/ParseUtils.h:142:12: warning: ‘Minisat::xzsig’ defined but not used [-Wunused-variable] static int xzsig[] = { 0xFD, 0x37, 0x7A, 0x58, 0x5A, 0x00, 0x00, EOF }; ^~~~~ ../mergesat3/utils/ParseUtils.h:141:12: warning: ‘Minisat::sig7z’ defined but not used [-Wunused-variable] static int sig7z[] = { 0x37, 0x7A, 0xBC, 0xAF, 0x27, 0x1C, EOF }; ^~~~~ ../mergesat3/utils/ParseUtils.h:140:12: warning: ‘Minisat::lzmasig’ defined but not used [-Wunused-variable] static int lzmasig[] = { 0x5D, 0x00, 0x00, 0x80, 0x00, EOF }; ^~~~~~~ ../mergesat3/utils/ParseUtils.h:139:12: warning: ‘Minisat::gzsig’ defined but not used [-Wunused-variable] static int gzsig[] = { 0x1F, 0x8B, EOF }; ^~~~~ ../mergesat3/utils/ParseUtils.h:138:12: warning: ‘Minisat::bz2sig’ defined but not used [-Wunused-variable] static int bz2sig[] = { 0x42, 0x5A, 0x68, EOF }; ^~~~~~ c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c utils/Options.cc -o utils/Options.o In file included from utils/Options.cc:20: ../mergesat3/utils/Options.h: In member function ‘virtual void Minisat::Int64Option::printOptions(FILE*, int)’: ../mergesat3/utils/Options.h:718:34: warning: format ‘%lld’ expects argument of type ‘long long int’, but argument 3 has type ‘__gnu_cxx::__alloc_traits, long int>::value_type’ {aka ‘long int’} [-Wformat=] fprintf(pcsFile, "%lld", values[i]); ^~~~~~ ../mergesat3/utils/Options.h:720:30: warning: format ‘%lld’ expects argument of type ‘long long int’, but argument 3 has type ‘int64_t’ {aka ‘long int’} [-Wformat=] fprintf(pcsFile, "} [%lld] # %s\n", value, description); ^~~~~~~~~~~~~~~~~~~~ ~~~~~ ../mergesat3/utils/Options.h:725:38: warning: format ‘%lld’ expects argument of type ‘long long int’, but argument 4 has type ‘int64_t’ {aka ‘long int’} [-Wformat=] fprintf(pcsFile, "%s {%lld", name, range.begin); ^~~~~~~~~~~ ~~~~~~~~~~~ ../mergesat3/utils/Options.h:727:42: warning: format ‘%lld’ expects argument of type ‘long long int’, but argument 3 has type ‘int64_t’ {aka ‘long int’} [-Wformat=] fprintf(pcsFile, ",%lld", i); ^~~~~~~ ~ ../mergesat3/utils/Options.h:729:38: warning: format ‘%lld’ expects argument of type ‘long long int’, but argument 3 has type ‘int64_t’ {aka ‘long int’} [-Wformat=] fprintf(pcsFile, "} [%lld] # %s\n", value, description); ^~~~~~~~~~~~~~~~~~~~ ~~~~~ ../mergesat3/utils/Options.h:731:38: warning: format ‘%lld’ expects argument of type ‘long long int’, but argument 4 has type ‘int64_t’ {aka ‘long int’} [-Wformat=] fprintf(pcsFile, "%s [%lld,%lld] [%lld]i # %s\n", name, range.begin, range.end, value, description); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ~~~~~~~~~~~ ../mergesat3/utils/Options.h:731:38: warning: format ‘%lld’ expects argument of type ‘long long int’, but argument 5 has type ‘int64_t’ {aka ‘long int’} [-Wformat=] ../mergesat3/utils/Options.h:731:38: warning: format ‘%lld’ expects argument of type ‘long long int’, but argument 6 has type ‘int64_t’ {aka ‘long int’} [-Wformat=] ../mergesat3/utils/Options.h:734:34: warning: format ‘%lld’ expects argument of type ‘long long int’, but argument 4 has type ‘int64_t’ {aka ‘long int’} [-Wformat=] fprintf(pcsFile, "%s [%lld,%lld] [%lld]il # %s\n", name, range.begin, range.end, value, description); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ~~~~~~~~~~~ ../mergesat3/utils/Options.h:734:34: warning: format ‘%lld’ expects argument of type ‘long long int’, but argument 5 has type ‘int64_t’ {aka ‘long int’} [-Wformat=] ../mergesat3/utils/Options.h:734:34: warning: format ‘%lld’ expects argument of type ‘long long int’, but argument 6 has type ‘int64_t’ {aka ‘long int’} [-Wformat=] ../mergesat3/utils/Options.h: In member function ‘virtual void Minisat::Int64Option::getNonDefaultString(int, char*, size_t)’: ../mergesat3/utils/Options.h:753:40: warning: format ‘%lld’ expects argument of type ‘long long int’, but argument 4 has type ‘__gnu_cxx::__alloc_traits, long int>::value_type’ {aka ‘long int’} [-Wformat=] snprintf(buffer, size, "%lld", values[i]); // convert value ^~~~~~ ../mergesat3/utils/Options.h:767:40: warning: format ‘%lld’ expects argument of type ‘long long int’, but argument 4 has type ‘int64_t’ {aka ‘long int’} [-Wformat=] snprintf(buffer, size, "%lld", i); // convert value ^~~~~~ ~ In file included from ../mergesat3/utils/Options.h:31, from utils/Options.cc:20: ../mergesat3/utils/ParseUtils.h: At global scope: ../mergesat3/utils/ParseUtils.h:142:12: warning: ‘Minisat::xzsig’ defined but not used [-Wunused-variable] static int xzsig[] = { 0xFD, 0x37, 0x7A, 0x58, 0x5A, 0x00, 0x00, EOF }; ^~~~~ ../mergesat3/utils/ParseUtils.h:141:12: warning: ‘Minisat::sig7z’ defined but not used [-Wunused-variable] static int sig7z[] = { 0x37, 0x7A, 0xBC, 0xAF, 0x27, 0x1C, EOF }; ^~~~~ ../mergesat3/utils/ParseUtils.h:140:12: warning: ‘Minisat::lzmasig’ defined but not used [-Wunused-variable] static int lzmasig[] = { 0x5D, 0x00, 0x00, 0x80, 0x00, EOF }; ^~~~~~~ ../mergesat3/utils/ParseUtils.h:139:12: warning: ‘Minisat::gzsig’ defined but not used [-Wunused-variable] static int gzsig[] = { 0x1F, 0x8B, EOF }; ^~~~~ ../mergesat3/utils/ParseUtils.h:138:12: warning: ‘Minisat::bz2sig’ defined but not used [-Wunused-variable] static int bz2sig[] = { 0x42, 0x5A, 0x68, EOF }; ^~~~~~ c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c utils/System.cc -o utils/System.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c utils/ccnr.cc -o utils/ccnr.o patching file Makefile patching file core/Solver.cc patching file core/Solver.h patching file core/SolverTypes.h patching file mtl/Alg.h patching file mtl/Alloc.h patching file mtl/Heap.h patching file mtl/IntTypes.h patching file mtl/Map.h patching file mtl/Queue.h patching file mtl/Sort.h patching file mtl/Vec.h patching file mtl/XAlloc.h patching file utils/Options.cc patching file utils/Options.h patching file utils/ParseUtils.h patching file utils/System.cc patching file utils/System.h c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c core/Solver.cc -o core/Solver.o In file included from ../minicard/mtl/Sort.h:24, from core/Solver.cc:30: ../minicard/mtl/Vec.h: In instantiation of ‘void Minicard::vec::capacity(int) [with T = Minicard::vec]’: ../minicard/mtl/Vec.h:115:5: required from ‘void Minicard::vec::growTo(int) [with T = Minicard::vec]’ ../minicard/core/SolverTypes.h:284:39: required from ‘void Minicard::OccLists::init(const Idx&) [with Idx = Minicard::Lit; Vec = Minicard::vec; Deleted = Minicard::Solver::WatcherDeleted]’ core/Solver.cc:126:35: required from here ../minicard/mtl/Vec.h:99:55: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Minicard::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ../minicard/mtl/Sort.h:24, from core/Solver.cc:30: ../minicard/mtl/Vec.h:38:7: note: ‘class Minicard::vec’ declared here class vec { ^~~ c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c utils/Options.cc -o utils/Options.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c utils/System.cc -o utils/System.o patching file Makefile patching file core/Solver.cc patching file core/Solver.h patching file core/SolverTypes.h patching file mtl/Alg.h patching file mtl/Alloc.h patching file mtl/Heap.h patching file mtl/IntTypes.h patching file mtl/Map.h patching file mtl/Queue.h patching file mtl/Sort.h patching file mtl/Vec.h patching file mtl/XAlloc.h patching file utils/Options.cc patching file utils/Options.h patching file utils/ParseUtils.h patching file utils/System.cc patching file utils/System.h c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c core/Solver.cc -o core/Solver.o In file included from ../minisat22/mtl/Sort.h:24, from core/Solver.cc:23: ../minisat22/mtl/Vec.h: In instantiation of ‘void Minisat22::vec::capacity(int) [with T = Minisat22::vec]’: ../minisat22/mtl/Vec.h:115:5: required from ‘void Minisat22::vec::growTo(int) [with T = Minisat22::vec]’ ../minisat22/core/SolverTypes.h:268:39: required from ‘void Minisat22::OccLists::init(const Idx&) [with Idx = Minisat22::Lit; Vec = Minisat22::vec; Deleted = Minisat22::Solver::WatcherDeleted]’ core/Solver.cc:118:35: required from here ../minisat22/mtl/Vec.h:99:55: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Minisat22::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ../minisat22/mtl/Sort.h:24, from core/Solver.cc:23: ../minisat22/mtl/Vec.h:38:7: note: ‘class Minisat22::vec’ declared here class vec { ^~~ c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c utils/Options.cc -o utils/Options.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c utils/System.cc -o utils/System.o patching file Makefile patching file core/Solver.cc patching file core/Solver.h patching file core/SolverTypes.h patching file mtl/Alg.h patching file mtl/Alloc.h patching file mtl/Heap.h patching file mtl/IntMap.h patching file mtl/IntTypes.h patching file mtl/Map.h patching file mtl/Queue.h patching file mtl/Rnd.h patching file mtl/Sort.h patching file mtl/Vec.h patching file mtl/XAlloc.h patching file utils/Options.cc patching file utils/Options.h patching file utils/ParseUtils.h patching file utils/System.cc patching file utils/System.h c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c core/Solver.cc -o core/Solver.o In file included from ../minisatgh/mtl/Alg.h:24, from core/Solver.cc:23: ../minisatgh/mtl/Vec.h: In instantiation of ‘void MinisatGH::vec::capacity(MinisatGH::vec::Size) [with T = MinisatGH::vec; _Size = int; MinisatGH::vec::Size = int]’: ../minisatgh/mtl/Vec.h:119:5: required from ‘void MinisatGH::vec::growTo(MinisatGH::vec::Size) [with T = MinisatGH::vec; _Size = int; MinisatGH::vec::Size = int]’ ../minisatgh/mtl/IntMap.h:48:48: required from ‘void MinisatGH::IntMap::reserve(K) [with K = MinisatGH::Lit; V = MinisatGH::vec; MkIndex = MinisatGH::MkIndexLit]’ ../minisatgh/core/SolverTypes.h:341:37: required from ‘void MinisatGH::OccLists::init(const K&) [with K = MinisatGH::Lit; Vec = MinisatGH::vec; Deleted = MinisatGH::Solver::WatcherDeleted; MkIndex = MinisatGH::MkIndexLit]’ core/Solver.cc:129:35: required from here ../minisatgh/mtl/Vec.h:103:33: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class MinisatGH::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ../minisatgh/mtl/Alg.h:24, from core/Solver.cc:23: ../minisatgh/mtl/Vec.h:39:7: note: ‘class MinisatGH::vec’ declared here class vec { ^~~ c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c utils/Options.cc -o utils/Options.o c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c utils/System.cc -o utils/System.o preparing cadical103 not downloading solvers/cadical103.tar.gz since it exists locally extracting solvers/cadical103.tar.gz adapting cadical103's files patching cadical103 compiling cadical103 preparing cadical153 not downloading solvers/cadical153.tar.gz since it exists locally extracting solvers/cadical153.tar.gz adapting cadical153's files patching cadical153 compiling cadical153 preparing cadical195 not downloading solvers/cadical195.tar.gz since it exists locally extracting solvers/cadical195.tar.gz adapting cadical195's files patching cadical195 compiling cadical195 preparing gluecard30 not downloading solvers/glucose30.tar.gz since it exists locally extracting solvers/glucose30.tar.gz adapting gluecard30's files patching gluecard30 compiling gluecard30 preparing gluecard41 not downloading solvers/glucose41.tar.gz since it exists locally extracting solvers/glucose41.tar.gz adapting gluecard41's files patching gluecard41 compiling gluecard41 preparing glucose30 not downloading solvers/glucose30.tar.gz since it exists locally extracting solvers/glucose30.tar.gz adapting glucose30's files patching glucose30 compiling glucose30 preparing glucose41 not downloading solvers/glucose41.tar.gz since it exists locally extracting solvers/glucose41.tar.gz adapting glucose41's files patching glucose41 compiling glucose41 preparing glucose421 not downloading solvers/glucose421.tar.gz since it exists locally extracting solvers/glucose421.tar.gz adapting glucose421's files patching glucose421 compiling glucose421 preparing lingeling not downloading solvers/lingeling.tar.gz since it exists locally extracting solvers/lingeling.tar.gz adapting lingeling's files extracting solvers/lingeling/druplig-009.zip extracting solvers/lingeling/lingeling-bbc-9230380-160707.tar.gz patching lingeling compiling lingeling preparing maplechrono not downloading solvers/maplechrono.zip since it exists locally extracting solvers/maplechrono.zip adapting maplechrono's files patching maplechrono compiling maplechrono preparing maplecm not downloading solvers/maplecm.zip since it exists locally extracting solvers/maplecm.zip adapting maplecm's files patching maplecm compiling maplecm preparing maplesat not downloading solvers/maplesat.zip since it exists locally extracting solvers/maplesat.zip adapting maplesat's files patching maplesat compiling maplesat preparing mergesat3 not downloading solvers/mergesat3.tar.gz since it exists locally extracting solvers/mergesat3.tar.gz adapting mergesat3's files patching mergesat3 compiling mergesat3 preparing minicard not downloading solvers/minicard.tar.gz since it exists locally extracting solvers/minicard.tar.gz adapting minicard's files patching minicard compiling minicard preparing minisat22 not downloading solvers/minisat22.tar.gz since it exists locally extracting solvers/minisat22.tar.gz adapting minisat22's files patching minisat22 compiling minisat22 preparing minisatgh not downloading solvers/minisatgh.zip since it exists locally extracting solvers/minisatgh.zip adapting minisatgh's files patching minisatgh compiling minisatgh running build_py creating build creating build/lib.linux-aarch64-3.6 creating build/lib.linux-aarch64-3.6/pysat copying pysat/solvers.py -> build/lib.linux-aarch64-3.6/pysat copying pysat/process.py -> build/lib.linux-aarch64-3.6/pysat copying pysat/pb.py -> build/lib.linux-aarch64-3.6/pysat copying pysat/formula.py -> build/lib.linux-aarch64-3.6/pysat copying pysat/engines.py -> build/lib.linux-aarch64-3.6/pysat copying pysat/card.py -> build/lib.linux-aarch64-3.6/pysat copying pysat/_utils.py -> build/lib.linux-aarch64-3.6/pysat copying pysat/_fileio.py -> build/lib.linux-aarch64-3.6/pysat copying pysat/__init__.py -> build/lib.linux-aarch64-3.6/pysat creating build/lib.linux-aarch64-3.6/pysat/examples copying examples/usage.py -> build/lib.linux-aarch64-3.6/pysat/examples copying examples/rc2.py -> build/lib.linux-aarch64-3.6/pysat/examples copying examples/optux.py -> build/lib.linux-aarch64-3.6/pysat/examples copying examples/musx.py -> build/lib.linux-aarch64-3.6/pysat/examples copying examples/models.py -> build/lib.linux-aarch64-3.6/pysat/examples copying examples/mcsls.py -> build/lib.linux-aarch64-3.6/pysat/examples copying examples/lsu.py -> build/lib.linux-aarch64-3.6/pysat/examples copying examples/lbx.py -> build/lib.linux-aarch64-3.6/pysat/examples copying examples/hitman.py -> build/lib.linux-aarch64-3.6/pysat/examples copying examples/genhard.py -> build/lib.linux-aarch64-3.6/pysat/examples copying examples/fm.py -> build/lib.linux-aarch64-3.6/pysat/examples copying examples/__init__.py -> build/lib.linux-aarch64-3.6/pysat/examples creating build/lib.linux-aarch64-3.6/pysat/allies copying allies/approxmc.py -> build/lib.linux-aarch64-3.6/pysat/allies copying allies/unigen.py -> build/lib.linux-aarch64-3.6/pysat/allies copying allies/__init__.py -> build/lib.linux-aarch64-3.6/pysat/allies running build_ext building 'pycard' extension creating build/temp.linux-aarch64-3.6 creating build/temp.linux-aarch64-3.6/cardenc gcc -pthread -DDYNAMIC_ANNOTATIONS_ENABLED=1 -DNDEBUG -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -fasynchronous-unwind-tables -fstack-clash-protection -D_GNU_SOURCE -fPIC -fwrapv -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Icardenc -I/usr/include/python3.6m -c cardenc/pycard.cc -o build/temp.linux-aarch64-3.6/cardenc/pycard.o -std=c++11 -Wall -Wno-deprecated In file included from cardenc/card.hh:17, from cardenc/pycard.cc:16: cardenc/sortcard.hh: In function ‘void sortn_half_merge_recur(int&, ClauseSet&, std::vector&, std::vector&, std::vector&, size_t)’: cardenc/sortcard.hh:38:14: warning: comparison of integer expressions of different signedness: ‘__gnu_cxx::__alloc_traits, int>::value_type’ {aka ‘int’} and ‘size_t’ {aka ‘long unsigned int’} [-Wsign-compare] if (av[0] == zvar) { cardenc/sortcard.hh:77:14: warning: comparison of integer expressions of different signedness: ‘__gnu_cxx::__alloc_traits, int>::value_type’ {aka ‘int’} and ‘size_t’ {aka ‘long unsigned int’} [-Wsign-compare] if (av[0] == zvar && av[av.size() - 1] == zvar) { cardenc/sortcard.hh:77:43: warning: comparison of integer expressions of different signedness: ‘__gnu_cxx::__alloc_traits, int>::value_type’ {aka ‘int’} and ‘size_t’ {aka ‘long unsigned int’} [-Wsign-compare] if (av[0] == zvar && av[av.size() - 1] == zvar) { cardenc/sortcard.hh: In function ‘void cardn_simple_merge_recur(int&, ClauseSet&, std::vector&, std::vector&, std::vector&, size_t)’: cardenc/sortcard.hh:193:14: warning: comparison of integer expressions of different signedness: ‘__gnu_cxx::__alloc_traits, int>::value_type’ {aka ‘int’} and ‘size_t’ {aka ‘long unsigned int’} [-Wsign-compare] if (av[0] == zvar) { cardenc/sortcard.hh:232:14: warning: comparison of integer expressions of different signedness: ‘__gnu_cxx::__alloc_traits, int>::value_type’ {aka ‘int’} and ‘size_t’ {aka ‘long unsigned int’} [-Wsign-compare] if (av[0] == zvar && av[av.size() - 1] == zvar) { cardenc/sortcard.hh:232:43: warning: comparison of integer expressions of different signedness: ‘__gnu_cxx::__alloc_traits, int>::value_type’ {aka ‘int’} and ‘size_t’ {aka ‘long unsigned int’} [-Wsign-compare] if (av[0] == zvar && av[av.size() - 1] == zvar) { g++ -pthread -shared -Wl,-z,relro -Wl,-z,now -g -Wl,-z,relro -Wl,-z,now -g -Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection build/temp.linux-aarch64-3.6/cardenc/pycard.o -L/usr/lib64 -lstdc++ -lpython3.6m -o build/lib.linux-aarch64-3.6/pycard.cpython-36m-aarch64-linux-gnu.so building 'pysolvers' extension creating build/temp.linux-aarch64-3.6/solvers gcc -pthread -DDYNAMIC_ANNOTATIONS_ENABLED=1 -DNDEBUG -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -fasynchronous-unwind-tables -fstack-clash-protection -D_GNU_SOURCE -fPIC -fwrapv -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Isolvers -I/usr/include/python3.6m -c solvers/pysolvers.cc -o build/temp.linux-aarch64-3.6/solvers/pysolvers.o -std=c++11 -Wall -Wno-deprecated -DWITH_CADICAL103 -DWITH_CADICAL153 -DWITH_CADICAL195 -DWITH_GLUECARD30 -DWITH_GLUECARD41 -DWITH_GLUCOSE30 -DWITH_GLUCOSE41 -DWITH_GLUCOSE421 -DWITH_LINGELING -DWITH_MAPLECHRONO -DWITH_MAPLECM -DWITH_MAPLESAT -DWITH_MERGESAT3 -DWITH_MINICARD -DWITH_MINISAT22 -DWITH_MINISATGH In file included from solvers/glucose421/core/Solver.h:56, from solvers/pysolvers.cc:50: solvers/glucose421/core/SolverTypes.h:160: warning: "BITS_LBD" redefined #define BITS_LBD 19 In file included from solvers/glucose41/core/Solver.h:56, from solvers/pysolvers.cc:46: solvers/glucose41/core/SolverTypes.h:160: note: this is the location of the previous definition #define BITS_LBD 20 In file included from solvers/pysolvers.cc:50: solvers/glucose421/core/Solver.h:96: warning: "coreStatsSize" redefined #define coreStatsSize 27 In file included from solvers/pysolvers.cc:46: solvers/glucose41/core/Solver.h:93: note: this is the location of the previous definition #define coreStatsSize 24 solvers/pysolvers.cc: In function ‘PyObject* py_cadical153_propagate(PyObject*, PyObject*)’: solvers/pysolvers.cc:1846:20: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] for (int i = 0; i < p.size(); ++i) { ~~^~~~~~~~~~ solvers/pysolvers.cc: In function ‘PyObject* py_cadical195_propagate(PyObject*, PyObject*)’: solvers/pysolvers.cc:2505:20: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector::size_type’ {aka ‘long unsigned int’} [-Wsign-compare] for (int i = 0; i < p.size(); ++i) { ~~^~~~~~~~~~ solvers/pysolvers.cc: In member function ‘virtual int PyExternalPropagator::cb_decide()’: solvers/pysolvers.cc:2933:11: warning: converting to non-pointer type ‘int’ from NULL [-Wconversion-null] return NULL; ^~~~ solvers/pysolvers.cc:2940:11: warning: converting to non-pointer type ‘int’ from NULL [-Wconversion-null] return NULL; ^~~~ solvers/pysolvers.cc: In member function ‘virtual int PyExternalPropagator::cb_propagate()’: solvers/pysolvers.cc:2967:13: warning: converting to non-pointer type ‘int’ from NULL [-Wconversion-null] return NULL; ^~~~ solvers/pysolvers.cc:2978:15: warning: converting to non-pointer type ‘int’ from NULL [-Wconversion-null] return NULL; ^~~~ solvers/pysolvers.cc:2985:13: warning: converting to non-pointer type ‘int’ from NULL [-Wconversion-null] return NULL; ^~~~ solvers/pysolvers.cc:2999:13: warning: converting to non-pointer type ‘int’ from NULL [-Wconversion-null] return NULL; ^~~~ solvers/pysolvers.cc:3005:13: warning: converting to non-pointer type ‘int’ from NULL [-Wconversion-null] return NULL; ^~~~ solvers/pysolvers.cc:3012:13: warning: converting to non-pointer type ‘int’ from NULL [-Wconversion-null] return NULL; ^~~~ solvers/pysolvers.cc:3022:14: warning: converting to non-pointer type ‘int’ from NULL [-Wconversion-null] return NULL; ^~~~ solvers/pysolvers.cc:3041:12: warning: converting to non-pointer type ‘int’ from NULL [-Wconversion-null] return NULL; ^~~~ solvers/pysolvers.cc:3057:12: warning: converting to non-pointer type ‘int’ from NULL [-Wconversion-null] return NULL; ^~~~ solvers/pysolvers.cc: In member function ‘virtual int PyExternalPropagator::cb_add_reason_clause_lit(int)’: solvers/pysolvers.cc:3090:12: warning: converting to non-pointer type ‘int’ from NULL [-Wconversion-null] return NULL; ^~~~ solvers/pysolvers.cc:3099:12: warning: converting to non-pointer type ‘int’ from NULL [-Wconversion-null] return NULL; ^~~~ solvers/pysolvers.cc:3111:12: warning: converting to non-pointer type ‘int’ from NULL [-Wconversion-null] return NULL; ^~~~ solvers/pysolvers.cc: In member function ‘virtual int PyExternalPropagator::cb_add_external_clause_lit()’: solvers/pysolvers.cc:3261:12: warning: converting to non-pointer type ‘int’ from NULL [-Wconversion-null] return NULL; ^~~~ solvers/pysolvers.cc:3267:12: warning: converting to non-pointer type ‘int’ from NULL [-Wconversion-null] return NULL; ^~~~ In file included from solvers/mergesat3/mtl/Alg.h:24, from solvers/mergesat3/core/SolverTypes.h:38, from solvers/mergesat3/core/Solver.h:61, from solvers/pysolvers.cc:70: solvers/mergesat3/mtl/Vec.h: In instantiation of ‘void Minisat::vec::capacity(int) [with T = Minisat::vec]’: solvers/mergesat3/mtl/Vec.h:182:5: required from ‘void Minisat::vec::growTo(int) [with T = Minisat::vec]’ solvers/mergesat3/core/SolverTypes.h:523:9: required from ‘void Minisat::OccLists::init(const Idx&) [with Idx = Minisat::Lit; Vec = Minisat::vec; Deleted = Minisat::WatcherDeleted]’ solvers/mergesat3/core/OnlineProofChecker.h:137:33: required from here solvers/mergesat3/mtl/Vec.h:162:32: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Minisat::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] T *newdata = (T *)::realloc(data, (cap + add) * sizeof(T)); ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ solvers/mergesat3/mtl/Vec.h:38:26: note: ‘class Minisat::vec’ declared here template class vec ^~~ In file included from solvers/gluecard41/mtl/Heap.h:24, from solvers/gluecard41/core/Solver.h:53, from solvers/pysolvers.cc:38: solvers/gluecard41/mtl/Vec.h: In instantiation of ‘void Gluecard41::vec::capacity(int) [with T = Gluecard41::Map, long unsigned int>::Pair]’: solvers/gluecard41/mtl/Vec.h:74:57: required from ‘void Gluecard41::vec::push() [with T = Gluecard41::Map, long unsigned int>::Pair]’ solvers/gluecard41/mtl/Map.h:81:9: required from ‘void Gluecard41::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Gluecard41::Hash >; E = Gluecard41::Equal >]’ solvers/gluecard41/mtl/Map.h:140:76: required from ‘void Gluecard41::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Gluecard41::Hash >; E = Gluecard41::Equal >]’ solvers/gluecard41/core/SolverStats.h:73:31: required from here solvers/gluecard41/mtl/Vec.h:121:55: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘struct Gluecard41::Map, long unsigned int>::Pair’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from solvers/gluecard41/core/SolverTypes.h:66, from solvers/gluecard41/core/Solver.h:56, from solvers/pysolvers.cc:38: solvers/gluecard41/mtl/Map.h:62:12: note: ‘struct Gluecard41::Map, long unsigned int>::Pair’ declared here struct Pair { K key; D data; }; ^~~~ In file included from solvers/glucose41/mtl/Heap.h:24, from solvers/glucose41/core/Solver.h:53, from solvers/pysolvers.cc:46: solvers/glucose41/mtl/Vec.h: In instantiation of ‘void Glucose41::vec::capacity(int) [with T = Glucose41::Map, long unsigned int>::Pair]’: solvers/glucose41/mtl/Vec.h:74:57: required from ‘void Glucose41::vec::push() [with T = Glucose41::Map, long unsigned int>::Pair]’ solvers/glucose41/mtl/Map.h:81:9: required from ‘void Glucose41::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose41::Hash >; E = Glucose41::Equal >]’ solvers/glucose41/mtl/Map.h:140:76: required from ‘void Glucose41::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose41::Hash >; E = Glucose41::Equal >]’ solvers/glucose41/core/SolverStats.h:73:31: required from here solvers/glucose41/mtl/Vec.h:121:55: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘struct Glucose41::Map, long unsigned int>::Pair’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from solvers/glucose41/core/SolverTypes.h:66, from solvers/glucose41/core/Solver.h:56, from solvers/pysolvers.cc:46: solvers/glucose41/mtl/Map.h:62:12: note: ‘struct Glucose41::Map, long unsigned int>::Pair’ declared here struct Pair { K key; D data; }; ^~~~ In file included from solvers/glucose421/mtl/Heap.h:24, from solvers/glucose421/core/Solver.h:53, from solvers/pysolvers.cc:50: solvers/glucose421/mtl/Vec.h: In instantiation of ‘void Glucose421::vec::capacity(int) [with T = Glucose421::Map, long unsigned int>::Pair]’: solvers/glucose421/mtl/Vec.h:74:57: required from ‘void Glucose421::vec::push() [with T = Glucose421::Map, long unsigned int>::Pair]’ solvers/glucose421/mtl/Map.h:81:9: required from ‘void Glucose421::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose421::Hash >; E = Glucose421::Equal >]’ solvers/glucose421/mtl/Map.h:140:76: required from ‘void Glucose421::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose421::Hash >; E = Glucose421::Equal >]’ solvers/glucose421/core/SolverStats.h:73:31: required from here solvers/glucose421/mtl/Vec.h:121:55: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘struct Glucose421::Map, long unsigned int>::Pair’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from solvers/glucose421/core/SolverTypes.h:66, from solvers/glucose421/core/Solver.h:56, from solvers/pysolvers.cc:50: solvers/glucose421/mtl/Map.h:62:12: note: ‘struct Glucose421::Map, long unsigned int>::Pair’ declared here struct Pair { K key; D data; }; ^~~~ g++ -pthread -shared -Wl,-z,relro -Wl,-z,now -g -Wl,-z,relro -Wl,-z,now -g -Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection build/temp.linux-aarch64-3.6/solvers/pysolvers.o -Lsolvers/cadical103 -Lsolvers/cadical153 -Lsolvers/cadical195 -Lsolvers/gluecard30 -Lsolvers/gluecard41 -Lsolvers/glucose30 -Lsolvers/glucose41 -Lsolvers/glucose421 -Lsolvers/lingeling -Lsolvers/maplechrono -Lsolvers/maplecm -Lsolvers/maplesat -Lsolvers/mergesat3 -Lsolvers/minicard -Lsolvers/minisat22 -Lsolvers/minisatgh -L/usr/lib64 -lcadical103 -lcadical153 -lcadical195 -lgluecard30 -lgluecard41 -lglucose30 -lglucose41 -lglucose421 -llingeling -lmaplechrono -lmaplecm -lmaplesat -lmergesat3 -lminicard -lminisat22 -lminisatgh -lstdc++ -lpython3.6m -o build/lib.linux-aarch64-3.6/pysolvers.cpython-36m-aarch64-linux-gnu.so running build_scripts creating build/scripts-3.6 copying and adjusting examples/fm.py -> build/scripts-3.6 copying and adjusting examples/genhard.py -> build/scripts-3.6 copying and adjusting examples/lbx.py -> build/scripts-3.6 copying and adjusting examples/lsu.py -> build/scripts-3.6 copying and adjusting examples/mcsls.py -> build/scripts-3.6 copying and adjusting examples/models.py -> build/scripts-3.6 copying and adjusting examples/musx.py -> build/scripts-3.6 copying and adjusting examples/optux.py -> build/scripts-3.6 copying and adjusting examples/rc2.py -> build/scripts-3.6 copying and adjusting allies/approxmc.py -> build/scripts-3.6 copying and adjusting allies/unigen.py -> build/scripts-3.6 changing mode of build/scripts-3.6/fm.py from 644 to 755 changing mode of build/scripts-3.6/genhard.py from 644 to 755 changing mode of build/scripts-3.6/lbx.py from 644 to 755 changing mode of build/scripts-3.6/lsu.py from 644 to 755 changing mode of build/scripts-3.6/mcsls.py from 644 to 755 changing mode of build/scripts-3.6/models.py from 644 to 755 changing mode of build/scripts-3.6/musx.py from 644 to 755 changing mode of build/scripts-3.6/optux.py from 644 to 755 changing mode of build/scripts-3.6/rc2.py from 644 to 755 changing mode of build/scripts-3.6/approxmc.py from 644 to 755 changing mode of build/scripts-3.6/unigen.py from 644 to 755 /usr/lib64/python3.6/tarfile.py:2221: RuntimeWarning: The default behavior of tarfile extraction has been changed to disallow common exploits (including CVE-2007-4559). By default, absolute/parent paths are disallowed and some mode bits are cleared. See https://access.redhat.com/articles/7004769 for more details. RuntimeWarning) + sleep 1 + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.LktHyS + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64 ++ dirname /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64 + cd pysat + CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection' + LDFLAGS='-Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' + /usr/bin/python3.6 setup.py install -O1 --skip-build --root /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64 running install running install_lib creating /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr creating /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64 creating /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6 creating /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages copying build/lib.linux-aarch64-3.6/pysolvers.cpython-36m-aarch64-linux-gnu.so -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages copying build/lib.linux-aarch64-3.6/pycard.cpython-36m-aarch64-linux-gnu.so -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages creating /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat creating /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/allies copying build/lib.linux-aarch64-3.6/pysat/allies/__init__.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/allies copying build/lib.linux-aarch64-3.6/pysat/allies/unigen.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/allies copying build/lib.linux-aarch64-3.6/pysat/allies/approxmc.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/allies creating /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/examples copying build/lib.linux-aarch64-3.6/pysat/examples/__init__.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/examples copying build/lib.linux-aarch64-3.6/pysat/examples/fm.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/examples copying build/lib.linux-aarch64-3.6/pysat/examples/genhard.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/examples copying build/lib.linux-aarch64-3.6/pysat/examples/hitman.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/examples copying build/lib.linux-aarch64-3.6/pysat/examples/lbx.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/examples copying build/lib.linux-aarch64-3.6/pysat/examples/lsu.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/examples copying build/lib.linux-aarch64-3.6/pysat/examples/mcsls.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/examples copying build/lib.linux-aarch64-3.6/pysat/examples/models.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/examples copying build/lib.linux-aarch64-3.6/pysat/examples/musx.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/examples copying build/lib.linux-aarch64-3.6/pysat/examples/optux.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/examples copying build/lib.linux-aarch64-3.6/pysat/examples/rc2.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/examples copying build/lib.linux-aarch64-3.6/pysat/examples/usage.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/examples copying build/lib.linux-aarch64-3.6/pysat/__init__.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat copying build/lib.linux-aarch64-3.6/pysat/_fileio.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat copying build/lib.linux-aarch64-3.6/pysat/_utils.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat copying build/lib.linux-aarch64-3.6/pysat/card.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat copying build/lib.linux-aarch64-3.6/pysat/engines.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat copying build/lib.linux-aarch64-3.6/pysat/formula.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat copying build/lib.linux-aarch64-3.6/pysat/pb.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat copying build/lib.linux-aarch64-3.6/pysat/process.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat copying build/lib.linux-aarch64-3.6/pysat/solvers.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat byte-compiling /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/allies/__init__.py to __init__.cpython-36.pyc byte-compiling /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/allies/unigen.py to unigen.cpython-36.pyc byte-compiling /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/allies/approxmc.py to approxmc.cpython-36.pyc byte-compiling /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/examples/__init__.py to __init__.cpython-36.pyc byte-compiling /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/examples/fm.py to fm.cpython-36.pyc byte-compiling /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/examples/genhard.py to genhard.cpython-36.pyc byte-compiling /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/examples/hitman.py to hitman.cpython-36.pyc byte-compiling /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/examples/lbx.py to lbx.cpython-36.pyc byte-compiling /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/examples/lsu.py to lsu.cpython-36.pyc byte-compiling /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/examples/mcsls.py to mcsls.cpython-36.pyc byte-compiling /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/examples/models.py to models.cpython-36.pyc byte-compiling /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/examples/musx.py to musx.cpython-36.pyc byte-compiling /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/examples/optux.py to optux.cpython-36.pyc byte-compiling /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/examples/rc2.py to rc2.cpython-36.pyc byte-compiling /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/examples/usage.py to usage.cpython-36.pyc byte-compiling /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/__init__.py to __init__.cpython-36.pyc byte-compiling /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/_fileio.py to _fileio.cpython-36.pyc byte-compiling /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/_utils.py to _utils.cpython-36.pyc byte-compiling /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/card.py to card.cpython-36.pyc byte-compiling /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/engines.py to engines.cpython-36.pyc byte-compiling /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/formula.py to formula.cpython-36.pyc byte-compiling /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/pb.py to pb.cpython-36.pyc byte-compiling /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/process.py to process.cpython-36.pyc byte-compiling /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysat/solvers.py to solvers.cpython-36.pyc writing byte-compilation script '/tmp/tmprppy5n3m.py' /usr/bin/python3.6 /tmp/tmprppy5n3m.py removing /tmp/tmprppy5n3m.py running install_egg_info running egg_info creating python_sat.egg-info writing python_sat.egg-info/PKG-INFO writing dependency_links to python_sat.egg-info/dependency_links.txt writing requirements to python_sat.egg-info/requires.txt writing top-level names to python_sat.egg-info/top_level.txt writing manifest file 'python_sat.egg-info/SOURCES.txt' reading manifest file 'python_sat.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' writing manifest file 'python_sat.egg-info/SOURCES.txt' Copying python_sat.egg-info to /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/python_sat-1.8.dev12-py3.6.egg-info running install_scripts creating /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/bin copying build/scripts-3.6/unigen.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/bin copying build/scripts-3.6/approxmc.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/bin copying build/scripts-3.6/rc2.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/bin copying build/scripts-3.6/optux.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/bin copying build/scripts-3.6/musx.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/bin copying build/scripts-3.6/models.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/bin copying build/scripts-3.6/mcsls.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/bin copying build/scripts-3.6/lsu.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/bin copying build/scripts-3.6/lbx.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/bin copying build/scripts-3.6/genhard.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/bin copying build/scripts-3.6/fm.py -> /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/bin changing mode of /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/bin/unigen.py to 755 changing mode of /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/bin/approxmc.py to 755 changing mode of /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/bin/rc2.py to 755 changing mode of /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/bin/optux.py to 755 changing mode of /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/bin/musx.py to 755 changing mode of /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/bin/models.py to 755 changing mode of /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/bin/mcsls.py to 755 changing mode of /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/bin/lsu.py to 755 changing mode of /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/bin/lbx.py to 755 changing mode of /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/bin/genhard.py to 755 changing mode of /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/bin/fm.py to 755 + /usr/lib/rpm/find-debuginfo.sh -j4 --strict-build-id -m -i --build-id-seed 0.1.7-20240418.0.git97505cb7.el8 --unique-debug-suffix -0.1.7-20240418.0.git97505cb7.el8.aarch64 --unique-debug-src-base pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/pysat extracting debug info from /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pycard.cpython-36m-aarch64-linux-gnu.so extracting debug info from /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6/site-packages/pysolvers.cpython-36m-aarch64-linux-gnu.so /usr/lib/rpm/sepdebugcrcfix: Updated 2 CRC32s, 0 CRC32s did match. 2508 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig /sbin/ldconfig: Warning: ignoring configuration file that cannot be opened: /etc/ld.so.conf: No such file or directory + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/brp-python-bytecompile '' 1 Bytecompiling .py files below /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib/debug/usr/lib64/python3.6 using /usr/libexec/platform-python Bytecompiling .py files below /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/lib64/python3.6 using /usr/libexec/platform-python + /usr/lib/rpm/brp-python-hardlink + PYTHON3=/usr/bin/python3.6 + /usr/lib/rpm/redhat/brp-mangle-shebangs Processing files: pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.brLU0c + umask 022 + cd /builddir/build/BUILD + cd pysat + DOCDIR=/builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/share/doc/pysat + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/share/doc/pysat + cp -pr README.rst /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/share/doc/pysat + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.boD9zF + umask 022 + cd /builddir/build/BUILD + cd pysat + LICENSEDIR=/builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/share/licenses/pysat + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/share/licenses/pysat + cp -pr LICENSE.txt /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64/usr/share/licenses/pysat + exit 0 Provides: pysat = 0.1.7-20240418.0.git97505cb7.el8 pysat(aarch-64) = 0.1.7-20240418.0.git97505cb7.el8 python3.6dist(python-sat) = 1.8.dev12 python3dist(python-sat) = 1.8.dev12 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PartialHardlinkSets) <= 4.0.4-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: /usr/bin/python3.6 ld-linux-aarch64.so.1()(64bit) ld-linux-aarch64.so.1(GLIBC_2.17)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.17)(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.17)(64bit) libpthread.so.0()(64bit) libpthread.so.0(GLIBC_2.17)(64bit) libpython3.6m.so.1.0()(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.8)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.11)(64bit) libstdc++.so.6(GLIBCXX_3.4.18)(64bit) libstdc++.so.6(GLIBCXX_3.4.20)(64bit) libstdc++.so.6(GLIBCXX_3.4.21)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) python(abi) = 3.6 python3.6dist(six) rtld(GNU_HASH) Processing files: pysat-debugsource-0.1.7-20240418.0.git97505cb7.el8.aarch64 Provides: pysat-debugsource = 0.1.7-20240418.0.git97505cb7.el8 pysat-debugsource(aarch-64) = 0.1.7-20240418.0.git97505cb7.el8 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: pysat-debuginfo-0.1.7-20240418.0.git97505cb7.el8.aarch64 Provides: debuginfo(build-id) = 8cff96dfd514ab1b615aea8a3586f36ebb57e912 debuginfo(build-id) = f7cc1b54f301bd3539287d86bbbdfa8cd8d26452 pysat-debuginfo = 0.1.7-20240418.0.git97505cb7.el8 pysat-debuginfo(aarch-64) = 0.1.7-20240418.0.git97505cb7.el8 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: pysat-debugsource(aarch-64) = 0.1.7-20240418.0.git97505cb7.el8 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64 Wrote: /builddir/build/RPMS/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64.rpm Wrote: /builddir/build/RPMS/pysat-debugsource-0.1.7-20240418.0.git97505cb7.el8.aarch64.rpm Wrote: /builddir/build/RPMS/pysat-debuginfo-0.1.7-20240418.0.git97505cb7.el8.aarch64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.P4EZxO + umask 022 + cd /builddir/build/BUILD + cd pysat + /usr/bin/rm -rf /builddir/build/BUILDROOT/pysat-0.1.7-20240418.0.git97505cb7.el8.aarch64 + exit 0 Finish: rpmbuild pysat-0.1.7-20240418.0.git97505cb7.el8.src.rpm Finish: build phase for pysat-0.1.7-20240418.0.git97505cb7.el8.src.rpm INFO: chroot_scan: 3 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/rhel+epel-8-aarch64-1714006879.613669/root/var/log/dnf.rpm.log /var/lib/mock/rhel+epel-8-aarch64-1714006879.613669/root/var/log/dnf.librepo.log /var/lib/mock/rhel+epel-8-aarch64-1714006879.613669/root/var/log/dnf.log INFO: Done(/var/lib/copr-rpmbuild/results/pysat-0.1.7-20240418.0.git97505cb7.el8.src.rpm) Config(child) 3 minutes 6 seconds INFO: Results and/or logs in: /var/lib/copr-rpmbuild/results INFO: Cleaning up build root ('cleanup_on_success=True') Start: clean chroot INFO: unmounting tmpfs. Finish: clean chroot Finish: run Running RPMResults tool Package info: { "packages": [ { "name": "pysat", "epoch": null, "version": "0.1.7", "release": "20240418.0.git97505cb7.el8", "arch": "aarch64" }, { "name": "pysat-debuginfo", "epoch": null, "version": "0.1.7", "release": "20240418.0.git97505cb7.el8", "arch": "aarch64" }, { "name": "pysat", "epoch": null, "version": "0.1.7", "release": "20240418.0.git97505cb7.el8", "arch": "src" }, { "name": "pysat-debugsource", "epoch": null, "version": "0.1.7", "release": "20240418.0.git97505cb7.el8", "arch": "aarch64" } ] } RPMResults finished