Package: swi-prolog-nox
Version: 5.10.4-1
Severity: normal
Hello,
I'm maintaining a package that build-depends on swi-prolog-nox and
contains non-native prolog executables (spark). The problem is that
upgrade of swi-prolog-nox to 5.10.4-1 breaks spark that was compiled
with earlier version of swi-prolog-nox:
% zombiescope
[FATAL ERROR:
Saved state has incompatible VM signature]
For now I'm going to add dependency and build-dependency on
swi-prolog-nox (>= 5.10.4~). That will fix breakage temporarily, but I
guess spark will break again with some future version of prolog.
Becasue of this I think it will be good to have some sort of api virtual
package (like swi-prolog(-nox)?-api-<some number>), provided by
swi-prolog-* packages and some helper (dh_swi_prolog?) to fill depends
field of spark (and any other future packages). This way with new
version of swi-prolog a bin-NMU should be enough to fix all depending
packages, and any breakage will be automatically detected (old api
package becomes unavailable).
Note that it is not possible to compile spark using native executables.
If compiled this way at least /usr/bin/checker compains that it cannot
load process.so.
-- System Information:
Debian Release: wheezy/sid
APT prefers unstable
APT policy: (500, 'unstable')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.39-2-amd64 (SMP w/2 CPU cores)
Locale: LANG=uk_UA.UTF-8, LC_CTYPE=uk_UA.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages swi-prolog-nox depends on:
ii libc6 2.13-7 Embedded GNU C Library: Shared lib
ii libgmp10 2:5.0.1+dfsg-7 Multiprecision arithmetic library
ii libgmp3-dev 2:5.0.1+dfsg-7 Multiprecision arithmetic library
ii libncurses5 5.9-1 shared libraries for terminal hand
ii libreadline-dev 6.2-2 GNU readline and history libraries
ii libreadline6 6.2-2 GNU readline and history libraries
swi-prolog-nox recommends no packages.
Versions of packages swi-prolog-nox suggests:
pn prolog-el <none> (no description available)
pn swi-prolog-doc <none> (no description available)
-- no debconf information
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
