Bug#498485: why: calls cpulimit with wrong arguments
On Wed, Sep 10, 2008 at 17:33:24 +0200, Mehdi Dogguy wrote:
> Timo Juhani Lindfors a écrit :
> > Mehdi Dogguy <Mehdi.Dogguy@pps.jussieu.fr> writes:
> >> Ok. It was corrected in why ≥ 2.14.
> >
> > Ok, it is probably too late to correct this for debian lenny? At the
> > moment it is not possible to launch any provers from gwhy GUI because
> > of the issue :-(
>
> You just have to write a wrapper for cpulimit to solve your problem.
> I don't think it's possible to correct it in lenny ... Can you confirm
> that Julien ? What can we do ?
>
Install why's cpulimit in /usr/lib/why/, and teach the program to
execute that instead of the one in $PATH? If the patch is not too big,
fixing in lenny would probably be possible.
Cheers,
Julien
Reply to: