Your message dated Wed, 19 Oct 2016 17:19:05 +0500
with message-id <516fc1c2-6ca7-199a-6544-07b618bbd...@riseup.net>
and subject line Closing this bug
has caused the Debian Bug report #841012,
regarding swi-prolog: FTBFS on armel/armhf: segmentation fault during the tests
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
841012: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=841012
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: swi-prolog
Version: 7.2.3+dfsg-1
Severity: serious
Your package failed to build on armel/armhf during a rebuild:
make[3]: Leaving directory
'/«BUILDDIR»/swi-prolog-7.2.3+dfsg/packages/jpl/src/java'
if [ -r jpltest.jar ]; then \
LD_LIBRARY_PATH="/usr/lib/jvm/java-8-openjdk-armel/jre/lib/arm/server:/usr/lib/jvm/java-8-openjdk-armel/jre/lib/arm"
../swipl.sh -q -f test_jpl.pl -g run_tests,halt -t 'halt(1)' ; \
else \
echo "No jpltest.jar; maybe junit is not installed?" ; \
fi
JUNIT=/usr/share/java/junit.jar JAVA=java
JAVA_PRELOAD=/usr/lib/jvm/java-8-openjdk-armel/jre/lib/arm/libjsig.so
./test-java.sh
Welcome to SWI-Prolog (Multi-threaded, 32 bits, Version 7.2.3)
Copyright (c) 1990-2015 University of Amsterdam, VU Amsterdam
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.
For help, use ?- help(Topic). or ?- apropos(Word).
% halt
Segmentation fault
Full logs at https://buildd.debian.org/status/package.php?p=swi-prolog
Emilio
-- System Information:
Debian Release: stretch/sid
APT prefers unstable
APT policy: (800, 'unstable'), (700, 'experimental'), (650, 'testing'), (500,
'unstable-debug')
Architecture: amd64 (x86_64)
Foreign Architectures: i386, armhf
Kernel: Linux 4.7.0-1-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_GB.utf8, LC_CTYPE=en_GB.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
--- End Message ---
--- Begin Message ---
Thanks!
signature.asc
Description: OpenPGP digital signature
--- End Message ---
