[PPL-devel] relocation R_X86_64_32S against `Yap_REGS' can not be used

[Roberto Bagnara]

Basile STARYNKEVITCH wrote:
> I was about to send that to ppl-devl@ but then thought that big 
> attachements would be inappropriate there. Feel free to forward this 
> message or reply on ppl-devl@ if you wish!
> 
> I am on Debian/Sid/AMD64
> 
> I just did git pull and
> 
> % git log
> commit 2ef13f200169635747af29ad76fdd29efa2d1518
> Author: Roberto Bagnara <bagnara at cs.unipr.it>
> Date:   Mon Mar 30 22:20:12 2009 +0200
> 
>    Version number bumped.  The name of the program is Autoconf.
> 
> commit 40af6c2c6af4cf7eb81231e5585ea4663a0fdbad
> Author: Enea Zaffanella <zaffanella at cs.unipr.it>
> Date:   Mon Mar 30 23:01:54 2009 +0200
> 
>    Register OCaml interface exceptions; added a few tests.
>    The interface exceptions should be registered both in the .ml and 
> .mli files
>    Added a test for the invalid argument exception (negative space 
> dimension)
>    and for the set/reset timeout functions.
> 
> commit 861f99ed46201a87dcd83160cda84d768749e208
> Author: Roberto Bagnara <bagnara at cs.unipr.it>
> Date:   Mon Mar 30 21:29:52 2009 +0200
> 
>    Added one item for PPL 0.11.
> 
> Even after a make distclean; autoreconf; ./confgure
> I am getting
> % make
> make  all-recursive
> make[1]: Entering directory `/usr/src/Tools/ppl'
> Making all in .
> [...]
> .libs/ppl_prolog_Octagonal_Shape_double.o   -Wl,-rpath 
> -Wl,/usr/src/Tools/ppl/src/.libs -Wl,-rpath 
> -Wl,/usr/src/Tools/ppl/Watchdog/src/.libs -lYap 
> ../../../src/.libs/libppl.so 
> -L/usr/lib/gcc/x86_64-linux-gnu/4.3.3/../../../../lib -L/usr/lib 
> ../../../Watchdog/src/.libs/libpwl.so /usr/lib/libgmpxx.so 
> /usr/lib/libgmp.so -L/usr/lib/gcc/x86_64-linux-gnu/4.3.3 -L/lib/../lib 
> -L/usr/lib/../lib -L/usr/lib/gcc/x86_64-linux-gnu/4.3.3/../../.. 
> -lstdc++ -lm -lc -lgcc_s /usr/lib/gcc/x86_64-linux-gnu/4.3.3/crtendS.o 
> /usr/lib/gcc/x86_64-linux-gnu/4.3.3/../../../../lib/crtn.o    
> -Wl,-soname -Wl,ppl_yap.so -o .libs/ppl_yap.so
> /usr/bin/ld: 
> /usr/lib/gcc/x86_64-linux-gnu/4.3.3/../../../../lib/libYap.a(c_interface.o): 
> relocation R_X86_64_32S against `Yap_REGS' can not be used when making a 
> shared object; recompile with -fPIC
> /usr/lib/gcc/x86_64-linux-gnu/4.3.3/../../../../lib/libYap.a: could not 
> read symbols: Bad value
> collect2: ld returned 1 exit status
> make[6]: *** [ppl_yap.la] Error 1
> make[6]: Leaving directory `/usr/src/Tools/ppl/interfaces/Prolog/YAP'
> make[5]: *** [all-recursive] Error 1
> make[5]: Leaving directory `/usr/src/Tools/ppl/interfaces/Prolog'
> make[4]: *** [all] Error 2
> make[4]: Leaving directory `/usr/src/Tools/ppl/interfaces/Prolog'
> make[3]: *** [all-recursive] Error 1
> make[3]: Leaving directory `/usr/src/Tools/ppl/interfaces'
> make[2]: *** [all] Error 2
> make[2]: Leaving directory `/usr/src/Tools/ppl/interfaces'
> make[1]: *** [all-recursive] Error 1
> make[1]: Leaving directory `/usr/src/Tools/ppl'
> make: *** [all] Error 2
> 
> This bug seems repeatable.

You seem to have a bogus installation of YAP.
You can fix that installation or configure with
--enable-interfaces so as to exclude the YAP
interface.
Cheers,

    Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it