From: Taylor Blau <me@ttaylorr.com>
To: Junio C Hamano <gitster@pobox.com>
Cc: git@vger.kernel.org
Subject: Re: [rfh] where is coccinelle these days on Ubuntu?
Date: Thu, 4 Feb 2021 20:53:08 -0500 [thread overview]
Message-ID: <YBylBKMG4G4dbiOW@nand.local> (raw)
In-Reply-To: <xmqqeehv2t71.fsf@gitster.c.googlers.com>
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 <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
next prev parent reply other threads:[~2021-02-05 1:54 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-02-05 1:34 [rfh] where is coccinelle these days on Ubuntu? Junio C Hamano
2021-02-05 1:53 ` Taylor Blau [this message]
2021-02-06 18:49 ` Junio C Hamano
2021-02-08 21:22 ` Taylor Blau
2021-02-10 0:12 ` Junio C Hamano
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=YBylBKMG4G4dbiOW@nand.local \
--to=me@ttaylorr.com \
--cc=git@vger.kernel.org \
--cc=gitster@pobox.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).