Your message dated Tue, 25 Mar 2014 07:03:26 +0000
with message-id <[email protected]>
and subject line Bug#742514: fixed in clasp 3.0.2-2
has caused the Debian Bug report #742514,
regarding clasp: fix up TBB handling for ppc64el
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
742514: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=742514
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: clasp
Version: 2.1.4-1
Severity: normal
Tags: patch
User: [email protected]
Usertags: origin-ubuntu ubuntu-patch trusty
clasp failed to build on Ubuntu's ppc64el architecture (little-endian
ppc64) because the debian/rules check is a bit imprecise: it matches
substrings rather than the full architecture name. The following patch
fixes that, and also adds ppc64el to the list of architectures where
libtbb-dev is available.
* Match the whole line in dpkg-architecture -qDEB_BUILD_ARCH check, to
avoid getting confused by substrings.
* Use TBB on ppc64el.
diff -Nru clasp-2.1.4/debian/control clasp-2.1.4/debian/control
--- clasp-2.1.4/debian/control 2013-05-21 08:25:28.000000000 +0100
+++ clasp-2.1.4/debian/control 2014-03-24 16:30:04.000000000 +0000
@@ -5,7 +5,7 @@
Uploaders: Thomas Krennwallner <[email protected]>
Build-Depends: debhelper (>= 9),
dpkg-dev (>= 1.16.1~),
- libtbb-dev (>= 4.0+r233) [amd64 ia64 ppc64]
+ libtbb-dev (>= 4.0+r233) [amd64 ia64 ppc64 ppc64el]
Standards-Version: 3.9.4
Vcs-Git: git://git.debian.org/git/debian-science/packages/clasp.git
Vcs-Browser: http://git.debian.org/?p=debian-science/packages/clasp.git
diff -Nru clasp-2.1.4/debian/rules clasp-2.1.4/debian/rules
--- clasp-2.1.4/debian/rules 2012-08-27 22:05:23.000000000 +0100
+++ clasp-2.1.4/debian/rules 2014-03-24 16:33:46.000000000 +0000
@@ -12,7 +12,7 @@
# or compatible hardware, this package only supports Pentium4-compatible
# and higher processors.
#
-arch = $(shell dpkg-architecture -qDEB_BUILD_ARCH | egrep "(amd64|ia64|ppc64)")
+arch = $(shell dpkg-architecture -qDEB_BUILD_ARCH | egrep -x
"(amd64|ia64|ppc64|ppc64el)")
os = $(shell dpkg-architecture -qDEB_BUILD_ARCH_OS | grep linux)
# use hardening config flags for compiling clasp
Thanks,
--
Colin Watson [[email protected]]
--- End Message ---
--- Begin Message ---
Source: clasp
Source-Version: 3.0.2-2
We believe that the bug you reported is fixed in the latest version of
clasp, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Thomas Krennwallner <[email protected]> (supplier of updated clasp package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 25 Mar 2014 07:27:42 +0100
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 3.0.2-2
Distribution: unstable
Urgency: low
Maintainer: Debian Science Maintainers
<[email protected]>
Changed-By: Thomas Krennwallner <[email protected]>
Description:
clasp - conflict-driven nogood learning answer set solver
Closes: 742514
Changes:
clasp (3.0.2-2) unstable; urgency=low
.
* Bug fix: "fix up TBB handling for ppc64el", thanks to Colin Watson
(Closes: #742514).
Checksums-Sha1:
29a41409d3c807c74b655642183c2de2267a083d 1983 clasp_3.0.2-2.dsc
d50568121918f015865e4a5a2f146998a0d9ff1d 6260 clasp_3.0.2-2.debian.tar.xz
c3581e91586c7c5d9bc720f4492bcb26c9daebbf 423586 clasp_3.0.2-2_amd64.deb
Checksums-Sha256:
8e32573e50da79119fa605a657f6d95aab6177621f8ea9f53aca63993900b3bd 1983
clasp_3.0.2-2.dsc
10e4b2b342db63ac188e0cece26a0a4719c221926fe09b113ecfc11269fdf8ff 6260
clasp_3.0.2-2.debian.tar.xz
b7b685a4f0843d234db309920f8ba74717c9da298fcebecbf0199bba5970dd21 423586
clasp_3.0.2-2_amd64.deb
Files:
d405f46fd1b633d92b88927102e21a0f 1983 interpreters extra clasp_3.0.2-2.dsc
06cc2172c2ca66f1b6ff5069a3f1e3d3 6260 interpreters extra
clasp_3.0.2-2.debian.tar.xz
4d3aba21ca3b4ccb4488163e4b36cb35 423586 interpreters extra
clasp_3.0.2-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJTMSk1AAoJECeX33SmZpqpkqMQAIG2v/uQEePm4feo+uIMiUzr
oY0LD9Yqyy1o2x1Xd9gn93BlN2nOYGoQ7+PnF2entwgXBarYQ8TIPNVk78TlLArU
yd+XC0c7jtsdmZSGFtYHSVPKrIHvv1eubDYwybwVTleawEiu4Ks2MxGZR2zTgiEE
/VV38LEOro1oEY/X8hp9vcMw4vR2IW9oYtZwGYG0hFOWmsXx7HnxK8fSQQWKQyi3
pPFZIBD0FDcK2vkZ9L4tw6Xgu4VrKC1mTswd2h65S2J3jhJQXfWGUCNnRcrcJZjn
fk95Xbj0cdCjPKHU8WZ05lf7lj59D4BcTb6TQpFUqxH8Tu7Fme6u0TP/qTFUn704
amxjnbCpgIGERuxy03V1mwrApBYm4epYnSKq+h3zW0pMQRL1Fa8c4GYXV8EXab9V
Aa6mKTGHU1VMfYKre47bOcELgO9OQ7aG+J8mFGXXoXJP1J5Xg8joWuwCTueiddDR
z67j+Vn9baT+RDC+x0XdE+9E9gS8XAByGvAnkwGfXIic3owPnQUu4/Kzcjc0ZhJf
WWcCaSyireIJl/Mg4zRSwSlpGtgguaxRe78dU/m515t5I7dLoSkb5n4c4sQtDx1H
GurYq7X2UeFIyXAgsa1OJDZUfcrXN+7UPS4TmA1RSGu3qxLqxFCWF86hY2g6NGTK
6bsH0ZdHN6SL8dV7NxlW
=JYHz
-----END PGP SIGNATURE-----
--- End Message ---
--
debian-science-maintainers mailing list
[email protected]
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
