FailedOk

th/SRPMS[OK]
th/x32[OK]
th/i686[OK]
th/x86_64[OK]

ac/SRPMS[OK]
ac/i386[OK]
ac/i586[OK]
ac/i686[OK]
ac/alpha[OK]
ac/amd64[OK]
ac/athlon[OK]
ac/ppc[OK]
ac/sparc[OK]
ac/sparc64[OK]

Advanced Search
main()
Powered by PLD Linux
(c) 2002-2021 PLD Team
$Revision: 1.37 $
Powered by The Bad Thing.
Your IP: 54.80.173.217

why3 e6a16ce1-32f3-4151-9645-fc5b1b0a4784

Status:Failed
Source URL:https://buildlogs.pld-linux.org/pld/th/x32/FAIL/why3,e6a16ce1-32f3-4151-9645-fc5b1b0a4784.bz2
text/plain URL:View!
rpm -qa of builder:View!
Date:2021/11/21 09:33:12

Toc:

  • error 1
  • error: Architecture is not included: x32
  • error 2
  • error: build arch check (set -ex; TMPDIR=/tmp/B.zs4zfjwd/BUILD/tmp exec nice -n 0 rpmbuild -bp --short-circuit --nodeps --define '_topdir /tmp/B.zs4zfjwd' --define '_specdir %{_topdir}' --define '_sourcedir %{_specdir}' --define '_rpmdir %{_topdir}/RPMS' --define '_builddir %{_topdir}/BUILD' --target x32-pld-linux --define 'prep exit 0' /tmp/B.zs4zfjwd/why3.spec) failed

Content:

request from: baggins
checking if we should skip the build
started at: Sun Nov 21 09:33:10 2021
killing old processes on a builder
sending signal 9 to pid -1
cleaning up /tmp
fetching https://srcbuilder.pld-linux.org/th//srpms/e6a16ce1-32f3-4151-9645-fc5b1b0a4784/why3-1.4.0-3.src.rpm
fetched 6307398 bytes, 10085.1 K/s
installing srpm: why3-1.4.0-3.src.rpm
+ install -d /tmp/B.zs4zfjwd/BUILD /tmp/B.zs4zfjwd/RPMS
+ LC_ALL=en_US.UTF-8
+ rpm -qp --changelog why3-1.4.0-3.src.rpm
* Sat Nov 20 2021 PLD Linux Team <feedback@pld-linux.org>
- For complete changelog see: http://git.pld-linux.org/?p=packages/why3.git;a=log;h=master
* Sat Nov 20 2021 Jan Rękorajski <baggins@pld-linux.org> b69ad0e
- rebuild with separate debuginfo build-ids * Mon Mar 29 2021 Jan Rękorajski <baggins@pld-linux.org> d9dd4fa
- filter out private deps - rel 2 * Mon Mar 29 2021 Jan Rękorajski <baggins@pld-linux.org> 21bfd7e
- follow ocaml-zarith builds * Mon Mar 29 2021 Jan Rękorajski <baggins@pld-linux.org> 86ab24c
- up to 1.4.0 * Tue Jun 06 2017 Jan Rękorajski <baggins@pld-linux.org> 999402a
- updated files - rel 1 * Tue Jun 06 2017 Jan Rękorajski <baggins@pld-linux.org> ab64736
- up to 0.87.3 * Mon Jun 05 2017 Jan Rękorajski <baggins@pld-linux.org> c69f443
- rebuild with ocaml 4.04.1 - release 6 (by relup.sh) * Mon Mar 21 2016 Jan Rękorajski <baggins@pld-linux.org> 87c412a
- release 5 (by relup.sh) * Sun Jul 26 2015 Jan Rękorajski <baggins@pld-linux.org> 91e5445
- release 4 (by relup.sh) * Sun Nov 16 2014 Jan Rękorajski <baggins@pld-linux.org> 1bf0371
- rebuild with ocaml 4.02 - release 3 (by relup.sh) * Tue May 06 2014 Jan Rękorajski <baggins@pld-linux.org> 14e3667
- fixed scripts permissions - rel 2 * Wed Apr 30 2014 Jan Rękorajski <baggins@pld-linux.org> b27c758
- updated to 0.83 * Thu May 16 2013 Jan Rękorajski <baggins@pld-linux.org> 59fd71f
- package examples - rel 2 * Tue May 14 2013 Jan Rękorajski <baggins@pld-linux.org> 51f94c8
- drop (x)emacs BRs * Tue May 14 2013 Jan Rękorajski <baggins@pld-linux.org> 6c13c31
- updated BRs * Tue May 14 2013 Jan Rękorajski <baggins@pld-linux.org> 56491d8
- new + rpm -Uhv --nodeps --define '_topdir /tmp/B.zs4zfjwd' --define '_specdir %{_topdir}' --define '_sourcedir %{_specdir}' --define '_rpmdir %{_topdir}/RPMS' --define '_builddir %{_topdir}/BUILD' why3-1.4.0-3.src.rpm Updating / installing... why3-1.4.0-3 ######################################## + rm -f why3-1.4.0-3.src.rpm + install -m 700 -d /tmp/B.zs4zfjwd/BUILD/tmp + TMPDIR=/tmp/B.zs4zfjwd/BUILD/tmp + exec nice -n 0 rpmbuild -bp --short-circuit --nodeps --define '_topdir /tmp/B.zs4zfjwd' --define '_specdir %{_topdir}' --define '_sourcedir %{_specdir}' --define '_rpmdir %{_topdir}/RPMS' --define '_builddir %{_topdir}/BUILD' --target x32-pld-linux --define 'prep exit 0' /tmp/B.zs4zfjwd/why3.spec error: Architecture is not included: x32 Building target platforms: x32-pld-linux Building for target x32-pld-linux error: build arch check (set -ex; TMPDIR=/tmp/B.zs4zfjwd/BUILD/tmp exec nice -n 0 rpmbuild -bp --short-circuit --nodeps --define '_topdir /tmp/B.zs4zfjwd' --define '_specdir %{_topdir}' --define '_sourcedir %{_specdir}' --define '_rpmdir %{_topdir}/RPMS' --define '_builddir %{_topdir}/BUILD' --target x32-pld-linux --define 'prep exit 0' /tmp/B.zs4zfjwd/why3.spec) failed + chmod -R u+rwX /tmp/B.zs4zfjwd/BUILD + rm -rf /tmp/B.zs4zfjwd/tmp /tmp/B.zs4zfjwd/BUILD + rm -rf /tmp/B.zs4zfjwd Begin-PLD-Builder-Info Build-Time: user:0.62s sys:0.40s real:1.61s (faults io:0 non-io:67550) End-PLD-Builder-Info
[Back to list of logs] [View rpm -qa of builder]