[PPL-devel] Re: gplc and linking with other libraries

Daniel Diaz Daniel.Diaz at univ-paris1.fr
Wed Mar 6 15:18:36 CET 2002


Hello Roberto,

I have fixed this problem recently because it was really problematic. It is fixed in 1.2.10 which
you can find in the unstable directory:
ftp://ftp.inria.fr/INRIA/Projects/contraintes/gprolog/unstable/gprolog-1.2.10.tar.gz
(a RPM is also available - compiled under RedHat 7.2)

So something like:  gplc -o EXENAME some.pl some.o -L '-Lmylibdir -lmylib' should work now...


Roberto Bagnara wrote:
> 
> Hi there,
> 
> I have just started playing with GNU Prolog's foreign language interface
> (among other things, I am trying to write a GNU Prolog interface for the
> Parma Polyhedra Library, http://www.cs.unipr.it/ppl/).
> 
> One of the difficulties I have encountered is with the gplc command:
> while it allows to specify extra options for the linker (with -L),
> these options are passed as the first ones in the link command.
> This would seem to imply that there is no way to link with your
> own libraries (in addition to the ones needed by GNU Prolog itself).
> In fact, a command like
> 
>       gplc -o EXENAME some.pl some.o -L '-Lmylibdir -lmylib'
> 
> results in a link command of the form
> 
>       gcc -Lmylibdir -lmylib ...
> 
> and this is such that the library `libmylib' is simply disregarded.
> Is there a workaround for this?
> I would like very much to avoid
> 
> 1) including the entire library in my executable when I need only
>     a part of it;
> 2) having to specify the complete path of libraries (I would like
>     the linker to look for them in the appropriate places);
> 3) linking manually, thus having to guess which library are needed
>     by GNU Prolog itself.
> 
> Am I imposing an unsatisfiable set of constraints?
> 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
> 
> _______________________________________________
> Users-prolog mailing list
> Users-prolog at gnu.org
> http://mail.gnu.org/mailman/listinfo/users-prolog

-- 
Daniel Diaz   Daniel.Diaz at univ-paris1.fr
http://pauillac.inria.fr/~diaz
gprolog --version 2>&1 | sed -n -e 's/By //p'



More information about the PPL-devel mailing list