[Fwd: Re: Missing symbols in C interface.]
-------- Original Message -------- Subject: Re: Missing symbols in C interface. Date: Mon, 29 Sep 2008 18:30:59 +0200 From: Nicolas CANIART nicolas.caniart@labri.fr Reply-To: Nicolas CANIART nicolas.caniart@labri.fr To: Roberto Bagnara bagnara@cs.unipr.it References: 20080929122413.GA20943@labri.fr 48E0DCC9.9040306@cs.unipr.it
On Mon, Sep 29, 2008 at 03:48:57PM +0200, Roberto Bagnara wrote:
Nicolas CANIART wrote:
I'm currently working with PPL throught its C programming interface. For some days now, have been bothered by some missing symbols in the interface. Namely:
ppl_Polyhedron_poly_hull_assign_and_minimize (*) ppl_new_C_Polyhedron_empty_from_dimension ppl_Polyhedron_constraints ppl_new_C_Polyhedron_from_dimension
I'm working on a debian system and using the packaged version of ppl which is not necessarily up-to-date. Checking CVS log I saw that a bug was introduced in file: ppl/interfaces/C/ppl_interface_generator_c_h_code.m4 and fixed at revision 1.29 so I tried to build the lib from CVS sources but with no more success. In fact the function (*) was not missing in the debian package but is now. Since I'm not completely sure that the above-mentionned bug is related to my problem, and where to look in ppl sources, I'm turning to you. Could you, please, shed some light on my problem.
Dear Nicolas,
first of all we should identify the precise version you are using. Then, since some of the symbols above are obsolete, we would need to know why you expect them to be defined. If you can tell us what you are working on, we can certainly help. Please direct all PPL-related messages to ppl-devel@cs.unipr.it. All the best,
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
I'm currently working on a model checker which uses (amongst others) a library that was developped here at LaBRI and is called PresTAF [1]. It is a library used to encode linear sets of Naturals using automata. This library is also capable of formula synthesis from an automata. This is where PPL is used in PresTAF . The version of PPL PresTAF used to be built against is PPL-0.9. The version of PPL installed on my systems is PPL 0.10pre27 (cvs source snapshot made by the Debian Developper) and after my build problem occured I also tryed the CVS head (last update is 2 days old).
But anyway from my point of view, I'm just a client of PresTAF and I don't really know/care how it is implemented. I wrote to you because I thought that the problem I was experiencing, were related to a bug in the C interface generation (I did not find any deprecation message about these symbols in the changelog). But if you say that some of these functions are, indeed, deprecated I guess the solution to my problem is to grab a snapshot of PPL-09 and i'll see with PresTAF maintainer what he decides to do about the newer version of PPL (the maintainer is on vacation right now...)
And I guess I must apologize for bothering you. Thanks again, Nicolas.
[1]: http://altarica.labri.fr/wiki/tools:tapas:start
Nicolas CANIARTwrote:
I'm currently working with PPL throught its C programming interface. For some days now, have been bothered by some missing symbols in the interface. Namely:
ppl_Polyhedron_poly_hull_assign_and_minimize (*) ppl_new_C_Polyhedron_empty_from_dimension ppl_Polyhedron_constraints ppl_new_C_Polyhedron_from_dimension
I'm working on a debian system and using the packaged version of ppl which is not necessarily up-to-date. Checking CVS log I saw that a bug was introduced in file: ppl/interfaces/C/ppl_interface_generator_c_h_code.m4 and fixed at revision 1.29 so I tried to build the lib from CVS sources but with no more success. In fact the function (*) was not missing in the debian package but is now. Since I'm not completely sure that the above-mentionned bug is related to my problem, and where to look in ppl sources, I'm turning to you. Could you, please, shed some light on my problem.
[...]
I'm currently working on a model checker which uses (amongst others) a library that was developped here at LaBRI and is called PresTAF [1]. It is a library used to encode linear sets of Naturals using automata. This library is also capable of formula synthesis from an automata. This is where PPL is used in PresTAF . The version of PPL PresTAF used to be built against is PPL-0.9. The version of PPL installed on my systems is PPL 0.10pre27 (cvs source snapshot made by the Debian Developper) and after my build problem occured I also tryed the CVS head (last update is 2 days old).
But anyway from my point of view, I'm just a client of PresTAF and I don't really know/care how it is implemented. I wrote to you because I thought that the problem I was experiencing, were related to a bug in the C interface generation (I did not find any deprecation message about these symbols in the changelog). But if you say that some of these functions are, indeed, deprecated I guess the solution to my problem is to grab a snapshot of PPL-09 and i'll see with PresTAF maintainer what he decides to do about the newer version of PPL (the maintainer is on vacation right now...)
Dear Nicolas (and AltaRica developers),
the interfaces (and, in particular, the C interface) have been slightly improved passing from PPL 0.9 to PPL 0.10 (due to be released in 2 or 3 weeks from now). I attach a patch that can be used to adapt the PresTAF sources. Of course, you can do a slightly better job by conditionalizing the changes on PPL_VERSION_MAJOR and PPL_VERSION_MINOR, but perhaps this is not worth your time: PPL 0.10 will completely supersede PPL 0.9, and I see no reason, apart from licensing*, to use PPL 0.9. All the best,
Roberto
P.S. PPL 0.9 is GPLv2+, while PPL 0.10 is GPLv3+.
participants (1)
-
Roberto Bagnara