* [#350315] FAILED z3.git=4.13.0-alt1
@ 2024-06-04 15:25 Girar awaiter (grenka)
0 siblings, 0 replies; only message in thread
From: Girar awaiter (grenka) @ 2024-06-04 15:25 UTC (permalink / raw)
To: Grigory Ustinov; +Cc: sisyphus-incominger, girar-builder-sisyphus
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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2024-06-04 15:25 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-06-04 15:25 [#350315] FAILED z3.git=4.13.0-alt1 Girar awaiter (grenka)
ALT Linux Girar Builder robot reports
This inbox may be cloned and mirrored by anyone:
git clone --mirror http://lore.altlinux.org/sisyphus-incominger/0 sisyphus-incominger/git/0.git
# If you have public-inbox 1.1+ installed, you may
# initialize and index your mirror using the following commands:
public-inbox-init -V2 sisyphus-incominger sisyphus-incominger/ http://lore.altlinux.org/sisyphus-incominger \
sisyphus-incominger@lists.altlinux.org sisyphus-incominger@lists.altlinux.ru sisyphus-incominger@lists.altlinux.com
public-inbox-index sisyphus-incominger
Example config snippet for mirrors.
Newsgroup available over NNTP:
nntp://lore.altlinux.org/org.altlinux.lists.sisyphus-incominger
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git