[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#499746: marked as done (ppl ftbfs on arm)

Your message dated Sat, 01 Nov 2008 12:41:26 +0000
with message-id <E1KwFnC-0001qh-Kp@ries.debian.org>
and subject line Bug#499746: fixed in ppl 0.10~pre36-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 owner@bugs.debian.org
immediately.)


-- 
499746: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=499746
Debian Bug Tracking System
Contact owner@bugs.debian.org 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~pre36-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~pre36-1_i386.deb
  to pool/main/p/ppl/libppl-c2_0.10~pre36-1_i386.deb
libppl-doc_0.10~pre36-1_all.deb
  to pool/main/p/ppl/libppl-doc_0.10~pre36-1_all.deb
libppl0.10-dev_0.10~pre36-1_i386.deb
  to pool/main/p/ppl/libppl0.10-dev_0.10~pre36-1_i386.deb
libppl7_0.10~pre36-1_i386.deb
  to pool/main/p/ppl/libppl7_0.10~pre36-1_i386.deb
libpwl-dev_0.10~pre36-1_i386.deb
  to pool/main/p/ppl/libpwl-dev_0.10~pre36-1_i386.deb
libpwl4_0.10~pre36-1_i386.deb
  to pool/main/p/ppl/libpwl4_0.10~pre36-1_i386.deb
ppl_0.10~pre36-1.diff.gz
  to pool/main/p/ppl/ppl_0.10~pre36-1.diff.gz
ppl_0.10~pre36-1.dsc
  to pool/main/p/ppl/ppl_0.10~pre36-1.dsc
ppl_0.10~pre36.orig.tar.gz
  to pool/main/p/ppl/ppl_0.10~pre36.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 499746@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Michael Tautschnig <mt@debian.org> (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 ftpmaster@debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Tue, 28 Oct 2008 19:09:52 +0000
Source: ppl
Binary: libppl7 libppl0.10-dev libppl-c2 libpwl4 libpwl-dev libppl-doc
Architecture: source i386 all
Version: 0.10~pre36-1
Distribution: unstable
Urgency: low
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description: 
 libppl-c2  - Parma Polyhedra Library (C interface)
 libppl-doc - Parma Polyhedra Library: Documentation
 libppl0.10-dev - Parma Polyhedra Library (development)
 libppl7    - Parma Polyhedra Library (runtime library)
 libpwl-dev - Parma Watchdog Library (Watchdog timers - development)
 libpwl4    - Parma Watchdog Library (Watchdog timers - runtime library)
Closes: 499746 501926
Changes: 
 ppl (0.10~pre36-1) unstable; urgency=low
 .
   [ Michael Tautschnig ]
   * New upstream snapshot.
   * Builds on arm. Really. Closes: #499746.
   * Build documentation in binary-indep only. Closes: #501926.
   * Only build C and C++ interfaces and the corresponding docs.
   * Renamed libppl-dev to libppl0.10-dev to be prepared for versioned ppl
     source packages.
   * Build and install user documentation only.
   * Don't install the demos.
   * Cleanup of debian/rules
 .
   [ Matthias Klose ]
   * Call debhelper tools in binary targets with -i/-a.
Checksums-Sha1: 
 a24610bd3a0a89459461ad3c29deed710f3abddc 1392 ppl_0.10~pre36-1.dsc
 8aabd506d3f8d6daa6b5409b78d3b66031e6146b 13554680 ppl_0.10~pre36.orig.tar.gz
 a266c94a18f87860bf0581c6662fb6e31213b7ca 14445 ppl_0.10~pre36-1.diff.gz
 13c2e6af5d9c2c0bb1e93206babac8555f23d67b 352348 libppl7_0.10~pre36-1_i386.deb
 2dde30d6061c2f2d7c203b80b36de25dc266e538 2622800 libppl0.10-dev_0.10~pre36-1_i386.deb
 ddd49e012423d94581e6f74a5f8613bbcf64ecd5 1206938 libppl-c2_0.10~pre36-1_i386.deb
 fec64a579c202c579a87c9ac125019a6fa6bb220 40920 libpwl4_0.10~pre36-1_i386.deb
 740e9899d243cd91d23649dacb0d99382921c4f0 743392 libpwl-dev_0.10~pre36-1_i386.deb
 236a84c6aaf79ef4d9964e2e0fcaaf4a2408b567 4896064 libppl-doc_0.10~pre36-1_all.deb
Checksums-Sha256: 
 be9e1822c6beeb7cbd9ab027de4a5a1e1258ebfdf9b27e2a29a712c4c38231c4 1392 ppl_0.10~pre36-1.dsc
 d7a43c08ddb41ba3c529399aafe7a9475f47132ab1e729bb48c25561bf1a7007 13554680 ppl_0.10~pre36.orig.tar.gz
 638652b27bc4db1a1d6dbfce7db443ba4778166f61696670764984bb29933613 14445 ppl_0.10~pre36-1.diff.gz
 a46896813bb4d0772e5d29627152433c562c35160e9f427839c1204970c19c35 352348 libppl7_0.10~pre36-1_i386.deb
 f25b753b2785981fabd2dbc7e29713acfc211e6f0a80733461077bc713d8137d 2622800 libppl0.10-dev_0.10~pre36-1_i386.deb
 fc5802b57c4dd4cfdb7fef9ccdb38f1c6555c071c2574b54fdd82d9ce00bff4f 1206938 libppl-c2_0.10~pre36-1_i386.deb
 ff5a41a3435d602b395cd1ceb4b94ac708e71f82cc482ac5706aefb6e1eca518 40920 libpwl4_0.10~pre36-1_i386.deb
 16965df6c90a1d15e4f769df7a9a996c13987268a5cf3321633bd106bb638e73 743392 libpwl-dev_0.10~pre36-1_i386.deb
 5725e32db9c6496f4544be835093bada0ce95e1726afff897c69709317423447 4896064 libppl-doc_0.10~pre36-1_all.deb
Files: 
 2e53b053b6556963322a6ae7553d7818 1392 libs optional ppl_0.10~pre36-1.dsc
 ff83e66a0b9a2e1ee26955aad18b3e73 13554680 libs optional ppl_0.10~pre36.orig.tar.gz
 51889df84c0496cd1da5fce3f4b20515 14445 libs optional ppl_0.10~pre36-1.diff.gz
 9676d0f6bc9b08ce6d14896ddc11d4b8 352348 libs optional libppl7_0.10~pre36-1_i386.deb
 ecfabdbf6c96f5fdfb0e25d40ec2ce92 2622800 libdevel optional libppl0.10-dev_0.10~pre36-1_i386.deb
 8b71d1e4af20b5480ae5f0328b9a76be 1206938 libs optional libppl-c2_0.10~pre36-1_i386.deb
 0125cf18f2149e1c8511129e735d47cc 40920 libs optional libpwl4_0.10~pre36-1_i386.deb
 fca9c2372e81bf754c481ec2aae18d0f 743392 libdevel optional libpwl-dev_0.10~pre36-1_i386.deb
 32a1f80a470a2cedef4f90d097074060 4896064 doc optional libppl-doc_0.10~pre36-1_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iEYEARECAAYFAkkHotIACgkQvx6dH3bVKsRTgACfeJsstmIG+xZ4GaF4uQfPtZ8M
DVEAn0rivS4pBBr3oilUTG4QE/rKdsPB
=Hto0
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: