February 2009 - PPL-devel - BUGSENG Mailman

[Fwd: Accepted ppl 0.10-3 (source all amd64)]
by Roberto Bagnara 18 Feb '09

18 Feb '09

-------- Original Message -------- Subject: Accepted ppl 0.10-3 (source all amd64) Date: Wed, 18 Feb 2009 16:02:15 +0000 From: Michael Tautschnig <mt(a)debian.org> To: debian-devel-changes(a)lists.debian.org -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 17 Feb 2009 09:10:34 +0100 Source: ppl Binary: libppl7 libppl0.10-dev libppl-c2 libpwl4 libpwl-dev libppl-doc Architecture: source amd64 all Version: 0.10-3 Distribution: unstable Urgency: medium Maintainer: Debian GCC Maintainers <debian-gcc(a)lists.debian.org> Changed-By: Michael Tautschnig <mt(a)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) Changes: ppl (0.10-3) unstable; urgency=medium . * urgency=medium because of FTBFS workaround. * Exclude test11-test18 of generalizedaffineimage3.cc on alpha because of bugs in gcc/exception handling. * Moved the dependencies needed for building the documentation to Build-Depends-Indep. * Introducing quilt to manage patches. Checksums-Sha1: 2cea3e3d8fd393b07dbe3818f3f49c2eff09bee5 1374 ppl_0.10-3.dsc 9f85257756956e06e15e39704f43a0278f462025 7226 ppl_0.10-3.diff.gz eb395311ef03dfcedaa3178bdbf7f2fb64e51892 355168 libppl7_0.10-3_amd64.deb aba6e9a1ff20101f48806df2519c883d5e3c6f2e 2774754 libppl0.10-dev_0.10-3_amd64.deb 68b8236d1a0a235caee3ef99fc2e2b4b2beb033b 1217944 libppl-c2_0.10-3_amd64.deb 6ea556fc3130a1e540ec10c07de6ebd2f9690818 43362 libpwl4_0.10-3_amd64.deb 6aa932bb4e7661a593840c52771790e484c9397a 757416 libpwl-dev_0.10-3_amd64.deb 847004481b05deb126ccf5bd8e9fbdf100b58858 4338658 libppl-doc_0.10-3_all.deb Checksums-Sha256: ffb2ef7916a5ab11a9f45a904adfd8850c836481f3177aa616b1cbb642ba8d27 1374 ppl_0.10-3.dsc f3bc602f5e318c933e8a9c2be8a5fe109983100154ea21fda69686486fa82c1c 7226 ppl_0.10-3.diff.gz 99b89aa4ccc9f7b38c1afe05f3ce929c7f3237854122f9c685f928493f3bf1fb 355168 libppl7_0.10-3_amd64.deb 2feab5d4c6983d9991f55c774e65b913d3afe7a0c5ebec61d518127d1eb7d0cb 2774754 libppl0.10-dev_0.10-3_amd64.deb 5429434c0a297dda590f607ab522633052e2a8b62215bf955e3ab3f68a16b05c 1217944 libppl-c2_0.10-3_amd64.deb aad7b97c773069335faf40e0dcbeb9bb6c99ed1be8dd777338ae8bdf7dec6de6 43362 libpwl4_0.10-3_amd64.deb bf576c795b49d303e7056ac91a037eb93847a62bea14ae5ce08b1157dbd9acd9 757416 libpwl-dev_0.10-3_amd64.deb 1b97a5e706c2d330a0c24007588a656e06b78ffe54f065d644e8bb3131c3d50b 4338658 libppl-doc_0.10-3_all.deb Files: d7d112415b93e1e83c3e4d7c1803cbf0 1374 libs optional ppl_0.10-3.dsc 954c13b42578bc15a6356fcffa27d3ee 7226 libs optional ppl_0.10-3.diff.gz 10a8020a9ea8d422ef0300496f1f3726 355168 libs optional libppl7_0.10-3_amd64.deb b921fca65dfea039608b012f6ded9fc5 2774754 libdevel optional libppl0.10-dev_0.10-3_amd64.deb c0dd4a1cd1771bc94eacf0277a22be90 1217944 libs optional libppl-c2_0.10-3_amd64.deb c8bdbcb9b0cebb693debb8db32067702 43362 libs optional libpwl4_0.10-3_amd64.deb 8c26536b2daf78f1c1ceca01e4f9b5f9 757416 libdevel optional libpwl-dev_0.10-3_amd64.deb 71ee3f4b768d0a1fa979b920b103eca5 4338658 doc optional libppl-doc_0.10-3_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkmcL0sACgkQvx6dH3bVKsQiIACgz3eXyeYvGY3tMvVJk6VlRDfo rC4AoImducOw/yjOcIXSe8wD9eBn7YLo =QcuP -----END PGP SIGNATURE----- Accepted: libppl-c2_0.10-3_amd64.deb to pool/main/p/ppl/libppl-c2_0.10-3_amd64.deb libppl-doc_0.10-3_all.deb to pool/main/p/ppl/libppl-doc_0.10-3_all.deb libppl0.10-dev_0.10-3_amd64.deb to pool/main/p/ppl/libppl0.10-dev_0.10-3_amd64.deb libppl7_0.10-3_amd64.deb to pool/main/p/ppl/libppl7_0.10-3_amd64.deb libpwl-dev_0.10-3_amd64.deb to pool/main/p/ppl/libpwl-dev_0.10-3_amd64.deb libpwl4_0.10-3_amd64.deb to pool/main/p/ppl/libpwl4_0.10-3_amd64.deb ppl_0.10-3.diff.gz to pool/main/p/ppl/ppl_0.10-3.diff.gz ppl_0.10-3.dsc to pool/main/p/ppl/ppl_0.10-3.dsc -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

