Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

libppl7-0.10.2-6.mga1 RPM for i586

From Mageia 1 for i586 / media / core / release

Name: libppl7 Distribution: Mageia
Version: 0.10.2 Vendor: Mageia.Org
Release: 6.mga1 Build date: Wed Mar 30 03:32:05 2011
Group: Development/C Build host: ecosse
Size: 1027974 Source RPM: ppl-0.10.2-6.mga1.src.rpm
Packager: Mageia Team <http://www.mageia.org>
Url: http://www.cs.unipr.it/ppl/
Summary: The Parma Polyhedra Library: a library of numerical abstractions
The Parma Polyhedra Library (PPL) is a library for the manipulation of
(not necessarily closed) convex polyhedra and other numerical
abstractions.  The applications of convex polyhedra include program
analysis, optimized compilation, integer and combinatorial
optimization and statistical data-editing.  The Parma Polyhedra
Library comes with several user friendly interfaces, is fully dynamic
(available virtual memory is the only limitation to the dimension of
anything), written in accordance to all the applicable standards,
exception-safe, rather efficient, thoroughly documented, and free
software.  This package provides all what is necessary to run
applications using the PPL through its C and C++ interfaces.

Provides

Requires

License

GPLv3+

Changelog

* Wed Mar 30 2011 ahmad <ahmad> 0.10.2-6.mga1
  + Revision: 79003
  - obsolete old %{_lib}pwl4-static-devel and %{_lib}ppl7-static-devel
* Fri Feb 11 2011 rtp <rtp> 0.10.2-5.mga1
  + Revision: 49992
  - disable java and prolog on arm and mips
  - teach ppl_c.h some knowledge about mips
  
    + dmorgan <dmorgan>
      - Merge with mdv to have a package better splitted
      - Add a warning
* Wed Feb 02 2011 dmorgan <dmorgan> 0.10.2-4.mga1
  + Revision: 46406
  - revert to old version, to not break the BS
* Wed Feb 02 2011 dmorgan <dmorgan> 0.11-1.mga1
  + Revision: 46368
  - Do not apply patch1
  - New version
* Sun Jan 09 2011 blino <blino> 0.10.2-3.mga1
  + Revision: 2999
  - remove old ldconfig scriptlets
  - imported package ppl
* Fri Dec 03 2010 Oden Eriksson <oeriksson@mandriva.com> 0.10.2-2mdv2011.0
  + Revision: 607200
  - rebuild
* Tue Feb 09 2010 Funda Wang <fwang@mandriva.org> 0.10.2-1mdv2010.1
  + Revision: 503055
  - fix file list
  - fix build with gmp 5.0
* Wed May 20 2009 Christophe Fergeau <cfergeau@mandriva.com> 0.10.2-1mdv2010.0
  + Revision: 377977
  - Fix libglpk build require
  - Fix Group for the various packages
  - import ppl
* Sat Apr 18 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10.2-1
  - Updated for PPL 0.10.2.
* 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.
* Tue Mar 24 2009 Roberto Bagnara <bagnara@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@lists.fedoraproject.org> - 0.10-9
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild.
* Wed Feb 18 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-8
  - Install the documentation according to the Fedora packaging conventions.
* Tue Feb 17 2009 Karsten Hopp <karsten@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@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@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@cs.unipr.it> 0.10-4
  - Added `%dir %{_datadir}/doc/pwl' to the `%files' section
    of the `ppl-pwl' package.
* Tue Nov 04 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-3
  - Fixed the requirements of the `ppl-java' package.
* Tue Nov 04 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-2
  - Added m4 >= 1.4.8 to build requirements.
* Tue Nov 04 2008 Roberto Bagnara <bagnara@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.
* Tue Sep 30 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-25
  - The `swiprolog' package now requires pl >= 5.6.57-2.
* Mon Sep 08 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-24
  - Changed ppl-0.9-swiprolog.patch so as to invoke `plld' with
    the `-v' option.
* Mon Sep 08 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-23
  - Fixed ppl-0.9-swiprolog.patch.
* Mon Sep 08 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-22
  - Implemented a workaround to cope with the new location of SWI-Prolog.h.
* Mon Sep 08 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-21
  - Fixed the SWI-Prolog interface dependencies.
* Mon May 19 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-20
  - Added Requires /sbin/ldconfig.
* Wed Feb 13 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-19
  - Include a patch to supply a missing inclusions of <cstdlib>.
* Wed Jan 09 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-18
  - Avoid multiarch conflicts when installed for multiple architectures.
* Sun Dec 23 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-17
  - The SWI-Prolog `pl' package is temporarily not available on the ppc64
    architecture: temporarily disabled `ppl-swiprolog' and
    `ppl-swiprolog-static' on that architecture.
