1 Feb
2006
1 Feb
'06
4:08 p.m.
If you confirm that dynamic loading is not working for you, then take into account that we are willing to investigate the problem:
Dynamic loading is not working for me. The output of 'ppl-config -E' and 'gdb' are enclosed below, please let me know if you need any further debugging information.
--
Samir
-> ppl-config -E
This is the Parma Polyhedra Library (PPL) version 0.8.
Copyright (C) 2001-2006 Roberto Bagnara bagnara@cs.unipr.it.
The PPL is free software; see the source for copying conditions.
There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A
PARTICULAR PURPOSE.
Compiled by the GNU C++ compiler version 4.0.2 20051125 (Red Hat 4.0.2-8).
Report bugs to ppl-devel@cs.unipr.it.
For the most up-to-date information see the Parma Polyhedra Library
site: http://www.cs.unipr.it/ppl/ .
-> gdb sicstus
GNU gdb Red Hat Linux (6.3.0.0-1.84rh)
Copyright 2004 Free Software Foundation, Inc.
GDB is free software, covered by the GNU General Public License, and you
are
welcome to change it and/or distribute copies of it under certain
conditions.
Type "show copying" to see the conditions.
There is absolutely no warranty for GDB. Type "show warranty" for details.
This GDB was configured as "i386-redhat-linux-gnu"...Using host
libthread_db library "/lib/libthread_db.so.1".
(gdb) run
Starting program: /usr/local/sicstus-3.10.0/bin/sicstus
Reading symbols from shared object read from target memory...done.
Loaded system supplied DSO at 0xffffe000
[Thread debugging using libthread_db enabled]
[New Thread -1209247264 (LWP 16409)]
SICStus 3.10.0 (x86-linux-glibc2.2): Tue Dec 17 15:24:21 CET 2002
Licensed to cs.bgu.ac.il
| ?- load_foreign_resource('/usr/local/lib/ppl/ppl_sicstus').
% loading foreign resource /usr/local/lib/ppl/ppl_sicstus.so in module user
yes
| ?-
ppl_initialize,A='$VAR'(0),B='$VAR'(1),ppl_new_NNC_Polyhedron_from_constraints([A>B,B>=A],X),ppl_delete_Polyhedron(X).
Program received signal SIGSEGV, Segmentation fault.
[Switching to Thread -1209247264 (LWP 16409)]
0x4367b483 in __gnu_cxx::__pool<true>::_M_reclaim_block ()
from /usr/lib/libstdc++.so.6
(gdb) info stack
#0 0x4367b483 in __gnu_cxx::__pool<true>::_M_reclaim_block ()
from /usr/lib/libstdc++.so.6
#1 0xb7d2cc56 in ~Polyhedron (this=0x80d0380)
at
/usr/lib/gcc/i386-redhat-linux/4.0.2/../../../../include/c++/4.0.2/bits/s
tl_vector.h:123
#2 0xb7d0cb19 in ppl_delete_Polyhedron (t_ph=9) at ../ppl_prolog.icc:1761
#3 0xb7ed6a0f in simple_pred_dispatcher (spenv=0xb7ed09c2) at
../foreign.c:855
#4 0x00000008 in ?? ()
#5 0x00000007 in ?? ()
#6 0x00000007 in ?? ()
#7 0xb7d211f8 in sp_stub_ppl_Polyhedron_swap (goal=Variable "goal" is not
available.) at sicstus_cfli.ic:277
#8 0x00000009 in ?? ()
#9 0x00000000 in ?? ()
(gdb)