Changelog for ppl-pwl-devel-0.9-13.fc7.i386.rpm :
Sat Jul 7 00:00:00 2007 Roberto Bagnara 0.9-13
- Bug 246815 had been fixed: YAP support enabled again.

Fri Jul 6 00:00:00 2007 Roberto Bagnara 0.9-12
- Disable YAP support until bug 246815 is fixed.
- Bug 243084 has been fixed: `ppl-swiprolog\' dependency on `readline-devel\'
removed.

Fri Jul 6 00:00:00 2007 Roberto Bagnara 0.9-11
- The `gprolog\' package is not available on the ppc64 architecture:
so do `ppl-gprolog\' and `ppl-gprolog-static\'.

Wed Jul 4 00:00:00 2007 Roberto Bagnara 0.9-10
- Use `%{buildroot}\' consistently, instead of `$RPM_BUILD_ROOT\'.

Tue Jul 3 00:00:00 2007 Roberto Bagnara 0.9-9
- Patch NEWS, TODO and doc/definitions.dox so as to use the
UTF-8 encoding instead of ISO-8859.

Wed Jun 13 00:00:00 2007 Roberto Bagnara 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.

Fri Jun 8 00:00:00 2007 Roberto Bagnara 0.9-7
- `%install\' commands revised.

Fri Jun 8 00:00:00 2007 Roberto Bagnara 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.

Thu Jun 7 00:00:00 2007 Roberto Bagnara 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 23:00:00 2007 Roberto Bagnara 0.9-4
- The user manual (in various formats) is now in the `docs\' package.

Thu Feb 22 23:00:00 2007 Roberto Bagnara 0.9-3
- Dependencies for YAP fixed.
- Make sure the header files of GNU Prolog and YAP are found.

Wed Feb 21 23:00:00 2007 Roberto Bagnara
- Added missing dependencies.

Sun Feb 18 23:00:00 2007 Roberto Bagnara
- `%doc\' tags corrected for the Prolog interfaces.
- Tabs used consistently instead of spaces.

Sat Feb 17 23:00:00 2007 Roberto Bagnara
- 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 23:00:00 2007 Roberto Bagnara 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 23:00:00 2007 Roberto Bagnara
- 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 23:00:00 2006 Roberto Bagnara 0.9-1
- Install gzipped man pages.
- The `Copyright\' tag is no longer supported: use `License\' instead.

Wed Jan 11 23:00:00 2006 Roberto Bagnara
- Include `ppl-config\' in `%{_bindir}\' and the man pages in
`%{_mandir}/man1\'.

Tue Jan 10 23:00:00 2006 Roberto Bagnara
- Require gcc-c++ to be at least 4.0.2.
- Distribute also `ppl_lpsol\'.

Tue Mar 1 23:00:00 2005 Roberto Bagnara
- Wrong dependency fixed.

Mon Feb 28 23:00:00 2005 Roberto Bagnara
- URL for the source fixed.

Fri Dec 24 23:00:00 2004 Roberto Bagnara
- Sentence fixed.

Thu Dec 23 23:00:00 2004 Roberto Bagnara
- 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.

Thu Aug 19 00:00:00 2004 Roberto Bagnara
- Distribute more documentation.

Tue Aug 17 00:00:00 2004 Roberto Bagnara
- 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.

Thu Jul 31 00:00:00 2003 Roberto Bagnara
- Build an RPM package also for the PWL.
- The Prolog interfaces depend on the PWL.

Tue Mar 4 23:00:00 2003 Roberto Bagnara
- We require gmp at least 4.1.2.

Sat Oct 5 00:00:00 2002 Roberto Bagnara
- Require gcc-c++ 3.2 or later version.
- Require gmp 4.1 or later version.

Mon Jul 1 00:00:00 2002 Roberto Bagnara
- Mention not necessarily closed convex polyhedra in the main `%description\'.

Wed Jun 26 00:00:00 2002 Roberto Bagnara
- `%files\' section for gprolog package fixed.

Tue Jun 25 00:00:00 2002 Roberto Bagnara
- `%files\' section fixed for the yap package.
- The `%files\' sections of each package are now complete.

Thu Jun 13 00:00:00 2002 Roberto Bagnara
- Added file list for package gprolog.
- Updated file list for package swi.

Fri Jun 7 00:00:00 2002 Roberto Bagnara
- The `swi\' package has now its `%files\' section.

Thu Jun 6 00:00:00 2002 Roberto Bagnara
- We will build several RPM packages out of our source tree.

Mon Mar 4 23:00:00 2002 Roberto Bagnara
- Require gcc-c++ 3.0.4 or later version.
- Require gmp 4.0.1 or later version.

Sun Jan 27 23:00:00 2002 Roberto Bagnara
- The move to libtool is complete: we can now build and distribute
(with, e.g., RPM) static and dynamic versions of the library.

Wed Oct 17 00:00:00 2001 Roberto Bagnara
- Changed `Summary\'.
- Changed `Packager\' in view of PGP signatures.
- Changed `Group\' to `Development/Libraries\'.
- Require gcc-c++ 2.96-85 or later version.

Tue Oct 16 00:00:00 2001 Roberto Bagnara
- Now we build a relocatable package.

Tue Oct 16 00:00:00 2001 Roberto Bagnara
- A first cut at a working RPM spec file.