Module: ppl/ppl Branch: master Commit: a0da4a56d73827f16d6d32af6aa2e2d44232edec URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0da4a56d7382...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Apr 1 10:41:21 2009 +0200

Updated for PPL 0.10.1.

---

README | 6 +++--- src/Makefile.am | 5 +++-- 2 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/README b/README index 964c6f9..ea8ba9f 100644 --- a/README +++ b/README @@ -2,10 +2,10 @@ Copyright (C) 2001-2009 Roberto Bagnara bagnara@cs.unipr.it See below for the copying conditions.

-Parma Polyhedra Library (Release 0.10) -===================================== +Parma Polyhedra Library (Release 0.10.1) +========================================

-This is the release 0.10 of the Parma Polyhedra Library: +This is the release 0.10.1 of the Parma Polyhedra Library: a C++ library for (not necessarily closed) convex polyhedra and other numerical abstractions.

diff --git a/src/Makefile.am b/src/Makefile.am index ad7f50a..a066dab 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -52,10 +52,11 @@ # 0.8 5:0:0 # 0.9 6:0:0 # 0.10 7:0:0 +# 0.10.1 8:0:1

-LIBPPL_LT_CURRENT = 7 +LIBPPL_LT_CURRENT = 8 LIBPPL_LT_REVISION = 0 -LIBPPL_LT_AGE = 0 +LIBPPL_LT_AGE = 1

AM_CPPFLAGS = \ -I$(top_builddir) \