June 2005 - PPL-devel - BUGSENG Mailman

Problems with SWI-Prolog interface [Was: Re: Why this?]
by Roberto Bagnara 08 Jun '05

08 Jun '05

Matthew Mundell wrote: > So any idea why plld only finds libpl when -lpl is given explicitly? Because the installation of SWI-Prolog you are using is broken. If you try the following command on your machine you will get $ pl -dump-runtime-variables CC="/usr/local/gcc-3.4.3/bin/gcc"; PLBASE="/usr/local/pl/lib/pl-5.4.7"; PLARCH="i686-linux"; PLLIBS="-ldl -lreadline -lncurses -lm "; PLLIB=""; PLLDFLAGS="-export-dynamic -O3"; PLSOEXT="so"; PLVERSION="50407"; PLSHARED="yes"; PLTHREADS="no"; If you do the same on any machine with a decently installed version of SWI-Prolog, you will get, instead $ pl -dump-runtime-variables CC="gcc"; PLBASE="/usr/local/lib/pl-5.4.7"; PLARCH="i686-linux"; PLLIBS="-ldl -lreadline -lncurses -lm -lrt "; PLLIB="-lpl"; PLLDFLAGS="-export-dynamic -O3 -pthread"; PLSOEXT="so"; PLVERSION="50407"; PLSHARED="yes"; PLTHREADS="yes"; Notice the difference concerning the value of `PLLIB'. My advice is to erase your installation of SWI-Prolog completely and then re-install it again from the sources with a standard ./configure ; make ; sudo make install Ciao, 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 1

ppl/tests/BD_Shape concatenate1.cc contains2.c ...
by Roberto Bagnara 08 Jun '05

08 Jun '05

1 0

ppl/src Row.defs.hh
by Matthew Mundell 07 Jun '05

07 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-06-07 19:36:01 Modified files: src : Row.defs.hh Log message: Only befriend Grid when EXTRA_ROW_DEBUG. Take out declaration of operator==(gr,gr) as a friend. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0

ppl/src Grid.defs.hh
by Matthew Mundell 07 Jun '05

07 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-06-07 18:17:28 Modified files: src : Grid.defs.hh Log message: Include Constraint_Systems.inlines.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl demos/ppl_lcdd/.cvsignore tests/Polyhedron ...
by Roberto Bagnara 07 Jun '05

07 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-06-07 17:44:40 Modified files: demos/ppl_lcdd : .cvsignore tests/Polyhedron: .cvsignore Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/.cvsignore.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/.cvsignore.d…

1 0

ppl/tests/Polyhedron .cvsignore
by Roberto Bagnara 07 Jun '05

07 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-06-07 17:11:45 Modified files: tests/Polyhedron: .cvsignore Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/.cvsignore.d…

1 0

ppl src/.cvsignore tests/BD_Shape/.cvsignore t ...
by Roberto Bagnara 07 Jun '05

07 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-06-07 17:10:16 Modified files: src : .cvsignore tests/BD_Shape : .cvsignore tests/Polyhedron: .cvsignore Added files: debian : .cvsignore Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/.cvsignore?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/.cvsignore.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/.cvsignore.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/.cvsignore.d…

1 0

ppl/src checked.cc
by Roberto Bagnara 07 Jun '05

07 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-06-07 16:51:34 Modified files: src : checked.cc Log message: Indentation fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.cc.diff?cvsroot=p…

1 0

ppl/interfaces/Prolog/SWI Makefile.am
by Matthew Mundell 07 Jun '05

07 Jun '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-06-07 16:28:16 Modified files: interfaces/Prolog/SWI: Makefile.am Log message: Link against pl in rule ppl_pl$(EXEEXT). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil…

1 0

w3ppl/htdocs/Applications Applications.raw
by Roberto Bagnara 07 Jun '05

07 Jun '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-06-07 13:22:43 Modified files: htdocs/Applications: Applications.raw Log message: Added a link to a static analyser of Prolog programs by Francois Gobert, Gustavo Ospina, and Baudouin Le Charlier. It is written in Java and accesses the PPL via its C interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Applications/Applica…

1 0