summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRoberto Bagnara <roberto.bagnara@bugseng.com>2013-11-08 14:11:25 +0100
committerRoberto Bagnara <roberto.bagnara@bugseng.com>2013-11-08 14:11:25 +0100
commit02d63ee8aae4c60ae85bc85ea24cecf7d96ef09e (patch)
tree003c01031ae3539ed258ca767b26c1b3bf8f656e
parentdacf2193128a992f330ebfb76793dbd01d3efabe (diff)
downloadppl-02d63ee8aae4c60ae85bc85ea24cecf7d96ef09e.tar.gz
ppl-02d63ee8aae4c60ae85bc85ea24cecf7d96ef09e.tar.bz2
ppl-02d63ee8aae4c60ae85bc85ea24cecf7d96ef09e.zip
Version number bumped.
-rw-r--r--configure.ac2
-rw-r--r--src/Makefile.am3
2 files changed, 3 insertions, 2 deletions
diff --git a/configure.ac b/configure.ac
index 39ade547e..0c0eb6241 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.1pre14], [ppl-devel@cs.unipr.it], [ppl])
+AC_INIT([the Parma Polyhedra Library], [1.2pre1], [ppl-devel@cs.unipr.it], [ppl])
# Minimum Autoconf version required.
AC_PREREQ(2.61)
diff --git a/src/Makefile.am b/src/Makefile.am
index 8cd12b70f..647550380 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -60,8 +60,9 @@
# 0.12.1 11:0:0
# 1.0 12:0:0
# 1.1 13:0:0
+# 1.2 14:0:0
-LIBPPL_LT_CURRENT = 13
+LIBPPL_LT_CURRENT = 14
LIBPPL_LT_REVISION = 0
LIBPPL_LT_AGE = 0