--- Begin Message ---
Package: ppl
Severity: normal
Tags: patch
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Hi,
I am attaching two patches to add SWI Prolog support to PPL. The first
patch modifies the debian/ scripts to add this support during the
compilation of the package, to add the description of the new
binary package "libppl-swi", to update dependencies, etc.
The second patch is for the PPL sources (release 0.10.2), because
otherwise it will not pass the tests with SWI Prolog support
enabled. This patch has already been included in the upstream sources
[1], as a result of a report that I sent [2]. However, it has not been
included yet in any of the releases of PPL.
The second patch has to be applied to
ppl-0.10.2/interfaces/Prolog/SWI/swi_prolog_generated_test.pl
Cheers,
Israel
[1] http://www.cs.unipr.it/pipermail/ppl-devel/2009-August/015163.html
[2] http://www.cs.unipr.it/pipermail/ppl-devel/2009-August/015159.html
- -- System Information:
Debian Release: squeeze/sid
APT prefers unstable
APT policy: (500, 'unstable')
Architecture: i386 (i686)
Kernel: Linux 2.6.30-1-686 (SMP w/2 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iQIcBAEBAgAGBQJKeZ4XAAoJEL3YOl6gMeYiJmoP/i6Lm6IFy09Wy3Q/W2vHoi2i
PgISQ4sUG6rAgaNMQcjYEMdy7PgSMylMML966uf7TdxV14alqOl+zKWfaIgR+EFR
yMF5ed7PRCobv0Gn8gVDa8xQoZQbbdc9YrNzKPqqa1ySYz84668Hm+ef9NE2BPCK
iNeFdKd+YCiZCOTnqPonITZHTUcUTYEOZrLlzeS6l3KbYBmaCr5hc0jzfaPoFGyo
0A77c1BoEMi9Mi9Dz09DnKUaRHcovhJpdtd/q2M6bXLaBMXktXlfbNaR+lYKE5F0
2Ds9t6edd9I4geNdSD71E5wxtDcOQnHlypZQDq03Qyim9BnoWEE5jMLa6sq8GbWB
YbhJoE+VXrlESciuGoNMxP8a+xpoQyY18zflSnuEFDaQYyu2zTHhf1rROKWN4PAR
0yPlnRmDR0XZDey5hODtRTxHSYqYmqEBHHc6TBmpUdp7noN7MLQlVJFHzcXz4Cgz
IZjBWxc/0ExQ1o/NHu/k6xKjrEpwl/9Z0GgwWf/cPat6vDX0BSWfPkNuekSAfQhZ
TN87vSRYD2P5B1IwcenScTQbqGyvocPJhwbhc43eEM5dU/434GAjIAvsrMyzPbdS
9D8S88wBuTOElFTeejqsZybB7qCBQekUkfLyGxpH8ao/Zi0KrpN9i+pBTRI5zZqr
LeDJN0785HH4uzJlWVPO
=dFTs
-----END PGP SIGNATURE-----
diff -N -w -B -a ppl-0.10.2/debian/control /pkg/debian/ppl/ppl-0.10.2/debian/control
62a63,78
> Package: libppl-swi
> Architecture: any
> Depends: libppl7 (= ${binary:Version}), ${shlibs:Depends}, swi-prolog
> Description: Parma Polyhedra Library (SWI Prolog interface)
> The Parma Polyhedra Library (PPL) is a C++ 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 is user friendly (you write `x + 2*y + 5*z <= 7' when you
> mean it), fully dynamic (available virtual memory is the only
> limitation to the dimension of anything), written in standard C++,
> exception-safe, rather efficient and thoroughly documented.
> .
> This package provides the SWI Prolog interface.
>
diff -N -w -B -a ppl-0.10.2/debian/libppl-swi.dirs /pkg/debian/ppl/ppl-0.10.2/debian/libppl-swi.dirs
0a1,2
> usr/lib/ppl
> usr/bin
\ No newline at end of file
diff -N -w -B -a ppl-0.10.2/debian/libppl-swi.install /pkg/debian/ppl/ppl-0.10.2/debian/libppl-swi.install
0a1,3
> usr/lib/ppl/libppl_swiprolog*
> usr/lib/ppl/ppl_swiprolog.*
> usr/bin/ppl_pl
\ No newline at end of file
diff -N -w -B -a ppl-0.10.2/debian/libppl-swi.links /pkg/debian/ppl/ppl-0.10.2/debian/libppl-swi.links
0a1
> usr/share/doc/libppl7 usr/share/doc/libppl-c2
Common subdirectories: ppl-0.10.2/debian/patches and /pkg/debian/ppl/ppl-0.10.2/debian/patches
diff -N -w -B -a ppl-0.10.2/debian/rules /pkg/debian/ppl/ppl-0.10.2/debian/rules
35c35
< confflags += --enable-interfaces=c,cxx --disable-ppl_lpsol --disable-ppl_lcdd
---
> confflags += --enable-interfaces=c,cxx,swi_prolog --disable-ppl_lpsol --disable-ppl_lcdd
22a23,30
> member(X, [X|_]).
> member(X, [_|T]) :-
> member(X, T).
>
> append([], L, L).
> append([H|T], L, [H|R]) :-
> append(T, L, R).
>
--- End Message ---
--- Begin Message ---
Source: ppl
Source-Version: 0.10.2-3
We believe that the bug you reported is fixed in the latest version of
ppl, which is due to be installed in the Debian FTP archive:
libppl-c2_0.10.2-3_amd64.deb
to pool/main/p/ppl/libppl-c2_0.10.2-3_amd64.deb
libppl-doc_0.10.2-3_all.deb
to pool/main/p/ppl/libppl-doc_0.10.2-3_all.deb
libppl-swi_0.10.2-3_amd64.deb
to pool/main/p/ppl/libppl-swi_0.10.2-3_amd64.deb
libppl0.10-dev_0.10.2-3_amd64.deb
to pool/main/p/ppl/libppl0.10-dev_0.10.2-3_amd64.deb
libppl7_0.10.2-3_amd64.deb
to pool/main/p/ppl/libppl7_0.10.2-3_amd64.deb
libpwl-dev_0.10.2-3_amd64.deb
to pool/main/p/ppl/libpwl-dev_0.10.2-3_amd64.deb
libpwl4_0.10.2-3_amd64.deb
to pool/main/p/ppl/libpwl4_0.10.2-3_amd64.deb
ppl_0.10.2-3.diff.gz
to pool/main/p/ppl/ppl_0.10.2-3.diff.gz
ppl_0.10.2-3.dsc
to pool/main/p/ppl/ppl_0.10.2-3.dsc
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 540083@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Michael Tautschnig <mt@debian.org> (supplier of updated ppl package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 16 Oct 2009 12:33:08 +0200
Source: ppl
Binary: libppl7 libppl0.10-dev libppl-c2 libpwl4 libpwl-dev libppl-doc libppl-swi
Architecture: source amd64 all
Version: 0.10.2-3
Distribution: unstable
Urgency: low
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
libppl-c2 - Parma Polyhedra Library (C interface)
libppl-doc - Parma Polyhedra Library: Documentation
libppl-swi - Parma Polyhedra Library (SWI Prolog interface)
libppl0.10-dev - Parma Polyhedra Library (development)
libppl7 - Parma Polyhedra Library (runtime library)
libpwl-dev - Parma Watchdog Library (Watchdog timers - development)
libpwl4 - Parma Watchdog Library (Watchdog timers - runtime library)
Closes: 540083
Changes:
ppl (0.10.2-3) unstable; urgency=low
.
* Bumped Standars-Version to 3.8.3 (no changes).
* Added README.source.
* Added current upstream patches for 0.10.2.
* Don't watch snapshots, only do stable releases.
* Added SWI-Prolog bindings (new package libppl-swi, thanks Israel Herraiz
<isra@herraiz.org>). Closes: #540083.
Checksums-Sha1:
330544a2b45e6cf1016ae079b6d5a49247d75ea6 1427 ppl_0.10.2-3.dsc
1837dfcb11240bbc36e9f01cad9d5e8a1c011619 12267 ppl_0.10.2-3.diff.gz
7fc9cfb821f1f1de2294cbd99c5a41c75d602fb4 378334 libppl7_0.10.2-3_amd64.deb
e6b9c707ced25cb7d0e8770b5ad8bdc6d7b320d8 2846152 libppl0.10-dev_0.10.2-3_amd64.deb
f15c4fd221d078eb219af0495080ec65e5b89481 1267430 libppl-c2_0.10.2-3_amd64.deb
c2785056b6018071689e727aa8737dc2d30301bd 19226 libpwl4_0.10.2-3_amd64.deb
8a9ae3f187d8ab8af2f8ec2362e71474c5143b57 25802 libpwl-dev_0.10.2-3_amd64.deb
3f05f8ab569eccbcbd00ca1dd5b0066c7ebff910 5960874 libppl-swi_0.10.2-3_amd64.deb
109fe1c4fd84eaf38d35b15b3250063fff714597 3621336 libppl-doc_0.10.2-3_all.deb
Checksums-Sha256:
d007f58c27c0c73e76cbc2d1214b1765b8643a050ee972616545f0af8b08218a 1427 ppl_0.10.2-3.dsc
5399cc91c9f93b58ef93adc95b7a7000ce84ac93b16d682fb781a0f2606b74a2 12267 ppl_0.10.2-3.diff.gz
105be0d372010c962fcdfac06c6e6290c2ba199a964f3bd0f9a0368f889f77e7 378334 libppl7_0.10.2-3_amd64.deb
1aaaa987811dc71ce74f084a2078eebedda45b957a5454d36aeaea4be88b1d7b 2846152 libppl0.10-dev_0.10.2-3_amd64.deb
4b82f0b34ba0696ffdf12c2d1f6716ad429fe2afcded5c9d28c992ba2ffb6b27 1267430 libppl-c2_0.10.2-3_amd64.deb
a6e53e4611be88417989200d3006c0fa1b0bbaa061c32f52fe10be9f9fdbdda5 19226 libpwl4_0.10.2-3_amd64.deb
9e8c126b8e18ec626ef3da9e0ab44ac6381315c9b764cc922f994fe760d0778b 25802 libpwl-dev_0.10.2-3_amd64.deb
cbd03bfe6ee37dc5f87bd171e489a75212746dcf85f86c283a4c34ce597f0f32 5960874 libppl-swi_0.10.2-3_amd64.deb
b9a885617a1dccd86c68a2842b5cf1b56848f1333e542696edda6dea30fbdad6 3621336 libppl-doc_0.10.2-3_all.deb
Files:
ff214d0fdc02ee79cd20a4c14d541a45 1427 libs optional ppl_0.10.2-3.dsc
033282bb30ceeaadad14926362d35593 12267 libs optional ppl_0.10.2-3.diff.gz
db5d13a53bfb541a641117f2bf913b57 378334 libs optional libppl7_0.10.2-3_amd64.deb
a258a0caa4e32d91debe5568aa560696 2846152 libdevel optional libppl0.10-dev_0.10.2-3_amd64.deb
6ba3f80c13aa7af1bf408f1743ac4ac1 1267430 libs optional libppl-c2_0.10.2-3_amd64.deb
644554b7c7832070627c9272164ebcfa 19226 libs optional libpwl4_0.10.2-3_amd64.deb
8e2afda75e834c8af5edf6e6bf7453b1 25802 libdevel optional libpwl-dev_0.10.2-3_amd64.deb
35eab03a9bbb03ebe8ef8b4be3cefd52 5960874 libs optional libppl-swi_0.10.2-3_amd64.deb
588849487a5ad4a52ce5b12bfadd1151 3621336 doc optional libppl-doc_0.10.2-3_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkrau7YACgkQvx6dH3bVKsR9eACeLFB4bksP4eDR5KUe2of8jWgC
pvMAoPlVLF5sP3suVldf6a6SpSdaK3wW
=JWmB
-----END PGP SIGNATURE-----
--- End Message ---