# src  : https://buildlogs.pld-linux.org/pld/th/x32/FAIL/why3,e6a16ce1-32f3-4151-9645-fc5b1b0a4784.bz2
# date   : 2021/11/21 09:33:12
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