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

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Apr 11 18:14:12 2009 +0200

Updated for PPL 0.10.1.

---

 fedora/ppl-0.10-bigendian.patch  |   15 ---------------
 fedora/ppl-0.10-configure.patch  |   26 --------------------------
 fedora/ppl-0.10.1-Makefile.patch |   12 ++++++++++++
 fedora/ppl.spec                  |   19 +++++++++++--------
 4 files changed, 23 insertions(+), 49 deletions(-)

diff --git a/fedora/ppl-0.10-bigendian.patch b/fedora/ppl-0.10-bigendian.patch
deleted file mode 100644
index 6d171cf..0000000
--- a/fedora/ppl-0.10-bigendian.patch
+++ /dev/null
@@ -1,15 +0,0 @@
---- ppl-0.10/src/Float.defs.hh	2008-10-03 15:23:03.000000000 +0200
-+++ ppl-0.10-patched/src/Float.defs.hh	2009-02-04 07:59:06.000000000 +0100
-@@ -65,6 +65,12 @@
-   void build(bool negative, mpz_t mantissa, int exponent);
- };
- 
-+#ifdef WORDS_BIGENDIAN
-+#ifndef PPL_WORDS_BIGENDIAN
-+#define PPL_WORDS_BIGENDIAN
-+#endif
-+#endif
-+
- #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
- /*! \ingroup PPL_CXX_interface */
- #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
diff --git a/fedora/ppl-0.10-configure.patch b/fedora/ppl-0.10-configure.patch
deleted file mode 100644
index 88dbb01..0000000
--- a/fedora/ppl-0.10-configure.patch
+++ /dev/null
@@ -1,26 +0,0 @@
-diff -ur ppl-0.10/Watchdog/doc/Makefile.in ppl-0.10-patched/Watchdog/doc/Makefile.in
---- ppl-0.10/Watchdog/doc/Makefile.in	2008-11-04 10:36:59.000000000 +0100
-+++ ppl-0.10-patched/Watchdog/doc/Makefile.in	2009-02-18 23:15:28.000000000 +0100
-@@ -163,7 +163,7 @@
- debug_flag = @debug_flag@
- 
- # All the documentation in docdir.
--docdir = @docdir@
-+docdir = @docdir@/pwl
- dvidir = @dvidir@
- exec_prefix = @exec_prefix@
- host = @host@
-diff -ur ppl-0.10/configure ppl-0.10-patched/configure
---- ppl-0.10/configure	2008-11-04 10:37:00.000000000 +0100
-+++ ppl-0.10-patched/configure	2009-02-18 22:36:56.000000000 +0100
-@@ -2923,10 +2923,6 @@
- PPL_CONFIGURE_OPTIONS="\"$ac_configure_args\""
- 
- 
--# Installation directories.
--docdir='${datadir}/doc/ppl'
--
--
- # Generate a configuration header file.
- ac_config_headers="$ac_config_headers config.h"
- 
diff --git a/fedora/ppl-0.10.1-Makefile.patch b/fedora/ppl-0.10.1-Makefile.patch
new file mode 100644
index 0000000..307e5c7
--- /dev/null
+++ b/fedora/ppl-0.10.1-Makefile.patch
@@ -0,0 +1,12 @@
+diff -ur ppl-0.10.1/Watchdog/doc/Makefile.in ppl-0.10.1-patched/Watchdog/doc/Makefile.in
+--- ppl-0.10.1/Watchdog/doc/Makefile.in	2000-04-11 10:36:59.000000000 +0100
++++ ppl-0.10.1-patched/Watchdog/doc/Makefile.in	2009-04-11 17:53:10.000000000 +0100
+@@ -163,7 +163,7 @@
+ debug_flag = @debug_flag@
+ 
+ # All the documentation in docdir.
+-docdir = @docdir@
++docdir = @docdir@/pwl
+ dvidir = @dvidir@
+ exec_prefix = @exec_prefix@
+ host = @host@
diff --git a/fedora/ppl.spec b/fedora/ppl.spec
index 616189f..6d7e855 100644
--- a/fedora/ppl.spec
+++ b/fedora/ppl.spec
@@ -1,8 +1,8 @@
 #%define opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0)
 
 Name:           ppl
-Version:        0.10
-Release:        11%{?dist}
+Version:        0.10.1
+Release:        1%{?dist}
 
 Summary:        The Parma Polyhedra Library: a library of numerical abstractions
 Group:          Development/Libraries
@@ -12,8 +12,8 @@ Source0:        ftp://ftp.cs.unipr.it/pub/ppl/releases/%{version}/%{name}-%{vers
 Source1:        ppl.hh
 Source2:        ppl_c.h
 Source3:        pwl.hh
-Patch0:         ppl-0.10-bigendian.patch
-Patch1:         ppl-0.10-configure.patch
+Patch0:         ppl-0.10.1-Makefile.patch
+#Patch1:
 #Icon:
 #Requires:
 Requires(post): /sbin/ldconfig
@@ -199,7 +199,7 @@ Install this package if you want to program with the PWL.
 %prep
 %setup -q
 %patch0 -p1
-%patch1 -p1
+#%patch1 -p1
 
 %build
 CPPFLAGS="-I%{_includedir}/glpk"
@@ -392,9 +392,9 @@ mv \
 %doc %{_datadir}/doc/%{name}-%{version}/pwl/fdl.*
 %doc %{_datadir}/doc/%{name}-%{version}/pwl/gpl.ps.gz
 %doc %{_datadir}/doc/%{name}-%{version}/pwl/gpl.pdf
-%doc %{_datadir}/doc/%{name}-%{version}/pwl/pwl-user-0.5-html/
-%doc %{_datadir}/doc/%{name}-%{version}/pwl/pwl-user-0.5.pdf
-%doc %{_datadir}/doc/%{name}-%{version}/pwl/pwl-user-0.5.ps.gz
+%doc %{_datadir}/doc/%{name}-%{version}/pwl/pwl-user-0.7-html/
+%doc %{_datadir}/doc/%{name}-%{version}/pwl/pwl-user-0.7.pdf
+%doc %{_datadir}/doc/%{name}-%{version}/pwl/pwl-user-0.7.ps.gz
 
 %post -p /sbin/ldconfig
 %postun -p /sbin/ldconfig
@@ -405,6 +405,9 @@ mv \
 rm -rf %{buildroot}
 
 %changelog
+* Tue Apr 14 2009 Roberto Bagnara <bagnara at cs.unipr.it> 0.10.1-1
+- Updated for PPL 0.10.1.
+
 * Sun Mar 29 2009 Roberto Bagnara <bagnara at cs.unipr.it> 0.10-11
 - Moved changelogs and PostScript and PDF versions of the GPL to the
   `docs' subpackages. This saves considerable space on the live media.