March 2002 - PPL-devel - BUGSENG Mailman

gplc and linking with other libraries
by Roberto Bagnara 08 Mar '02

08 Mar '02

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@cs.unipr.it

3 5

ppl/src Poly_Con_Relation.inlines.hh Poly_Gen_ ...
by Roberto Bagnara 08 Mar '02

08 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-08 10:25:20 Modified files: src : Poly_Con_Relation.inlines.hh Poly_Gen_Relation.inlines.hh Log message: Add missing `inline' qualifiers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Con_Relation.inlines… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Gen_Relation.inlines…

1 0

ppl/src GenSys.cc GenSys.defs.hh Makefile.am P ...
by Roberto Bagnara 08 Mar '02

08 Mar '02

1 0

ppl/src Status.defs.hh Status.inlines.hh
by Roberto Bagnara 08 Mar '02

08 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-08 09:59:20 Modified files: src : Status.defs.hh Status.inlines.hh Log message: Only esthetics. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.inlines.hh.diff?cv…

1 0

ppl/interfaces/Prolog/YAP
by Roberto Bagnara 07 Mar '02

07 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-07 20:05:24 ppl/interfaces/Prolog/YAP Update of /cvs/ppl/ppl/interfaces/Prolog/YAP In directory spartacus.cs.unipr.it:/home/roberto/ppl/ppl/interfaces/Prolog/YAP Log Message: Directory /cvs/ppl/ppl/interfaces/Prolog/YAP added to the repository

1 0

ppl/interfaces/C
by Roberto Bagnara 07 Mar '02

07 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-07 20:05:04 ppl/interfaces/C Update of /cvs/ppl/ppl/interfaces/C In directory spartacus.cs.unipr.it:/home/roberto/ppl/ppl/interfaces/C Log Message: Directory /cvs/ppl/ppl/interfaces/C added to the repository

1 0

ppl/interfaces/Prolog GNU/Makefile.am GNU/gp_c ...
by Roberto Bagnara 07 Mar '02

07 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-07 19:37:31 Modified files: interfaces/Prolog/GNU: Makefile.am gp_clpq.pl ppl_gprolog.cc interfaces/Prolog/SWI: Makefile.am Log message: GNU Prolog CLP(Q) interpreter almost working (the ack.clpq test provokes a segmentation fault though). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/gp_clpq… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil…

1 0

ppl/doc definitions.dox
by Patricia Hill 07 Mar '02

07 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-03-07 16:35:09 Modified files: doc : definitions.dox Log message: First part of Section 1.2 - Homogeneous Systems of the developer's manual, revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

Re: What is a polynomial in x?
by Roberto Bagnara 07 Mar '02

07 Mar '02

Christian Bauer wrote: > Hi! > > On Thu, Mar 07, 2002 at 12:58:59PM +0100, Roberto Bagnara wrote: > >> if (is_a_polynomial(e, x)) { >> > > if (e.info(info_flags::polynomial)) { > > (there's also info_flags::integer_polynomial and a couple of others; the > complete list is in the GiNaC tutorial) Hmmm... the notion of polynomial in x that is implemented by degree, ldegree, and so forth, is more general (and rightly so, we believe). For instance, sqrt(2)*x is a polynomial in x of degree 1 accordind to degree(), whereas the info() methods would simply classify is as a non-polynomial. I see two possibilities (but I may be wrong, of course): 1) it is illegal to say degree(sqrt(2)*x) and the fact that now this evaluates to the sensible value 1 is just an accident: it may stop working at any time. In other words, degree() and friends would be granted to work only for expressions e such that e.info(info_flags::polynomial) is true. 2) It is legal to say degree(sqrt(2)*x). But then it would be useful to precisely characterize the class of expressions e and x such that degree(e, x) is well defined. Am I missing something? 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

1 0

ppl/tests Makefile.am relations1.cc relations2 ...
by Elisa Ricci 07 Mar '02

07 Mar '02

1 0