P M Hill hill@comp.leeds.ac.uk writes:

On Wed, 8 Jun 2005, Matthew Mundell wrote:

...

Roberto Bagnara bagnara@cs.unipr.it writes:

...

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

Thanks Roberto. I've rebuilt SWI in /usr/not-backed-up and PLLIB only contains -lpl if --enable-mt is passed to configure. So I think that if the existing SWI installation is rebuilt with multi-threading then the PPL interface will compile. I doubt that a standard ./configure will work, even from a fresh set of source.

On cspcx97 (my new notebook)

$ 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";

is ok with the standard ./configure ; make ; sudo make install !

Yes, sorry, the top-level configure script forces --enable-mt onto the src directory's configure script, and I'd originally asked Graham to prevent this (with --disable-mt).

Pat