rpms/ppl/F-10 ppl-0.10.1-Makefile.patch, NONE, 1.1 ppl.hh, 1.1, 1.2 ppl.spec, 1.19, 1.20 ppl_c.h, 1.1, 1.2 pwl.hh, 1.1, 1.2
Roberto Bagnara
bagnara at fedoraproject.org
Tue Apr 14 07:10:02 UTC 2009
Author: bagnara
Update of /cvs/pkgs/rpms/ppl/F-10
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv14566
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/F-10/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 07:09:30 -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/F-10/ppl.spec,v
retrieving revision 1.19
retrieving revision 1.20
diff -u -r1.19 -r1.20
--- ppl.spec 4 Nov 2008 17:17:51 -0000 1.19
+++ ppl.spec 14 Apr 2009 07:09:30 -0000 1.20
@@ -1,8 +1,8 @@
#%define opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0)
Name: ppl
-Version: 0.10
-Release: 3%{?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: none
-#Patch1: none
+Patch0: ppl-0.10.1-Makefile.patch
+#Patch1:
#Icon:
#Requires:
Requires(post): /sbin/ldconfig
@@ -60,7 +60,7 @@
This package contains the mixed integer linear programming solver ppl_lpsol
and the program ppl_lcdd for vertex/facet enumeration of convex polyhedra.
-%ifnarch ppc64
+%ifnarch ia64 ppc64 s390 s390x
%package gprolog
# The `gprolog' package is not available on ppc64:
# the GNU Prolog interface must thus be disabled for that architecture.
@@ -73,7 +73,7 @@
Install this package if you want to use the library in GNU Prolog programs.
%endif
-%ifnarch ppc64
+%ifnarch ia64 ppc64 s390 s390x
%package gprolog-static
Summary: The static archive for the GNU Prolog interface of the Parma Polyhedra Library
Group: Development/Libraries
@@ -198,16 +198,16 @@
%prep
%setup -q
-#%patch0 -p1
+%patch0 -p1
#%patch1 -p1
%build
CPPFLAGS="-I%{_includedir}/glpk"
-%ifnarch ppc64
+%ifnarch ia64 ppc64 s390 s390x
CPPFLAGS="$CPPFLAGS -I%{_libdir}/gprolog-`gprolog --version 2>&1 | head -1 | sed -e "s/.* \([^ ]*\)$/\1/g"`/include"
%endif
CPPFLAGS="$CPPFLAGS -I%{_includedir}/Yap"
-%configure --enable-shared --disable-rpath --enable-interfaces="c++ c gnu_prolog swi_prolog yap_prolog java" CPPFLAGS="$CPPFLAGS"
+%configure --docdir=%{_datadir}/doc/%{name}-%{version} --enable-shared --disable-rpath --enable-interfaces="c++ c gnu_prolog swi_prolog yap_prolog java" CPPFLAGS="$CPPFLAGS"
sed -i 's|^hardcode_libdir_flag_spec=.*|hardcode_libdir_flag_spec=""|g' libtool
sed -i 's|^runpath_var=LD_RUN_PATH|runpath_var=DIE_RPATH_DIE|g' libtool
sed -i 's|^hardcode_libdir_flag_spec=.*|hardcode_libdir_flag_spec=""|g' Watchdog/libtool
@@ -245,27 +245,25 @@
# Install the Javadocs for ppl-java.
mkdir -p %{buildroot}%{_javadocdir}
mv \
-%{buildroot}/%{_datadir}/doc/%{name}/ppl-user-java-interface-%{version}-html \
+%{buildroot}/%{_datadir}/doc/%{name}-%{version}/ppl-user-java-interface-%{version}-html \
%{buildroot}%{_javadocdir}/%{name}-java
%files
%defattr(-,root,root,-)
-%doc %{_datadir}/doc/%{name}/BUGS
-%doc %{_datadir}/doc/%{name}/COPYING
-%doc %{_datadir}/doc/%{name}/CREDITS
-%doc %{_datadir}/doc/%{name}/ChangeLog
-%doc %{_datadir}/doc/%{name}/NEWS
-%doc %{_datadir}/doc/%{name}/README
-%doc %{_datadir}/doc/%{name}/README.configure
-%doc %{_datadir}/doc/%{name}/TODO
-%doc %{_datadir}/doc/%{name}/gpl.*
+%doc %{_datadir}/doc/%{name}-%{version}/BUGS
+%doc %{_datadir}/doc/%{name}-%{version}/COPYING
+%doc %{_datadir}/doc/%{name}-%{version}/CREDITS
+%doc %{_datadir}/doc/%{name}-%{version}/NEWS
+%doc %{_datadir}/doc/%{name}-%{version}/README
+%doc %{_datadir}/doc/%{name}-%{version}/README.configure
+%doc %{_datadir}/doc/%{name}-%{version}/TODO
+%doc %{_datadir}/doc/%{name}-%{version}/gpl.txt
%{_libdir}/libppl.so.*
%{_libdir}/libppl_c.so.*
%{_bindir}/ppl-config
%{_mandir}/man1/ppl-config.1.gz
-
%dir %{_libdir}/%{name}
-%dir %{_datadir}/doc/%{name}
+%dir %{_datadir}/doc/%{name}-%{version}
%files devel
%defattr(-,root,root,-)
@@ -290,7 +288,7 @@
%{_mandir}/man1/ppl_lcdd.1.gz
%{_mandir}/man1/ppl_lpsol.1.gz
-%ifnarch ppc64
+%ifnarch ia64 ppc64 s390 s390x
%files gprolog
%defattr(-,root,root,-)
%doc interfaces/Prolog/GNU/README.gprolog
@@ -299,7 +297,7 @@
%{_libdir}/%{name}/libppl_gprolog.so
%endif
-%ifnarch ppc64
+%ifnarch ia64 ppc64 s390 s390x
%files gprolog-static
%defattr(-,root,root,-)
%{_libdir}/%{name}/libppl_gprolog.a
@@ -346,33 +344,36 @@
%files docs
%defattr(-,root,root,-)
-%doc %{_datadir}/doc/%{name}/README.doc
-%doc %{_datadir}/doc/%{name}/fdl.*
-%doc %{_datadir}/doc/%{name}/ppl-user-%{version}-html/
-%doc %{_datadir}/doc/%{name}/ppl-user-c-interface-%{version}-html/
-#%doc %{_datadir}/doc/%{name}/ppl-user-ocaml-interface-%{version}-html/
-%doc %{_datadir}/doc/%{name}/ppl-user-prolog-interface-%{version}-html/
-%doc %{_datadir}/doc/%{name}/ppl-user-%{version}.pdf
-%doc %{_datadir}/doc/%{name}/ppl-user-c-interface-%{version}.pdf
-%doc %{_datadir}/doc/%{name}/ppl-user-java-interface-%{version}.pdf
-#%doc %{_datadir}/doc/%{name}/ppl-user-ocaml-interface-%{version}.pdf
-%doc %{_datadir}/doc/%{name}/ppl-user-prolog-interface-%{version}.pdf
-%doc %{_datadir}/doc/%{name}/ppl-user-%{version}.ps.gz
-%doc %{_datadir}/doc/%{name}/ppl-user-c-interface-%{version}.ps.gz
-%doc %{_datadir}/doc/%{name}/ppl-user-java-interface-%{version}.ps.gz
-#%doc %{_datadir}/doc/%{name}/ppl-user-ocaml-interface-%{version}.ps.gz
-%doc %{_datadir}/doc/%{name}/ppl-user-prolog-interface-%{version}.ps.gz
+%doc %{_datadir}/doc/%{name}-%{version}/ChangeLog*
+%doc %{_datadir}/doc/%{name}-%{version}/README.doc
+%doc %{_datadir}/doc/%{name}-%{version}/fdl.*
+%doc %{_datadir}/doc/%{name}-%{version}/gpl.pdf
+%doc %{_datadir}/doc/%{name}-%{version}/gpl.ps.gz
+%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-%{version}-html/
+%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-c-interface-%{version}-html/
+#%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-ocaml-interface-%{version}-html/
+%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-prolog-interface-%{version}-html/
+%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-%{version}.pdf
+%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-c-interface-%{version}.pdf
+%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-java-interface-%{version}.pdf
+#%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-ocaml-interface-%{version}.pdf
+%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-prolog-interface-%{version}.pdf
+%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-%{version}.ps.gz
+%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-c-interface-%{version}.ps.gz
+%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-java-interface-%{version}.ps.gz
+#%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-ocaml-interface-%{version}.ps.gz
+%doc %{_datadir}/doc/%{name}-%{version}/ppl-user-prolog-interface-%{version}.ps.gz
%files pwl
%defattr(-,root,root,-)
-%doc %{_datadir}/doc/pwl/BUGS
-%doc %{_datadir}/doc/pwl/COPYING
-%doc %{_datadir}/doc/pwl/CREDITS
-%doc %{_datadir}/doc/pwl/ChangeLog
-%doc %{_datadir}/doc/pwl/NEWS
-%doc %{_datadir}/doc/pwl/README
-%doc %{_datadir}/doc/pwl/gpl.*
+%doc %{_datadir}/doc/%{name}-%{version}/pwl/BUGS
+%doc %{_datadir}/doc/%{name}-%{version}/pwl/COPYING
+%doc %{_datadir}/doc/%{name}-%{version}/pwl/CREDITS
+%doc %{_datadir}/doc/%{name}-%{version}/pwl/NEWS
+%doc %{_datadir}/doc/%{name}-%{version}/pwl/README
+%doc %{_datadir}/doc/%{name}-%{version}/pwl/gpl.txt
%{_libdir}/libpwl.so.*
+%dir %{_datadir}/doc/%{name}-%{version}/pwl
%files pwl-devel
%defattr(-,root,root,-)
@@ -386,11 +387,14 @@
%files pwl-docs
%defattr(-,root,root,-)
-%doc %{_datadir}/doc/pwl/README.doc
-%doc %{_datadir}/doc/pwl/fdl.*
-%doc %{_datadir}/doc/pwl/pwl-user-0.5-html/
-%doc %{_datadir}/doc/pwl/pwl-user-0.5.pdf
-%doc %{_datadir}/doc/pwl/pwl-user-0.5.ps.gz
+%doc %{_datadir}/doc/%{name}-%{version}/pwl/ChangeLog*
+%doc %{_datadir}/doc/%{name}-%{version}/pwl/README.doc
+%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.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
@@ -401,13 +405,45 @@
rm -rf %{buildroot}
%changelog
-* Thu Nov 4 2008 Roberto Bagnara <bagnara at cs.unipr.it> 0.10-3
+* 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.
+
+* Tue Mar 24 2009 Roberto Bagnara <bagnara at cs.unipr.it> 0.10-10
+- There are no GNU Prolog packages available on ia64: disable the GNU Prolog
+ interface also on those platforms (besides ppc64, s390 and s390x).
+
+* Thu Feb 26 2009 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 0.10-9
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild.
+
+* Wed Feb 18 2009 Roberto Bagnara <bagnara at cs.unipr.it> 0.10-8
+- Install the documentation according to the Fedora packaging conventions.
+
+* Wed Feb 17 2009 Karsten Hopp <karsten at redhat.comt> 0.10-7
+- There are no GNU Prolog packages available on s390 and s390x: disable
+ the GNU Prolog interface also on those platforms (besides ppc64).
+
+* Wed Feb 04 2009 Roberto Bagnara <bagnara at cs.unipr.it> 0.10-6
+- Better workaround for the bug affecting PPL 0.10 on big-endian
+ architectures.
+
+* Tue Feb 03 2009 Roberto Bagnara <bagnara at cs.unipr.it> 0.10-5
+- Work around the bug affecting PPL 0.10 on big-endian architectures.
+
+* Fri Dec 05 2008 Roberto Bagnara <bagnara at cs.unipr.it> 0.10-4
+- Added `%%dir %%{_datadir}/doc/pwl' to the `%%files' section
+ of the `ppl-pwl' package.
+
+* Thu Nov 04 2008 Roberto Bagnara <bagnara at cs.unipr.it> 0.10-3
- Fixed the requirements of the `ppl-java' package.
-* Thu Nov 4 2008 Roberto Bagnara <bagnara at cs.unipr.it> 0.10-2
+* Thu Nov 04 2008 Roberto Bagnara <bagnara at cs.unipr.it> 0.10-2
- Added m4 >= 1.4.8 to build requirements.
-* Thu Nov 4 2008 Roberto Bagnara <bagnara at cs.unipr.it> 0.10-1
+* Thu Nov 04 2008 Roberto Bagnara <bagnara at cs.unipr.it> 0.10-1
- Updated and extended for PPL 0.10. In particular, the `ppl-config'
program, being useful also for non-development activities, has been
brought back to the main package.
@@ -415,17 +451,17 @@
* Tue Sep 30 2008 Roberto Bagnara <bagnara at cs.unipr.it> 0.9-25
- The `swiprolog' package now requires pl >= 5.6.57-2.
-* Mon Sep 8 2008 Roberto Bagnara <bagnara at cs.unipr.it> 0.9-24
+* Mon Sep 08 2008 Roberto Bagnara <bagnara at cs.unipr.it> 0.9-24
- Changed ppl-0.9-swiprolog.patch so as to invoke `plld' with
the `-v' option.
-* Mon Sep 8 2008 Roberto Bagnara <bagnara at cs.unipr.it> 0.9-23
+* Mon Sep 08 2008 Roberto Bagnara <bagnara at cs.unipr.it> 0.9-23
- Fixed ppl-0.9-swiprolog.patch.
-* Mon Sep 8 2008 Roberto Bagnara <bagnara at cs.unipr.it> 0.9-22
+* Mon Sep 08 2008 Roberto Bagnara <bagnara at cs.unipr.it> 0.9-22
- Implemented a workaround to cope with the new location of SWI-Prolog.h.
-* Mon Sep 8 2008 Roberto Bagnara <bagnara at cs.unipr.it> 0.9-21
+* Mon Sep 08 2008 Roberto Bagnara <bagnara at cs.unipr.it> 0.9-21
- Fixed the SWI-Prolog interface dependencies.
* Mon May 19 2008 Roberto Bagnara <bagnara at cs.unipr.it> 0.9-20
Index: ppl_c.h
===================================================================
RCS file: /cvs/pkgs/rpms/ppl/F-10/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 07:09:31 -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/F-10/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 07:09:31 -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).
More information about the fedora-extras-commits
mailing list