Your message dated Sat, 11 Oct 2008 10:39:54 +0000
with message-id <[EMAIL PROTECTED]>
and subject line Bug#499746: fixed in ppl 0.10~pre34-1
has caused the Debian Bug report #499746,
regarding ppl ftbfs on arm
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.)
--
499746: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=499746
Debian Bug Tracking System
Contact [EMAIL PROTECTED] with problems
--- Begin Message ---
Package: ppl
Version:
Severity: important
severity imprtant, because this will become a build dependency of
gcc. I'll upgrade the severity to serious for lenny+1.
http://buildd.debian.org/fetch.cgi?&pkg=ppl&ver=0.10~pre27-3&arch=arm&stamp=1221547524&file=log
make[4]: Entering directory `/build/buildd/ppl-0.10~pre27/src'
/bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I..
-I.. -I../src -g -O2 -frounding-math -g -O2 -W -Wall -MT Box.lo -MD -MP -MF
.deps/Box.Tpo -c -o Box.lo Box.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2
-frounding-math -g -O2 -W -Wall -MT Box.lo -MD -MP -MF .deps/Box.Tpo -c Box.cc
-fPIC -DPIC -o .libs/Box.o
In file included from fpu.defs.hh:84,
from Rounding_Dir.defs.hh:27,
from checked.defs.hh:30,
from Checked_Number.defs.hh:27,
from Coefficient.types.hh:15,
from Coefficient.defs.hh:26,
from Box.defs.hh:28,
from Box.cc:24:
fpu-c99.inlines.hh: In function 'void
Parma_Polyhedra_Library::fpu_reset_inexact()':
fpu-c99.inlines.hh:65: error: 'FE_INEXACT' was not declared in this scope
fpu-c99.inlines.hh: In function 'int
Parma_Polyhedra_Library::fpu_check_inexact()':
fpu-c99.inlines.hh:75: error: 'FE_INEXACT' was not declared in this scope
In file included from Rounding_Dir.defs.hh:84,
from checked.defs.hh:30,
from Checked_Number.defs.hh:27,
from Coefficient.types.hh:15,
from Coefficient.defs.hh:26,
from Box.defs.hh:28,
from Box.cc:24:
Rounding_Dir.inlines.hh: In function
'Parma_Polyhedra_Library::fpu_rounding_direction_type
Parma_Polyhedra_Library::round_fpu_dir(Parma_Polyhedra_Library::Rounding_Dir)':
Rounding_Dir.inlines.hh:69: error: 'FPU_UPWARD' was not declared in this scope
Rounding_Dir.inlines.hh:71: error: 'FPU_DOWNWARD' was not declared in this scope
make[4]: *** [Box.lo] Error 1
--- End Message ---
--- Begin Message ---
Source: ppl
Source-Version: 0.10~pre34-1
We believe that the bug you reported is fixed in the latest version of
ppl, which is due to be installed in the Debian FTP archive:
libppl-c2_0.10~pre34-1_i386.deb
to pool/main/p/ppl/libppl-c2_0.10~pre34-1_i386.deb
libppl-dev_0.10~pre34-1_i386.deb
to pool/main/p/ppl/libppl-dev_0.10~pre34-1_i386.deb
libppl-doc_0.10~pre34-1_all.deb
to pool/main/p/ppl/libppl-doc_0.10~pre34-1_all.deb
libppl7_0.10~pre34-1_i386.deb
to pool/main/p/ppl/libppl7_0.10~pre34-1_i386.deb
libpwl-dev_0.10~pre34-1_i386.deb
to pool/main/p/ppl/libpwl-dev_0.10~pre34-1_i386.deb
libpwl4_0.10~pre34-1_i386.deb
to pool/main/p/ppl/libpwl4_0.10~pre34-1_i386.deb
ppl_0.10~pre34-1.diff.gz
to pool/main/p/ppl/ppl_0.10~pre34-1.diff.gz
ppl_0.10~pre34-1.dsc
to pool/main/p/ppl/ppl_0.10~pre34-1.dsc
ppl_0.10~pre34.orig.tar.gz
to pool/main/p/ppl/ppl_0.10~pre34.orig.tar.gz
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.
Michael Tautschnig <[EMAIL PROTECTED]> (supplier of updated ppl 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: SHA1
Format: 1.8
Date: Tue, 07 Oct 2008 22:36:39 +0000
Source: ppl
Binary: libppl7 libppl-dev libppl-c2 libpwl4 libpwl-dev libppl-doc
Architecture: source i386 all
Version: 0.10~pre34-1
Distribution: unstable
Urgency: low
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Changed-By: Michael Tautschnig <[EMAIL PROTECTED]>
Description:
libppl-c2 - Parma Polyhedra Library (C interface)
libppl-dev - Parma Polyhedra Library (development)
libppl-doc - Parma Polyhedra Library: Documentation
libppl7 - Parma Polyhedra Library (runtime library)
libpwl-dev - Parma Watchdog Library (Watchdog timers - development)
libpwl4 - Parma Watchdog Library (Watchdog timers - runtime library)
Closes: 499746
Changes:
ppl (0.10~pre34-1) unstable; urgency=low
.
[ Arthur Loiret ]
* New upstream snapshot.
* Fix build on arm. Closes: #499746.
* debian/libp[pw]l-dev.preinst: handle /usr/share/doc/libp[pw]l
symlink->directory conversion.
* debian/rules:
- Disable DH_VERBOSE by default.
- Some cleanup.
* debian/Makefile.in: Update from upstream.
.
[ Michael Tautschnig ]
* Added ocaml-nox to build-depends.
* Bumped libppl-c library version.
Checksums-Sha1:
c6e81a649cb0ef3094d783f9402ac666cbd7f9cb 1405 ppl_0.10~pre34-1.dsc
2f20d9aec14283a4b980641116b6292330c70a7f 13364116 ppl_0.10~pre34.orig.tar.gz
e32e55206cc076d538c50093993475ffbcc47da5 15178 ppl_0.10~pre34-1.diff.gz
f6114f150aa77e68945518907d6a63aeff21e0a5 350318 libppl7_0.10~pre34-1_i386.deb
2c375cd95f50705cf4abbd077cb1b147bcc68362 3235272
libppl-dev_0.10~pre34-1_i386.deb
f1b6ba206d6417c9036c9af0dcf3051edc18b7dd 1190966
libppl-c2_0.10~pre34-1_i386.deb
cfb9436b26272a24d33d1ec3136b636fa9cc05a7 38546 libpwl4_0.10~pre34-1_i386.deb
bc1533a270e7b2266550e031794bea63c1ebcf84 709446
libpwl-dev_0.10~pre34-1_i386.deb
b3fd91da6c2e2202b4578bd47fe70e7ef13ddfe1 40553016
libppl-doc_0.10~pre34-1_all.deb
Checksums-Sha256:
16b79ff7b886fe080703780bfeea219387152586ff732bee664ed4a93bf59855 1405
ppl_0.10~pre34-1.dsc
5051058a4442639e2ae93b7c02b574ef95d8f2afe7ee26a9568cbbeca3b49a83 13364116
ppl_0.10~pre34.orig.tar.gz
467eef26319e05044ad958650038e78b871ad239e934afbe1e3e3a8355a1a765 15178
ppl_0.10~pre34-1.diff.gz
69d4ecde5ba2623bddaf65b1891dbe4a8cac177dbbd527efd3693f508f30daa2 350318
libppl7_0.10~pre34-1_i386.deb
b474960b9d8a14071a805b25369edc168f59bc06bcd00ded90f9236b94f331df 3235272
libppl-dev_0.10~pre34-1_i386.deb
f597c81706e36c85a7a4833182b4bc6afd0e3e06dde40bd1740d86706752a498 1190966
libppl-c2_0.10~pre34-1_i386.deb
0f92c0f6f5fb3016b1e83ed5ddc97d3b5d8b1c78c09a1855e43b866cbd55a92a 38546
libpwl4_0.10~pre34-1_i386.deb
0991bc81fc457509f488e45c29fed39f2965b8831feec03085899417ee317564 709446
libpwl-dev_0.10~pre34-1_i386.deb
97f68f4b22ef8e14ae1602b76af36aa41033ef2e29eef5da1ba9d85d0df593b2 40553016
libppl-doc_0.10~pre34-1_all.deb
Files:
6045878bf13a538c49214d99cec6c6ba 1405 libs optional ppl_0.10~pre34-1.dsc
f73f5db742c4a43ee0a5997ed51b3451 13364116 libs optional
ppl_0.10~pre34.orig.tar.gz
a7f1622f741659e67b1ef1ac1b1ec984 15178 libs optional ppl_0.10~pre34-1.diff.gz
43b44e16118ef8f9623fa79387706d87 350318 libs optional
libppl7_0.10~pre34-1_i386.deb
2a1f626f8cc3b487e7c475643c4bff65 3235272 libdevel optional
libppl-dev_0.10~pre34-1_i386.deb
2148d47b1638a023e966241f6e4df6af 1190966 libs optional
libppl-c2_0.10~pre34-1_i386.deb
31622a5610cc50b96617cad782e1f14f 38546 libs optional
libpwl4_0.10~pre34-1_i386.deb
c986f323ada60c099d4d855c5b537935 709446 libdevel optional
libpwl-dev_0.10~pre34-1_i386.deb
193480bff3df97266085871b36e10199 40553016 doc optional
libppl-doc_0.10~pre34-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkjsZbUACgkQvx6dH3bVKsSgAACg1bvy5PLxic4WW5aBPrY8QRaO
XTAAnA4M6STAR151OzUtG8sBe7Gftvd7
=Z8k3
-----END PGP SIGNATURE-----
--- End Message ---
