[PPL-devel] Missing symbols in C interface.

[Roberto Bagnara]

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