Your message dated Thu, 17 Oct 2013 15:20:15 +0000
with message-id <e1vwpn1-0007ap...@franck.debian.org>
and subject line Bug#721854: fixed in isl 0.12.1-1
has caused the Debian Bug report #721854,
regarding isl: FTBFS due to automake dependancy
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.)
--
721854: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=721854
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: isl
Version: 0.11.2-1
Severity: normal
the dh_autoreconf calls you do mean your dependancy on dh-autoreconf
should be (>=9)
However dh_autoreconf depends on automaken virtual package which can
satisfy the automake version with version 1.9 or 1.10 neither of which
work with isl (automake1.11 or later is required)
For referenc eteh build failure shows up with:
libtool: install: warning: remember to run `libtool --finish
/usr/lib/x86_64-linux-gnu'
sed: can't read /libisl.la: No such file or directory
Cannot find isl library name. GDB bindings not installed.
leading to:
dh_install: libisl-dbg missing files (usr/lib/*/lib*.so.*-gdb.py), aborting
make[1]: *** [override_dh_install] Error 255
-- System Information:
Debian Release: 7.0
APT prefers stable
APT policy: (500, 'stable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 3.2.0-1-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
--- End Message ---
--- Begin Message ---
Source: isl
Source-Version: 0.12.1-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 721...@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, 17 Oct 2013 15:30:11 +0200
Source: isl
Binary: libisl-dev libisl-dbg libisl10
Architecture: source amd64
Version: 0.12.1-1
Distribution: unstable
Urgency: low
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: 682352 714830 721854
Changes:
isl (0.12.1-1) unstable; urgency=low
.
* New upstream release. Closes: #714830.
* libisl10: Breaks libcloog-isl4 (<< 0.18.1).
* Update symbols file.
* Build-depend on libcloog-isl-dev (>= 0.18.1) to make sure that the
cloog version compatible with isl-0.12 already is in the archive.
* Use dh_autotools-dev, not autoreconf to update config.{sub,guess}.
Closes: #721854.
* Update project home page. Closes: #682352.
Checksums-Sha1:
3e492cd6a69bbaae122a6dd42c28d8697733fb66 1255 isl_0.12.1-1.dsc
a54e80a32bc3e06327053d77d6a81516d4f4b21f 1305540 isl_0.12.1.orig.tar.bz2
fb0aedccb2e38c9dde20a7fe42dffee3be4b7ea7 63976 isl_0.12.1-1.debian.tar.gz
97edec7030fb769406cab587369b10b39b2595c1 453224 libisl-dev_0.12.1-1_amd64.deb
e5de37aa47d808f02a92c0b22f0e1216ee42c70d 916722 libisl-dbg_0.12.1-1_amd64.deb
3e609558eb295753741f4d49977eda2f91e28f7b 434462 libisl10_0.12.1-1_amd64.deb
Checksums-Sha256:
458024deec4a3da3246c4f2c8915df273d23e70ba23f4f121d61cebbff69ba1f 1255
isl_0.12.1-1.dsc
43ba8a43c3554a72a7e9e0d913a52dedbc0d712f472f3e62d239517bdd53e7b7 1305540
isl_0.12.1.orig.tar.bz2
65ee1426273df73541e1250ce7fca280df4e1d7f32ddf7f447df717e497f3fc2 63976
isl_0.12.1-1.debian.tar.gz
4e218b6caafff14637ea85e76a1429201e0e8a6e2a8c4bb3d91fc59489632e85 453224
libisl-dev_0.12.1-1_amd64.deb
7e54ce024ad982683a74a828f2e92813f62fb5bebebd019226c937596a0a3a70 916722
libisl-dbg_0.12.1-1_amd64.deb
063623fb8c8c9dfaa8eb95fe713e58e5dd69ac578f08ee2d36d361fde1a40b63 434462
libisl10_0.12.1-1_amd64.deb
Files:
6c73b3b8c07c75f3d9686cbb08f170c4 1255 libs optional isl_0.12.1-1.dsc
27d381085ff1b5733c3e8a9b6ad24a4d 1305540 libs optional isl_0.12.1.orig.tar.bz2
bcb2b9afd657071b45ea7fee2200753e 63976 libs optional isl_0.12.1-1.debian.tar.gz
e1ab9a52038d5e09de17507008240278 453224 libdevel optional
libisl-dev_0.12.1-1_amd64.deb
7865f8cdf67ab3230b0790fd77dd98bf 916722 debug extra
libisl-dbg_0.12.1-1_amd64.deb
6f8eab98a9224619a745af3433528474 434462 libs optional
libisl10_0.12.1-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.14 (GNU/Linux)
iEYEARECAAYFAlJf+n4ACgkQStlRaw+TLJxK8QCeJbIWKzUOxRWwwgaFYnXJaJ3H
a1kAn1HLHLWHRe2EQT9aiNFxqFVMWgiV
=qLnM
-----END PGP SIGNATURE-----
--- End Message ---