[PPL-devel] plld and libtool

[Roberto Bagnara]

Hi there,

has anyone any experience of using libtool with plld?
To be more specific, I am using libtool to build a library for which I wrote
a SWI-Prolog interface.  I am now using an automake rule like

ppl_pl$(EXEEXT): ppl_swiprolog.o ppl_pl.o
	plld -pl-options,-g,main., -o $@ $+ -L$(top_builddir)/src/.libs -lppl

but this has the drawback implied by directly referring to the contents of the
.libs directory.  What I would like to say is something like

ppl_pl$(EXEEXT): ppl_swiprolog.o ppl_pl.o
	libtool --mode=link plld -pl-options,-g,main., -o $@ $+ $(top_builddir)/src/libppl.la

so that the right thing happens before and after `make install', but this fails horribly.
Any idea how I could achieve that effect, yet retaining the hope that things will continue to
work also in future releases of SWI-Prolog?
Thanks a lot

     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