Your message dated Thu, 13 Feb 2014 15:21:03 +0000
with message-id <e1wdy63-0006mo...@franck.debian.org>
and subject line Bug#730352: fixed in isl 0.12.2-1
has caused the Debian Bug report #730352,
regarding libisl-dev: /usr/include/isl/union_map.h:114:45: error: unknown type
name 'isl_multi_aff'
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 ow...@bugs.debian.org
immediately.)
--
730352: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=730352
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: libisl-dev
Version: 0.12.1-1
Severity: serious
Hi,
upon builing llvm-toolchain-3.2, I noticed that union_map.h from libisl-dev
made it FTBFS.
Consider the following minimal example.c program:
#include <isl/union_map.h>
int main() {
return 0;
}
Results in:
In file included from test1.c:1:0:
/usr/include/isl/union_map.h:114:45: error: unknown type name ?isl_multi_aff?
__isl_take isl_union_map *umap, __isl_take isl_multi_aff *ma);
^
Roland
-- System Information:
Debian Release: 7.0
APT prefers unreleased
APT policy: (500, 'unreleased'), (500, 'unstable')
Architecture: powerpcspe (ppc)
Kernel: Linux 3.9.0-dirty (SMP w/2 CPU cores)
Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
--- End Message ---
--- Begin Message ---
Source: isl
Source-Version: 0.12.2-1
We believe that the bug you reported is fixed in the latest version of
isl, 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 730...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Matthias Klose <d...@debian.org> (supplier of updated isl 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 ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 13 Feb 2014 14:51:31 +0100
Source: isl
Binary: libisl-dev libisl-dbg libisl10
Architecture: source amd64
Version: 0.12.2-1
Distribution: unstable
Urgency: medium
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Changed-By: Matthias Klose <d...@debian.org>
Description:
libisl-dbg - manipulating sets and relations of integer points bounded by line
libisl-dev - manipulating sets and relations of integer points bounded by line
libisl10 - manipulating sets and relations of integer points bounded by line
Closes: 730352
Changes:
isl (0.12.2-1) unstable; urgency=medium
.
* New upstream release.
* Fix header file. Closes: #730352.
* Build using dh-autoreconf.
* Update symbols file.
Checksums-Sha1:
7d441693f2bddcd2c89dd311d80e5ae451169a96 1222 isl_0.12.2-1.dsc
ca98a91e35fb3ded10d080342065919764d6f928 1319434 isl_0.12.2.orig.tar.bz2
0cef7cc58f630e4b4d11cd95c204fcbe2394db9d 15756 isl_0.12.2-1.debian.tar.xz
b8fa17093dfc0170ccf424dc4488bdbffeb478ff 451854 libisl-dev_0.12.2-1_amd64.deb
873f8962180fe27f677ce1f53e775c97f34e26c7 917184 libisl-dbg_0.12.2-1_amd64.deb
b5f661da38e91281b4a42858185ed6bc4051df3f 436094 libisl10_0.12.2-1_amd64.deb
Checksums-Sha256:
8596835c24f052e3b9e087949016c519d987d6dc0e71bea4ba15e241edb1fa2f 1222
isl_0.12.2-1.dsc
f4b3dbee9712850006e44f0db2103441ab3d13b406f77996d1df19ee89d11fb4 1319434
isl_0.12.2.orig.tar.bz2
582a3c1c804c9fb430bf5d2f2d5d82aa541704e796bec2389df697a7e80ad5e2 15756
isl_0.12.2-1.debian.tar.xz
f4e0a2156ac9cb0dc621a6df1fbca7cb2f9a816f36903ce4e31c46855b135048 451854
libisl-dev_0.12.2-1_amd64.deb
25184909be464f7df02bfe7aaadf9079ca72873ccac3ce0d89303826838d9376 917184
libisl-dbg_0.12.2-1_amd64.deb
efcdffefb8cd199279062f96b065a090872edac7485961e138159f81cdba09ad 436094
libisl10_0.12.2-1_amd64.deb
Files:
5a528f1327c41cfc9e226eb7e3a3324d 1222 libs optional isl_0.12.2-1.dsc
e039bfcfb6c2ab039b8ee69bf883e824 1319434 libs optional isl_0.12.2.orig.tar.bz2
03ed319c9005c1595a1eb7ccc88af057 15756 libs optional isl_0.12.2-1.debian.tar.xz
cc8d34dfc3a4c156fc31a4d7f023a1e6 451854 libdevel optional
libisl-dev_0.12.2-1_amd64.deb
bc6872aea72800e139e91fc6767b376e 917184 debug extra
libisl-dbg_0.12.2-1_amd64.deb
b0e55f82670565f3e223e0ea7440d4dd 436094 libs optional
libisl10_0.12.2-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iEYEARECAAYFAlL80qcACgkQStlRaw+TLJyl6QCdHIyAV09bIjA9rty6eTwpMrc/
qm0Ani6vkg8xn0iK3LeUL9aBtB03bvCZ
=gXko
-----END PGP SIGNATURE-----
--- End Message ---