packages: ppl/ppl.spec - updated to 0.12 (note: new libppl soname; pwl has ...
qboosh
qboosh at pld-linux.org
Tue Mar 13 19:37:02 CET 2012
Author: qboosh Date: Tue Mar 13 18:37:02 2012 GMT
Module: packages Tag: HEAD
---- Log message:
- updated to 0.12 (note: new libppl soname; pwl has been merged into main lib)
---- Files affected:
packages/ppl:
ppl.spec (1.3 -> 1.4)
---- Diffs:
================================================================
Index: packages/ppl/ppl.spec
diff -u packages/ppl/ppl.spec:1.3 packages/ppl/ppl.spec:1.4
--- packages/ppl/ppl.spec:1.3 Fri Jan 13 22:06:23 2012
+++ packages/ppl/ppl.spec Tue Mar 13 19:36:56 2012
@@ -2,6 +2,8 @@
# TODO
# - help naming the subpackages properly
# - fix mess with docs packaging
+# - ciao_prolog, xsb prolog
+# - proprietary: cicstus prolog
#
# Conditional build:
%bcond_with java # java bindings
@@ -19,17 +21,21 @@
Summary: The Parma Polyhedra Library: a library of numerical abstractions
Summary(pl.UTF-8): Parma Polyhedra Library - biblioteka abstrakcji matematycznych
Name: ppl
-Version: 0.11.2
+Version: 0.12
Release: 1
License: GPL v3+
Group: Libraries
-Source0: ftp://ftp.cs.unipr.it/pub/ppl/releases/%{version}/%{name}-%{version}.tar.bz2
-# Source0-md5: c24429e6c3bc97d45976a63f40f489a1
+Source0: ftp://ftp.cs.unipr.it/pub/ppl/releases/%{version}/%{name}-%{version}.tar.xz
+# Source0-md5: 7615f217b66b4ab4783c20c9fc516ff4
URL: http://www.cs.unipr.it/ppl/
BuildRequires: glpk-devel >= 4.13
BuildRequires: gmp-c++-devel >= 4.1.3
BuildRequires: gmp-devel >= 4.1.3
+BuildRequires: libstdc++-devel
BuildRequires: m4 >= 1.4.8
+BuildRequires: perl-base
+BuildRequires: tar >= 1:1.22
+BuildRequires: xz
%if %{with yap_pl}
BuildRequires: yap-devel >= 5.1.1
%endif
@@ -48,6 +54,7 @@
BuildRequires: jdk
BuildRequires: jpackage-utils
%endif
+Obsoletes: ppl-pwl
BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
%description
@@ -83,6 +90,7 @@
Group: Development/Libraries
Requires: %{name} = %{version}-%{release}
Requires: gmp-devel >= 4.1.3
+Obsoletes: ppl-pwl-devel
%description devel
The header files, Autoconf macro and minimal documentation for
@@ -99,6 +107,7 @@
Summary(pl.UTF-8): Biblioteki statyczne interfejsów C i C++ biblioteki PPL
Group: Development/Libraries
Requires: %{name}-devel = %{version}-%{release}
+Obsoletes: ppl-pwl-static
%description static
The static archives for the Parma Polyhedra Library C and C++
@@ -113,6 +122,7 @@
Summary(pl.UTF-8): Dokumentacja biblioteki Parma Polyhedra Library
Group: Documentation
Requires: %{name} = %{version}-%{release}
+Obsoletes: ppl-pwl-docs
%description docs
This package contains all the documentations required by programmers
@@ -124,69 +134,6 @@
korzystającym z biblioteki Parma Polyhedra Library (PPL). Warto
zainstalować ten pakiet, aby programować z użyciem PPL.
-%package pwl
-Summary: The Parma Watchdog Library: a C++ library for watchdog timers
-Summary(pl.UTF-8): Biblioteka Parma Watchdog Library: biblioteka C++ ze stoperami kontrolującymi
-Group: Libraries
-
-%description pwl
-The Parma Watchdog Library (PWL) provides support for multiple,
-concurrent watchdog timers on systems providing setitimer(2). This
-package provides all what is necessary to run applications using the
-PWL. The PWL is currently distributed with the Parma Polyhedra
-Library, but is totally independent from it.
-
-%description pwl -l pl.UTF-8
-Biblioteka Parma Watchdog Library (PWL) zapewnia obsługę wielu
-jednocześnie działających stoperów na systemach z funkcją
-setitimer(2). Ten pakiet zawiera wszystko, co jest potrzebne do
-uruchamiania aplikacji wykorzystujących PWL. PWL jest rozprowadzana
-z biblioteką Parma Polyhedra Library, ale jest od niej całkowicie
-niezależna.
-
-%package pwl-devel
-Summary: Development files for the Parma Watchdog Library
-Summary(pl.UTF-8): Pliki programistyczne biblioteki Parma Watchdog Library
-Group: Development/Libraries
-Requires: %{name}-pwl = %{version}-%{release}
-
-%description pwl-devel
-The header files and minimal documentation for developing applications
-using the Parma Watchdog Library.
-
-%description pwl-devel -l pl.UTF-8
-Pliki nagłówkowe i minimalna dokumentacja do tworzenia aplikacji
-wykorzystujących bibliotekę Parma Watchdog Library.
-
-%package pwl-static
-Summary: Static archive for the Parma Watchdog Library
-Summary(pl.UTF-8): Biblioteka statyczna Parma Watchdog Library
-Group: Development/Libraries
-Requires: %{name}-pwl-devel = %{version}-%{release}
-
-%description pwl-static
-This package contains the static archive for the Parma Watchdog
-Library.
-
-%description pwl-static -l pl.UTF-8
-Ten pakiet zawiera bibliotekę statyczną Parma Watchdog Library.
-
-%package pwl-docs
-Summary: Documentation for the Parma Watchdog Library
-Summary(pl.UTF-8): Dokumentacja biblioteki Parma Watchdog Library
-Group: Documentation
-Requires: %{name}-pwl = %{version}-%{release}
-
-%description pwl-docs
-This package contains all the documentations required by programmers
-using the Parma Watchdog Library (PWL). Install this package if you
-want to program with the PWL.
-
-%description pwl-docs -l pl.UTF-8
-Ten pakiet zawiera całą dokumentację potrzebną programistom
-korzystającym z biblioteki Parma Watchdog Library (PWL). Warto
-zainstalować ten pakiet, aby programować z użyciem PWL.
-
%package utils
Summary: Utilities using the Parma Polyhedra Library
Summary(pl.UTF-8): Narzędzia wykorzystujące bibliotekę PPL
@@ -378,8 +325,6 @@
INSTALL="%{__install} -p" \
DESTDIR=$RPM_BUILD_ROOT
-%{__rm} $RPM_BUILD_ROOT%{_libdir}/*.la $RPM_BUILD_ROOT%{_libdir}/%{name}/*.la
-
%if %{with java}
# Install the Javadocs for ppl-java.
install -d $RPM_BUILD_ROOT%{_javadocdir}
@@ -388,28 +333,32 @@
$RPM_BUILD_ROOT%{_javadocdir}/%{name}-java
%endif
+%if %{with gprolog} || %{with swi_pl} || %{with yap_pl}
+%{__rm} $RPM_BUILD_ROOT%{_libdir}/%{name}/*.la
+%endif
+
+# common licenses
+%{__rm} $RPM_BUILD_ROOT%{_docdir}/%{name}-%{version}/{COPYING,fdl.*,gpl.*}
+# packaged in .pdf format
+%{__rm} $RPM_BUILD_ROOT%{_docdir}/%{name}-%{version}/ppl-user*-%{version}.ps.gz
+
%clean
rm -rf $RPM_BUILD_ROOT
%post -p /sbin/ldconfig
%postun -p /sbin/ldconfig
-%post pwl -p /sbin/ldconfig
-%postun pwl -p /sbin/ldconfig
-
%files
%defattr(644,root,root,755)
%dir %{_docdir}/%{name}-%{version}
%doc %{_docdir}/%{name}-%{version}/BUGS
-%doc %{_docdir}/%{name}-%{version}/COPYING
%doc %{_docdir}/%{name}-%{version}/CREDITS
%doc %{_docdir}/%{name}-%{version}/NEWS
%doc %{_docdir}/%{name}-%{version}/README
%doc %{_docdir}/%{name}-%{version}/README.configure
%doc %{_docdir}/%{name}-%{version}/TODO
-%doc %{_docdir}/%{name}-%{version}/gpl.txt
%attr(755,root,root) %{_libdir}/libppl.so.*.*.*
-%attr(755,root,root) %ghost %{_libdir}/libppl.so.9
+%attr(755,root,root) %ghost %{_libdir}/libppl.so.10
%attr(755,root,root) %{_libdir}/libppl_c.so.*.*.*
%attr(755,root,root) %ghost %{_libdir}/libppl_c.so.4
%dir %{_libdir}/%{name}
@@ -419,6 +368,8 @@
%attr(755,root,root) %{_bindir}/ppl-config
%attr(755,root,root) %{_libdir}/libppl.so
%attr(755,root,root) %{_libdir}/libppl_c.so
+%{_libdir}/libppl.la
+%{_libdir}/libppl_c.la
%{_includedir}/ppl*.hh
%{_includedir}/ppl_c*.h
%{_mandir}/man1/ppl-config.1*
@@ -445,56 +396,16 @@
%defattr(644,root,root,755)
%doc %{_docdir}/%{name}-%{version}/ChangeLog*
%doc %{_docdir}/%{name}-%{version}/README.doc
-%doc %{_docdir}/%{name}-%{version}/fdl.*
-%doc %{_docdir}/%{name}-%{version}/gpl.pdf
-%doc %{_docdir}/%{name}-%{version}/gpl.ps.gz
%doc %{_docdir}/%{name}-%{version}/ppl-user-%{version}-html/
%doc %{_docdir}/%{name}-%{version}/ppl-user-c-interface-%{version}-html/
%doc %{_docdir}/%{name}-%{version}/ppl-user-c-interface-%{version}.pdf
-%doc %{_docdir}/%{name}-%{version}/ppl-user-c-interface-%{version}.ps.gz
-
%doc %{_docdir}/%{name}-%{version}/ppl-user-%{version}.pdf
-%doc %{_docdir}/%{name}-%{version}/ppl-user-%{version}.ps.gz
%if %{with gprolog} || %{with swi_pl} || %{with yap_pl}
%doc %{_docdir}/%{name}-%{version}/ppl-user-prolog-interface-%{version}-html/
%doc %{_docdir}/%{name}-%{version}/ppl-user-prolog-interface-%{version}.pdf
-%doc %{_docdir}/%{name}-%{version}/ppl-user-prolog-interface-%{version}.ps.gz
%endif
-%files pwl
-%defattr(644,root,root,755)
-#%dir %{_docdir}/%{name}-%{version}/pwl
-#%doc %{_docdir}/%{name}-%{version}/pwl/BUGS
-#%doc %{_docdir}/%{name}-%{version}/pwl/COPYING
-#%doc %{_docdir}/%{name}-%{version}/pwl/CREDITS
-#%doc %{_docdir}/%{name}-%{version}/pwl/NEWS
-#%doc %{_docdir}/%{name}-%{version}/pwl/README
-#%doc %{_docdir}/%{name}-%{version}/pwl/gpl.txt
-%attr(755,root,root) %{_libdir}/libpwl.so.*.*.*
-%attr(755,root,root) %ghost %{_libdir}/libpwl.so.5
-
-%files pwl-devel
-%defattr(644,root,root,755)
-%attr(755,root,root) %{_libdir}/libpwl.so
-%doc Watchdog/doc/README.doc
-%{_includedir}/pwl*.hh
-
-%files pwl-static
-%defattr(644,root,root,755)
-%{_libdir}/libpwl.a
-
-%files pwl-docs
-%defattr(644,root,root,755)
-#%doc %{_docdir}/%{name}-%{version}/pwl/ChangeLog*
-#%doc %{_docdir}/%{name}-%{version}/pwl/README.doc
-#%doc %{_docdir}/%{name}-%{version}/pwl/fdl.*
-#%doc %{_docdir}/%{name}-%{version}/pwl/gpl.ps.gz
-#%doc %{_docdir}/%{name}-%{version}/pwl/gpl.pdf
-%doc %{_docdir}/%{name}-%{version}/pwl-user-*-html/
-%doc %{_docdir}/%{name}-%{version}/pwl-user-*.pdf
-%doc %{_docdir}/%{name}-%{version}/pwl-user-*.ps.gz
-
%if %{with gprolog}
%files gprolog
%defattr(644,root,root,755)
@@ -566,6 +477,9 @@
All persons listed below can be reached at <cvs_login>@pld-linux.org
$Log$
+Revision 1.4 2012/03/13 18:36:56 qboosh
+- updated to 0.12 (note: new libppl soname; pwl has been merged into main lib)
+
Revision 1.3 2012/01/13 21:06:23 qboosh
- pl, unified
================================================================
---- CVS-web:
http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/packages/ppl/ppl.spec?r1=1.3&r2=1.4&f=u
More information about the pld-cvs-commit
mailing list