[PPL-devel] [PATCH] Add -lpwl to ppllibs.

[Prof. Roberto Bagnara]

On 02/23/2011 09:00 PM, Sebastian Pop wrote:
> On Wed, Feb 23, 2011 at 13:39, Ralf Wildenhues<ralf.wildenhues at gmx.de>  wrote:
>> Does libpwl depend on libppl_c or libppl?  If it does, then your
>
> Roberto, could you please confirm that PWL is not dependent on PPL?

Confirmed: PWL does not depend on PPL.

> Roberto, would it be possible to use a version of PWL different than
> the version of PPL?  Again, I guess that PWL and PPL are independent.

The two packages are independent: they do not even share the version
number.
Cheers,

    Roberto

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it