Re: [rfh] where is coccinelle these days on Ubuntu?

On Thu, Feb 04, 2021 at 05:34:42PM -0800, Junio C Hamano wrote:

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 <redacted>
---
 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