April 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(deprecated_0_11_removal): Test program tests/Polyhedron/ memory1 disabled on the zSeries s390x platform.
by Roberto Bagnara 17 Apr '09

17 Apr '09

Module: ppl/ppl Branch: deprecated_0_11_removal Commit: 4302923d1a3d4fe2ba32f24108bd2b9484950d3a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4302923d1a3d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 15 22:56:56 2009 +0200 Test program tests/Polyhedron/memory1 disabled on the zSeries s390x platform. --- NEWS | 3 +++ tests/Polyhedron/memory1.cc | 6 +++++- 2 files changed, 8 insertions(+), 1 deletions(-) diff --git a/NEWS b/NEWS index 678bf2b..1a4e482 100644 --- a/NEWS +++ b/NEWS @@ -14,6 +14,9 @@ o Correctly detect GMP 4.3.0. o Fixed the C interface library version information. +o Test program tests/Polyhedron/memory1 disabled on the zSeries s390x + platform. + o Makefiles fixed so as to avoid failure of `make -n check'. diff --git a/tests/Polyhedron/memory1.cc b/tests/Polyhedron/memory1.cc index f1544d0..c1a3bf4 100644 --- a/tests/Polyhedron/memory1.cc +++ b/tests/Polyhedron/memory1.cc @@ -53,8 +53,12 @@ site: http://www.cs.unipr.it/ppl/ . */ // // On the Itanium the test fails because of the bug reported in // http://www.cs.unipr.it/pipermail/ppl-devel/2008-September/012943.html +// +// On s390x-linux the test fails, we do not know why (and without access +// to such a machine there is little we can do). +// See http://www.cs.unipr.it/pipermail/ppl-devel/2009-April/014489.html #if !PPL_GMP_SUPPORTS_EXCEPTIONS || !PPL_CXX_SUPPORTS_LIMITING_MEMORY \ - || defined(__ia64) + || defined(__ia64) || defined(__s390x) int main() TRY {

1 0

[GIT] ppl/ppl(deprecated_0_11_removal): Updated for PPL 0.10.2.
by Roberto Bagnara 17 Apr '09

17 Apr '09

Module: ppl/ppl Branch: deprecated_0_11_removal Commit: f4df86f705b1581500006ecdf29851919cf02968 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f4df86f705b1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 15 22:30:20 2009 +0200 Updated for PPL 0.10.2. --- NEWS | 14 ++++++++++++++ README | 36 ++++++++++++++++++------------------ TODO | 6 ------ configure.ac | 2 +- 4 files changed, 33 insertions(+), 25 deletions(-) diff --git a/NEWS b/NEWS index d185ac2..678bf2b 100644 --- a/NEWS +++ b/NEWS @@ -4,6 +4,20 @@ Parma Polyhedra Library NEWS -- history of user-visible changes -------------------------------------------------------------------------- +NEWS for version 0.10.2 (released on April 18, 2009) +-------------------------------------------------------------------------- + +Bugfixes +======== + +o Correctly detect GMP 4.3.0. + +o Fixed the C interface library version information. + +o Makefiles fixed so as to avoid failure of `make -n check'. + + +-------------------------------------------------------------------------- NEWS for version 0.10.1 (released on April 14, 2009) -------------------------------------------------------------------------- diff --git a/README b/README index a79c408..daefe30 100644 --- a/README +++ b/README @@ -2,10 +2,10 @@ Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it> See below for the copying conditions. -Parma Polyhedra Library (Release 0.10.1) +Parma Polyhedra Library (Release 0.10.2) ======================================== -This is the release 0.10.1 of the Parma Polyhedra Library: +This is the release 0.10.2 of the Parma Polyhedra Library: a C++ library for (not necessarily closed) convex polyhedra and other numerical abstractions. @@ -66,7 +66,7 @@ write to ppl-devel(a)cs.unipr.it. Here is the contents of the PPL 0.10 source distribution (41 directories, 1446 files): -ppl-0.10.1 +ppl-0.10.2 |-- BUGS |-- COPYING |-- CREDITS @@ -394,21 +394,21 @@ ppl-0.10.1 | |-- libppl.3 | |-- libppl_c.3 | |-- ppl-config.1 -| |-- ppl-user-0.10.1-html.tar.gz -| |-- ppl-user-0.10.1.pdf -| |-- ppl-user-0.10.1.ps.gz -| |-- ppl-user-c-interface-0.10.1-html.tar.gz -| |-- ppl-user-c-interface-0.10.1.pdf -| |-- ppl-user-c-interface-0.10.1.ps.gz -| |-- ppl-user-java-interface-0.10.1-html.tar.gz -| |-- ppl-user-java-interface-0.10.1.pdf -| |-- ppl-user-java-interface-0.10.1.ps.gz -| |-- ppl-user-ocaml-interface-0.10.1-html.tar.gz -| |-- ppl-user-ocaml-interface-0.10.1.pdf -| |-- ppl-user-ocaml-interface-0.10.1.ps.gz -| |-- ppl-user-prolog-interface-0.10.1-html.tar.gz -| |-- ppl-user-prolog-interface-0.10.1.pdf -| |-- ppl-user-prolog-interface-0.10.1.ps.gz +| |-- ppl-user-0.10.2-html.tar.gz +| |-- ppl-user-0.10.2.pdf +| |-- ppl-user-0.10.2.ps.gz +| |-- ppl-user-c-interface-0.10.2-html.tar.gz +| |-- ppl-user-c-interface-0.10.2.pdf +| |-- ppl-user-c-interface-0.10.2.ps.gz +| |-- ppl-user-java-interface-0.10.2-html.tar.gz +| |-- ppl-user-java-interface-0.10.2.pdf +| |-- ppl-user-java-interface-0.10.2.ps.gz +| |-- ppl-user-ocaml-interface-0.10.2-html.tar.gz +| |-- ppl-user-ocaml-interface-0.10.2.pdf +| |-- ppl-user-ocaml-interface-0.10.2.ps.gz +| |-- ppl-user-prolog-interface-0.10.2-html.tar.gz +| |-- ppl-user-prolog-interface-0.10.2.pdf +| |-- ppl-user-prolog-interface-0.10.2.ps.gz | |-- ppl.sty | |-- user-language-interface.doxyconf.in | |-- user-language-interface.tex diff --git a/TODO b/TODO index a8c932c..cfbd3be 100644 --- a/TODO +++ b/TODO @@ -1,10 +1,4 @@ -Enhancements for PPL 0.10.1 or later versions -============================================= - -- Update the NEWS file. - - Enhancements for PPL 0.11 ========================= diff --git a/configure.ac b/configure.ac index eab19fc..090590c 100644 --- a/configure.ac +++ b/configure.ac @@ -23,7 +23,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library],[0.10.1pre13],[ppl-devel(a)cs.unipr.it],[ppl]) +AC_INIT([the Parma Polyhedra Library],[0.10.2pre1],[ppl-devel(a)cs.unipr.it],[ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(deprecated_0_11_removal): Libtool -version-info updated for PPL 0.10.2.
by Roberto Bagnara 17 Apr '09