* Sat Sep 29 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-16
  - The value of the `License' tag is now `GPLv2+'.
  - `ppl-swiprolog' dependency on `readline-devel' removed (again).
* Mon Sep 24 2007 Jesse Keating <jkeating@redhat.com> 0.9-15
  - Rebuild for new libgmpxx.
* Tue Aug 28 2007 Fedora Release Engineering <rel-eng at fedoraproject dot org> 0.9-14
  - Rebuild for selinux ppc32 issue.
* Fri Jul 06 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-13
  - Bug 246815 had been fixed: YAP support enabled again.
* Thu Jul 05 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-12
  - Disable YAP support until bug 246815 is fixed.
  - Bug 243084 has been fixed: `ppl-swiprolog' dependency on `readline-devel'
    removed.
* Thu Jul 05 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-11
  - The `gprolog' package is not available on the ppc64 architecture:
    so do `ppl-gprolog' and `ppl-gprolog-static'.
* Tue Jul 03 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-10
  - Use `%{buildroot}' consistently, instead of  `$RPM_BUILD_ROOT'.
* Mon Jul 02 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-9
  - Patch NEWS, TODO and doc/definitions.dox so as to use the
    UTF-8 encoding instead of ISO-8859.
* Tue Jun 12 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-8
  - Patch the `libtool' script after `%configure' so as to fix
    the rpath issue.
  - Revised the description of the `devel' package.
  - Include also the `TODO' file in the documentation of the main package.
* Thu Jun 07 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-7
  - `%install' commands revised.
* Thu Jun 07 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-6
  - All the static archives are now in `*-static' packages.
  - Packages `ppl-gprolog-devel', `ppl-swiprolog-devel' and `ppl-yap-devel'
    renamed `ppl-gprolog', `ppl-swiprolog' and `ppl-yap',
    respectively.
  - As a workaround for a bug in the `pl' package (Bugzilla Bug 243084),
    `ppl-swiprolog' is now dependent on `readline-devel'.
  - Added `%dir %{_datadir}/doc/%{name}'.
  - The `ppl-user-0.9-html' documentation directory is now properly listed.
  - Remove installed *.la files.
  - Added a `ppl-0.9-configure.patch' to avoid overriding CFLAGS and CXXFLAGS.
* Wed Jun 06 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-5
  - Use `%{_includedir}' and `%{_libdir}' instead of `/usr/include'
    and `/usr/lib', respectively.
  - Use `%{_datadir}/doc/%{name}' instead of `/usr/share/doc/ppl'.
  - Replaced `%defattr(-,root,root)' with `%defattr(-,root,root,-)'.
* Fri Feb 23 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-4
  - The user manual (in various formats) is now in the `docs' package.
* Thu Feb 22 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-3
  - Dependencies for YAP fixed.
  - Make sure the header files of GNU Prolog and YAP are found.
* Wed Feb 21 2007 Roberto Bagnara <bagnara@cs.unipr.it>
  - Added missing dependencies.
* Sun Feb 18 2007 Roberto Bagnara <bagnara@cs.unipr.it>
  - `%doc' tags corrected for the Prolog interfaces.
  - Tabs used consistently instead of spaces.
* Sat Feb 17 2007 Roberto Bagnara <bagnara@cs.unipr.it>
  - Make `swiprolog-devel' depend on `pl' (at leat 5.6); documentation added.
  - The `yap' package has been renamed `yap-devel' and completed.
  - The `gprolog' package has been renamed `gprolog-devel' and completed.
  - The `ppl_lcdd' and `ppl_lpsol' programs are now in a new `utils' package.
  - The `ppl-config' program is now in the `devel' package.
  - Modified the configuration command so that the `glpk-devel' include files
    are found.
* Sun Feb 11 2007 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-2
  - The `%_libdir/ppl' is no longer orphaned.
  - Use `make %{?_smp_mflags}' for building.
  - The `swi' package has been renamed `swiprolog-devel'.
* Sat Feb 10 2007 Roberto Bagnara <bagnara@cs.unipr.it>
  - Added the `%changelog' section.
  - `Release' set to 2.
  - `Packager' and `Vendor' tags removed.
  - `Summary' fields are no longer ended with a dot.
  - The value of the `License' tag is now `GPL'.
  - Removed unused definition of `builddir'.
  - The `Name', `Version' and `Release' tags are now directly defined.
  - Commented out the efinitions of the `Require' and `Prefix' tags.
  - Set the `BuildRequires' tag to `gmp-devel'.
  - Exploit the features of `%setup', `%configure', `%install',
    `%post' and `%postun'.
  - Mixed use of spaces and tabs avoided.
  - Do configure with the --disable-rpath option so as to avoid
    hardcoding the path to search libraries.
  - Do not include libtool archive files.
  - Packages reorganized.
