[PPL-devel] Missing symbols in C interface.
bagnara at cs.unipr.it
Mon Sep 29 20:02:00 CEST 2008
>>> 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.
>>> ppl_Polyhedron_poly_hull_assign_and_minimize (*)
>>> 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:
>>> 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 .
> 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,
P.S. PPL 0.9 is GPLv2+, while PPL 0.10 is GPLv3+.
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
mailto:bagnara at cs.unipr.it
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
More information about the PPL-devel