[PPL-devel] Re: RFC: packaging the PPL for RedHat and Debian

[Roberto Bagnara]

Matthew Mundell wrote:
> Should either of ppl_lcdd and ppl_lpsol be packaged?  If so then
> should they go into the libppl package, to match the packaging of
> ppl_lcdd in the RPMs?

Matthew,

only ppl_lcdd should be packaged.
Packaging it into the libppl package seems a sensible
thing to do.
Cheers,

     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