[PPL-devel] [GIT] ppl/ppl(master): Libtool -version-info updated for PPL 0.10.2.

Roberto Bagnara bagnara at cs.unipr.it
Wed Apr 15 22:30:31 CEST 2009


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

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




More information about the PPL-devel mailing list