Segfault in test of new install

69 views

Skip to first unread message

scoleman

unread,

Dec 15, 2009, 1:41:41 PM12/15/09

to pyswip

I just followed the installation instructions and got an immediate
segfault when testing it out. Any clue as to what is broken would
certainly be helpful. The following is the basic steps that lead up to
the problem:

> uname -a
Linux colemsl1-ld1.jhuapl.edu 2.6.30.9-102.fc11.x86_64 #1 SMP Fri Dec
4 00:18:53 EST 2009 x86_64 x86_64 x86_64 GNU/Linux

> wget http://www.swi-prolog.org/download/stable/src/pl-5.8.2.tar.gz
> tar xvfz pl-5.8.2.tar.gz
> cd pl-5.8.2
> ./configure --prefix=/usr --enable-shared
> make
> make install
> cd packages/clpqr/
> ./configure --prefix=/usr --enable-shared
> make
> make install
> ln -s /usr/lib/pl-5.8.2/lib/x86_64-linux/libpl.so.5.8.2 /usr/lib64/libpl.so

> cd ../../pyswip-0.2.2
> python setup.py install

> python
Python 2.6 (r26:66714, Jun 8 2009, 16:07:29)
[GCC 4.4.0 20090506 (Red Hat 4.4.0-4)] on linux2
Type "help", "copyright", "credits" or "license" for more information.
>>> from pyswip import Prolog
>>> prolog = Prolog()
>>> prolog.assertz("father(michael,john)")
Segmentation fault (core dumped)

from gdb output:
Program received signal SIGSEGV, Segmentation fault.
0x00007ffff0e2045f in PL_get_atom () from /usr/lib64/libpl.so

#4 0x00007ffff1339326 in ?? () from /usr/lib64/python2.6/lib-dynload/
_ctypes.so
#3 0x00007ffff1340014 in _CallProc () from /usr/lib64/python2.6/lib-
dynload/_ctypes.so
#2 0x00007ffff1102c44 in ffi_call () from /usr/lib64/libffi.so.5
#1 0x00007ffff1102ebc in ffi_call_unix64 () from /usr/lib64/libffi.so.
5
#0 0x00007ffff0e2045f in PL_get_atom () from /usr/lib64/libpl.so

Thanks in advance to anyone that can point me in the right direction
and get me moving forward again.

Sandeep

unread,

Dec 16, 2009, 8:24:26 AM12/16/09

to pyswip

Hello,
There are issues with pyswip on 64-bit machines.
See the following discussion:
http://code.google.com/p/pyswip/issues/detail?id=1

There is a small fix discussed in that thread, though it doesn't work
for integers.

Cheers,
Sandeep

On Dec 15, 6:41 pm, scoleman <stepacole...@gmail.com> wrote:
> I just followed the installation instructions and got an immediate
> segfault when testing it out. Any clue as to what is broken would
> certainly be helpful. The following is the basic steps that lead up to
> the problem:
>
> > uname -a
>
> Linux colemsl1-ld1.jhuapl.edu 2.6.30.9-102.fc11.x86_64 #1 SMP Fri Dec
> 4 00:18:53 EST 2009 x86_64 x86_64 x86_64 GNU/Linux
>