rpms/ppl/devel ppl-0.10.1-Makefile.patch, NONE, 1.1 ppl.hh, 1.1, 1.2 ppl.spec, 1.27, 1.28 ppl_c.h, 1.1, 1.2 pwl.hh, 1.1, 1.2

[Roberto Bagnara]

Author: bagnara

Update of /cvs/pkgs/rpms/ppl/devel
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv28289

Modified Files:
	ppl.hh ppl.spec ppl_c.h pwl.hh 
Added Files:
	ppl-0.10.1-Makefile.patch 
Log Message:
Updated for PPL 0.10.1.


ppl-0.10.1-Makefile.patch:

--- NEW FILE ppl-0.10.1-Makefile.patch ---
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@


Index: ppl.hh
===================================================================
RCS file: /cvs/pkgs/rpms/ppl/devel/ppl.hh,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- ppl.hh	9 Jan 2008 10:47:16 -0000	1.1
+++ ppl.hh	14 Apr 2009 06:14:28 -0000	1.2
@@ -1,5 +1,5 @@
 /* This is the header file switcher of the Parma Polyhedra Library.
-   Copyright (C) 2001-2008 Roberto Bagnara <bagnara at cs.unipr.it>
+   Copyright (C) 2001-2009 Roberto Bagnara <bagnara at cs.unipr.it>
 
 This file is part of the Parma Polyhedra Library (PPL).
 


Index: ppl.spec
===================================================================
RCS file: /cvs/pkgs/rpms/ppl/devel/ppl.spec,v
retrieving revision 1.27
retrieving revision 1.28
diff -u -r1.27 -r1.28
--- ppl.spec	29 Mar 2009 14:42:33 -0000	1.27
+++ ppl.spec	14 Apr 2009 06:14:28 -0000	1.28
@@ -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 @@
 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 @@
 %prep
 %setup -q
 %patch0 -p1
-%patch1 -p1
+#%patch1 -p1
 
 %build
 CPPFLAGS="-I%{_includedir}/glpk"
@@ -392,9 +392,9 @@
 %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 @@
 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.


Index: ppl_c.h
===================================================================
RCS file: /cvs/pkgs/rpms/ppl/devel/ppl_c.h,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- ppl_c.h	9 Jan 2008 10:47:16 -0000	1.1
+++ ppl_c.h	14 Apr 2009 06:14:28 -0000	1.2
@@ -1,5 +1,5 @@
 /* Header file switcher for the C interface.  -*- C -*-
-   Copyright (C) 2001-2008 Roberto Bagnara <bagnara at cs.unipr.it>
+   Copyright (C) 2001-2009 Roberto Bagnara <bagnara at cs.unipr.it>
 
 This file is part of the Parma Polyhedra Library (PPL).
 


Index: pwl.hh
===================================================================
RCS file: /cvs/pkgs/rpms/ppl/devel/pwl.hh,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- pwl.hh	9 Jan 2008 10:47:16 -0000	1.1
+++ pwl.hh	14 Apr 2009 06:14:29 -0000	1.2
@@ -1,5 +1,5 @@
 /* This is the header file switcher of the Parma Watchdog Library.
-   Copyright (C) 2001-2008 Roberto Bagnara <bagnara at cs.unipr.it>
+   Copyright (C) 2001-2009 Roberto Bagnara <bagnara at cs.unipr.it>
 
 This file is part of the Parma Watchdog Library (PWL).