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).
>
