[PPL-devel] [GIT] ppl/ppl(master): Updated for PWL 0.7.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Apr  4 08:17:57 2009 +0200

Updated for PWL 0.7.

---

 Watchdog/NEWS            |    7 +++++++
 Watchdog/README          |   21 +++++++++------------
 Watchdog/configure.ac    |    2 +-
 Watchdog/src/Makefile.am |    5 +++--
 4 files changed, 20 insertions(+), 15 deletions(-)

diff --git a/Watchdog/NEWS b/Watchdog/NEWS
index 364feee..0d73c44 100644
--- a/Watchdog/NEWS
+++ b/Watchdog/NEWS
@@ -4,6 +4,13 @@ Parma Watchdog Library NEWS -- history of user-visible changes
 
 
 --------------------------------------------------------------------------
+NEWS for version 0.7  (released on April 14, 2009)
+--------------------------------------------------------------------------
+
+o  Minor configuration improvements.
+
+
+--------------------------------------------------------------------------
 NEWS for version 0.6  (released on November 4, 2008)
 --------------------------------------------------------------------------
 
diff --git a/Watchdog/README b/Watchdog/README
index 4f7d672..4aaf43a 100644
--- a/Watchdog/README
+++ b/Watchdog/README
@@ -1,5 +1,5 @@
 
-This is the release 0.5 of the Parma Watchdog Library:
+This is the release 0.6 of the Parma Watchdog Library:
 a C++ library for software timeouts.
 
 To be continued...
@@ -12,10 +12,10 @@ See the file BUGS for known bugs and how to report new ones.
 See the file CREDITS for a list of people and organizations that
 contributed to the PWL.
 
-Here is the contents of the PWL 0.5 source distribution
-(5 directories, 100 files):
+Here is the contents of the PWL 0.7 source distribution
+(5 directories, 97 files):
 
-pwl-0.5
+pwl-0.7
 |-- BUGS
 |-- COPYING
 |-- CREDITS
@@ -38,9 +38,7 @@ pwl-0.5
 |   |-- Makefile.am
 |   |-- Makefile.in
 |   |-- README.doc
-|   |-- devref.doxyconf-html
 |   |-- devref.doxyconf-html.in
-|   |-- devref.doxyconf-latex
 |   |-- devref.doxyconf-latex.in
 |   |-- devref.tex
 |   |-- fdl.dox
@@ -53,13 +51,11 @@ pwl-0.5
 |   |-- gpl.ps.gz
 |   |-- gpl.tex
 |   |-- gpl.txt
-|   |-- pwl-user-0.5-html.tar.gz
-|   |-- pwl-user-0.5.pdf
-|   |-- pwl-user-0.5.ps.gz
+|   |-- pwl-user-0.7-html.tar.gz
+|   |-- pwl-user-0.7.pdf
+|   |-- pwl-user-0.7.ps.gz
 |   |-- pwl.sty
-|   |-- user.doxyconf-html
 |   |-- user.doxyconf-html.in
-|   |-- user.doxyconf-latex
 |   |-- user.doxyconf-latex.in
 |   `-- user.tex
 |-- install-sh
@@ -67,7 +63,6 @@ pwl-0.5
 |-- m4
 |   |-- Makefile.am
 |   |-- Makefile.in
-|   |-- ax_prefix_config_h.m4
 |   |-- lib-ld.m4
 |   |-- lib-link.m4
 |   |-- libtool.m4
@@ -77,6 +72,8 @@ pwl-0.5
 |   `-- lt~obsolete.m4
 |-- missing
 |-- mkinstalldirs
+|-- pwl-config.h.in
+|-- pwl-config.sed
 |-- src
 |   |-- Doubly_Linked_Object.defs.hh
 |   |-- Doubly_Linked_Object.inlines.hh
diff --git a/Watchdog/configure.ac b/Watchdog/configure.ac
index fba63d2..42fb136 100644
--- a/Watchdog/configure.ac
+++ b/Watchdog/configure.ac
@@ -23,7 +23,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 Watchdog Library],[0.5],[bagnara at cs.unipr.it],[pwl])
+AC_INIT([the Parma Watchdog Library],[0.7],[bagnara at cs.unipr.it],[pwl])
 
 # Minimum Autoconf version required.
 AC_PREREQ(2.61)
diff --git a/Watchdog/src/Makefile.am b/Watchdog/src/Makefile.am
index 9bbf229..0b94acc 100644
--- a/Watchdog/src/Makefile.am
+++ b/Watchdog/src/Makefile.am
@@ -85,8 +85,9 @@ pwl_header.hh
 #	    0.3			0.6		    2:0:0
 #	    0.4			0.7		    3:0:0
 #	    0.4			0.8		    3:0:0
-#	    0.4			0.9		    3:0:0
-#	    0.5			0.10		    4:0:0
+#	    0.5			0.9		    3:0:0
+#	    0.6			0.10		    4:0:0
+#	    0.7			0.10.1		    4:0:0
 
 LIBPWL_LT_CURRENT =  4
 LIBPWL_LT_REVISION = 0