[#350315] FAILED z3.git=4.13.0-alt1

[Girar awaiter (grenka)]

https://git.altlinux.org/tasks/350315/logs/events.1.1.log

subtask  name  aarch64  i586  ppc64le  x86_64
   #100  z3     failed  5:56   failed  failed

2024-Jun-04 15:18:18 :: task #350315 for sisyphus started by grenka:
#100 build 4.13.0-alt1 from /people/grenka/packages/z3.git fetched at 2024-Jun-04 15:18:16
2024-Jun-04 15:18:20 :: [ppc64le] #100 z3.git 4.13.0-alt1: build start
2024-Jun-04 15:18:20 :: [i586] #100 z3.git 4.13.0-alt1: build start
2024-Jun-04 15:18:20 :: [x86_64] #100 z3.git 4.13.0-alt1: build start
2024-Jun-04 15:18:20 :: [aarch64] #100 z3.git 4.13.0-alt1: build start
[x86_64] find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services)
[x86_64] /usr/src/tmp/z3-buildroot/usr/include/z3++.h:23:9: fatal error: cassert: No such file or directory
[x86_64]    23 | #include<cassert>
[x86_64] --
[x86_64] cpp.req: /usr/src/tmp/z3-buildroot/usr/include/z3++.h: cpp failed, trying c++ mode
[x86_64] /usr/src/tmp/z3-buildroot/usr/include/z3_v1.h:23:10: fatal error: api/z3.h: No such file or directory
[x86_64]    23 | #include "api/z3.h"
[x86_64] --
[x86_64] Processing files: python3-module-z3-4.13.0-alt1
[x86_64] error: No such file or directory: /usr/src/tmp/z3-buildroot/usr/lib64/python3/site-packages/z3
[x86_64] RPM build errors:
[x86_64]     No such file or directory: /usr/src/tmp/z3-buildroot/usr/lib64/python3/site-packages/z3
2024-Jun-04 15:22:04 :: [x86_64] z3.git 4.13.0-alt1: remote: build failed
2024-Jun-04 15:22:04 :: [x86_64] #100 z3.git 4.13.0-alt1: build FAILED
2024-Jun-04 15:22:04 :: [x86_64] requesting cancellation of task processing
[ppc64le] find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services)
[ppc64le] /usr/src/tmp/z3-buildroot/usr/include/z3++.h:23:9: fatal error: cassert: No such file or directory
[ppc64le]    23 | #include<cassert>
[ppc64le] --
[ppc64le] cpp.req: /usr/src/tmp/z3-buildroot/usr/include/z3++.h: cpp failed, trying c++ mode
[ppc64le] /usr/src/tmp/z3-buildroot/usr/include/z3_v1.h:23:10: fatal error: api/z3.h: No such file or directory
[ppc64le]    23 | #include "api/z3.h"
[ppc64le] --
[ppc64le] Processing files: python3-module-z3-4.13.0-alt1
[ppc64le] error: No such file or directory: /usr/src/tmp/z3-buildroot/usr/lib64/python3/site-packages/z3
[ppc64le] RPM build errors:
[ppc64le]     No such file or directory: /usr/src/tmp/z3-buildroot/usr/lib64/python3/site-packages/z3
2024-Jun-04 15:23:38 :: [ppc64le] z3.git 4.13.0-alt1: remote: build failed
2024-Jun-04 15:23:38 :: [ppc64le] #100 z3.git 4.13.0-alt1: build FAILED
2024-Jun-04 15:24:16 :: [i586] #100 z3.git 4.13.0-alt1: build OK
[aarch64] find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services)
[aarch64] /usr/src/tmp/z3-buildroot/usr/include/z3++.h:23:9: fatal error: cassert: No such file or directory
[aarch64]    23 | #include<cassert>
[aarch64] --
[aarch64] cpp.req: /usr/src/tmp/z3-buildroot/usr/include/z3++.h: cpp failed, trying c++ mode
[aarch64] /usr/src/tmp/z3-buildroot/usr/include/z3_v1.h:23:10: fatal error: api/z3.h: No such file or directory
[aarch64]    23 | #include "api/z3.h"
[aarch64] --
[aarch64] Processing files: python3-module-z3-4.13.0-alt1
[aarch64] error: No such file or directory: /usr/src/tmp/z3-buildroot/usr/lib64/python3/site-packages/z3
[aarch64] RPM build errors:
[aarch64]     No such file or directory: /usr/src/tmp/z3-buildroot/usr/lib64/python3/site-packages/z3
2024-Jun-04 15:25:00 :: [aarch64] z3.git 4.13.0-alt1: remote: build failed
2024-Jun-04 15:25:00 :: [aarch64] #100 z3.git 4.13.0-alt1: build FAILED
2024-Jun-04 15:22:04 :: [x86_64] build FAILED
2024-Jun-04 15:23:39 :: [ppc64le] build FAILED
2024-Jun-04 15:25:01 :: [aarch64] build FAILED
2024-Jun-04 15:25:01 :: task #350315 for sisyphus FAILED