Re: [rfh] where is coccinelle these days on Ubuntu?
- From
Taylor Blau <me@ttaylorr.com>
- Date
- Feb 5, 2021, 01:53 UTC
- Message-ID
- <YBylBKMG4G4dbiOW@nand.local>
- In-Reply-To
- <xmqqeehv2t71.fsf@gitster.c.googlers.com>
On Thu, Feb 04, 2021 at 05:34:42PM -0800, Junio C Hamano wrote:
Show 5 quoted lines
> This is probably something that is very obvious for GitHub folks or > a debian person, but does anybody know what made it suddenly wrong > that we have been doing to obtain coccinelle? > > https://github.com/git/git/runs/1835560289?check_suite_focus=true#step:3:108
Not obvious to me, but I did happen to notice it last night when waiting on some workflows to finish on ttaylorr/git.
From a quick search, it looks like coccinelle was moved to the "universe" repository, at least in the Azure mirrors (which is what GitHub Actions uses):
http://azure.archive.ubuntu.com/ubuntu/pool/universe/c/coccinelle/
I just pushed the patch below the scissors line to my fork, and I'll watch the static analysis build to see if it works again:
https://github.com/ttaylorr/git/actions/runs/539049631
--- >8 ---
Subject: [PATCH] ci/install-dependencies.sh: install coccinelle from universe
The apt package "coccinelle" moved to the universe repository in the package mirrors that are used by GitHub Actions. This causes coccinelle to be reported as missing, since it is no longer available in the main repository.
Since universe isn't sourced by default, add it as an apt repository before updating and installing coccinelle.
Signed-off-by: Taylor Blau <me@ttaylorr.com> --- ci/install-dependencies.sh | 1 + 1 file changed, 1 insertion(+)
diff --git a/ci/install-dependencies.sh b/ci/install-dependencies.sh index 0b1184e04a..0350538d52 100755 --- a/ci/install-dependencies.sh +++ b/ci/install-dependencies.sh @@ -61,6 +61,7 @@ osx-clang|osx-gcc) esac ;; StaticAnalysis) + sudo add-apt-repository universe sudo apt-get -q update sudo apt-get -q -y install coccinelle libcurl4-openssl-dev libssl-dev \ libexpat-dev gettext make -- 2.30.0.667.g81c0cbc6fd