Bug#499746: ppl ftbfs on arm

[Matthias Klose-2]

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



--
To UNSUBSCRIBE, email to debian-bugs-dist-REQUEST@...
with a subject of "unsubscribe". Trouble? Contact listmaster@...

[Debian Bug Tracking System]

Your message dated Sat, 11 Oct 2008 10:39:54 +0000
with message-id <E1Kobt4-0002xC-8S@...>
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 owner@...
immediately.)


--
499746: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=499746
Debian Bug Tracking System
Contact owner@... with problems

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



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 499746@...,
and the maintainer will reopen the bug report if appropriate.

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


-----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@...>
Changed-By: Michael Tautschnig <mt@...>
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-----

[Debian Bug Tracking System]

Your message dated Sat, 01 Nov 2008 12:41:26 +0000
with message-id <E1KwFnC-0001qh-Kp@...>
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@...
immediately.)


--
499746: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=499746
Debian Bug Tracking System
Contact owner@... with problems

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



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@...,
and the maintainer will reopen the bug report if appropriate.

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


-----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@...>
Changed-By: Michael Tautschnig <mt@...>
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-----