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@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@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@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@cs.unipr.it