Your message dated Sat, 11 Oct 2008 10:39:54 +
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 +
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
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
