Package: swi-prolog / 8.0.2+dfsg-3

Metadata

Package Version Patches format
swi-prolog 8.0.2+dfsg-3 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
default stack size.diff | (download)

src/pl-thread.c | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

---
use local jquery.diff | (download)

packages/pengines/examples/web/chunking.html | 2 1 + 1 - 0 !
packages/pengines/examples/web/debugging.html | 2 1 + 1 - 0 !
packages/pengines/examples/web/hack.html | 2 1 + 1 - 0 !
packages/pengines/examples/web/input_output.html | 2 1 + 1 - 0 !
packages/pengines/examples/web/pengine.html | 2 1 + 1 - 0 !
packages/pengines/examples/web/queens.html | 2 1 + 1 - 0 !
packages/pengines/examples/web/simple.html | 2 1 + 1 - 0 !
7 files changed, 7 insertions(+), 7 deletions(-)

 use local copy of jquery

Using jQuery from a remote source is a potential privacy breach. This
patch prevents fetching from remote sources by using a local copy of
jQuery.


no_extra_documentation.diff | (download)

CMakeLists.txt | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 don't install extra documentation for core part of swi-prolog

We don't need additional license and readme files in /usr/lib.


jpl install.diff | (download)

CMakeLists.txt | 3 3 + 0 - 0 !
packages/jpl/CMakeLists.txt | 9 9 + 0 - 0 !
2 files changed, 12 insertions(+)

 handle symlink creation by means of cmake

We need it if we want to avoid that people that use JPL to embed
Prolog in Java (which seems popular) have to set LD_LIBRARY_PATH.