
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
- including the entire library in my executable when I need only a part of it;
- having to specify the complete path of libraries (I would like the linker to look for them in the appropriate places);
- 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@cs.unipr.it
Users-prolog mailing list Users-prolog@gnu.org http://mail.gnu.org/mailman/listinfo/users-prolog