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

Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Fri Feb 12 10:03:55 2016 +0100

Updated.

---

NEWS | 16 ++++++++++++++++ configure.ac | 2 +- interfaces/C/Makefile.am | 8 +++++++- src/Makefile.am | 3 ++- 4 files changed, 26 insertions(+), 3 deletions(-)

diff --git a/NEWS b/NEWS index baff7b0..58d532e 100644 --- a/NEWS +++ b/NEWS @@ -9,6 +9,22 @@ Parma Polyhedra Library NEWS -- history of user-visible changes ===============================================================

-------------------------------------------------------------------------- +NEWS for version 1.3 (released date to be decided) +-------------------------------------------------------------------------- + +New and Changed Features +======================== + +o TBW + + +Bugfixes +======== + +o TBW + + +-------------------------------------------------------------------------- NEWS for version 1.2 (released on February 11, 2016) --------------------------------------------------------------------------

diff --git a/configure.ac b/configure.ac index c00a204..5081714 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,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], [1.2], [ppl-devel@cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.3pre1], [ppl-devel@cs.unipr.it], [ppl])

# Minimum Autoconf version required. AC_PREREQ(2.61) diff --git a/interfaces/C/Makefile.am b/interfaces/C/Makefile.am index 431b54b..2f2431d 100644 --- a/interfaces/C/Makefile.am +++ b/interfaces/C/Makefile.am @@ -72,8 +72,14 @@ C_interface.dox # 0.10.1 2:0:0 (was not updated by mistake) # 0.10.2 3:0:1 # 0.11 4:0:0 - -LIBPPL_C_LT_CURRENT = 4 +# 0.12 4:0:0 (was not updated by mistake) +# 0.12.1 4:0:0 (was not updated by mistake) +# 1.0 4:0:0 (was not updated by mistake) +# 1.1 4:0:0 (was not updated by mistake) +# 1.2 4:0:0 (was not updated by mistake) +# 1.3 5:0:0 + +LIBPPL_C_LT_CURRENT = 5 LIBPPL_C_LT_REVISION = 0 LIBPPL_C_LT_AGE = 0

diff --git a/src/Makefile.am b/src/Makefile.am index 119fc32..5f3e650 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -61,8 +61,9 @@ # 1.0 12:0:0 # 1.1 13:0:0 # 1.2 14:0:0 +# 1.3 15:0:0

-LIBPPL_LT_CURRENT = 14 +LIBPPL_LT_CURRENT = 15 LIBPPL_LT_REVISION = 0 LIBPPL_LT_AGE = 0