* Mon Jan 16 2006 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-1
  - Install gzipped man pages.
  - The `Copyright' tag is no longer supported: use `License' instead.
* Wed Jan 11 2006 Roberto Bagnara <bagnara@cs.unipr.it>
  - Include `ppl-config' in `%{_bindir}' and the man pages in
    `%{_mandir}/man1'.
* Tue Jan 10 2006 Roberto Bagnara <bagnara@cs.unipr.it>
  - Require gcc-c++ to be at least 4.0.2.
  - Distribute also `ppl_lpsol'.
* Tue Mar 01 2005 Roberto Bagnara <bagnara@cs.unipr.it>
  - Wrong dependency fixed.
* Mon Feb 28 2005 Roberto Bagnara <bagnara@cs.unipr.it>
  - URL for the source fixed.
* Fri Dec 24 2004 Roberto Bagnara <bagnara@cs.unipr.it>
  - Sentence fixed.
* Thu Dec 23 2004 Roberto Bagnara <bagnara@cs.unipr.it>
  - The file doc/README has been renamed README.doc so as not to conflict
    with the library's main README file.
  - Require gcc-c++ to be exactly version 3.4.1.
  - `Summary' updated to reflect the fact that the library now provides
    numerical abstractions other than convex polyhedra.
* Wed Aug 18 2004 Roberto Bagnara <bagnara@cs.unipr.it>
  - Distribute more documentation.
* Mon Aug 16 2004 Roberto Bagnara <bagnara@cs.unipr.it>
  - Added the `ppl_lcdd' program to the main package.
  - Require gcc-c++ to be exactly version 3.4.1.
  - We require gmp at least 4.1.3.
* Wed Jul 30 2003 Roberto Bagnara <bagnara@cs.unipr.it>
  - Build an RPM package also for the PWL.
  - The Prolog interfaces depend on the PWL.
* Tue Mar 04 2003 Roberto Bagnara <bagnara@cs.unipr.it>
  - We require gmp at least 4.1.2.
* Fri Oct 04 2002 Roberto Bagnara <bagnara@cs.unipr.it>
  - Require gcc-c++ 3.2 or later version.
  - Require gmp 4.1 or later version.
* Sun Jun 30 2002 Roberto Bagnara <bagnara@cs.unipr.it>
  - Mention not necessarily closed convex polyhedra in the main `%description'.
* Tue Jun 25 2002 Roberto Bagnara <bagnara@cs.unipr.it>
  - `%files' section for gprolog package fixed.
* Mon Jun 24 2002 Roberto Bagnara <bagnara@cs.unipr.it>
  - `%files' section fixed for the yap package.
  - The `%files' sections of each package are now complete.
* Wed Jun 12 2002 Roberto Bagnara <bagnara@cs.unipr.it>
  - Added file list for package gprolog.
  - Updated file list for package swi.
* Thu Jun 06 2002 Roberto Bagnara <bagnara@cs.unipr.it>
  - The `swi' package has now its `%files' section.
* Wed Jun 05 2002 Roberto Bagnara <bagnara@cs.unipr.it>
  - We will build several RPM packages out of our source tree.
* Mon Mar 04 2002 Roberto Bagnara <bagnara@cs.unipr.it>
  - Require gcc-c++ 3.0.4 or later version.
  - Require gmp 4.0.1 or later version.
* Sun Jan 27 2002 Roberto Bagnara <bagnara@cs.unipr.it>
  - The move to libtool is complete: we can now build and distribute
    (with, e.g., RPM) static and dynamic versions of the library.
* Tue Oct 16 2001 Roberto Bagnara <bagnara@cs.unipr.it>
  - Changed `Summary'.
  - Changed `Packager' in view of PGP signatures.
  - Changed `Group' to `Development/Libraries'.
  - Require gcc-c++ 2.96-85 or later version.
* Mon Oct 15 2001 Roberto Bagnara <bagnara@cs.unipr.it>
  - Now we build a relocatable package.
* Mon Oct 15 2001 Roberto Bagnara <bagnara@cs.unipr.it>
  - A first cut at a working RPM spec file.

Files

/usr/lib/libppl.so.7
/usr/lib/libppl.so.7.1.0
/usr/lib/ppl
/usr/share/doc/ppl-0.10.2
/usr/share/doc/ppl-0.10.2/BUGS
/usr/share/doc/ppl-0.10.2/COPYING
/usr/share/doc/ppl-0.10.2/CREDITS
/usr/share/doc/ppl-0.10.2/NEWS
/usr/share/doc/ppl-0.10.2/README
/usr/share/doc/ppl-0.10.2/README.configure
/usr/share/doc/ppl-0.10.2/TODO
/usr/share/doc/ppl-0.10.2/gpl.txt


Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Apr 11 15:25:14 2014