17 Apr '09

Module: ppl/ppl Branch: deprecated_0_11_removal Commit: 18ff016b92d1564dc761a0a1dcc528d8c2c4915b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18ff016b92d1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 15 22:21:41 2009 +0200 Libtool -version-info updated for PPL 0.10.2. --- Watchdog/src/Makefile.am | 1 + interfaces/C/Makefile.am | 6 ++++-- src/Makefile.am | 1 + 3 files changed, 6 insertions(+), 2 deletions(-) diff --git a/Watchdog/src/Makefile.am b/Watchdog/src/Makefile.am index 0b94acc..04504c1 100644 --- a/Watchdog/src/Makefile.am +++ b/Watchdog/src/Makefile.am @@ -88,6 +88,7 @@ pwl_header.hh # 0.5 0.9 3:0:0 # 0.6 0.10 4:0:0 # 0.7 0.10.1 4:0:0 +# 0.7 0.10.2 4:0:0 LIBPWL_LT_CURRENT = 4 LIBPWL_LT_REVISION = 0 diff --git a/interfaces/C/Makefile.am b/interfaces/C/Makefile.am index ecc9f37..c2ee5ea 100644 --- a/interfaces/C/Makefile.am +++ b/interfaces/C/Makefile.am @@ -68,10 +68,12 @@ C_interface.dox # 0.8 1:0:1 # 0.9 1:0:1 # 0.10 2:0:0 +# 0.10.1 2:0:0 (was not updated by mistake) +# 0.10.2 3:0:1 -LIBPPL_C_LT_CURRENT = 2 +LIBPPL_C_LT_CURRENT = 3 LIBPPL_C_LT_REVISION = 0 -LIBPPL_C_LT_AGE = 0 +LIBPPL_C_LT_AGE = 1 ppl_c.h: ppl_c_header.h ppl_c_version.h ppl_c_domains.h Makefile $(top_builddir)/utils/build_header $(top_builddir)/utils/build_header \ diff --git a/src/Makefile.am b/src/Makefile.am index a066dab..46490b0 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -53,6 +53,7 @@ # 0.9 6:0:0 # 0.10 7:0:0 # 0.10.1 8:0:1 +# 0.10.2 8:0:1 LIBPPL_LT_CURRENT = 8 LIBPPL_LT_REVISION = 0

