November 2005 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Links Links.raw
by Roberto Bagnara 05 Nov '05

05 Nov '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-11-05 17:14:59 Modified files: htdocs/Links : Links.raw Log message: Added a link to CLAIR and to a Google search for the papers mentioning the Parma Polyhedra Library. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Links/Links.raw.diff…

1 0

Problem with plld?
by Roberto Bagnara 05 Nov '05

05 Nov '05

I am having a problem with `plld' on one machine. The problem is there I get undefined references to symbols of the readline library, which is installed in the system: $ plld -cc gcc -c++ g++ -ld g++ -o ppl_pl ppl_swiprolog.o ppl_pl.o \ -L../../../src/.libs -lppl \ -L../../../Watchdog/src/.libs -lpwl \ -lm -lgmpxx -lgmp /usr/lib/pl-5.4.7/lib/i686-linux/libpl.a(pl-rl.o)(.text+0x33): In function `PL_install_readline': pl-rl.c: undefined reference to `rl_readline_name' /usr/lib/pl-5.4.7/lib/i686-linux/libpl.a(pl-rl.o)(.text+0x3d):pl-rl.c: undefined reference to `rl_attempted_completion_function' /usr/lib/pl-5.4.7/lib/i686-linux/libpl.a(pl-rl.o)(.text+0x47):pl-rl.c: undefined reference to `rl_basic_word_break_characters' ... If I add an explicit "-lreadline", then linking succeeds: $ plld -cc gcc -c++ g++ -ld g++ -o ppl_pl ppl_swiprolog.o ppl_pl.o \ -L../../../src/.libs -lppl \ -L../../../Watchdog/src/.libs -lpwl \ -lm -lgmpxx -lgmp -lreadline % halt The problem seems to be here: $ pl -dump-runtime-variables CC="gcc"; PLBASE="/usr/lib/pl-5.4.7"; PLARCH="i686-linux"; PLLIBS="-ldl /usr/lib/libreadline.a -lncurses -lncurses -lm -lrt "; PLLIB="-lpl"; PLLDFLAGS="-export-dynamic -O3 -pthread"; PLSOEXT="so"; PLVERSION="50407"; PLSHARED="yes"; PLTHREADS="yes"; I have no idea why we have "/usr/lib/libreadline.a" instead of "-lreadline" in `PLLIBS'. In fact we get: $ plld -v -cc gcc -c++ g++ -ld g++ -o ppl_pl ppl_swiprolog.o ppl_pl.o -L../../../src/.libs -lppl -L../../../Watchdog/src/.libs -lpwl -lm -lgmpxx -lgmp eval `pl -dump-runtime-variables` CC="gcc" PLBASE="/usr/lib/pl-5.4.7" PLARCH="i686-linux" PLLIBS="-ldl /usr/lib/libreadline.a -lncurses -lncurses -lm -lrt" PLLIB="-lpl" PLLDFLAGS="-export-dynamic -O3 -pthread" PLSOEXT="so" PLTHREADS="yes" g++ -o ppl_pl -export-dynamic -O3 -pthread ppl_swiprolog.o ppl_pl.o /usr/lib/libreadline.a -L/usr/lib/pl-5.4.7/lib/i686-linux -L../../../src/.libs -L../../../Watchdog/src/.libs -lpl -lppl -lpwl -lm -lgmpxx -lgmp -ldl -lncurses -lncurses -lm -lrt /usr/lib/pl-5.4.7/lib/i686-linux/libpl.a(pl-rl.o)(.text+0x33): In function `PL_install_readline': pl-rl.c: undefined reference to `rl_readline_name' /usr/lib/pl-5.4.7/lib/i686-linux/libpl.a(pl-rl.o)(.text+0x3d):pl-rl.c: undefined reference to `rl_attempted_completion_function' /usr/lib/pl-5.4.7/lib/i686-linux/libpl.a(pl-rl.o)(.text+0x47):pl-rl.c: undefined reference to `rl_basic_word_break_characters' ... So, either "-lreadline" should be used instead of "/usr/lib/libreadline.a", or "/usr/lib/libreadline.a" should be put after "-lpl" in the link command. In both cases, this would seem to be a bug in SWI-Prolog 5.4.7. All the best, 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

2 3

ppl/tests/BD_Shape run_tests
by Abramo Bagnara 05 Nov '05

05 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-11-05 08:59:35 Modified files: tests/BD_Shape : run_tests Log message: Remove dirty marker only after all is clean. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/run_tests.diff…

1 0

ppl/src Float.defs.hh checked_float.inlines.hh
by Abramo Bagnara 05 Nov '05

05 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-11-05 08:30:07 Modified files: src : Float.defs.hh checked_float.inlines.hh Log message: *_BITS constants are unsigned. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.defs.hh.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl/tests/BD_Shape run_tests
by Abramo Bagnara 04 Nov '05

04 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-11-04 22:22:40 Modified files: tests/BD_Shape : run_tests Log message: Avoid initial make clean. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/run_tests.diff…

1 0

The `grids' branch is now under tinderbox
by Roberto Bagnara 04 Nov '05

04 Nov '05

See the panel: http://www.cs.unipr.it/~tinderbox/all_trees.panel.html Or the status page: http://www.cs.unipr.it/~tinderbox/PPL-grids/status.html Enjoy, Roberto P.S. The reason it is currently all reds is explained in the message I have just sent to the SWI-Prolog mailing list. -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/tests/BD_Shape closure1.cc
by Roberto Bagnara 04 Nov '05

04 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-04 21:37:28 Modified files: tests/BD_Shape : closure1.cc Log message: Fixed a copy and paste mistake. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/closure1.cc.di…

1 0

ppl/tests ppl_test.hh BD_Shape/run_tests
by Roberto Bagnara 04 Nov '05

04 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-04 21:32:22 Modified files: tests : ppl_test.hh tests/BD_Shape : run_tests Log message: Do not define TBD_Shape: define BD_SHAPE_INSTANCE instead. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/run_tests.diff…

1 0

ppl/tests/BD_Shape Makefile.am closure1.cc
by Roberto Bagnara 04 Nov '05

04 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-04 21:31:14 Modified files: tests/BD_Shape : Makefile.am Added files: tests/BD_Shape : closure1.cc Log message: Draft test to check closure more seriously (it does not work as expected at the moment). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/closure1.cc?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0

ppl/src BD_Shape.inlines.hh
by Roberto Bagnara 04 Nov '05

04 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-11-04 14:03:01 Modified files: src : BD_Shape.inlines.hh Log message: Old code for div_round_up() temporarily restored, since some (wrong) tests depend on it. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0