[PPL-devel] Missing symbols in C interface.

[Roberto Bagnara]

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+.

-- 
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
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: prestaf_ppl-0.9-0.10_patch
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20080929/76e038bf/attachment.ksh>