1 0

[GIT] ppl/ppl(deprecated_0_11_removal): Accommodate version 4.3.0 of GMP.
by Roberto Bagnara 17 Apr '09

17 Apr '09

Module: ppl/ppl Branch: deprecated_0_11_removal Commit: 5596eca02f2dea09e57ea22a240c2f3eab8be9e5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5596eca02f2d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 15 16:03:44 2009 +0200 Accommodate version 4.3.0 of GMP. Starting from GMP version 4.3.0 (released a few hours after PPL 0.10.1), the gmp_version variable always contains three parts. In previous versions the patchlevel was omitted if it was 0. This change broke our GMP detection procedure. --- m4/ac_check_gmp.m4 | 7 ++++++- 1 files changed, 6 insertions(+), 1 deletions(-) diff --git a/m4/ac_check_gmp.m4 b/m4/ac_check_gmp.m4 index 541cb36..4dc3bc8 100644 --- a/m4/ac_check_gmp.m4 +++ b/m4/ac_check_gmp.m4 @@ -60,7 +60,12 @@ main() { { std::ostringstream s(header_version); s << __GNU_MP_VERSION << "." << __GNU_MP_VERSION_MINOR; - if (__GNU_MP_VERSION_PATCHLEVEL != 0) + // Starting from GMP version 4.3.0, the gmp_version variable + // always contains three parts. In previous versions the + // patchlevel was omitted if it was 0. + if (__GNU_MP_VERSION_PATCHLEVEL != 0 + || __GNU_MP_VERSION > 4 + || (__GNU_MP_VERSION == 4 && __GNU_MP_VERSION_MINOR >= 3)) s << "." << __GNU_MP_VERSION_PATCHLEVEL; header_version = s.str(); }

1 0

Re: [PPL-devel] Parma Polyhedra Library 0.10.1
by Roberto Bagnara 17 Apr '09

17 Apr '09

Peter O'Gorman wrote: > Jack Howarth wrote: > >> However if you look in ppl-0.10.1/src/Makefile.am, you will find... >> >> # PPL release -version-info >> # 0.1 ----- >> # 0.2 ----- >> # 0.3 0:0:0 >> # 0.4 1:0:1 >> # 0.5 2:0:0 >> # 0.6 3:0:0 >> # 0.7 4:0:0 >> # 0.8 5:0:0 >> # 0.9 6:0:0 >> # 0.10 7:0:0 >> # 0.10.1 8:0:1 >> >> So either Roberto meant to bump the soversion and >> forgot or changed his mind and didn't revert all of the >> soversion changes out before release. > > I assume that there was some added API that caused the CURRENT version > number to increase. Since the soname did not change (AGE was also > bumped), anything that was built against version 0.10 will continue to > work with 0.10.1 without being rebuilt. Yes, this is what happened. > [...] > > http://www.gnu.org/software/libtool/manual/libtool.html#Updating-version-in… This is the algorithm we followed. However, I realize now that we forgot to update the C interface using the same algorithm. So in interfaces/C/Makefile.am we have ... # 0.10 2:0:0 LIBPPL_C_LT_CURRENT = 2 LIBPPL_C_LT_REVISION = 0 LIBPPL_C_LT_AGE = 0 whereas we should have ... # 0.10 2:0:0 # 0.10.1 3:0:1 LIBPPL_C_LT_CURRENT = 3 LIBPPL_C_LT_REVISION = 0 LIBPPL_C_LT_AGE = 1 Last but not least, GMP 4.3.0 was released a few hours after PPL 0.10.1 with a change that is not backward compatible and that affects the PPL. Summing up, I think the only solution is to release PPL 0.10.2 during the weekend. 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

4 6

[GIT] ppl/ppl(ppl-0_10-branch): Merge branch 'master' into ppl-0_10-branch.
by Roberto Bagnara 17 Apr '09

17 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: 5d9dccfb35624f7a3efd99cfea738306b147a473 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d9dccfb3562… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 17 12:55:06 2009 +0200 Merge branch 'master' into ppl-0_10-branch. Resolved conflicts: ChangeLog Watchdog/ChangeLog configure.ac ---

1 0

[GIT] ppl/ppl(ppl-0_10-branch): Changed `__s390x' to `__s390x__' in conditional exclusion of this test.
by Roberto Bagnara 17 Apr '09

17 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: 205889d57ad9e727b202b560a69bab47a871e8a4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=205889d57ad9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 19:53:32 2009 +0200 Changed `__s390x' to `__s390x__' in conditional exclusion of this test. --- tests/Polyhedron/memory1.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/tests/Polyhedron/memory1.cc b/tests/Polyhedron/memory1.cc index c1a3bf4..b14c94d 100644 --- a/tests/Polyhedron/memory1.cc +++ b/tests/Polyhedron/memory1.cc @@ -58,7 +58,7 @@ site: http://www.cs.unipr.it/ppl/ . */ // to such a machine there is little we can do). // See http://www.cs.unipr.it/pipermail/ppl-devel/2009-April/014489.html #if !PPL_GMP_SUPPORTS_EXCEPTIONS || !PPL_CXX_SUPPORTS_LIMITING_MEMORY \ - || defined(__ia64) || defined(__s390x) + || defined(__ia64) || defined(__s390x__) int main() TRY {

1 0

[GIT] ppl/ppl(ppl-0_10-branch): Updated.
by Roberto Bagnara 17 Apr '09

17 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: b5cac12e98ccfe3ced20cb26c3a3d6be2d0a9459 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5cac12e98cc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 13:28:34 2009 +0200 Updated. --- ChangeLog | 87 ++++++++++++++++++++++++++++++++++++++++++++++++++++ Watchdog/ChangeLog | 42 +++++++++++++++++++++++++ 2 files changed, 129 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index 8425a43..2e34398 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,90 @@ +2009-04-16 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * fedora/ppl-0.10.1-Makefile.patch, + fedora/ppl-0.10.2-Makefile.patch, fedora/ppl.hh, fedora/ppl.spec, + fedora/ppl_c.h, fedora/pwl.hh: Updated for PPL 0.10.2. + +2009-04-16 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * doc/libppl.3, doc/libppl_c.3: Version numbers fixed. + +2009-04-16 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * demos/ppl_lcdd/ppl_lcdd.1, demos/ppl_lpsol/ppl_lpsol.1, + doc/libppl.3, doc/libppl_c.3, doc/ppl-config.1, + doc/ppl-config_extra_man_text: Updated for PPL 0.10.2. + +2009-04-16 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * Watchdog/doc/Makefile.am, doc/Makefile.am: Added targets to have + `make -n dist' work as expected. + +2009-04-16 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * demos/ppl_lcdd/ppl_lcdd.cc: Usage string fixed: ppl_lcdd accepts + at most one input file. + +2009-04-16 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * Watchdog/src/Makefile.am, Watchdog/tests/Makefile.am, + demos/ppl_lcdd/Makefile.am, demos/ppl_lpsol/Makefile.am, + interfaces/C/Makefile.am, interfaces/C/tests/Makefile.am, + interfaces/Java/Makefile.am, interfaces/Java/jni/Makefile.am, + interfaces/Java/parma_polyhedra_library/Makefile.am, + interfaces/Java/tests/Makefile.am, interfaces/OCaml/Makefile.am, + interfaces/OCaml/tests/Makefile.am, + interfaces/Prolog/Ciao/Makefile.am, + interfaces/Prolog/GNU/Makefile.am, interfaces/Prolog/Makefile.am, + interfaces/Prolog/SICStus/Makefile.am, + interfaces/Prolog/SWI/Makefile.am, + interfaces/Prolog/XSB/Makefile.am, + interfaces/Prolog/YAP/Makefile.am, + interfaces/Prolog/tests/Makefile.am, src/Makefile.am, + tests/BD_Shape/Makefile.am, tests/Box/Makefile.am, + tests/Grid/Makefile.am, tests/MIP_Problem/Makefile.am, + tests/Octagonal_Shape/Makefile.am, + tests/Partially_Reduced_Product/Makefile.am, + tests/Polyhedron/Makefile.am, tests/Powerset/Makefile.am: Added + rules so that `make -n' and `make -n check' work. + +2009-04-16 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * doc/definitions.dox: Updated BHZ09b. + +2009-04-15 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * NEWS, tests/Polyhedron/memory1.cc: Test program + tests/Polyhedron/memory1 disabled on the zSeries s390x platform. + +2009-04-15 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * NEWS, README, TODO, configure.ac: Updated for PPL 0.10.2. + +2009-04-15 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * Watchdog/src/Makefile.am, interfaces/C/Makefile.am, + src/Makefile.am: Libtool -version-info updated for PPL 0.10.2. + +2009-04-15 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * m4/ac_check_gmp.m4: Accommodate version 4.3.0 of GMP. Starting from GMP version 4.3.0 (released a few hours after PPL + 0.10.1), the gmp_version variable always contains three parts. In + previous versions the patchlevel was omitted if it was 0. This + change broke our GMP detection procedure. + +2009-04-14 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * doc/README.doc: Improved. + +2009-04-14 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * doc/README.doc: Updated to refer to git and to mention possible + names of TeX config files. + +2009-04-13 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * ChangeLog: Updated. + 2009-04-13 Roberto Bagnara <bagnara(a)cs.unipr.it> * tests/Octagonal_Shape/affineimage1.cc: Disabled test10() on the diff --git a/Watchdog/ChangeLog b/Watchdog/ChangeLog index 4b7f4b3..6d3ea53 100644 --- a/Watchdog/ChangeLog +++ b/Watchdog/ChangeLog @@ -1,3 +1,45 @@ +2009-04-16 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * Watchdog/doc/Makefile.am, doc/Makefile.am: Added targets to have + `make -n dist' work as expected. + +2009-04-16 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * Watchdog/src/Makefile.am, Watchdog/tests/Makefile.am, + demos/ppl_lcdd/Makefile.am, demos/ppl_lpsol/Makefile.am, + interfaces/C/Makefile.am, interfaces/C/tests/Makefile.am, + interfaces/Java/Makefile.am, interfaces/Java/jni/Makefile.am, + interfaces/Java/parma_polyhedra_library/Makefile.am, + interfaces/Java/tests/Makefile.am, interfaces/OCaml/Makefile.am, + interfaces/OCaml/tests/Makefile.am, + interfaces/Prolog/Ciao/Makefile.am, + interfaces/Prolog/GNU/Makefile.am, interfaces/Prolog/Makefile.am, + interfaces/Prolog/SICStus/Makefile.am, + interfaces/Prolog/SWI/Makefile.am, + interfaces/Prolog/XSB/Makefile.am, + interfaces/Prolog/YAP/Makefile.am, + interfaces/Prolog/tests/Makefile.am, src/Makefile.am, + tests/BD_Shape/Makefile.am, tests/Box/Makefile.am, + tests/Grid/Makefile.am, tests/MIP_Problem/Makefile.am, + tests/Octagonal_Shape/Makefile.am, + tests/Partially_Reduced_Product/Makefile.am, + tests/Polyhedron/Makefile.am, tests/Powerset/Makefile.am: Added + rules so that `make -n' and `make -n check' work. + +2009-04-15 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * Watchdog/src/Makefile.am, interfaces/C/Makefile.am, + src/Makefile.am: Libtool -version-info updated for PPL 0.10.2. + +2009-04-11 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * .gitignore, Watchdog/doc/.gitignore, doc/.gitignore, + interfaces/Prolog/XSB/.gitignore: Added missing patterns. + +2009-04-11 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * ChangeLog, Watchdog/ChangeLog: Updated. + 2009-04-06 Roberto Bagnara <bagnara(a)cs.unipr.it> * ChangeLog, Watchdog/ChangeLog: Updated.

1 0

[GIT] ppl/ppl(ppl-0_10-branch): Updated for PPL 0.10.2.
by Roberto Bagnara 17 Apr '09

17 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: 74c1907444a19b1756711623d779b7eea9bb3be3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74c1907444a1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 13:15:49 2009 +0200 Updated for PPL 0.10.2. --- ....1-Makefile.patch => ppl-0.10.2-Makefile.patch} | 0 fedora/ppl.hh | 6 ++++++ fedora/ppl.spec | 13 ++++++++++--- fedora/ppl_c.h | 6 ++++++ fedora/pwl.hh | 6 ++++++ 5 files changed, 28 insertions(+), 3 deletions(-) diff --git a/fedora/ppl-0.10.1-Makefile.patch b/fedora/ppl-0.10.2-Makefile.patch similarity index 100% rename from fedora/ppl-0.10.1-Makefile.patch rename to fedora/ppl-0.10.2-Makefile.patch diff --git a/fedora/ppl.hh b/fedora/ppl.hh index cab2c54..53d4d13 100644 --- a/fedora/ppl.hh +++ b/fedora/ppl.hh @@ -38,6 +38,12 @@ site: http://www.cs.unipr.it/ppl/ . */ #include "ppl-s390x.hh" #elif defined(__s390__) #include "ppl-s390.hh" +#elif defined(__sh__) +#include "ppl-sh.hh" +#elif defined(__sparc__) && defined(__arch64__) +#include "ppl-sparc64.hh" +#elif defined(__sparc__) +#include "ppl-sparc.hh" #else #error "This architecture is not supported by the currently installed ppl-devel packages." #endif diff --git a/fedora/ppl.spec b/fedora/ppl.spec index 6d7e855..1f6b48a 100644 --- a/fedora/ppl.spec +++ b/fedora/ppl.spec @@ -1,7 +1,7 @@ #%define opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0) Name: ppl -Version: 0.10.1 +Version: 0.10.2 Release: 1%{?dist} Summary: The Parma Polyhedra Library: a library of numerical abstractions @@ -12,7 +12,7 @@ Source0: ftp://ftp.cs.unipr.it/pub/ppl/releases/%{version}/%{name}-%{vers Source1: ppl.hh Source2: ppl_c.h Source3: pwl.hh -Patch0: ppl-0.10.1-Makefile.patch +Patch0: ppl-0.10.2-Makefile.patch #Patch1: #Icon: #Requires: @@ -226,7 +226,8 @@ rm -f %{buildroot}%{_libdir}/*.la %{buildroot}%{_libdir}/%{name}/*.la # the architecture for which the compiler is compiling. # Since our header files only depend on the sizeof things, we smash -# ix86 onto i386 and arm* onto arm. +# ix86 onto i386 and arm* onto arm. For the SuperH RISC engine family, +# we smash sh3 and sh4 onto sh. normalized_arch=%{_arch} %ifarch %{ix86} normalized_arch=i386 @@ -234,6 +235,9 @@ normalized_arch=i386 %ifarch %{arm} normalized_arch=arm %endif +%ifarch sh3 sh4 +normalized_arch=sh +%endif mv %{buildroot}/%{_includedir}/ppl.hh %{buildroot}/%{_includedir}/ppl-${normalized_arch}.hh install -m644 %{SOURCE1} %{buildroot}/%{_includedir}/ppl.hh @@ -405,6 +409,9 @@ mv \ rm -rf %{buildroot} %changelog +* Sat Apr 18 2009 Roberto Bagnara <bagnara(a)cs.unipr.it> 0.10.2-1 +- Updated for PPL 0.10.2. + * Tue Apr 14 2009 Roberto Bagnara <bagnara(a)cs.unipr.it> 0.10.1-1 - Updated for PPL 0.10.1. diff --git a/fedora/ppl_c.h b/fedora/ppl_c.h index 4c579da..dc62d50 100644 --- a/fedora/ppl_c.h +++ b/fedora/ppl_c.h @@ -38,6 +38,12 @@ site: http://www.cs.unipr.it/ppl/ . */ #include "ppl_c-s390x.h" #elif defined(__s390__) #include "ppl_c-s390.h" +#elif defined(__sh__) +#include "ppl_c-sh.h" +#elif defined(__sparc__) && defined(__arch64__) +#include "ppl_c-sparc64.h" +#elif defined(__sparc__) +#include "ppl_c-sparc.h" #else #error "This architecture is not supported by the currently installed ppl-devel packages." #endif diff --git a/fedora/pwl.hh b/fedora/pwl.hh index c51a858..a89f27d 100644 --- a/fedora/pwl.hh +++ b/fedora/pwl.hh @@ -38,6 +38,12 @@ site: http://www.cs.unipr.it/Software/ . */ #include "pwl-s390x.hh" #elif defined(__s390__) #include "pwl-s390.hh" +#elif defined(__sh__) +#include "pwl-sh.hh" +#elif defined(__sparc__) && defined(__arch64__) +#include "pwl-sparc64.hh" +#elif defined(__sparc__) +#include "pwl-sparc.hh" #else #error "This architecture is not supported by the currently installed ppl-pwl-devel packages." #endif

1 0

[GIT] ppl/ppl(ppl-0_10-branch): Version numbers fixed.
by Roberto Bagnara 17 Apr '09

17 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: 1bd0dba00f786220d773edba1b9a09c591056aab URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1bd0dba00f78… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 12:10:11 2009 +0200 Version numbers fixed. --- doc/libppl.3 | 6 +++--- doc/libppl_c.3 | 14 +++++++------- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/doc/libppl.3 b/doc/libppl.3 index ee86159..c997935 100644 --- a/doc/libppl.3 +++ b/doc/libppl.3 @@ -15,7 +15,7 @@ Note that the PPL has interfaces also for C, Java, OCaml and a number of Prolog systems: look elsewhere for documentation on those. Note also that the present document does not describe the library functionality, its classes or its methods and functions: see -.IR "The Parma Polyhedra Library User's Manual (version 0.10)" +.IR "The Parma Polyhedra Library User's Manual (version 0.10.2)" for this kind of information. .SH "INCLUDING THE HEADER FILE" @@ -61,7 +61,7 @@ when you are done with the library. .SH "USING THE LIBRARY" Keeping in mind that there is no substitute for a careful reading of -.IR "The Parma Polyhedra Library User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library User's Manual (version 0.10.2)", you can find many examples of use in the directories .B tests (see the @@ -196,7 +196,7 @@ before invoking any PPL interface related to such abstractions. .BR ppl-config(1) .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . .sp diff --git a/doc/libppl_c.3 b/doc/libppl_c.3 index 2013695..9d6b7e1 100644 --- a/doc/libppl_c.3 +++ b/doc/libppl_c.3 @@ -15,9 +15,9 @@ Note that the PPL has interfaces also for C++, Java, OCaml and a number of Prolog systems: look elsewhere for documentation on those. Note also that the present document does not describe the library functionality, its classes or its methods and functions: see -.IR "The Parma Polyhedra Library User's Manual (version 0.10)" +.IR "The Parma Polyhedra Library User's Manual (version 0.10.2)" and -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.10)" +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.10.2)" for this kind of information. .SH "INCLUDING THE HEADER FILE" @@ -48,9 +48,9 @@ when you are done with the library. .SH "USING THE LIBRARY" Keeping in mind that there is no substitute for a careful reading of -.IR "The Parma Polyhedra Library User's Manual (version 0.10)" +.IR "The Parma Polyhedra Library User's Manual (version 0.10.2)" and -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.10)" +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.10.2)" you can find examples of use in the directories .B interfaces/C/tests and @@ -81,7 +81,7 @@ is especially valuable for GNU/Linux users). .SH "RETURN VALUES" All the PPL C interface functions return an int: a negative value means that an error occurred. See -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.10)" +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.10.2)" for the error codes. .SH "IMPLEMENTING MEMORY-GUARDED COMPUTATIONS" @@ -127,12 +127,12 @@ before invoking any PPL interface related to such abstractions. .BR libppl(3) .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . .sp

1 0