Transition to git
by Roberto Bagnara 17 Feb '09

17 Feb '09

Next week-end we will say goodbye to CVS and pass all the PPL repositories to git (http://git-scm.com/). Abramo has worked hard to make the transition as smooth as possible, so I think no one should worry. Sometimes during the weekend, the CVS repository will be frozen (it will remain at its place, but in read-only mode). A few hours later the new git repository will appear: I will send an explanatory message to the lists when this happens. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/src Makefile.am
by Roberto Bagnara 17 Feb '09

17 Feb '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2009-02-17 07:19:31 Modified files: src : Makefile.am Log message: Avoid using GNU Make extensions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/src MIP_Problem.cc
by Roberto Bagnara 17 Feb '09

17 Feb '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2009-02-17 07:19:13 Modified files: src : MIP_Problem.cc Log message: Two FIXMEs resolved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

w3ppl/htdocs news.raw ppl.raw
by Roberto Bagnara 16 Feb '09

16 Feb '09

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2009-02-16 23:07:35 Modified files: htdocs : news.raw ppl.raw Log message: Acknowledge the support of AMD and INRIA. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

ppl/tests ppl_test.hh MIP_Problem/Makefile.am ...
by Roberto Bagnara 16 Feb '09

16 Feb '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2009-02-16 22:57:54 Modified files: tests : ppl_test.hh tests/MIP_Problem: Makefile.am tests/Polyhedron: Makefile.am Log message: Include "ppl_header.hh" instead of "ppl.hh": this greatly facilitates debugging of test programs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/Makefile.am… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

Bug affecting PPL 0.10 on big-endian architectures
by Roberto Bagnara 16 Feb '09

16 Feb '09

Dear maintainers of PPL packages, this message is to let you know about a bug in PPL 0.10 that affects some of the packages you maintain. All the information, including a simple workaround is available here: http://www.cs.unipr.it/ppl/Bugs/ Please do not hesitate to come back to us in case you need further information. All the best, Roberto P.S. The bug proves that no one ever ran `make check' on PPL 0.10 on a PowerPC machine and reported back the results. If you have any idea how to make sure this does not happen again... -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

3 10

ppl/src Makefile.am
by Roberto Bagnara 15 Feb '09

15 Feb '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2009-02-15 15:52:22 Modified files: src : Makefile.am Log message: In ppl_include_files.hh only list the include files that are not included by any other include file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/src Ask_Tell.defs.hh DB_Row.templates.hh G ...
by Roberto Bagnara 15 Feb '09

15 Feb '09

1 0

ppl/src fpu.defs.hh fpu-ia32.inlines.hh
by Roberto Bagnara 15 Feb '09

15 Feb '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2009-02-15 14:32:28 Modified files: src : fpu.defs.hh fpu-ia32.inlines.hh Log message: Include "compiler.hh" in fpu.defs.hh, not in fpu-ia32.inlines.hh. As a general rule, do not include general-purpose include files in files that are only conditionally included. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-ia32.inlines.hh.diff?…

1 0