[PPL-devel] [GIT] ppl/ppl(master): Updated.
Roberto Bagnara
roberto.bagnara at bugseng.com
Fri Feb 12 10:04:06 CET 2016
Module: ppl/ppl
Branch: master
Commit: 72041c4d0d7fc5c1ec4c172248275bcdf41e7300
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72041c4d0d7fc5c1ec4c172248275bcdf41e7300
Author: Roberto Bagnara <roberto.bagnara at 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 at cs.unipr.it], [ppl])
+AC_INIT([the Parma Polyhedra Library], [1.3pre1], [ppl-devel at 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
More information about the PPL-devel
mailing list