April 2009 - PPL-devel - BUGSENG Mailman

[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: 8a5a53ecbeb4eecf23682cb98bbdea1d42dd286b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a5a53ecbeb4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 12:02:03 2009 +0200 Updated for PPL 0.10.2. --- demos/ppl_lcdd/ppl_lcdd.1 | 4 ++-- demos/ppl_lpsol/ppl_lpsol.1 | 4 +--- doc/libppl.3 | 2 +- doc/libppl_c.3 | 2 +- doc/ppl-config.1 | 12 ++++++------ doc/ppl-config_extra_man_text | 10 +++++----- 6 files changed, 16 insertions(+), 18 deletions(-) diff --git a/demos/ppl_lcdd/ppl_lcdd.1 b/demos/ppl_lcdd/ppl_lcdd.1 index f460191..461c540 100644 --- a/demos/ppl_lcdd/ppl_lcdd.1 +++ b/demos/ppl_lcdd/ppl_lcdd.1 @@ -1,10 +1,10 @@ .\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.36. -.TH PPL_LCDD "1" "April 2009" "ppl_lcdd 0.10.1" "User Commands" +.TH PPL_LCDD "1" "April 2009" "ppl_lcdd 0.10.2" "User Commands" .SH NAME ppl_lcdd \- a PPL-based program for vertex/facet enumeration of convex polyhedra .SH SYNOPSIS .B ppl_lcdd -[\fIOPTION\fR]... [\fIFILE\fR]... +[\fIOPTION\fR]... [\fIFILE\fR] .SH DESCRIPTION Reads an H\-representation (resp., a V\-representation) of a polyhedron and generates a V\-representation (resp., an H\-representation) of diff --git a/demos/ppl_lpsol/ppl_lpsol.1 b/demos/ppl_lpsol/ppl_lpsol.1 index d00ea15..5374c6e 100644 --- a/demos/ppl_lpsol/ppl_lpsol.1 +++ b/demos/ppl_lpsol/ppl_lpsol.1 @@ -1,5 +1,5 @@ .\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.36. -.TH PPL_LPSOL "1" "April 2009" "ppl_lpsol 0.10.1" "User Commands" +.TH PPL_LPSOL "1" "April 2009" "ppl_lpsol 0.10.2" "User Commands" .SH NAME ppl_lpsol \- a PPL-based mixed integer programming problem solver .SH SYNOPSIS @@ -83,8 +83,6 @@ The options \fB\-CSECS\fR (\fB\-\-max\-cpu\fR=\fISECS\fR) and .SH AUTHOR See the file \fBCREDITS\fR in the source distribution or use the command \fBppl\-config \-\-credits\fR for a list of contributors. -.SH "REPORTING BUGS" -Report bugs to <ppl\-devel(a)cs.unipr.it>. .SH COPYRIGHT Copyright (C) 2001\-2009 Roberto Bagnara <bagnara(a)cs.unipr.it> .br diff --git a/doc/libppl.3 b/doc/libppl.3 index 401c817..ee86159 100644 --- a/doc/libppl.3 +++ b/doc/libppl.3 @@ -1,4 +1,4 @@ -.TH libppl "3" "November 2008" "PPL 0.10.1" "libppl overview" +.TH libppl "3" "April 2009" "PPL 0.10.2" "libppl overview" .SH NAME libppl \- the C++ interface of the Parma Polyhedra Library diff --git a/doc/libppl_c.3 b/doc/libppl_c.3 index 91c8633..2013695 100644 --- a/doc/libppl_c.3 +++ b/doc/libppl_c.3 @@ -1,4 +1,4 @@ -.TH libppl_c "3" "November 2008" "PPL 0.10.1" "libppl_c overview" +.TH libppl_c "3" "April 2009" "PPL 0.10.2" "libppl_c overview" .SH NAME libppl_c \- the C interface of the Parma Polyhedra Library diff --git a/doc/ppl-config.1 b/doc/ppl-config.1 index ef18a8e..b4633ea 100644 --- a/doc/ppl-config.1 +++ b/doc/ppl-config.1 @@ -1,5 +1,5 @@ .\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.36. -.TH PPL-CONFIG "1" "April 2009" "ppl-config 0.10.1" "User Commands" +.TH PPL-CONFIG "1" "April 2009" "ppl-config 0.10.2" "User Commands" .SH NAME ppl-config \- obtain information about an installation of the Parma Polyhedra Library .SH SYNOPSIS @@ -116,26 +116,26 @@ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. .BR libppl_c(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 Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library Java Language Interface 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 OCaml Language Interface User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library OCaml Language Interface 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 Prolog Language Interface User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . diff --git a/doc/ppl-config_extra_man_text b/doc/ppl-config_extra_man_text index cad654d..52a6e56 100644 --- a/doc/ppl-config_extra_man_text +++ b/doc/ppl-config_extra_man_text @@ -4,27 +4,27 @@ .BR libppl_c(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 Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library Java Language Interface 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 OCaml Language Interface User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library OCaml Language Interface 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 Prolog Language Interface User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR .

1 0

[GIT] ppl/ppl(ppl-0_10-branch): Added targets to have `make -n dist' work as expected.
by Roberto Bagnara 17 Apr '09

17 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: 196f2de7fe79d67450109628d144b9b8f4ec2e3e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=196f2de7fe79… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 11:15:41 2009 +0200 Added targets to have `make -n dist' work as expected. --- Watchdog/doc/Makefile.am | 3 +++ doc/Makefile.am | 3 +++ 2 files changed, 6 insertions(+), 0 deletions(-) diff --git a/Watchdog/doc/Makefile.am b/Watchdog/doc/Makefile.am index 891b0ed..7357eb0 100644 --- a/Watchdog/doc/Makefile.am +++ b/Watchdog/doc/Makefile.am @@ -276,3 +276,6 @@ mostlyclean-local: CLEANFILES = \ $(USER_CORE_HTML_DIR).tag \ $(DEVREF_CORE_HTML_DIR).tag + +../src/pwl_include_files.hh: + $(MAKE) $(AM_MAKEFLAGS) -C ../src pwl_include_files.hh diff --git a/doc/Makefile.am b/doc/Makefile.am index ac2ab5e..ab02148 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -1632,3 +1632,6 @@ mostlyclean-local: CLEANFILES = \ $(USER_CORE_HTML_DIR).tag \ $(DEVREF_CORE_HTML_DIR).tag + +../src/ppl_include_files.hh: + $(MAKE) $(AM_MAKEFLAGS) -C ../src ppl_include_files.hh

1 0

[GIT] ppl/ppl(ppl-0_10-branch): Usage string fixed: ppl_lcdd accepts at most one input file.
by Roberto Bagnara 17 Apr '09

17 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: d8a9cfe7cf1e6ddeaf08b4647a3f29d88f9f924b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d8a9cfe7cf1e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 10:57:35 2009 +0200 Usage string fixed: ppl_lcdd accepts at most one input file. --- demos/ppl_lcdd/ppl_lcdd.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/demos/ppl_lcdd/ppl_lcdd.cc b/demos/ppl_lcdd/ppl_lcdd.cc index e174030..b0d33d5 100644 --- a/demos/ppl_lcdd/ppl_lcdd.cc +++ b/demos/ppl_lcdd/ppl_lcdd.cc @@ -162,7 +162,7 @@ struct option long_options[] = { #endif static const char* usage_string -= "Usage: %s [OPTION]... [FILE]...\n" += "Usage: %s [OPTION]... [FILE]\n" "Reads an H-representation (resp., a V-representation) of a polyhedron\n" "and generates a V-representation (resp., an H-representation) of\n" "the same polyhedron.\n\n"

1 0

[GIT] ppl/ppl(ppl-0_10-branch): Added rules so that `make -n' and `make -n check' work.
by Roberto Bagnara 17 Apr '09

17 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: d5c7c849dc491e2057c5da89b777ab61377df240 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d5c7c849dc49… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 08:37:12 2009 +0200 Added rules so that `make -n' and `make -n check' work. --- Watchdog/src/Makefile.am | 6 +++++ Watchdog/tests/Makefile.am | 3 ++ demos/ppl_lcdd/Makefile.am | 6 +++++ demos/ppl_lpsol/Makefile.am | 3 ++ interfaces/C/Makefile.am | 10 ++++++++ interfaces/C/tests/Makefile.am | 3 ++ interfaces/Java/Makefile.am | 3 ++ interfaces/Java/jni/Makefile.am | 7 ++++++ .../Java/parma_polyhedra_library/Makefile.am | 3 ++ interfaces/Java/tests/Makefile.am | 3 ++ interfaces/OCaml/Makefile.am | 7 ++++++ interfaces/OCaml/tests/Makefile.am | 10 ++++++++ interfaces/Prolog/Ciao/Makefile.am | 13 +++++++++++ interfaces/Prolog/GNU/Makefile.am | 9 +++++++ interfaces/Prolog/Makefile.am | 3 ++ interfaces/Prolog/SICStus/Makefile.am | 23 ++++++++++++++++++++ interfaces/Prolog/SWI/Makefile.am | 9 +++++++ interfaces/Prolog/XSB/Makefile.am | 9 +++++++ interfaces/Prolog/YAP/Makefile.am | 9 +++++++ interfaces/Prolog/tests/Makefile.am | 3 ++ src/Makefile.am | 9 +++++++ tests/BD_Shape/Makefile.am | 10 ++++++++ tests/Box/Makefile.am | 12 ++++++++++ tests/Grid/Makefile.am | 9 +++++++ tests/MIP_Problem/Makefile.am | 12 ++++++++++ tests/Octagonal_Shape/Makefile.am | 9 +++++++ tests/Partially_Reduced_Product/Makefile.am | 9 +++++++ tests/Polyhedron/Makefile.am | 12 ++++++++++ tests/Powerset/Makefile.am | 9 +++++++ 29 files changed, 233 insertions(+), 0 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=d5c7c849…

1 0

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

17 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: d77b6ad1c7ddac3a8ff4168114975e2c894caeb3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d77b6ad1c7dd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 16 07:47:21 2009 +0200 Updated BHZ09b. --- doc/definitions.dox | 7 +++++-- 1 files changed, 5 insertions(+), 2 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index 123bb92..e493e03 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -3160,8 +3160,11 @@ R. Bagnara, P. M. Hill, and E. Zaffanella. R. Bagnara, P. M. Hill, and E. Zaffanella. Exact join detection for convex polyhedra and other numerical abstractions. - Report <tt>arXiv:cs.CG/0904.1783</tt>, 2009. - Available from <a href="http://arxiv.org/">http://arxiv.org/</a>. + Quaderno 492, Dipartimento di Matematica, Università di Parma, + Italy, 2009. + Available at <a href="http://www.cs.unipr.it/Publications/">http://www.cs.unipr.it/Publications/</a>. Also + published as <tt>arXiv:cs.CG/0904.1783</tt>, available from + <a href="http://arxiv.org/">http://arxiv.org/</a>. </DD>

1 0

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

17 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch 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(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: 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(ppl-0_10-branch): Libtool -version-info updated for PPL 0.10. 2.
by Roberto Bagnara 17 Apr '09

17 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch 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(ppl-0_10-branch): Accommodate version 4.3.0 of GMP.
by Roberto Bagnara 17 Apr '09

17 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch 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

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

17 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: 23cb7dad8cf9db38bca9ac8e59c5602edb860910 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=23cb7dad8cf9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 14 14:09:48 2009 +0200 Improved. --- doc/README.doc | 13 +++++++------ 1 files changed, 7 insertions(+), 6 deletions(-) diff --git a/doc/README.doc b/doc/README.doc index 3fd2c80..57f95ff 100644 --- a/doc/README.doc +++ b/doc/README.doc @@ -56,7 +56,7 @@ The Documentation You May Build Yourself ======================================== When all else fails (which is the case, for example, when you are -using a git version [1]) then you may build the documentation by +using a Git version [1]) then you may build the documentation by yourself. In order to do that, you should have a recent version of Doxygen [2] and, if you want to build the HTML documentation, a recent version of Graphviz [3]. When you have all the tools installed and @@ -100,16 +100,16 @@ command `make world' will build all the available documentation in all of the above formats. It is possible that, while compiling some PostScript or PDF -documentation, LaTeX dies with a "TeX capacity exceeded" error +documentation, TeX dies with a "TeX capacity exceeded" error message. The error should contain the indication of the TeX buffer whose capacity has been exceeded, e.g.: ! TeX capacity exceeded, sorry [save size=5000]. -You then need to edit the LaTeX configuration file that defines the +You then need to edit the TeX configuration file that defines the buffer sizes so as to increase the value of the relevant buffer. Note: the actual name and location of the configuration file will vary -depending on the available LaTeX distribution: possible names include +depending on the available TeX distribution: possible names include texmf.cnf, texmf.cfg and 20sizes.cnf. Continuing our example, we can double save_size by editing the configuration file so that the relevant line becomes @@ -117,11 +117,12 @@ relevant line becomes save_size = 10000 % for saving values outside current group Any change to such configuration files should be followed by running -the command +a command like texconfig init -for the change to become effective. +for the change to become effective (on some systems the `texconfig-sys' +command should be used to configure TeX system-wide). --------

1 0