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

Author: Roberto Bagnara bagnara@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@cs.unipr.it 0.10.1-1 +- Updated for PPL 0.10.1. + * Sun Mar 29 2009 Roberto Bagnara bagnara@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.