From: Kaspar Schleiser <kaspar@schleiser.de>
To: Julia Lawall <julia.lawall@lip6.fr>, cocci@systeme.lip6.fr
Subject: Re: [Cocci] 1.0.8 on Ubuntu
Date: Tue, 5 May 2020 10:16:39 +0200 [thread overview]
Message-ID: <eccc921f-c5f5-6dc5-5233-75f0fc16cb51@schleiser.de> (raw)
In-Reply-To: <alpine.DEB.2.21.1909302142430.2925@hadrien>
Hi,
I'm having issues getting coccinelle into an Ubuntu container.
On 9/30/19 9:43 PM, Julia Lawall wrote:
> For those who use Ubuntu, a PPA is available:
>
> https://launchpad.net/~npalix/+archive/ubuntu/coccinelle/+packages
How can I help getting this built for Ubuntu 20.04 (Focal Fossa)?
The precompiled binary links in [1] point to nonexisting files.
opam seems to have issues when run within containers:
----
[ERROR] The compilation of ocaml-system failed at
"/root/.opam/opam-init/hooks/sandbox.sh build ocaml gen_ocaml_config.ml".
...
# bwrap: Creating new namespace failed: Operation not permitted
----
Kaspar
[1] http://coccinelle.lip6.fr/download.php
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
next prev parent reply other threads:[~2020-05-05 8:17 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-09-30 19:43 [Cocci] 1.0.8 on Ubuntu Julia Lawall
2020-05-05 8:16 ` Kaspar Schleiser [this message]
2020-05-05 8:50 ` Nicolas Palix
2020-05-05 9:16 ` Kaspar Schleiser
2020-05-05 12:05 ` Nicolas Palix
2020-05-05 13:23 ` Julia Lawall
2020-05-05 13:52 ` kaspar
2020-05-05 19:50 ` Kaspar Schleiser
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=eccc921f-c5f5-6dc5-5233-75f0fc16cb51@schleiser.de \
--to=kaspar@schleiser.de \
--cc=cocci@systeme.lip6.fr \
--cc=julia.lawall@lip6.fr \
/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).