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

Author: Roberto Bagnara bagnara@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