Coccinelle Archive on lore.kernel.org
 help / color / Atom feed
* [Cocci] Missing package for Ubuntu 20.04 LTS?
@ 2021-02-09 14:57 Taylor Blau
  2021-02-12 14:06 ` Julia Lawall
  0 siblings, 1 reply; 4+ messages in thread
From: Taylor Blau @ 2021-02-09 14:57 UTC (permalink / raw)
  To: cocci

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

^ permalink raw reply	[flat|nested] 4+ messages in thread

* Re: [Cocci] Missing package for Ubuntu 20.04 LTS?
  2021-02-09 14:57 [Cocci] Missing package for Ubuntu 20.04 LTS? Taylor Blau
@ 2021-02-12 14:06 ` Julia Lawall
  2021-02-13 21:23   ` Taylor Blau
  0 siblings, 1 reply; 4+ messages in thread
From: Julia Lawall @ 2021-02-12 14:06 UTC (permalink / raw)
  To: Taylor Blau; +Cc: cocci



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

^ permalink raw reply	[flat|nested] 4+ messages in thread

* Re: [Cocci] Missing package for Ubuntu 20.04 LTS?
  2021-02-12 14:06 ` Julia Lawall
@ 2021-02-13 21:23   ` Taylor Blau
  2021-02-13 21:38     ` Julia Lawall
  0 siblings, 1 reply; 4+ messages in thread
From: Taylor Blau @ 2021-02-13 21:23 UTC (permalink / raw)
  To: Julia Lawall; +Cc: cocci

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?

Thanks,
Taylor
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

^ permalink raw reply	[flat|nested] 4+ messages in thread

* Re: [Cocci] Missing package for Ubuntu 20.04 LTS?
  2021-02-13 21:23   ` Taylor Blau
@ 2021-02-13 21:38     ` Julia Lawall
  0 siblings, 0 replies; 4+ messages in thread
From: Julia Lawall @ 2021-02-13 21:38 UTC (permalink / raw)
  To: Taylor Blau; +Cc: cocci



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

^ permalink raw reply	[flat|nested] 4+ messages in thread

end of thread, back to index

Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-02-09 14:57 [Cocci] Missing package for Ubuntu 20.04 LTS? Taylor Blau
2021-02-12 14:06 ` Julia Lawall
2021-02-13 21:23   ` Taylor Blau
2021-02-13 21:38     ` Julia Lawall

Coccinelle Archive on lore.kernel.org

Archives are clonable:
	git clone --mirror https://lore.kernel.org/cocci/0 cocci/git/0.git

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V2 cocci cocci/ https://lore.kernel.org/cocci \
		cocci@systeme.lip6.fr
	public-inbox-index cocci

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://nntp.lore.kernel.org/fr.lip6.systeme.cocci


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git