Re: [Cocci] Missing package for Ubuntu 20.04 LTS?

2021-02-13 Thread Julia Lawall



On Sat, 13 Feb 2021, Taylor Blau wrote:

> Hi Julia,
>
> On Fri, Feb 12, 2021 at 03:06:16PM +0100, Julia Lawall wrote:
> > > Is there a planned release of coccinelle that will appear in the focal
> > > suite?
> >
> > Can you use the PPA?
> >
> > https://launchpad.net/~npalix/+archive/ubuntu/coccinelle
>
> Yes, we could. But it's an extra step that all users of Ubuntu Focal
> will have to take. Note that 20.04 is the image that all users of
> GitHub Actions' "runs-on: ubuntu-latest" get, so anybody in that group
> who wants to use coccinelle will have to configure and install from the
> PPA.
>
> Is there a reason that 20.04 was skipped when preparing a release for
> the official suites?

We don't do this.  I don't know who does it.

julia
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci


Re: [Cocci] Missing package for Ubuntu 20.04 LTS?

2021-02-12 Thread Julia Lawall



On Tue, 9 Feb 2021, Taylor Blau wrote:

> Hi,
>
> The Git project recently noticed that our static analysis builds were
> failing after upgrading to Ubuntu 20.04 due to being unable to find the
> coccinelle package in the focal suite.
>
> https://lore.kernel.org/git/YCGrmsg8J7XT32TM@nand.local/
>
> Searching for coccinelle [1] turns up hits in the xenial, bionic, and
> groovy suites, but not the focal ones. This appears to have been
> discussed on this list a couple of times without any conclusion.
>
> Is there a planned release of coccinelle that will appear in the focal
> suite?

Can you use the PPA?

https://launchpad.net/~npalix/+archive/ubuntu/coccinelle

julia

>
> Thanks,
> Taylor
>
> [1]: https://packages.ubuntu.com/search?keywords=coccinelle
> [2]: http://archive.ubuntu.com/ubuntu/pool/universe/c/coccinelle/
> ___
> Cocci mailing list
> Cocci@systeme.lip6.fr
> https://systeme.lip6.fr/mailman/listinfo/cocci
>
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci


[Cocci] Missing package for Ubuntu 20.04 LTS?

2021-02-11 Thread Taylor Blau
Hi,

The Git project recently noticed that our static analysis builds were
failing after upgrading to Ubuntu 20.04 due to being unable to find the
coccinelle package in the focal suite.

https://lore.kernel.org/git/YCGrmsg8J7XT32TM@nand.local/

Searching for coccinelle [1] turns up hits in the xenial, bionic, and
groovy suites, but not the focal ones. This appears to have been
discussed on this list a couple of times without any conclusion.

Is there a planned release of coccinelle that will appear in the focal
suite?

Thanks,
Taylor

[1]: https://packages.ubuntu.com/search?keywords=coccinelle
[2]: http://archive.ubuntu.com/ubuntu/pool/universe/c/coccinelle/
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci