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 vim.
Your IP: 54.234.191.202

coq ecbaacdd-bbc8-43bd-9435-de364b27cc2f

Status:Failed
Source URL:https://buildlogs.pld-linux.org/pld/th/x32/FAIL/coq,ecbaacdd-bbc8-43bd-9435-de364b27cc2f.bz2
text/plain URL:View!
rpm -qa of builder:View!
Date:2021/11/22 00:14:35

Toc:

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

Content:

request from: baggins
checking if we should skip the build
started at: Mon Nov 22 00:14:34 2021
killing old processes on a builder
sending signal 9 to pid -1
cleaning up /tmp
fetching https://srcbuilder.pld-linux.org/th//srpms/ecbaacdd-bbc8-43bd-9435-de364b27cc2f/coq-8.13.1-4.src.rpm
fetched 6952898 bytes, 12485.3 K/s
installing srpm: coq-8.13.1-4.src.rpm
+ install -d /tmp/B.bfhdva3o/BUILD /tmp/B.bfhdva3o/RPMS
+ LC_ALL=en_US.UTF-8
+ rpm -qp --changelog coq-8.13.1-4.src.rpm
* Mon Nov 22 2021 PLD Linux Team <feedback@pld-linux.org>
- For complete changelog see: http://git.pld-linux.org/?p=packages/coq.git;a=log;h=master
* Mon Nov 22 2021 Jan Rękorajski <baggins@pld-linux.org> 78adac8
- Release 4 (by relup.sh) * Sat Nov 20 2021 Jan Rękorajski <baggins@pld-linux.org> 02bfb0d
- rebuild with separate debuginfo build-ids * Mon Mar 29 2021 Jan Rękorajski <baggins@pld-linux.org> 3809f5d
- filter out autodeps on private interfaces - rel 2 * Sun Mar 28 2021 Jakub Bogusz <qboosh@pld-linux.org> 39bb026
- arm is a macro containing actual arm subarchs * Sun Mar 28 2021 Jan Rękorajski <baggins@pld-linux.org> 3e0583a
- no go on x32 * Sun Mar 28 2021 Jan Rękorajski <baggins@pld-linux.org> b2cb898
- up to 8.13.1 * Tue Jun 06 2017 Jan Rękorajski <baggins@pld-linux.org> 6b871b2
- up to 8.6 * Mon Jun 05 2017 Jan Rękorajski <baggins@pld-linux.org> 1993b99
- rebuild with ocaml 4.04.1 - release 3 (by relup.sh) * Mon Mar 21 2016 Jan Rękorajski <baggins@pld-linux.org> 0e56eeb
- release 2 (by relup.sh) * Mon Jul 27 2015 Jakub Bogusz <qboosh@pld-linux.org> 8343700
- updated to 8.4pl6 - even more TeX BRs * Sat Jul 25 2015 Jan Rękorajski <baggins@pld-linux.org> d094e2c
- rel 2 * Sat Jul 25 2015 Jan Rękorajski <baggins@pld-linux.org> 9e2234f
- updated BRs and files * Sat Jul 25 2015 Jan Rękorajski <baggins@pld-linux.org> 4822684
- add ocaml_opt bcond * Sun Nov 16 2014 Jan Rękorajski <baggins@pld-linux.org> 7f3d6db
- up to 8.4pl5 * Sun Nov 16 2014 Jan Rękorajski <baggins@pld-linux.org> f6f27c4
- rebuild with ocaml 4.02 - release 2 (by relup.sh) * Wed Apr 30 2014 Jan Rękorajski <baggins@pld-linux.org> 650aa0b
- up to 8.4pl3 * Tue May 14 2013 Jan Rękorajski <baggins@pld-linux.org> f449971
- rel 2 * Fri Apr 08 2011 Jan Rękorajski <baggins@pld-linux.org> 053cd42
- rel 1 * Fri Apr 08 2011 Jan Rękorajski <baggins@pld-linux.org> c10c241
- package installed docs * Fri Apr 08 2011 Jan Rękorajski <baggins@pld-linux.org> 857e15b
- TODO and proper explanation why tests fail - made make loud + rpm -Uhv --nodeps --define '_topdir /tmp/B.bfhdva3o' --define '_specdir %{_topdir}' --define '_sourcedir %{_specdir}' --define '_rpmdir %{_topdir}/RPMS' --define '_builddir %{_topdir}/BUILD' coq-8.13.1-4.src.rpm Updating / installing... coq-8.13.1-4 ######################################## + rm -f coq-8.13.1-4.src.rpm + install -m 700 -d /tmp/B.bfhdva3o/BUILD/tmp + TMPDIR=/tmp/B.bfhdva3o/BUILD/tmp + exec nice -n 0 rpmbuild -bp --short-circuit --nodeps --define '_topdir /tmp/B.bfhdva3o' --define '_specdir %{_topdir}' --define '_sourcedir %{_specdir}' --define '_rpmdir %{_topdir}/RPMS' --define '_builddir %{_topdir}/BUILD' --target x32-pld-linux --define 'prep exit 0' /tmp/B.bfhdva3o/coq.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.bfhdva3o/BUILD/tmp exec nice -n 0 rpmbuild -bp --short-circuit --nodeps --define '_topdir /tmp/B.bfhdva3o' --define '_specdir %{_topdir}' --define '_sourcedir %{_specdir}' --define '_rpmdir %{_topdir}/RPMS' --define '_builddir %{_topdir}/BUILD' --target x32-pld-linux --define 'prep exit 0' /tmp/B.bfhdva3o/coq.spec) failed + chmod -R u+rwX /tmp/B.bfhdva3o/BUILD + rm -rf /tmp/B.bfhdva3o/tmp /tmp/B.bfhdva3o/BUILD + rm -rf /tmp/B.bfhdva3o Begin-PLD-Builder-Info Build-Time: user:0.62s sys:0.40s real:1.54s (faults io:0 non-io:67482) End-PLD-Builder-Info
[Back to list of logs] [View rpm -qa of builder]