[PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Updated for PPL 0.10.1.
Roberto Bagnara
bagnara at cs.unipr.it
Sun Apr 12 10:44:28 CEST 2009
Module: ppl/ppl
Branch: ppl-0_10-branch
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.
More information about the PPL-devel
mailing list